北京信息科技大学计算机学院软件工程系
- 作品数：7 被引量：19H指数：2
- 相关作者：张红何洋张迎更多>>
- 发文基金：北京市教委科技发展计划北京市自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学自然科学总论轻工技术与工程更多>>
- 一个课程评估支持系统的设计及其C++实现技术
- 2016年
- 课程评估支持系统是用Visual C++6.0实现的一个以课程建设数据管理为基础,以课程评估模型为核心的集成化信息系统。该系统采用模块化设计,模块间使用动态链接库技术进行连接,使系统非常容易扩充和维护。实现的评估模型管理功能使系统能够同时支持多个用户定义的评估模型,并应对评估指标体系和计算公式可能发生的变化,具有一定的适应性和灵活性。
- 杨志耘刘建宾
- 关键词：课程评估评估系统动态链接库信息管理C++
- 过程蓝图统一元模型语法被引量：2
- 2010年
- 为了以严格和可读的方式对过程蓝图建模语言进行定义,对元模型定义方法进行分析和基本集合与函数定义的基础上,采用基于集合、函数和一阶谓词逻辑的数学语言和自然语言相结合的半形式化技术和统一构造方法,对过程蓝图元模型的抽象语法和良构规则进行了定义。结果为过程蓝图语言的结构、建模符号的语法与静态语义以及从内部统一结构到外部视图的导出方法提供规格说明,并为过程蓝图程序技术的研究与应用提供统一的形式框架。
- 刘建宾
- 关键词：抽象语法建模语言
- 过程蓝图程序表示模型与视图导出方法被引量：5
- 2009年
- 针对传统程序技术长期存在的表示分离、开发低效、质量欠佳、维护困难等问题,提出一种跨越分析、设计和构造阶段的多阶段程序过程表示模型。采用概念、逻辑和实现3层抽象视图、控制流和数据流二级映射的架构及视图导出方法,通过建立映射约束规则和对应关系,实现视图间的联系与统一,保证导出制品的一致性和有效性,使增量迭代、逐步求精的模型驱动设计过程规范化,有效提高程序生产率与可维护性。
- 刘建宾
- 关键词：建模语言
- 盾形洄游算法被引量：2
- 2013年
- 为解决机器鱼因高速带球失误造成的绕球和逆向顶球行为,对盾形洄游算法进行研究。该算法通过栅格建模,在球周围一定范围内进行布线确定栅格,使得机器鱼在超出目标点后快速寻找最短洄游路径,并找到折返初始位置的最佳方式。实验结果证明:盾形洄游算法能有效地改善带球失误,极大地提高了机器鱼在比赛中的稳定性。
- 何洋李淑琴
- 关键词：机器鱼
- 基于RSA算法的智能锁设计被引量：2
- 2018年
- 提出了一种可通过手机远程分享钥匙的智能锁模型,并提供了一套能使系统完整运行的硬件模型.在如今的智能锁领域,普遍只是将指纹、密码、刷卡、蓝牙开锁功能相结合,却少有钥匙分享功能.为了保障钥匙分享过程中钥匙的保密性和时效性,RSA算法可以较好的满足要求.为了保证系统的完整性,对硬件系统(指纹、刷卡解锁)也提出了一套基于STM32F103型低功耗单片机为控制器的可执行设计方案.实验结果表明系统可以较好的实现钥匙分享的功能.
- 王思远朱敏玲温智博王胜
- 关键词：STM32智能门锁
- 联机手写数学公式中字符识别的研究与实现
- 2013年
- 数学公式是科学和工程文档中不可或缺的一部分,而通过手写输入的方式来书写数学公式更为方便,用户使用起来也更自然。联机手写数学公式的识别由字符识别和公式结构分析两个主要部分组成。介绍了进行字符识别的主要过程,包括笔划搜集、预处理、字符识别等。通过对各阶段的研究和分析,设计和实现了字符的识别。
- 张迎
- 关键词：联机手写字符识别模式识别
