基于软件差错相关的可靠性增长模型

通过考虑软件中差错的相关性,讨论了一种基于ＮＨＰＰ的新的软件可靠性增模型,并以ＭＬＬＦ、ＡＩＣ和均方误差为准则,将该模型与普通Ｓ型可靠性增长模型和延迟Ｓ型可靠性增长模型做了比较,得出了较为满意的结果。     

一种特定领域软件开发模型

实际的应用系统都有其领域背景,而领域工程是对同一领域内系统的特性进行分析、归纳的软件过程,将领域工程与应用工程相结合给出了一种特定领域软件开发模型－－双工程模型,并说明了特定领域软件体系结构和可重用构件的演化过程。一个系统的开发实践说明,该模型有助于提高领域软件的开发效率和质量。     

基于领域模式的图书馆信息系统开发方法研究

领域模式是用于开发特定领域簇系统的新兴软件开发方法,通过对特定领域的分析和建模,构造出一套可复用于该领域的模型构件,从而有助于领域知识的捕捉和快速定制.提出一种面向图书馆信息系统的领域模式开发方法,通过前期领域模式捕捉,产生一套领域模型,并以此为中心驱动整个图书馆信息系统的开发过程.实践结果表明,该方法有助于特定领域的知识复用和快速定制.     

基于模型技术的城市居住空间分布格局分析

定性分析与定量分析的有机结合是研究并最终解决城市规划问题的有效途径 ,模型化的定量分析是城市空间分析的良好工具 .以居住空间为切入口 ,探讨了模型技术在居住空间分布格局分析与演进预测中的应用 ,建立了居住空间分布区位预测、居住空间规模分布、居民个体居住空间选择等模型 .     

基于凸优化及其求解软件的最低旁瓣方向图综合算法

针对任意阵列天线的方向图综合问题,提出了基于凸优化及其求解软件的方向图综合方法。其中针对最低旁瓣方向图综合问题的特殊性,利用了凸优化的优良数值求解特性,以及最新的凸优化求解软件cvx对任意阵列天线的最低旁瓣方向图综合算法进行了有效的建模和求解,获得了满足给定要求的综合方向图。并通过详细的仿真分析验证了所提方法的正确性和有效性,而且优于当前提出的迭代算法。     

层次建模的小组软件过程仿真

提出针对TSP的多层次软件过程仿真模型,该模型结合了离散和连续建模思想,给出了形式化描述,用验证实例来说明模型的执行过程及结果.此模型能够从不同角度模拟TSP,并能对软件开发过程进行监督和预测,有效提高软件过程质量.     

关于区域发展战略规划研究的理论,模型与软件

文中以华阴市为样本,介绍了区域发展战略规划制订中所依据的系统论思想,系统工程设计思想,以及为完成上述目标所相应建立的模型系统、软件系统的数学原理、功能、结构与实现。     

基于模板工程的软件开发自动化框架研究

为了使得软件开发人员对于特定领域问题的成熟解决方案得以固化并复用，提出了一套完整的软件开发自动化框架Xauto.Xauto包含层语言、模板、框架和构件4项核心要素，在对软件开发自动化本质的深入分析基础上，基于软件系统无处不在的模式，引入模板工程的概念，通过模板工程和层语言的映射转化来支持和实现自动化开发流程.描述了Xauto框架在模型、视图和控制器 3个方面的映射模式，并结合了具体模板实例加以说明.结果表明，Xauto框架的运用使得软件开发方式从个体作坊转变为模板工程，这个转变显著提升了软件开发的自动化程度，提高了软件生产率.     

小型软件项目开发的方法

管理一个软件项目，不管该软件项目是大的还是小的，原则上都应该按照软件工程的一般原理，方法进行开发，管理、很多方法是共通的，但实际上，在小规模软件项目的实际开发管理过程中，除了遵循软件工程的一般原理方法外，他的管理内容有其许多不同于大软件项目的方面，因此对于小项目软件的管理方法与大软件项目的管理方法实际上并不完全一样，只有采用适合小型项目特点的管理方法，才是高效的，本文是作者以自己的经验来谈谈小项目开发管理的特点，以及在开发过程中的注意事项。     

数字城市软件体系结构的合约设计模式

将合约的概念用于抽象的数字城市系统软件体系结构 ,作为划分和联系部件的原则和方法 .使城市信息系统软件的体系结构具有更加丰富的语义 ,缩短了问题领域和求解软件系统之间的距离 ,方便和简化了数字城市软件体系结构的设计 ,这种设计模式可以有效地保障城市信息系统的开放性、扩展性和不断发展的增值性     

基于模型的嵌入式软件在汽车电子节气门上的应用

提出一种基于模型的方法来设计实时嵌入式控制软件.这种方法的原理是编译器将上层控制器模型作为源代码而不仅仅是仿真模型,在不需要人为的情况下,自动产生可执行代码,并编写源代码.实时嵌入式控制系统软件的主要部分包括:有限状态机、作业任务、程序调度和控制流与数据流.汽车电子节气门控制系统是典型的实时嵌入式软件应用系统,既有严格的成本限制,又要满足高安全性和高可靠性的要求,适合采用模型驱动架构的软件设计方法.     

基于扩展Petri网的安全关键软件需求模型检验

Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性.     

陕西信息产业发展模式创新调研分析

知识经济时代的到来使信息产业得到了迅猛的发展,也使它在整个国民经济发展过程中扮演着越来越重要的角色。为了进一步了解陕西信息产业发展的实际情况,找准发展过程中存在的问题,为我省信息产业的发展提出好的建议,我们课题组精心设计了《陕西省信息产业发展模式创新研究调查问卷》,并深入企业和相关政府管理部门进行了认真的实地调研。本文是对此次调研部分调研成果的汇总,通过本文可以使我们对我省信息产业的发展现状及其发展方向有一个更全面、更深入的认识。     

一种基于部件组模型的动态机制

提出了软件体系结构中的一种动态机制，其核心是一种部件组模型，用于描述含有动态组织模式的软件体系结构．该模型可同时支持正交的两组外部请求分派模式：同质／异质分派和数据／路径分派．这种机制已应用于两个实际应用系统，获得了理想的性能／开销比和系统可扩充性．     

敏捷软件开发应用研究

在分析敏捷软件开发基本理论、基本原则、开发模型和相关开发工具的基础上,对敏捷开发方法的应用进行了研究.通过分析系统建设目标、业务流程,建立了敏捷软件开发平台;解决了可变的框架和高效的功能构件设计中存在的技术难题,以实现企业高效的软件开发.     

基于敏捷软件开发方法的项目进展度量研究

介绍了敏捷软件开发方法中的XP(极限编程),对于OO(面向对象)的系统,可以通过类的增长和系统设计SDI(不稳定性)度量其进展,从而调整项目的计划。通过分析用XP开发的OO系统,发现了类的增长和SDI的规律,从而确定了与项目进展度量的关系。     

A software cost model with maintenance and risk costs for safety-critical systems

Safety-critical systems are those systems whosefailure could result in loss of life,significant propertydamage,or damage to the environment[1].Software isincreasingly being used to control safety-critical systemsnow.But how can we improve the reliability of soft-ware?Formal methods can successfully enhance thequality of software and therefore increase the confidencein the system behaviors[2-4].Unfortunately,formalmethods are too complex to apply.Software testing isan efficient way to improve …     

软件开发中的技术文档管理

讨论了高校软件研发过程的特点和采用技术文档过程管理的原因．介绍了一种强调技术文档过程管理的文档管理办法，该方法结合“技术复审”，从文档模板、文档过程、文档版本三方面加强工作．并通过实践证明，有助于加强软件开发管理．     

新一代钢筋混凝土烟囱CAD软件的研制

现有的烟囱程序是依据老的烟囱设计规范编制的,我国新的烟囱设计规范颁布实施后,火电厂土建结构设计中迫切需要符合新的烟囱设计规范要求的烟囱CAD软件,针对这一需求,采用面向对象的编程技术,以Visual C++6.0为编程语言,AutoCAD软件为图形支撑平台,研制了一套从上部结构和基础的设计计算到施工图自动绘制的功能较为齐全的单筒式钢筋混凝土烟囱CAD软件,介绍了该套软件的基本功能,阐述了软件研制中的若干技术问题.     

组态软件在工业监控系统中的二次开发

结合“南昌电厂炉水监控系统”研制的实际工作经验,研究了用组态软件开发工业监控系统软件的一般方法,探讨了选用组态软件的一些实用技术．