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

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

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

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

基于电子病历的临床路径系统设计与实现

目的：研究与开发基于电子病历的临床路径系统（cP）,以实现降低单病种平均住院目和医疗费用,达到预期诊疗标准的治疗效果。方法通过设计原则、数据流程来描述CP的系统设计：建立临床路径制定工具,路径执行、路径质控、路径统计等四个功能模块来实现临床路径系统。结论：电子病历是临床路径系统运行的前提,临床专家知识库是临床路径系统运行的基础,自我扩展功能是临床路径系统运行的有力保证。     

基于Statecharts的面向方面软件设计与验证

为了及时解决由于关注点横切所产生的“代码交织”与“代码散布”问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证方面Statecharts的介入是否破坏了基本Statechart的相关行为,引入扩展层次自动机解释面向方面Statechart的操作语义,使用线性时态逻辑描述系统的关键属性。最后通过一个案例证明了该设计方法的可行性。     

IDEF信息建模方法在"军字一号"药品子系统中的应用与分析

“军字一号”系统是一个大型的医院信息管理系统，其中系统建模是系统开发、设计过程中的关键环节。传统设计分析方法，仅是凭借系统设计人员的经验进行系统设计，但对于大型复杂系统，凭简单经验已不能解决这样的复杂问题。“军字一号”系统这样复杂系统的设计，必须采用科学、严谨的分析设计方法来进行系统设计。本文介绍并分析了采用IDEF信息建模方法来解决“军字一号”系统分析设计中的系统建模问题。     

流行病学调查数据Web定制采集系统设计与实现

根据系统设计目标,在业务需求分析的基础上,提取数据重复度较高的用来描述流行病学三间分布的数据采集项,通过对业务过程建模分析,提取共有属性,进行业务过程重组,最终设计出普遍适用的流行病学调查数据Web定制采集系统。     

颌面外科向导式门诊电子病历系统的设计与实现

目的：为提高领面外科门诊电子病历的撰写速度和病历质量,设计部署向导式门诊结构化电子病历系统。方法：系统采用客户端、中间逻辑层和数据库层三层架构。主要功能模块包括“病历基本元素定义模块、病历模板管理模块、病历向导设计模块、系统综合查询与统计模块”。结果：开发完成的颌外门诊电了病历系统包括7大类,28个向导模块。支持某个症状与20颗乳牙（22个乳牙间隙）以及28颗恒牙（30个恒牙间隙）任意组合的描述。系统实施后,医生撰写病历地速度及病历本身的质量显著提高。结论：大型口腔专科医院的门诊量较大,颌面外科向导式门诊电子病历系统可以减轻医生撰与门诊病历的负担。该系统设计还可以推广到其它病种及治疗方法较规范的科室。     

基于重写归纳技术的串行加法器的描述和验证

在用重写系统描述逻辑位，门电路，位串和自然数的基础上，对半加器，全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画，并用基于重写归纳的推理技术证明了所有描述的正确性，为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。     

DC、CKRM、TCMLM的比较研究

为了制定中医药科学数据的元数据规范,介绍了国际标准化组织（ISO）发布的三项元数据标准——都柏林核心元数据元素集（DC）、临床知识资源元数据（CKRM）、中医文献元数据（TCMLM）的发展史,并对这三项标准的元素集进行了比较。通过比较可见,CKRM和TCMLM都是在DC的基础上进行了各自领域里的扩展,因此可给元数据规范研制者提供思路和方法。     

在位清洗技术（CIP）简介

本文描述了在位清洗系统（CIP）的工作原理,设备配置及流程,并结合制药工业的特点描述了设计制造要求及验证方法。     

Specification and other methods for determining morally relevant facts

Specification is an integral part of Tom L Beauchamp and James F Childress' principlist approach to biomedical ethics. At the same time, the authors give much space conceding to critics that the method has significant limits. Although their pointing to limitations is not unreasonable as such, the emphasis Beauchamp and Childress put on them does not serve countering the critics' view that specification is insufficient for its intended purpose in applied ethics. This paper defends specification against Carson Strong's critique, showing that his casuistic approach shares strong structural and functional similarities with specification. It concludes with the more general point that specification or some closely related method for determining morally relevant facts of concrete cases and issues is indispensable for any account of applied ethics. Beauchamp and Childress should endorse and defend specification more vigorously than they appear to do.     

基于HART协议的实时设备管理系统

讨论了基于HART协议智能设备的实时管理系统,介绍了HART协议的基本规范,以及如何利用已有集散控制系统（DCS）和工厂信息网络的集成实现实时信息共享,取得了良好的实际效果。     

胸痛中心时钟同步系统的研制与应用

介绍了胸痛中心时钟同步系统的构成、时间采集系统，并对应用进行了论述，实践证明，该系统对胸痛中心时间管理是一种有效方案，提高了医疗质量和临床效率。     

一种虚实结合温度控制远程实验系统的开发

针对虚拟实验系统和远程实物实验系统的特点,提出了一种基于Internet的虚实结合远程实验系统设计方法。该系统同时具有两种类型实验系统的优点,克服了单一类型实验系统的不足。对虚实结合的远程实验系统的功能、组成等进行了详细的分析和设计,设计了符合远程实验要求的温度实验装置,开发了该装置的虚实结合远程温度检测与控制实验系统。应用结果表明：该系统具有多用户支持、功能强大、灵活性好、安全可靠等特点,很好地满足了远程工程教育对实验教学的要求。     

异步电动机直接转矩控制系统设计

介绍了异步电动机直接转矩控制系统的基本原理,阐述了基于TMS320F240 DSP为核心的控制系统的设计。针对死区效应对系统性能的影响,提出了一种简单的互锁补偿方法。     

An iterative requirements specification procedure for decision support systems

Requirements specification is a key element in a DSS development project because it not only determines what is to be done, it also drives the evolution process. A procedure for requirements elicitation is described that is based on the decomposition of the DSS design task into a number of functions, subfunctions, and operators. It is postulated that the procedure facilitates the building of a DSS that is complete and integrates MIS, modelling and expert system components. Some examples given are drawn from the health administration field.     

庆大霉素-刚果红体系共振Rayleigh散射光谱的研究及其分析应用

目的建立一种测定痕量庆大霉素的方法。方法在pH6．37的Britton—Robinson缓冲液中,将刚果红与庆大霉素反应的离子缔合物在荧光光度计上进行同步扫描（λem=λex）,得到体系的共振Rayleigh散射光谱。在最强散射波长处,研究体系适宜的反应条件和影响因素。结果庆大霉素浓度在0．03～4．06μg／mL范围内与散射强度呈良好的线性关系,其回归方程为△I=12．53c-1．237（μg／mL,R=0．9985））,方法的检出限为12．13ng／mL。结论该法操作简便,灵敏度高,已用于硫酸庆大霉素注射剂的快速检测,结果满意。     

基于正交函数的双线性系统预测控制器设计方法

基于离散脉冲正交函数及其性质,建立了一种新的附加系统方法,以实现双线性系统的预测控制方案。这种设计方法避免了非线性优化问题,所有的运算均为代数计算,使设计过程得以简化。对合成氨反应器仿真结果,证明了本法的有效性。