基于资源的需求描述方法

针对需求分析中的系统需求描述问题,本文提出了一种以资源描述需求的方法,分析了这种方法与传统需求描述方法的异同;实现了对资源及需求的形式化描述,并详细讲述了获取需求的过程;最后给出了需求的存储形式和需求同资源的映射算法。     

网络控制系统的机理描述模型

网络控制系统与工业企业网有着密切的关系。通过对网络控制系统的运行机理进行分析,一个基于Ｅ（事件）、Ｃ（通信）和Ｒ（关系）的三元组模型（ＥＣＲ模型）,可以很好地描述网络控制系统的运行机理。该模型也可以用于指导网络控制系统的设计。     

基于多视点的需求描述模型

本文提出了一个基于多视点的需求描述模型,该模型可通过视点模板来定义用户的需求,此外,本文也结合一个管理信息系统的实例,介绍了使用这一需求描述模型定义软件系统需求的全过程。     

基于形式化描述的电梯控制系统的建模与仿真

研究电梯控制系统中组件之间复杂的信号传输关系。针对传统的建模方法不能同时精确描述系统模型的静态与动态语义的问题,从系统体系结构的组件与连接件入手,探讨形式化描述语言XYZ/ADL描述系统模型的特性,运用XYZ/ADL形式化地描述电梯控制系统的总体功能规范、主要组件的结构模型、组件之间信号传输的动态模型和电梯运行模型,并基于所构建的形式化描述模型实现系统的仿真运行。结果表明,基于XYZ/ADL描述的形式化模型能准确分析电梯组件之间复杂的信号传输关系,精确模拟电梯运行的各种状态。     

基于XML的UUT测试需求描述方法研究

针对ATS开发过程中UUT测试需求缺乏标准规范的信息描述方法,致使ATS软件复用性、移植性差等问题目益突出的现状,参考有关国际标准,建立了UUT测试概念模型和基于XML的UUT测试信息描述模型,包括原子测试模型、组合测试模型等,阐述了模型之间的关系,给出了UUT测试需求描述模型应用实例;UUT测试概念模型揭示了UUT测试问题的本质,为UUT测试需求描述模型的建立打下了基础,UUT测试需求描述模型实现了UUT测试需求的标准化描述;该方法提高了UUT测试需求描述信息的复用性,改善了ATS的互操作性.     

需求描述前的需求跟踪问题

需求描述前的需求跟踪问题一直是软件工程中非常重要的一个方面，同时又是研究较少的一个方面。需求描述前的需求跟踪的提供者和使用者总存在一些难以解决的矛盾，本文首先从这一角度出发分析了需求描述前的需求跟踪问题。与传统技术一样，而向对象技术有保证需求描述前的需求可跟踪性的自动获取，为此文章讨论了在面向对象 支持需求描述前的需求跟踪能力的必要条件，在此基础上，文章介绍了一个支持需求跟踪的原型系统（ＯＯＲＴＳ     

需求描述前的需求跟踪问题

本文讨论了需求描述前的需求跟踪的提供者和使用者之间的矛盾和面向对象分析中支持需求描述前的需求跟踪的必要条件。在此基础上，文章介绍了一个支持需求跟踪的原理系统，并京进一步解决需求描述前的需求跟踪问题进行了讨论 。     

需求描述前的需求跟踪模型研究

对需求描述前的需求进行跟踪可以减少需求错误、有助于需求变更的处理和软件组织的过程改进。针对传统需求跟踪方法没有对需求描述前的需求跟踪提供合适支持的问题，文章剖析了需求分析过程中产生的中间产品及其之间的各种关联，基于分析结果，提出了一个需求描述前的需求跟踪模型，包括过程模型和数据模型：过程模型描述跟踪过程，数据模型描述原始需求和中间产品。最后应用模型跟踪一个设备租赁系统中费用计算的需求，结果表明利用该模型能够准确跟踪到需求来源，发现需求错误、遗漏和不一致，并消除错误影响，从而改进需求质量，其有效性得到了验证。     

基于SysML的无人侦察机需求描述方法研究

在装备论证与开发中,装备用户和研制设计人员间的需求描述往往难以沟通,造成研制工作的推迟和较大偏差.针对这种用户与研制方的需求交流障碍,借鉴SysML需求图建立武器装备需求描述的方法与步骤.主要分析了需求基本模型、需求导出模型、需求满足模型和需求验证模型等四类需求子模型.以无人侦察机需求为例,给出了基于SysML需求图对无人机顶层需求及其与设计参数之间的关系进行描述的方法.需求建模的结果表明,利用SysML需求图能够准确地对无人侦察机的需求进行描述,并且易于理解和操作.     

基于XYZ/ADL的电梯控制系统体系结构的描述与求精

研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。     

A Specification Method for Specifying Data and Procedural Abstractions

A specifilcation method designed primarily for specifying data abstractions, but suitable for specifying procedural abstractions as well, is described. The specification method is based on the abstract model approach to specifying abstractions. Several data abstractions and procedural abstractions are specified and a proof of implementation correctness is given for one of the data abstractions–a symbol table.     

一种基于时间自动机的实时系统测试方法

基于时间自动机(timed automata,简称TA)的一种变体--时间安全输入/输出自动机(timed safety input/output automata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state,简称USTGSS);然后采用基于标号迁移系统(labeled transition system,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.     

一种实时数据库的分布式存储方法

随着网络技术迅速发展,各实时系统产生的数据量呈指数级增长,各业务应用对海量数据的管理和应用的实时性提出了越来越高的要求,现有的单机实时数据库技术已无法满足需求,将分布式思想引入实时数据库领域,主要从数据分布方式、数据冗余备份、数据一致性等方面做了研究,并提出一种实时数据系统中的数据分布式存储的设计.该设计可以为当前实时数据库扩展性及可靠性方面提供技术支撑.     

嵌入式系统上的实时语音识别算法

介绍了一种嵌入式系统上的孤立词语音识别算法.该算法基于连续隐含马尔可夫模型,根据嵌入式系统的特点,简化了经典的连续隐含马尔可夫模型,在主流个人数字助理（PDA）上实现了中等规模语音识别的实时处理,采用最大后验概率（MAP）自适应方法解决训练数据采集信道和PDA信道的不匹配问题.在系统的后端处理中,提出了一种基于置信测度的拒识方法改善系统的稳健性,最终使610个孤立词的识别任务,系统的等错误率小于5%;对集内发音拒识率为5%时,集内发音识别率达到95%.     

A Distributed System for Real-Time Applications

This versatile network uses multiple microprocessors and a split-bus architecture to collect and process real-time data from a variety of sources and then transfer it to different destinations.     

Specifying Real-Time Finite-State Systems in Linear Logic (Extended Abstract)

Abstract

Real-time finite-state systems may be specified in linear logic by means of linear implications between conjunctions of fixed finite length. In this setting, where time is treated as a dense linear ordering, safety properties may be expressed as certain provability problems. These provability problems are shown to be in pspace. They are solvable, with some guidance, by finite proof search in concurrent logic programming environments based on linear logic and acting as sort of model-checkers. One advantage of our approach is that either it provides unsafe runs or it actually establishes safety.     

一个分布式实时指挥监视系统

文中介绍一个基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒｅ模式的地分布式的一个实用的分布实时数据处理系统，该系统采用了Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ模式分布系统构造方法和ＷｉｎｄｏｗｓＮＴ提供的多线程抢先式多任务管理方式，引入带优先级的调用策及面向对象的编程技术，从而获得了较好的模块性和实时性。     

一种实时快速热力系统仿真方法的研究

在热力系统的仿真中,如何提高仿真计算速度并保证系统稳定性,成为提高仿真性能的一个重要环节。基于现有的研究基础上,该文通过详实的数学分析,提出了一种改进仿真性能的方法。通过对系统中最快响应环节的状态方程右函数变化趋势进行预测,在Euler法基础上将局部精度提高到二阶,从而使整个系统的仿真步长有效地增加并保证系统的稳定性。文中还通过一个典型示例进行了仿真验证。仿真结果表明该改进方法在保证系统稳定的前提下可以使仿真步长增大一倍以上。     

面向互动式网络场景再现的流速控制系统与方法

互动式网络场景再现是一种重要的真实网络流量产生方法.然而,由于流量产生过程的复杂性,基于精确的数学模型对该过程产生流速进行控制是一个较为困难的新问题.文中设计实现了一个面向互动式网络场景再现的流速控制系统,并将网络场景再现过程中的流速控制问题转化为目标跟踪控制问题进行求解.该系统采用一种基于函数近似器的流速控制方法,利用函数近似器对系统的输入输出关系进行描述,通过动态调整系统输入流量来对回放过程输出流量进行跟踪.最后,利用真实网络流量实验考察了文中系统和方法在不同丢包、传输延迟以及会话阻断环境下的实际控制效果,并从收敛时间、产生输入输出、控制误差等角度对系统的控制性能进行了分析.