分布式实时系统设计的一种扩展方法

介绍了分布式实时系统设计的一种扩展方法。在转化设计的基础上，支持系统的扩展及系统规范的改变。新的系统需求规范使用轨迹逻辑（Trace logic）描述系统轨迹，用DCI（Duration calculus implementalble）描述其对时间的要求，在原有的系统设计规范的基础上应用一组标准的扩展规则得到新的设计规范。系统设计的正确性可由扩展过程本身得以保证。多用户多媒体通信系统的设计实例展示了扩展设计方法的具体过程。     

UML到SDL在地铁售票机系统中的应用

介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法，并以地铁售票机系统的设计为例，介绍了具体的转化过程。售票机系统的需求规范用UML描述，系统的设计规范用SDL语言表示。     

PSC:软硬件协同设计的一种中间模型

提出了一种软硬件协同设计的系统模型－－PSC（进程状态控制）。建立PSC的可视化表示、形式化的定义和演化规则。PSC是一种层次文化建模方法，它可以将系统控制逻辑和功能实现分离，有利于将模型转换为物理实现，并在转换过程中结构和功能可以分别采用不同的技术和实现方法。     

一种感知情景的存取控制策略的规范和分析方法

对RBAC的角色激活过程增加情景约束,建立了感知情景的存取控制策略;利用D ata-log逻辑语言来建立感知情景存取控制策略模型的形式化规范;使用一阶逻辑语言描述策略的一致性、完整性等性质,借助D atalog实现了一个控制策略自动决策原型系统。     

基于Tecton的验证系统Violet

在Tecton语言对面向概念的构件进行形式化规范的基础上，创建了Violet验证系统对构件的性质进行自动验证。Violet系统是基于重写技术的验证工具，其主要目的是辅助用户发现和理解构件规范的验证，并建立经过验证的软硬件的构件库。描述了系统在可视化和自动化方面的主要特性，并实现了位交换协议的Tecton规范和系统验证。     

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

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

基于DEVS的目标跟踪系统UML建模

目标跟踪系统的建模是信息融合研究的热点之一.本文在目标跟踪系统分析的基础上,将DEVS的形式化描述和UML图形化描述结合起来,研究DEVS的数学模型到UML类模型的映射关系和建模过程,为目标跟踪系统的设计和实现提供了一种可行的方法,并通过EclipseUML环境下的建模和JAVA编程证明其有效性.     

一种基于Object-Z的面向方面建模方法

提出一种基于Object-Z的形式化面向方面建模语言及其建模方法。方面规范提供了观察基本模块和方面模块的行为、描述它们相互关系的手段,编织机制将两类模块系统地集成为一个完整的系统模型。该方法能有效地简化系统建模,提高系统模型的可复用性,也为进一步验证系统性质提供了理论基础。     

集成化管理GCP药房系统的设计与实现

目的结合《临床试验质量管理规范》(Good Clinical Practice,GCP)的要求,给出了集成化管理GCP药房系统的设计方案,用于提升临床试验药品管理的系统、规范和科学性。方法分析了GCP药房的日常管理需要,并按需要给出了相关系统的功能模块,同时围绕各功能模块设计了包含基础、数据、支持和应用层的系统框架。结果所设计的GCP药房系统包含临床试验药品的验收、存储、发放和回收等多项功能,满足GCP药房管理的日常需要,并对药品管理的质量及效率有着显著的提升。结论在GCP药房的管理过程中,加快信息化系统的发展,对于提高临床试验药品管理的系统性、规范性和科学性有着重大意义。     

基2的流水式快速傅里叶变换处理机的形式化模型

快速傅里叶变换(FFT)的应用领域非常广泛,其硬件实现方法多种多样。传统的电路正确性验证的方法是模拟,这种方法的主要缺点是不能穷尽模拟全部输入情况,而形式化方法使用纯数学手段证明电路具有某些属性,从而证明其正确性。所以用形式化方法验证FFT电路的正确性具有极强的实用价值。形式化验证的第一步工作是对要验证的电路进行建模,因此本文首先介绍了国内外FFT形式化建模的主要方法和优缺点,然后用重写系统给出了任意N=2M点的基2的流水式快速傅里叶变换处理机的形式化模型,显示了重写系统用于复杂硬件电路建模的优越性,为进一步的电路正确性验证奠定基础。     

一片8Xc196Mc单片机的便携式多参数监护仪的研制

目的　研制一种便携式多参数生命指征监护仪。方法　以一片 8Xc1 96Mc单片机和一个高分辨率 (6 40× 2 0 0 )的液晶显示器 (LCD)为基础 ,采用信号检测和数据处理技术实现心电、血压、呼吸频率、体温 4个生理参数的实时检测和显示。结果　本系统可动态实时显示所采集的心电波形和其它的参数 ,以及所检测参数 2 4h的趋势图 ,并可通过RS2 32接口与PC机之间进行数据传输。结论　该仪器小型轻便 ,使用灵活 ,有较强的抗干扰能力 ,具有很大的应用价值     

呼吸力学参数监测系统的设计与实现

目的：设计呼吸力学参数监测系统,实现流量、气道压力两个基本量和潮气量、分钟通气量、呼吸率、峰值压力、峰值流量、气道阻力等十八个推导参数的监测与显示。方法：利用流量传感器将呼吸气流引入到压力传感器,检测到病人气道的流量和压力,把实时采集的这两个信号发送到单片机系统通过预设的算法推导出相关呼吸力学参数,将这些参数发送到上位机或监护仪用于参数和波形的显示。结果：流量同标准流量计的相对误差是8．43％。气道压力同呼吸机测试仪的相对误差是2．5％,都在系统规格设定的范围以内。推导出的呼吸力学参数的最大误差都在允许的5％范围以内。结论：该系统设计方法新颖,监测参数准确,显示波形细腻平滑,满足临床呼吸力学参数监测的功能和应用需要,可以弥补国产监护仪的技术不足。     

中医护理评估基本数据集研究

介绍数据集的基本概念,通过研究分析临床护理过程与科研业务需求,编制中医护理评估基本数据集,阐述设计理念、框架及技术路线,数据集的建立为护理评估信息系统提供共同遵守的数据交换规范,为区域性信息平台的建立奠定基础。     

多出口校园网的路由设计

目的设计一个多出口校园网的路由,解决教育网用户高速访问CERNET以外的资源的需求。方法使用CISCO6509交换机和CISCO路由器,采用策略路由与NAT技术,对多出口校园网路由问题进行了研究和探讨。结果使用策略路由及地址翻译（NAT）技术解决了此类问题并给出了具体实现办法。结论：使用多出口的路由设计方法解决教育网用户高速访问互联网的问题切实可行。     

一种新型静脉输液监测系统

本文介绍一种新型高性能价格比的静脉输液监测系统，系由静脉输液监测仪和多路报警器组成。本系统用于对静脉输液进行全程监测及本地和远端报警，能减低医护人员的劳动强度，保证输液的精确性、可靠性，提高患者静脉输液的安全性，适用于各级医疗单位。本文介绍其主要功能特点，硬件、软件设计及应用。     

现代制药企业设计模式的探讨

就目前在药厂设计中常用的两种设计模式：多中心设计和模块化设计进行多方位的分析比较,从质量风险、适应性及可拓展性等方面进行对比,对两种模式的优、缺点进行深入的分析,经过分析比较,多中心设计较适合于品种单一、产量较大的产品,而对于多数药品生产企业,模块化设计更为适合,也是今后药厂设计的一个方面。     

医学科学数据管理与共享平台原型系统建设

构建面向公众的医学科学数据管理与共享平台原型系统,阐述系统设计情况,包括总体框架、标准规范体系、功能层和应用层设计,以及系统实现过程,包括服务器配量、开发流程及效果,实现对多源异构医学数据的有效组织、管理和利用。     

常用多指标综合评价法在优选实验中的应用

目的：应用多指标综合评价法优选正交实验结果。方法：采用四种常用多指标评价法优选出正交实验的最优条件，并对结果进行比较。结果：四种常用多指标评价法得出的最优条件一致。结论：多指标综合评价法在优选实验中将具有广阔的应用。