关键策略的物元模型

关键策略是为解决关键问题而制定的，在决定过程中具有“牵一发而动全身”的作用。因此，如何生成关键策略是科学决策的核心问题之一，它的形式化研究对于提高决策的可操作性具有重要价值。本文利用可拓方法，建立了关键问题和关键策略的形式化概念，分析了关键策略的性质，提出了关键策略的生成步骤。     

基于可拓方法的策划研究

利用可拓学的基本思想与方法，寻找策划过程中解决矛盾问题的规律，为策划研究提供理论和方法依据，形成形式化的可拓策划方法。     

基于Z语言的软件形式化需求分析

Z语言是目前广泛使用的一种形式化方法语言。它是一种基于集合和一阶谓词逻辑的模式规约语言，可用于产生精确的需求规格说明。本文介绍了需求分析的Z语言形式化方法，并给出了一个小型图书馆管理的Z语言描述实例，给出了小型图书馆管理从状态模式到操作模式的需求规格说明，同时指出这种形式化方法有待进一步研究的方向。     

CIMS中形式化面向对象软件开发方法研究

提出了CIMS中形式化面向对象软件开发的方法。使用RAISE（工业软件工程的严格方法）规范语言，建立了MRPⅡ系统的形式化模型，并且实现了该系统。同时．还研究了对象系统的相容性检查技术。基于经典的Kunth-Bendix算法，提出了对象系统的相容性检查方法。     

CIMS中形式化面向对象软件开发方法研究：1996年11月20日收到,1997年4…

提出了ＣＩＭＳ中形式化面向对象软件开发的方法。使用ＲＡＩＳＥ（工业软件工业的严格方法）规范语言，建立了ＭＲＰＰⅡ系统的形式化模型，并且实现了该系统。同时，还研究了对象系统的相容性检查技术。基于经典的Ｋｕｎｔｈ－Ｂｅｎｄｉｘ算法，提出了对象系统的相容性检查方法。     

基于TCSP的实时并发系统测试方法

基于时间通信顺序进程(TCSP)语言——一种用于建模、验证实时并发系统的形式化语言,进行了一种新型实时并发系统测试方法的研究,以提高测试的覆盖率和完整度。首先研究了实时并发系统的输入、输出一致性关系,然后在时间迹、时间拒绝两种框架下,分别定义了最小不满足时间迹、最小拒绝集合,分情况研究了其测试过程。在TCSP的稳定失效模型下,将输出事件加入拒绝事件集合,最后提出了基于通信顺序进程(CSP)精化关系,且辨别输入、输出事件的实时测试模型,因此测试时不仅能精确地表示系统属性及行为,而且能利用该语言的精化关系定义测试的一致性测试关系。     

基于SysML模型的需求建模及测试方法

为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动...     

一种面向虚拟仪器的数值流程语言

数据流程语言是西安市化编程语言的一个重要分支，适用于描述数据转换类的问题。文中给出数据流程语言中基本元素的形式化定义，并介绍了运行算法。     

民机工业计量测试技术规范研究与体系建设思考

分析了国内外民机工业计量测试技术规范的研究现状;在总结研究路线、研究内容及成效的同时,分析了当前我国在规范研究方面存在的问题,探讨了计量测试技术规范体系建设的原则;从补充大型试验系统和非标测试设备、数字化设备、产品验收、特种和先进的计量测试技术规范角度,提出了完善民机计量测试技术规范体系的建议。     

基于Z语言的软件工程形式化理论研究

形式化是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一。形式化语言有很多种,本文要介绍的是z语言,首先进行了z语言的概括,以及z语言的数学基础,最后列举了一个简单的例子说明z语言的用法。     

联想记忆网络的学习：基本思路和实现

提出了一种神经网络学习算法设计的基本思路，即首先将神经网络的设计目标形式化，建立合适的数学模型；然后交其转化为易于处理的最优化问题，对网络参数以及网络结构进行优化。     

智能变电站二次系统测试及性能评价关键技术研究及应用

<正>一、成果研究背景国内外对智能变电站二次系统测试技术方面的研究主要集中在某个测试项的自动化测试方法研究与自动化测试设备研制方面，未对目前应用于现场的测试方法进行详细的讨论与分析。现有研究点主要针对二次系统功能整组测试，对于设备极端、异常运行条件下的测试研究较少；     

数字电视测试仪器校准技术研究

数字电视是国家在“十一五”期间电子信息产业的重点发展领域。在数字电视相关产品的研制、生产、质量检测过程以及数字电视节目的监测中使用了种类繁多的测试仪器，这些测试仪器设备的量值准确、统一是保证数字电视质量的关键。数字电视测试仪器校准方面，我国的计量技术体系还没有建立，相关的检定规程、校准方法、校准系统等都是空白。信息产业部电子第五研究所计量检测中心跟踪数字电视的发展动向，率先研究了数字电视测试仪器中存在的各种校准问题，并提出了一些可行的校准方案。     

装饰美与设计美的关系

“装饰美与设计美的关系”是困扰艺术设计界的问题之一。究竟怎样的装饰才是美的呢?装饰，依我们的理解，是施加于事物使其形式化的手段及结果。形式化的目的是“美”和“好”。不同时代、不同地域、不同的人对美和好的判断，并没有统一的标准，因而美的装饰也有形形色色。     

激光闪光法测量固体材料热扩散率的研究进展

基于瞬态原理的激光闪光法因其具有所用试样小、测试周期短等优点，在测量固体材料的热扩散率方面发挥了重要作用，应用较为广泛。根据近些年来在激光闪光法可测材料种类、关键技术问题以及优化和改进3个方面的研究进展，介绍了其应用情况，并分析总结了其研究重点、难点以及研究价值，最后讨论了激光闪光法存在的挑战和前景，为未来激光闪光法在更多领域的应用提供参考。     

可信分布式实时系统的面向方面的形式化方法

形式化方法具有精确数学含义的科学研究和验证方法,是建立在数学基础上的,可信分布式实时系统开发过程中的时间分析是非常复杂的,涉及到不同的方面,需要考虑很多东西,不同的可信分布式实时系统具有不同的时间性需求,不能用一种开发方法进行分析、设计和实现,由于形式化方法具有严谨、可数学分析、证明、完整性、一敌性、无二义性和精确性等特性,可以根据系统开发的不同方面采用不同的形式化语言进行分析、设计和实现,然后再把这些方面编织应用到系统中去,来完成它在系统中特定的作用,因此形式化方法已经成为人们深入研究的一个领域。     

软件测试技术研究

目的 研究软件测试技术，并给出一种软件测试模型。方法 分析了软件测试技术，并结合传统的测试方法，针对面向对象技术新特性在测试中引发的问题，提出了一种测试模型。结果 给出了一种面向对象软件的测试模型。结论 该测试模型可以方便地面向对象软件进行测试。     

水平井试油测试技术研究与应用

水平井试油测试技术主要是通过水平井试油测试管柱力学分析找出管柱中的薄弱环节，选择合适的井下工具，配套相应的试油测试管柱，解决水平井试油测试工艺中存在的分层测试、排液量、油气层保护等方面的问题。     

本体在CBR求解复杂问题中的应用研究

本体是对共享概念模型形式化的规范说明，是对特定领域对象及其关系的概念化描述，为此，本文模拟专家求解思维模式，将本体与CBR结合，借助本体来规范案例和问题的描述并使之系统化建立了基于本体的复杂问题CBR求解框架，并对基于本体的CBR关键技术进行了深入研究。     

计量测试技术的发展

本文从技术角度出发，围绕发展动力，检测手段和发展趋势三方面阐述了关于计量测试技术的发展问题。