多视点实时形式化方法的应用模式

RT-Z结合了Z的状态描述能力和Timed CSP对并发实时进程的描述能力,成为一种有效的实时并发软件的开发手段。RT-Z不但是一种规格说明语言,也可以用于建模．多视点的软件开发方法的研究从不同的视点观察系统,分离各自的关注点。简化了系统的设计．本文在形式化方法RT-Z的基础上扩充语法框架,以支持多视点工程的思想,充分利用形式化方法的精化推理机制,同时具有对实时约束的描述能力,可作为并发实时系统开发中的基本模式．     

需求分析的 Z 语言形式化方法

非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求.Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明.介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方.     

基于Z语言的互联网登陆系统的形式化规格与验证

Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可产生精确地需求规格说明.本文用形式化语言Z对互联网登陆系统的主要操作模式进行规格说明,接着通过形式化验证,证明设计的规格说明能够满足用户的需求,提高了系统的可靠性和稳定性.     

微机仿真系统中形式化方法的应用

Z语言是一种广泛应用的形式化语言，适合于仿真实时软件系统的需求规格说明．通过微机系统仿真软件的Z规格说明，讨论了Z语言在实时系统开发中使用的一些方法、对典型问题的处理原则以及操作同时序关系的描述．     

形式化方法在核事故评价系统中的应用

核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.     

MRPII系统开发的一种形式化方法

研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。     

安全苛求系统的形式化开发方法

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.     

基于PAR方法的管理信息系统需求建模研究

采用PAR方法中严格定义的形式化语言Radl描述MIS(管理信息系统)系统的性质和行为模式,并建立对应的需求数学模型,为构建高质量的软件需求模型进行了有益的探索.     

分布式实时系统的一种转化设计方法

介绍了实时分布式系统的一种转化设计方法。系统的形式化需求规范用时段演算DC（Duration Calculus)描述，系统的设计用规范语言SL（Specification Language)表示。一组标准的转换规则可将系统从形式化需求规范转化为设计规范。系统设计的正确性可由转换过程本身得以保证。多用户多媒体通信系统的设计实例展示了转换设计方法的具体过程。     

实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

并发Z规格说明在系统需求分析与设计中的应用

阐述了并发Z语言是一类适合于并发实时软件系统设计的规格说明语言,其基本语义是Z语义的并发和实时扩展,提出了对这些扩展方法的分类原则,并通过微机仿真系统设计阐述了基于状态转化方法的并行Z规格说明在并发实时系统需求分析和设计开发中使用的一些基本方法、典型问题的处理原则以及操作间时序关系描述的基本手段。     

基于RT-UML模型的实时系统可调度性分析

简要回顾实时系统的开发现状,对实时系统可调度性相关理论进行探讨.提出一种基于实时统一建模语言对实时系统可调度性进行分析的方法.通过将系统RT-UML模型中实时任务的相关数量信息提取出来,在相应分析工具中进行可调度性分析,分析结果自动反馈到模型中去,实现了对实时系统可调度性进行系统实现前的离线分析.     

由理性到经验--现代数学哲学研究的历史走向

数学基础的研究，形成了逻辑主义、形式主义和直觉主义三大学派，其运用理性主义构造数学，认为数学是一个欧几里得系统。拉卡托斯通过对三大学派所做工作分析之后，认为数学是一个拟经验系统，数学的真理性是被“说明”，而不是被“证明”的，它的发展模式是：问题——猜测——反驳，数学理论具有可证伪性。由理性主义到经验主义是现代数学哲学研究的历史走向，这种走向表明数学在不断追求完美与和谐。     

SAR雷达回波数据的实时采集与存储

随着合成孔径雷达(SAR)系统的发展,高精度的雷达信号回波采集与实时存储成为系统的必然要求。提出了一种基于PCI总线数据采集与实时硬盘存储方法,借助于TS201的FLYBY传输模式向PCI总线传输数据,编写内存驱动程序,建立物理地址和虚拟内存地址的映射。CPU可以直接从内存中读取数据并存盘,减少了CPU和DSP之间的信息交换,大大加快了数据存盘的速度。     

用Windows套接字实现双向Internet实时通讯

在介绍基于TCP／IP协议的WindowsSockcts的基础上,阐述利用Windows套接字编写应用程序实现双向Internet实时通讯的方法和技术,给出了面向连接方式协议的套接字系统调用时序图,探讨客户机／服务器模式的网络通信程序的编程模式以及数据传输,最后详细说明WindowsSockets在VB中的实现过程．     

基于FPGA实时处理的视频信号滤波模块设计

以Xilinx公司生产的FPGA芯片XC4VSX25及其开发系统为实验平台,针对TVP5150视频解码器输出的ITU-R BT.656格式数据,采用帧内滤波方法,通过VHDL硬件语言设计空间域滤波器,实现视频灰度信号的实时提取,并对每帧视频数据在二维空间内进行滤波与处理,这种方法可用于实时处理要求较高的场合。     

基于以太网的数据采集及监控系统的数据通信研究

介绍了基于以太网的数据采集及监控系统的网络构成，提出了使用传输控制协议(TCP)的点对点通信方式与传统的WEB方式相结合的混合型通信方案，讨论了该通信方案实现的关键技术，并简要介绍了通信软件的开发，实验证明该方案数据传输可靠、实时性好，可行性高。     

模糊理论在离合器上的应用

依靠传统控制方法或基于现代控制理论的自动控制方法很难很好地解决离合器的起步控制问题。采用建立在驾驶员经验基础之上的模糊逻辑控制方法可望获得较理想的控制效果。将驾驶员的经验形成控制语言规则,在实时工况下选择合适的语言变量和控制参数,可以实现对离合器的合理控制。