非过程性规则描述语言NRDL

规则描述语言是自然语言处理系统的开发环境中十分重要的知识获取工具。本文介绍一种非过程性的、面向汉语理解的规则描述语言NRDL, 详细说明了NRDL的语言结构、规则书写方法、实现机制和功能特点, 并且介绍了在计算机使用的情况。     

嵌入式构件的非功能属性

构件己成为嵌入式领域的重点研究对象之一,一个高质量的嵌入式构件不仅包含构件的功能属性,同时还包含构件的非功能属性（Non-Functional Attribute,简称NFA）,但目前缺乏对嵌入式构件非功能属性的研究．主要研究嵌入式构件的非功能属性,并对非功能属性用架构设计语言（Architecture Design Language,简称ADL）进行描述;阐述了嵌入式构件开发过程中与非功能属性的应对关系,以利于保证嵌入式构件的质量．最后通过实例来予以验证．     

基于脚本的构件测试自动化框架

针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表明,该框架能有效对构件进行自动化测试,自动化程度较高。     

装配式混凝土构件设计软件

针对当前装配式混凝土结构发展迅速而相应的设计软件严重缺乏的现状,研发装配式混凝土构件设计软件PCMSD。该软件具有叠合梁端结合面、预制柱底施工缝、桁架钢筋混凝土叠合楼板、预制外挂墙板、叠合梁与预制柱节点、主次梁牛担板连接节点和主次梁缺口连接节点等设计功能。PCMSD在紧扣国家结构设计标准的基础上,结合工程实际,针对设计人员在装配式结构设计中急需解决的问题提供相应的解决方案。通过采用OpenXML标准和C++托管技术实现Word计算书的输出,其中包含构件设计的详细过程、公式和数据代入过程,便于设计人员检查校核。     

并行构件非功能属性研究

扩展了CCA并行构件体系结构,首先定义了一个并行构件非功能属性的一个最小集合,然后实现了对这些属性进行管理的非功能构件。定义了与这些非功能属性相关的接口。并行构件可以有选择地提供这些接口。并行构件向非功能构件注册自己的属性,然后通过非功能接口向非功能构件提供相关信息。为了最优化并行构件的实现,构件开发者需要实现属性管理中属于特定构件的部分,这部分内容在非功能接口中实现。非功能构件调用并行构件的非功能接口,对并行构件的非功能属性进行统一的管理。这种方法提高了并行构件运行的性能,并且为管理并行构件的执行提供了一种简便的方法。     

面向构件软件过程概述

Stephen R．Palmer曾指出,“好的过程清晰地定义任务。任务焦点放在结果上而不是细节上……”因为具体实践是鲜活多变的,定义太多关乎“How”的细节,不利于过程的适应性;而只有将过程划分成不同的子任务,并清     

过程自动化系统

过程控制系统包含不同的特性和功能,尽管其中的一些尚未被开发使用,但有一些则促使了系统的升级,扩大了系统的应用范围。     

过程自动化系统

读者们觉得新型过程系统更加有用,希望可以购买到更多这样的产品。专家建议:在考虑价格前,首先考虑对系统性能的要求及其拓展性。过程自动化系统较传统的分布式控制系统进步,但用户还是有很多相似的考虑,如可靠性、技术支持和升级等。为了预测出这个价值数     

自动化装置维护软件通信构件研制

针对现场磁场对自动化装置间通信产生影响问题,提出了类套接字通信技术,介绍了自动化装置维护软件中的通信构件的开发方法.分析了软件的构件组成关系及通信构件在整个软件中所起的作用,论述了类套接字技术的串口通信基本原理.在此基础上,从链路层信息的发送、数据接收处理和通信报文校验3个方面,讨论了串口通信构件的具体开发方法.该软件已通过国家电力公司鉴定,并在自动化装置开发过程及众多的保护工程项目中得到应用,达到了设计要求,取得了明显的经济和社会效益.     

基于模型检验的构件验证技术研究进展

模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模型检验的构件验证方法分为基于系统规约模型的验证和基于源代码的验证,分别对其研究现状和发展动态进行了详细的综合评述.首先对模型检验与构件可信性质验证的关系进行了探讨,接着对基于SOFA,Fractal,CORBA及各种特定构件模型的验证方法和基于转化思想的源码验证、面向源码的直接验证及面向可执行代码的动态验证方法分别进行了评述.最后,指出了基于模型检验的构件验证技术所面临的主要挑战和未来的发展方向.     

面向构件的软件过程需求阶段

需求阶段目标为:待解决的问题达成一致;确定涉众;定义系统边界;确定用户需求集;确定对系统强加约束。面向构件的软件过程,需求阶段还     

基于率的构件软件可靠性过程仿真

与传统的基于模型的构件软件可靠性分析方法相比,基于率的仿真方法由于可以灵活地跟踪软件动态失效过程,近年来开始用于分析构件软件的可靠性过程.但是,目前已经提出的仿真方法对构件软件测试中的故障排除过程做了过分简化的假设,而未能描述软件系统实际的可靠性过程.针对这个问题,提出了一种仿真方法.该方法采用一个混合排队模型建模故障排除过程,其中考虑到了排错策略和排错资源的局限性问题.在此基础上开发出仿真过程,实现对构件软件可靠性过程的仿真.实验结果表明了该仿真方法的有效性.     

基于构件的领域开发过程研究

结合构件和领域工程的相关原理和关键技术,对基于构件的软件生产过程进行研究,分析运用构件进行软件应用系统的开发方法,描述了构件开发的流程。并在领域工程基础上,抽象出面向构件的领域开发的一般过程和方法,提出了基于构件的领域开发过程模型。电信物资管理系统应用实例也说明该模型对实际应用开发的指导意义。     

基于领域本体的构件自动化组装原形系统

介绍了领域本体的概念,分析了构件自动化组装的阶段和方面,给出了一个基于领域本体的自动化构件组装原型系统（ontology based automated assembly system,OBAAS）,介绍了系统整体框架,并对该系统的基于领域本体的构件分类引擎,构件检索匹配和构件接口匹配验证模块的实现思想进行了详细说明,给出了利用朴素贝叶斯分类方法在领域本体基础上对构件的分类的算法、基于领域本体的构件检索和匹配算法,以及部分数据结构的描述。     

面向构件的软件过程：项目管理

所谓项目,是指为完成某类特定目标、在一定时期内所做出的努力。所有的项目都有一个明确的开始和结尾。项目管理就是将各种知识、技能、工具和技术应用于项目之中,以达到项目的要求。《项目管理知识体系指南》指出:     

构件化仿真模型研究与自动化实现

为提高仿真系统的可扩展性、适应性、可重用性和互操作性等特性,将软件构件技术引入到仿真系统的开发中,对仿真模型构件进行深入的分析与研究,主要包括仿真构件的模型分析、仿真构件的元数据描述、仿真构件的实现结构分析。最后,设计并开发了仿真构件自动化开发工具,实现了仿真构件的代码框架自动生成与仿真构件的自动化组装。     

构件可测试性挑战

构件的可测试性是设计和测试软件程序及构件的重要概念之一。运用具有良好的可测试性的程序和构件来构建软件,可以简化测试操作、减少测试开销、提高软件质量。James Bach曾指出,有一些程序特性可以用于可测试的软件,包括可操作性、可观察性、可控制性、易理解性等等。Jeffrey M.Voas和Keith W.Miller 将软件可测试性看成是可靠性的三个难题之一。他们指出软件可测试性分析对于检测和评估一个使用经验主义(empirical)分析方法的软件测试是很有用的。     

面向构件接口变异的模型检验技术研究

随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。     

基于场景构件式实时软件设计的一致性检验

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构件式设计模型;使用带布尔不等式时间约束的UML顺序图表示基于场景的需求规约,对系统设计阶段实时软件构件的动态行为进行形式化分析与检验.通过对实时接口自动机网络状态空间的分析,构造了其可兼容的整型状态等价类空间的可达图,并在此基础上给出了验证算法,以检验构件式实时软件系统的设计与带时间约束的场景式规约之间的一致性.