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

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

一种二元响应变量模型的分布式贝叶斯估计方法

在海量数据背景下,传统的基于单个计算节点的算法很难满足分析要求。考察了一种分布式贝叶斯估计方法,通过在每台机器上单独运行蒙特卡洛抽样并做加权平均可以有效地解决算法效率问题。将该方法应用于基于广义极值模型的二元响应变量回归分析,并探讨其实用性。模拟研究表明分布式算法比传统方法更有效。     

分布式分组共享数据对象管理系统的设计和实现

研究和开发基于网络的并行程序设计语言是并行领域的主要研究方向之一。介绍了基于工作站网的管理分组共享对象系统,该系统能对以共享数据对象模式实现虚拟共享存储的并行程序设计语言提供仍力的支持。     

一种解剖CAI课件的设计方法

ＣＡＩ在医学教学实验中有着重要的应用价值 ,它能较好解决医学实验中的成本高、实验费高、可视化低 (例如 ;神经系统 )、不易重复等特点 ,尤其是三维图形 (简称ＳＤ)的表现能力 ,神经系统、运动系统的形象演示 ,给教学带来了极大的方便。用程序设计语言为主进行程序设计 ,较传统的Ａｕｔｈｏｒ ｗａｒｅ相比具有很强的灵活性 ,如果在引入标准图形接口ｏｐｅｎＧＬ就更加强了其图形的表现能力 ,在此基础上辅以 3ＤＭＡＸ和ＡｕｔｏＣＡＤ即可完全满足解剖教学对 3Ｄ的要求 ,设计出风格独特的以仿真模型和动画为主的交互式教学软件。虽然此种…     

临床试验设计的主要原则和方法（一）

临床试验是一种经过精心设计的医学研究方法．属于实验性研究的范畴。通过成功的临床试验，能科学地评价药物、疗法、预防性干预试验的效果及副作用，并使试验结果外推到总体患或总体人群。     

"军字一号"常见的2种故障及处理方法

"军字一号"医院信息系统以其科学、快捷和严格的管理在医院发挥着重要作用,是国内拥有军地用户最多的系统.在运行过程中,由于某些人为的操作或系统本身的一些缺点及操作系统本身的原因导致了某些故障时常发生,因此维护量比较大,下面介绍2种时常发生故障及处理方法.     

一种新型B超数字扫描变换系统的设计方法

针对B超设备小型化以及扫描图像存储容量大的要求,本文提出了一种基于FPGA和DDRSDRAM结构的新型的数字扫描系统的设计方法 ;介绍了相应的逻辑设计流程和系统实现的关键技术.仿真结果 和实验结果 表明,该系统为实现B超的小型化需求提供了途径.     

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

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

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

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

基于正交函数逼近变换的分布参数系统可控性与可观性

基于偏微分方程谱分解原理，采用正交函数逼近技术，给出了分布参数系统逼近可控性、可观性的定义，并研究线性分布参数系统逼近可控性与可观性的判定方法。还研究了两种典型分布参数系统在不同形式控制与观测情况下的逼近可控性与可观性判据。     

实时结算“银医一卡通”模式的设计与实现

介绍一种实时结算模式的“银医一卡通”系统,利用普通银行卡代替门诊就诊卡,实现全自助模式的门诊挂号、缴费、预约等门诊就诊流程的优化,有效减少了病人排队等候时间,提高了病人满意度,是一种银行服务和医疗行业服务结合的新模式。     

乙烯精馏塔压差实时专家控制系统

针对乙烯精馏过程的复杂性，设计并实现了乙烯装置中乙烯精馏塔压差实时专家控制系统(RECS)，阐述了该系统的工艺特点、系统设计及控制软件实现。在某大型乙烯生产装置中的成功应用表明，此系统不但控制效果优良，而且与Honeywell TDC—3000集散控制系统(DCS)内部系统有机结合，有效地实现了人机对话功能，便于实时监控与维护。     

医疗废物实时定位系统应用探索

结合广安门医院特点进行系统选择，通过充分分析医疗废物回收的原有流程和管理盲点，介绍目前利用信息技术管理医疗废物的各种工作模式，重点阐述了医疗废物实时定位系统的建设和对原流程的改进工作，进一步论述医疗废物实时定位系统在医院的实施工作以及系统功能和管理方面的改进。     

基于小波变换的一阶线性变参数分布参数系统预测控制

介绍了小波及其乘积运算矩阵和离散时间分布参数系统的预测控制，对一阶线性变参数分布参数系统用Haar正交小波基进行了逼近。将Haar正交小波应用于一阶线性变参数分布参数系统的预测控制研究，仿真结果验证了算法的有效性。     

Haar小波运算矩阵与性质在分布参数系统控制中的应用

在小波理论的基础上,给出了Haar小波基所对应的乘积运算矩阵fm×m、元素乘积矩阵Hm×m、乘积积分运算矩阵W、微分运算矩阵D等,并给出了Haar小波逼近运算性质。将这些矩阵及其性质应用到分布参数系统控制问题的求解过程中,取得了较好的效果。     

基于分布式存储的区域医疗影像系统建设

比较了区域医疗影像系统的集中式存储与分布式存储;通过构建分布式系统,实现跨区域或跨机构实时的医疗影像数据调阅和分布式存储,大大节约医联影像数据中心投资建设的费用,对打造“智慧医疗”的建设具有非常重要的意义。