教学课程资源库 更多>>

关键词： 肋梁楼盖   柱网   边跨   整浇梁板   人防地下室  

摘要： 文章就一工程实例对人防地下室常用肋梁楼盖体系进行了分析,就柱网的合理布局和边跨的合理设计问题进行了探讨,并对整浇梁板共同工作问题进行了初步的考虑。结果表明,在相同设计条件下,合理的楼盖体系的选择应根据抗力级别确定;柱网宜设计成矩形,正交跨长比取0.65～0.7最合适;边跨取0.8～0.85倍内跨更合理;设计时应考虑整体现浇梁板共同作用的特性和原理,将现浇板作为框架梁的翼缘,共同参与受力分析。

关键词： 软件工程   实践教学   教学改革  

摘要： 该文从软件工程专业的实践教学课程的教学过程中发现的问题,结合实践课程的特点,讨论了软件工程实践教学课程教学改革的必要性和重要性,给出了实践课程教学改革的具体实施方案。

关键词： 天梭   K1   主机系统   业务风险   最优方式   信息化战略   冗余技术   核心服务   体系结构设计   物理分区  

摘要： 浪潮天梭K1系统采用模块化架构加冗余技术,有效保障用户的业务系统随需而动,弹性部署,以最优方式提供高性能、高可用、高效率的资源。作为信息化战略重要装备和云计算核心服务平台,天梭K1帮助用户快速把握新机遇、降低业务风险,在竞争中抢占先机。浪潮天梭K1系统作为我国首台自主研发的32路关键应用主机,其成功上市标志着我国关键应用主机一直被国外垄断的现状被打破,从而实现金融、电信、能源、政府、交通等命脉行业核心信息化建设重大装备自主可控。

关键词： 综合航电系统   健康管理体系结构   系统失效  

摘要： 健康管理体系结构是军用综合航电系统的重要组成部分,关系到综合航电系统和战机安全性、生存性、维护性等多方面。概述了综合航电系统的结构组成,剖析了健康管理的内涵。通过论述系统、环境和人对系统失效行为的影响,归纳了系统失效类型,明确了健康管理体系结构设计的三方面需求。在此基础上,提出了一种新的健康管理体系结构,并完成了机载部分和地面部分的基本结构设计,分析了系统健康信息处理流程,最后就下一步要研究的问题进行了探讨。

关键词： concurrent engineering   design   decision support systems  

摘要： Design methods applied at the concept development stage of a design process help the derivation of alternative design solutions so that, based on product requirements and design specifications, selected design options can be evaluated. How this is achieved is important because design decisions contribute largely to the cost and manufacturability of products. The main scenario of the European machine tool (MT) industry is a small- or medium-sized enterprise designing and producing small series of dedicated MTs competing on a global market and working in close collaboration with suppliers and machine end users. In this scenario, MT manufacturers need close collaboration with their component suppliers and end users to develop effective design solutions. The article identifies some aspects of collaborative design methods' that have been applied successfully in the aerospace and automotive industries and recommends a knowledge-centred' approach with the potential to capture, transfer and share knowledge at the different life phases of the MT, but currently applied mainly at the conceptual design stage. The proposed methodology relies on a flexible knowledge-based co-design environment'. The methodology will enhance knowledge capitalisation, allow early virtual assessment of design decisions and reduce re-design cycles.

关键词： 列控系统   多车仿真   统一建模语言   高层体系架构   分布式交互仿真  

摘要： 针对复杂实时大系统分布式交互性特点,通过综合对比UML与HLA的特点,提出了基于UML-HLA的列控系统建模仿真方法。在传统建模方法的基础上,采用提出的UML-HLA建模方法,从多个不同的角度建立多车仿真系统的分析模型,包括用例建模、活动建模、结构建模、交互建模和状态建模等,构建起高层体系架构资源库。在分析模型的基础上,建立多车仿真系统体系结构,得到多车仿真系统的设计模型。从性能和功能上对多车仿真系统进行了仿真验证。仿真结果表明:基于UML-HLA的建模方法具有较强的可交互性和可操作性,通过对原有线程机制与定时器控制机制进行优化,采用线程管理机制将原有系统的CPU占有率由50%降低至15%以下,定时器误差控制在0.02ms范围内,满足了列控系统的仿真要求。

关键词： 软件工程   软件质量   单元测试   测试框架   面向对向程序  

摘要： 以面向对象自动化单元测试的设计目标为指导,结合面向对象自动化单元测试理论分析,采用Kent Beck和Ralph Johnson提出的模式产生体系结构方式架构框架系统。运用模式设计体系结构的思想,设计了一个用于面向对象软件单元测试的自动化测试框架。该测试框架易学好用,能方便程序员开发测试用例,保证测试用例的持久性和可复用性,适合迭代开发单元测试。

关键词： 安全协议   形式化方法   模型检测   SPIN   Pmmda  

摘要： 基于形式化的验证方法是提高软件系统质量以及保证安全攸关系统安全性和可靠性的有效方法。本文提出了一种基于SPIN的模型检测方法,该方法通过Dolev-Yao模型来描述协议系统及攻击者,通过LTL公式对待验证属性进行形式化规约。通过运用这种验证方法以及模型检测器SPIN找到了一种不满足待验证属性的情况即找到了一种针对协议的攻击,说明了这种方法的在实际中可以有效的发现协议的缺陷,而且可方便地用于其它网络安全协议验证。

关键词： 构件重用   嵌入式   称重物联网   开发  

摘要： 嵌入式称重物联网的开发,包括硬件设计和软件设计两个过程。为了提高硬件电路和底层驱动程序的可移植性,减少硬件和软件设计工作中的重复,本文提出了基于构件重用技术的嵌入式称重物联网的开发方法。

关键词： 实体建模   统一建模语言(UML)   消息中间件   仿真   预警探测  

摘要： 利用统一建模语言UML建立了机载预警雷达系统目标探测跟踪过程模型,包括预警探测系统的用例图、静态实体图、协作图以及配置图.仿真系统采用基于消息驱动的离散事件仿真方法,以消息中心作为分布式环境中的消息中间件(message queue,MQ),并详细设计了预警雷达目标探测与跟踪过程的消息流程.系统开发实践表明:系统结构设计合理,软件可扩展性强,可移置性强,具有高内聚性、低耦合性、稳定性好、系统对硬件平台要求相对较低的特点.