拓明福
- 作品数：10 被引量：20H指数：2
- 供职机构：空军工程大学理学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划陕西高等教育教学改革研究项目更多>>
- 相关领域：自动化与计算机技术文化科学理学更多>>
- 军队院校计算机程序设计基础课程分层教学研究与实践被引量：1
- 2016年
- 针对大学新生计算机基础差异较大的现状,结合军校教学资源和管理体制实际,文章提出根据因材施教的教学原则,在计算机程序设计基础课程教学中实施分层教学,并根据亲身教学实践从教学对象分层、教学目标分层、教学内容分层和教学评价分层等方面给出了具体做法并指出了应该注意的问题。实践表明这种教学模式能最大程度发挥每名学生的潜能,从而显著提高整体教学效果。
- 拓明福
- 关键词：分层教学计算机程序设计军队院校
- 基于混成自动机的CPS行为建模与属性验证被引量：2
- 2016年
- 系统实时性、安全性和可靠性等非功能属性是信息物理系统在诸多领域应用的关键因素。论文在分析CPS模型构建与分析验证中面临的挑战的基础上,提出了一种CPS行为建模与属性验证方法。该方法首先基于混成自动机对CPS的行为进行建模,然后将此模型转换为混合程序模型,最后在定理证明器KeYmaera中对HP模型的属性进行形式化验证。文中论述了行为模型描述语言的结构,建立了混成自动机模型与HP模型之间的转换规则,分析了模型转换的一致性。应用实例表明:该方法既能简单直观地描述CPS动态行为,又能对CPS的属性进行严格的形式化验证,且有效避免了形式化验证中的状态空间爆炸问题。
- 拓明福周兴社李嘉林李辉
- 关键词：信息物理系统
- CORBA中安全互操作的研究与实现
- 不同中间件平台安全服务之间的互操作是分布式应用系统集成技术中的关键问题之一.本文在深入分析CSIv2体系结构和安全互操作原理的基础上,提出了一种基于截获器的安全互操作实现方案,并在中间件平台StarBus上实现了该方案,...
- 拓明福尹刚滕猛王怀民陈明锋
- 关键词：CORBA截获器中间件
- 文献传递网络资源链接
- 用动态贝叶斯网络构建协同过滤推荐的新方法被引量：2
- 2011年
- 提出了一种基于动态贝叶斯网络的隐马尔可夫协同过滤推荐的新方法。基于隐马尔可夫模型的协同过滤方法模拟用户在浏览网页时的行为,根据用户浏览网页时的行为建立最近邻集合。在基于隐马尔可夫协同过滤推荐技术的基础上,构造基于DBN的推荐模型。当有新类型的数据加入时,用此模型来更新推荐模型。实验表明,此方法具有较高的推荐质量。
- 赵永梅任大勇张红梅拓明福
- 关键词：隐马尔科夫模型协同过滤推荐动态贝叶斯网络
- 一种基于CPS‑ADL模型向混合程序转换的CPS建模与验证方法
- 本发明公开了一种基于CPS‑ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS‑ADL平台上采用扩展的混成系统描述语言E‑HYSDEL对CPS进行建模；给出HP模型...
- 周兴社拓明福张凡杨刚单黎君杨亚磊张军
- 文献传递
- 《计算机程序设计基础》课程混合式翻转课堂教学实践与启示被引量：5
- 2017年
- 文中首先分析了军队院校传统计算机程序设计基础课程教学现状和学生特点,结合课程的MOOC和SPOC资源建设,提出将翻转课堂、传统教学模式有机结合,通过教学内容重构性设计、学生学习行为跟踪、过程管理等方式,来保证混合式教学学习效果,激发学生的学习热情,提高自主学习能力,促进学生综合能力的提升。
- 张红梅拓明福谢鹏赵永梅
- 关键词：混合教学计算机程序设计
- 求Hankel型线性方程组的一种算法被引量：1
- 2012年
- 本文给出了矩阵为Hankel矩阵的充要条件,由此定义了一种新的矩阵—Hankel型矩阵,说明了Hankel矩阵是Hankel型矩阵的特殊情况.为了降低Hankel型线性方程组的计算量和减小这类算法的误差,利用Hankel型矩阵的位移性质,给出了求Hankel型线性方程组的一种算法.矩阵为Hankel矩阵时,该算法与Gohberg-Kailath-Koltracht算法相比计算量相当,但改进了精度;矩阵为一般Hankel型矩阵时,该算法与Cholesky分解算法相比计算量大为减少,极大改进了精度.
- 杨小锋徐仲聂玉峰拓明福
- 关键词：HANKEL矩阵充要条件
- 计算机基础课程分层次教学改革初探被引量：9
- 2016年
- 紧紧围绕计算机基础课程教学基本要求,在计算机基础课程中积极探索分层次教学模式改革。深入分析了计算机基础课程教学的现状及其原因,提出了一些课改措施。
- 李辉拓明福张红梅
- 关键词：计算机基础课程教学改革分层次教学
- 一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法
- 本发明公开了一种基于CPS-ADL模型向混合程序转换的CPS建模与验证方法，主要用于处理CPS建模与属性验证问题，其特征在于：在CPS-ADL平台上采用扩展的混成系统描述语言E-HYSDEL对CPS进行建模；给出HP模型...
- 周兴社拓明福张凡杨刚单黎君杨亚磊张军
- CORBA中安全属性服务的设计与实现
- 2007年
- 以CORBA规范中安全属性服务的内容为基础,给出了安全属性服务的实现架构,提出了安全上下文的验证算法。在中间件平台StarBus5.0上实现了安全属性服务,并为该平台增加了基于用户名/口令的身份认证和安全代理功能,使其更加适用于军事、金融等安全要求高的应用领域。
- 李辉拓明福张红梅
- 关键词：CORBA安全代理截获器
