SCADE模型驱动开发过程研究及高安全性分析

本文以模型驱动开发(MDD)为契合点,在统一软件开发过程(RUP)的坚实与敏捷开发方法的灵动之间找到一种平衡,详细介绍了基于高安全性应用程序开发环境(SCADE)模型驱动软件开发过程。它具有连贯迭代、持续构建的特点,同时综合测试的理念贯穿始终。结合航空项目软件研制过程中时间节点紧、需求变化频繁、软件安全性要求高等特点,以某项目为实例,通过需求分析、模型设计、设计验证、安全性分析、代码生成等过程,结果表明基于SCADE模型驱动开发过程既可以借助RUP定义的流程,又是有效地实施敏捷开发的最佳实践,同时大大提高了软件的安全性。     

FlowStar:国家数值风洞(NNW)工程非结构通用CFD软件

计算流体力学（CFD）仿真软件是流体相关的数学物理知识和工程实践经验的数字化表达,是工业数字化转型的重要助推。然而,大型工业CFD软件研发难度极高,需要同时兼顾功能多样、系统稳定、性能优越、交互友好等特征。依托国家数值风洞（NNW）工程,研发出一款通用流场模拟软件NNW-FlowStar,并在航空、航天等工业部门大力推广使用。软件基于非结构有限体积求解方法和大规模并行计算技术开发,结合现代化软件工程思维设计,具备先进的数值方法、高效的计算效率和友好的用户操作界面,可满足各类复杂外形的高效气动模拟。独特的重叠网格技术配合六自由度运动模块,可帮助实现武器分离、舱门定轴转动等各类气动-运动协同仿真需求。多类标模案例和复杂工程应用表明,FlowStar软件算法鲁棒、精度可靠,是一款高精度、高效率、高可靠性的通用CFD仿真软件。通过对软件的架构设计和功能应用进行介绍,使相关从业人员能更好地了解FlowStar软件,最终促进国产自主CFD软件生态的良性发展。     

一种新的温度补偿方法—零点浮动法

介绍了一种新的温度补偿方法——零点浮动法的原理和应用。该方法基于差分原理和坐标浮动法,适用于采用差分原理进行温度补偿的各种自动测试系统。     

高速加工HSK工具系统的力学模型

根据HSK工具系统的结构和工作机理建立了HSK工具系统的力学模型,分析了影响工具系统刚度的主要因素和载荷与加工质量之间的关系,揭示出HSK工具系统刚度变化的基本规律,理论分析结果与实验结果吻合.在此基础上,提出评估工具系统的性能不仅要考虑工具系统的静刚度,而且要进一步考虑工具系统的动刚度.最后,给出了HSK工具系统型号的选择原则,并建立了相应的优化操作条件.     

基于ASP的高校田径运动会信息管理系统

田径运动会的编排是一项非常繁琐的工作 ,传统的人工编排操作效率低、准确度低 ,随着体育教学改革的深入 ,田径运动项目的增多 ,为发展高校体育运动 ,提高田径运动会的高科技含量 ,提高教职工、学生的体质 ,结合学校体育工作的实际情况 ,用VisualFoxPro、ASP、VBScript设计了一套高校田径运动会信息管理系统。主要包括网上报名、数据的编排和报表的打印模块。经我院田径运动会的应用表明 ,这一计算机编排系统能有效地减少劳动强度 ,提高数据准确度 ,并能及时输出各种实时数据及报表 ,而且操作简单、灵活、界面友好 ,是高校田径运动会有效的管理软件。     

影响超精密加工精度的主要因素

超精密加工技术是衡量国家科学技术水平的重要标志之一。本文从超精密加工机床、超精密加工刀具、被加工材料、超精密测量、超精密加工环境等方面，分析了影响超精加工精度的因素及产生的原因。     

基于组件技术的数据分析系统图表绘制模块的实现

主要介绍了利用COM的C 的底层实现原理来开发图表绘制模块的方法.利用组件技术的软件开发,开发人员只需利用相同的开发规范,就可以实现可复用、易维护的软件模块.作者通过对一个图表绘制模块的开发,利用MFC类库,实现了一个可以易于维护和升级的自我控制绘制的图表.     

会在火星岩上打洞的RAT

正在火星表面探测的勇气号和机遇号最重要的一项使命就是要通过分析火星的岩石查找是否存在水的证据。火星表面经过数以百万年的变迁，在风力、辐射以及灰尘的作用下，岩石的表面和内部有很大的不同。研克岩石内部的情况对于了解火星的起源和变化有十分重大的意义。所以，勇气号和机遇号火星漫游车离开母体以后的第一个行动就是寻找并对准岩石目标。     

Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

组合Web Service支撑系统的研究与实现

为实现Internet环境下企业间的业务过程集成,分析、研究了业务过程集成的基本功能需求及Internet环境下业务过程集成的新需求,讨论了组合Web Service支撑系统的原理及其体系结构.该系统为组合Web Service提供了定义、部署、运行及监控管理等较完善的功能支持,并利用服务的动态组合机制解决了Internet环境下跨企业业务过程集成动态性要求高的问题.