教学课程资源库 更多>>

关键词： 公路桥梁设计   结构化方法设计   具体应用  

摘要： 公路桥梁惯用的构架设定,应当依循经济化特有的原则;拟定好的总框架,应当带有适用的特性。传统范畴中的设计路径,很难描画多层级的构架要点;对表征着定量特性的各类指标,也很难予以辨识。结构化方法设计特有的新路径,创设了运算依托的模型;明辨了结构化惯常的设计方式,探究了本源的设计指引。

关键词： B方法   原形验证系统   形式化方法   电梯系统控制器  

摘要： 针对B方法和原型验证系统(PVS)的特点,提出了将B方法引入到PVS中,即将一个用B方法描述的系统转换为由PVS描述,以此来实现形式化的检验证明.B方法中的抽象机在PVS中转换为一个方法,而B方法中的不变量不变式要转换为PVS中的一个类型,由B方法描述的性质则转换为PVS中的推测、猜想,并借助于PVS自带的证明器有效地完成相应证明工作.最后,通过1个电梯控制系统来阐述上述转换方法.

关键词： UML   面向对象   行业资源   系统分析设计  

摘要： 行业资源平台为方便行业人员高效率地搜集专业知识,实现知识的共享,采用计算机网络技术,实现电子文档的上传、格式转化、网络传输、在线阅读、在线观看以及下载功能。本系统的设计核心是使用UML工具建模,面向对象的系统分析和设计方法,详细阐述了行业资源平台系统的功能模型、静态模型和动态模型,这对信息系统的开发具有一定的指导意义。

关键词： 高校毕业生   就业统计   结构化   方案设计  

摘要： 本文基于结构化视角,提出高校毕业生就业统计方案设计的六个要素:统计主体、统计客体、统计周期、统计指标、统计方法、统计结果应用,以期对改进高校就业统计工作有所助益。

关键词： 绩效考核   三层架构   UML建模  

摘要： 从金阳矿业集团的实际出发,分析了绩效考核管理系统,利用UML进行建模;使用Power Designer设计了数据库,系统采取表示层、业务层、数据层三层架构进行了实现。系统实现了基础信息管理、绩效考核过程管理、工资计算等功能。

关键词： 网络安全处理器   体系结构   宏流水   总线   流存储  

摘要： 提出了一种面向终端的网络安全处理器体系结构设计.该设计采用基于宏流水的总线结构,提高了数据平面的数据传输速率,缓解了总线仲裁压力.将流存储机制应用到处理器的层次化存储结构中,结合经过指令集优化的网络安全处理引擎,提高了多任务并行计算能力.同时设计了安全防护电路,用于保证处理器自身的安全性.实验和分析证明了提出的网络安全处理器具有较高的性能,能够满足终端设备的通信需求.

关键词： MB   PLC   结构化文本   开源   MFC   编辑器  

摘要： 针对MB PLC的结构化文本编程要求,本文设计了ST语言编辑器。编辑器借鉴开源软件技术,可灵活嵌入MB PLC组态软件MBPro,增加了其对结构化文本语言的编程支持。ST编辑器对提升MB PLC的综合实力和市场竞争力具有重要意义。

关键词： 装甲兵工程学院   装甲车辆   履带车辆   仿真建模   装备需求   体系结构设计   储存期限   坦克分队   轨迹跟踪控制   模型驱动  

关键词： 需求驱动   UML模型   集成测试工具  

摘要： 软件测试是保证软件质量、提高软件可靠性的关键工作;基于模型的测试技术是目前国内外学者在软件测试领域的研究热点,大多数研究者主要关注基于模型的测试策略和遍历算法的研究,但对于计算机辅助测试工具的研究尚有不足,缺乏具有模型解析、模型处理、用例生成等综合功能的测试工具;针对以上的情况,本文分析了基于UML模型的集成测试工具的具体需求,通过跟踪需求,构建合理的操作流程,提出了一种以需求驱动为迭代开发模型、以UML模型覆盖准则为依据、以UML集成测试工具为开发目标的辅助测试工具设计方案,设计了一套具有UML模型解析、检测和测试序列自动生成功能的测试工具原型;该工具能对UML活动图和顺序图进行自动化的解析和转化,并通过遍历算法生成集成测试序列;最后,通过对多个测试实例的验证,说明了该集成测试工具的有效性和易用性。

关键词： 云计算   虚拟化   高职院校   数据中心  

摘要： 随着互联网的发展与广泛应用,数字化校园成为高等院校基础设施建设的基础。高职院校在数据中心的建设过程中,存在严重的资源利用率低,能耗与运维成本高的问题。通过对云计算与虚拟化技术的研究与分析,提出了基于云计算的高职院校数据中心体系结构与建设方案。