A Requirements Engineering Environment for Embedded Real-Time Software—SREE

The paper presents the embedded real-time software-oriented requirements engineering environment—SREZ. It involves the whole process of software requirements engineering, including the definition, analysis and checking of requirements ,specifications. We first explain the principles of the executable specification language RTRSM. Subsequently, we introduce the main functions of SREE, illustrate the methods and techniques of checking requirements specifications, especially how to perform simulation execution, combining prototyping method with RTRSM and animated representations. At last, we compare the SREE with other requirements specifications methods and make a summary for SREE＇s advantages.     

某工程基础选型设计

本文讨论的是某工程基础选型设计.通过对地质勘察资料的详细分析,初步设想采用予应力管桩基础、水泥搅拌桩复合地基、换填砂石地基处理三种方案.按照建筑地基处理技术规范JGJ79-2002,J220-2002和建筑地基基础设计规范B50007-2002的要求,结合各方案的施工工艺以及工程造价的比较,最后决定采用换填砂石地基处理.本工程现已施工,基本达到较为满意的预期效果.通过对基础选型进行的优化分析,既保证基础的强度、刚度与可靠性要求,又经济合理,希望和同行共同分享这份经验.     

计算机联锁系统CAN总线故障安全通信研究

基于CAN总线技术在联锁系统中的应用,研究了故障-安全通信实现方法.通过分析计算机联锁系统对通信网络的安全需求,得出故障-安全通信的充要条件是传输链路的生存性、信息传输的完整性、实时性和可测性;给出了一种基于容错拓扑结构和报文差错控制编码的CAN总线故障-安全通信解决方案.经过功能测试和理论计算,该方案满足故障-安全的设计原则,传输性能达到了计算机联锁系统的要求.     

芯片功能验证流的高效生成方法

设计验证（Design Verification）在数字系统设计中已经非常重要。功能验证成为了现代数字系统设计周期地瓶颈。作为对基于仿真地验证方法改进的一次尝试,介绍了一种基于有限状态机生成测试向量的方法。它有效地提高了状态空间的覆盖率。     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性、多任务的特点，运用有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计的思路和方法。     

现浇混凝土单侧模板及支架体系经济性设计的研究

针对目前地下工程现浇混凝土外墙利用坑壁胎模而以单侧模板系统作为外墙内模的施工情况,进行了相应的单侧模板及支架体系经济性设计的研究.通过系统地分析现浇混凝土单侧模板及支架体系的工况和受力状态,建立了对应的受力力学模型,并基于价值工程原理,提出了满足功能要求前提下充分利用材料性能,使其达到极限状态下的经济性设计方法.解析了单侧模板及支架体系的经济性设计时模板的次楞、主楞和支架的经济布距,以及支架经济布距时的地脚螺栓直径,并通过实际工程的计算应用,达到了节省材料,降低施工成本的效果.     

SA-PSO算法在CNN边缘提取模板设计中的应用

提出了一种用于边缘提取的细胞神经网络(CNN)模板的设计方法,该方法在基本粒子群算法的基础上引入模拟退火机制,形成模拟退火粒子群算法(SA-PSO)对模板参数值进行搜寻。在搜索过程中,用退火温度调节粒子的突跳概率,轮盘赌策略确定粒子的全局最优的替代值,这样能有效避免基本PSO算法容易陷入局部最优解的问题。同时,为了保证每轮搜寻产生的解均能使CNN网络稳定,用CNN反馈模板的研究结论对粒子群解空间进行约束。模拟实验表明,文章算法设计出的CNN模板有良好的边缘提取能力。     

Agent Based Multiviews Requirements Model

Based on the current researches of viewpoints oriented requirements engineering and intelligent agent, we present the concept of viewpoint agent and its abstract model based on a recta-language for muhiviews requirements engineering. It provided a basis for consistency checking and integration of different viewpoint requirements, at the same time, these checking and integration works can automatically realized in virtue of intelligent agent＇ s autonomy, proactivenes.s and social ability. Finally, we introduce the practical application of the model by the case study of data flow diagram.     

Application of Finite State Machine Theory to the Simulation of Reversed Non-Linear Hysteretic Relationships

This paper presents the application of finite state machine (FSM) theory to the programming of nonlinear hysteretic model simulation for both known and newly created rules. The complicated reversed internal paths involved in the nonlinear relationship which not only depend on material properties, but also on load history, often confuse rule creators and scholars. In this paper, we first describe the development of past hysteretic models. Then we introduce the FSM theory conceptually, and explain how it is applied to reversed and diverse routes. Next, state definitions and procedures are explained with a specific data example using the bilinear model. Finally, the successful application to UC-win/FRAME (3D) is described and several characteristics are summarized. By using FSM’s states and the linkages to represent a hysteresis model, we can quickly realize the programming of the defined complex model rules, and the nonlinear modeling becomes more efficient and feasible.     

Dynamic Vector Space Secret Sharing Based on Certificates

A vector space secret sharing scheme based on certificates is proposed in this paper. The difficulties of solving discrete logarithm assure confidential information＇s security, and the use of each participant＇s certificate makes the dealer have no need to transfer secret information to the participants. The proposed scheme is dynamic. It can effectively check cheaters and does not have secure channel requirements.     

基于BCAM的非状态机高速无感截获系统

对网络中流通的数据进行截获分析是限制和打击网络黑客和网络犯罪的重要手段。然而目前基于有限状态机的截获算法由于实现成本和复杂度的限制,吞吐量较低,难以满足网络核心级的截获速度要求。该文以高速无感截获为目标,利用基于BCAM(b inary con ten t access ib le m em ory)的非状态机结构提出了一种可实现无感截获的高效易行方案。该方案从减少系统成本和实现复杂度出发,通过原创性地采用BCAM避开了设计状态机所需的复杂硬件结构,使方案更简洁高效,同时降低了系统成本,实现了汉字的高速过滤截获,能满足网络核心级,例如O c48链路速度(即2.5G b/s)无感截获系统的要求。     

基于模板的虚拟企业制造信息跟踪方法研究

针对虚拟企业制造执行过程中对进度跟踪、成本跟踪和质量跟踪的需求，提出了一种基于实例化模板（TIT）网络模型的制造信息跟踪方法．该方法采用模板封装制造信息，用模板结构树体现产品信息对于不同配置、不同组织结构的交叉，并用TIT网络模型体现了制造信息在时间坐标轴上的动态性．在TIT搜索算法的支持下，通过制造和管理数据的实时视图和历史视图，实现了制造信息的实时跟踪与历史跟踪，不仅满足了虚拟企业中不同人员跟踪制造执行过程的需求，而且为移动制造协同提供了数据源．     

信息系统开发中的非功能需求策略

分析了信息系统开发中需求分析存在的几个阶段，即问题领域需求、设计需求和实现需求，然后提出了非功能需求策略，最后通过一个信息系统开发实例说明了该策略的应用。     

双离合器自动变速器控制系统软件架构设计

从软件开发方式与架构设计的角度对双离合器自动变速器(dual clutch transmission,DCT)控制系统进行了深入剖析,并以嵌入式实时操作系统μC/OS-Ⅱ内核为基础,构建了DCT控制系统软件架构.通过引入有限状态机(finite statemachine,FSM)实现了DCT的复杂换挡过程控制,以此为基础开发了DCT多任务控制系统.基于DCT硬件在环仿真试验台对所设计开发的控制系统软件进行了功能及性能验证.验证结果表明,设计开发的DCT控制系统软件既满足了系统对实时性的要求,又提高了系统的可靠性和扩展性.     

应用生成器NITAG的设计与实现

NITAG 是面向企事业事务数据处理、以自动生成事务数据处理应用软件为目标的应用生成器。它提供了一个需求说明语言 RSL,用户可以用它描述数据及应用需求。NITAG 在接受这种描述后便可自动生成用户所需的应用软件。NITAG 采用了程序变换法与知识工程法相结合的系统工作原理,首先对用户的需求说明按变换规则进行变换、细化,使需求说明逐步地接近目标语言(EQUEL/C)的表示形式,然后根据系统的编程知识进行分析、推理,取出相应的软部件构造用户的目标程序。     

The Reliability Design and Availability Analysis of a Distributed Storage System

Current distributed parallel file systems and database systems can not satisfy the demands of data-intensive applications, such as storage capacity, access performance, reliability, scalability, and so on. Cluster-based storage sys tems have some shortcomings, too. To solve this kind of problems, a novel PC storage cluster solution is proposed, a distributed storage system based on 3-tiered agent architecture is designed, the system reliability model based on the masterslave backup mode is built, and the system availability is analyzed with the Markov model. According to the system availability formula and the values of the system parameters, the novel system can provide higher reliability and availability to satisfy users＇ requirements,     

网络游戏玩家需求评估方法

针对网络游戏玩家需求信息的模糊性和不确定性,构建了玩家需求重要度评估模型,提出了基于模糊集和熵的玩家需求重要度评估方法.引入对称三角模糊数表达玩家需求信息,最大程度地包含了玩家评价中的模糊元素;建立了基于玩家需求的模糊决策矩阵,用熵的方法确定玩家需求的重要度.最后,通过网络游戏虚拟物品设计的实例验证该评估方法的可行性和有效性,证明能用较少的、模糊的调查数据获得客观的、准确的玩家需求信息.     

抽象数据类型Petri-Net

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.     

基于IFC标准结构动力分析信息扩展框架

工程信息交换标准IFC中尚缺乏对结构动力信息完善的定义和表达。通过剖析当前IFC标准的结构信息模型，对其支持结构分析领域进行评价，分别从几何信息、荷载信息、材料信息、分析结果信息四方面对结构有限元分析软件SATWE的信息需求和IFC标准相应的实体作对比，提出IFC标准结构分析信息模型需要扩展的内容。在遵循IFC标准EXPRESS的语言表达规范下全面定义动力荷载（地震作用）信息，描述结构动力分析信息所包含内容。在EXPRESS-G图中构造和设计结构动力分析信息基本框架，对IFC标准支持结构有限元分析信息进行扩展，为完善IFC标准的结构信息模型提供技术参考。     

区分多业务的跨层优化无线网络协议头压缩算法

在网络中,鲁棒性协议头压缩(robust header compression, ROHC)算法需要压缩端和解压端的状态同步,才能成功解压ROHC数据包,但ROHC算法的双向可靠R模式和双向优化O模式需要单独的反馈信道,增加了网络成本。针对ROHC算法的单向U模式,当无线信道质量变差时,ROHC的性能会随之下降,且现有ROHC算法没有考虑到不同业务对实时性需求不同的问题,提出了一种新的U-ROHC建模方案,引入一种部分可观测马尔可夫过程(partially observable Markov processes, POMDP)跨层优化框架来自适应调整U模型下ROHC压缩端状态,以求改善ROHC的性能。针对实时性业务和非实时性业务的不同要求自适应调整ROHC参数,使实时性业务能在解压失败的情况下具有更快速恢复双端置信的能力,而非实时性业务具有更高的压缩比,以使ROCH具备支持不同业务类型的能力。仿真结果表明,可以使ROHC-U算法在无线信道恶劣的条件下依然保持较好的压缩比和吞吐量。