一种基于Petri网的面向方面的用例建模方法

对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。     

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

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

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

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

"军队疗养院信息管理系统"的功能改造

"军队疗养院信息管理系统"在运行过程中暴露出了一些缺陷,缺乏一些必要的功能,需要对其进行适用性改造.改造过程采用asp编程语言、Html语言和VML矢量标记语言等多种软件开发技术,对体温模块和医嘱动态实时提示模块等进行了功能改造,消除了系统存在的缺陷,方便了使用.     

适用于脑部电阻抗断层成像的单源驱动电流模式

目的: 寻求一种更适合于脑部电阻抗断层成像技术(EIT)的单源驱动模式. 方法: 针对脑部电阻率分布的特点和数据采集系统的实际情况,在一个由7300多个电阻构成的脑部电阻率分布等效电路模型上,对比了邻近、交叉、对向和新提出的准对向这四种驱动模式在动态范围、独立测量数、边界电压变化量和抗噪性能等方面的差异.结果:除动态范围外,准对向驱动模式均为最优,对向和交叉驱动模式次之,邻近模式最差.结论: 准对向驱动模式最适合于脑部EIT使用.     

应用面向对象的方法研究张仲景医方的设想

面向对象是一种软件开发技术 ,但更是一种认识事物的方法。通过探讨面向对象方法的基本概念 ,指出其蕴含的带有中医学思维的特色 ,并进一步探讨了应用面向对象的方法研究张仲景医方的设想。     

编织钢丝绳在髌骨骨折术中的运用及其力学强度分析

目的 对比观察双股编织钢丝绳和双股平行钢丝绳在髌骨骨折术中的运用效果,并分析其力学特性,得出一种强度更大、固定更牢靠的固定方式.方法 回顾性分析2017年1月至2019年9月成都医学院第一附属医院骨科髌骨骨折患者81例,根据钢丝形态的不同分成两组,试验组(n= 48)采用双股编织钢丝绳加压骨折断端,对照组(n=33)采...     

偶测血压与动态血压在诊断高血压方面的优越性分析

目的:探讨偶测血压与动态血压在诊断高血压方面哪个更有优越性。方法:对门诊新诊断的高血压患者110例进行24 h动态血压监测,所得数据通过Foxpro数据库处理,得出2种方法诊断高血压病的符合率。结果:在选择的110例通过偶测血压诊断的高血压病患者中,动态血压监测诊断出高血压病的仅27例,其中男性22例,女性5例。2种方法的符合率约为24.5%。男性符合率34.4%,女性符合率10.9%。结论:偶测血压不能全面反映全天的血压水平及动态变化,存在较大的偶然性;动态血压能连续记录24 h血压变化,了解血压变异性和血压昼夜节律性变化,更具有优越性。因此在诊断高血压方面动态血压较偶测血压更为标准全面,尤其在诊断白大衣高血压方面有着重要作用。     

用例分析技术在医院门诊信息系统需求分析中的应用

文章通过对医院门诊信息系统需求的分析,深入探讨了如何在软件需求阶段应用用例驱动模式的分析方法,解决系统边界和模块划分的问题,以达到快速、简便地把整个系统及子系统从现实繁杂的混沌中清晰地勾划出来,以大大提高系统分析的准确度和工作效率。     

基于PHP的医学动态信息网站设计

目的 提出一种基于PHP和MySQL的通用医学动态网站设计方法.方法 采用Windows Apache PHP MySQL Dreamweaver组合开发平台.结果 实现了一个方便、实用的医学通用网站动态信息管理系统.结论 系统具有较好的通用性和扩充性,通过组合、修改模块可以满足不同类型的医学信息发布工作.     

用例驱动的临床检验信息互联互通相关标准规范研究

介绍我国区域临床检验信息互联互通相关标准规范研究所采用的用例驱动的方式,阐述检验信息互操作需求的用例撰写,以及用例在后续标准规范研究中的应用,包括信息标准、信息安全、系统架构等方面。     

The BRIDG Project: A Technical Report

Objectives

The Biomedical Research Integrated Domain Group (BRIDG) project is a collaborative initiative between the National Cancer Institute (NCI), the Clinical Data Interchange Standards Consortium (CDISC), the Regulated Clinical Research Information Management Technical Committee (RCRIM TC) of Health Level 7 (HL7), and the Food and Drug Administration (FDA) to develop a model of the shared understanding of the semantics of clinical research.

Design

The BRIDG project is based on open-source collaborative principles and an implementation-independent, use-case driven approach to model development. In the BRIDG model, declarative and procedural knowledge are represented using the Unified Modeling Language (UML) class, activity and state diagrams.

Measurements

The BRIDG model currently contains harmonized semantics from four project use cases: the caXchange project and the patient study calendar project from caBIG^™; the standard data tabular model (SDTM) from CDISC; and the regulated products submission model (RPS) from HL7. Scalable harmonization processes have been developed to expand the model with content from additional use cases.

Results

The first official release of the BRIDG model was published in June 2007. Use of the BRIDG model by the NCI has supported the rapid development of semantic interoperability across applications within the caBIG^™ program.

Conclusions

The BRIDG project has brought together different standards communities to clarify the semantics of clinical research across pharmaceutical, regulatory, and research organizations. Currently, the NCI uses the BRIDG model to support interoperable application development in the caBIG^™, and CDISC and HL7 are using the BRIDG model to support standards development.     

轴流式血泵驱动系统研究

目的针对“外磁驱动轴流式血泵”结构特点,避免有创控制带来的不利因素,最大限度的满足受体的生理需求,实现无传感器控制,设计基于心室功控制的血泵驱动系统。方法建立主动脉瞬时压力和流量模型,设计血泵电机驱动系统,并进行仿真和实验。结果基于心室功的控制模型可以根据个体生理差异进行适当修正,即可符合受体的需求,所设计的驱动系统能满足自然心脏的泵功能要求。结论采用基于心室功的控制策略,与其他控制策略相比,该驱动系统可以合理分配电机功率,避免系统温升,从而减小对血液破坏的可能性;避免有传感器带来的穿皮导线综合症。     

骨科植入金属材料表面电化学制备磷酸钙涂层方法及机理研究

探讨骨科植入金属材料表面化学制备磷酸钙涂层方法及机理。方法 首先在控制钙/磷摩尔比条件下采用滴定法建立磷酸钙的沉淀边界pH曲线,然后根据曲线确定4种涂层工作溶液浓度和pH。接着利用线性扫描伏安法确定4种溶液中在不同电极电位下所发生的界面阴极反应,并明确合适的工作电位。结果 滴定测得磷酸钙溶液的沉淀边界曲线显示,当溶液pH低于边界0.7~1.2时溶液可保持3天以上不发生沉淀且可以稳定形成涂层。电化学沉积电位的合理区间为-1.0~-1.2 V。将pH控制在沉淀边界以下(~1.0),选择-1.15 V为电化学沉积的工作电位,在4种工作溶液中均成功制备了磷酸八钙为主要相的涂层。通过电极反应动力学研究了电流-时间关系,发现涂层形成初期氢离子还原为涂层沉积提供了初始过饱和度,水分子还原为涂层生长提供持续的驱动力。结论 成功确定了电化学沉积磷酸钙的关键条件并阐述了涂层生成机理,且该涂层方法也已成功应用于钽金属,具有广泛适用性     

Mayo Clinic NLP System for Patient Smoking Status Identification

This article describes our system entry for the 2006 I2B2 contest “Challenges in Natural Language Processing for Clinical Data” for the task of identifying the smoking status of patients. Our system makes the simplifying assumption that patient-level smoking status determination can be achieved by accurately classifying individual sentences from a patient’s record. We created our system with reusable text analysis components built on the Unstructured Information Management Architecture and Weka. This reuse of code minimized the development effort related specifically to our smoking status classifier. We report precision, recall, F-score, and 95% exact confidence intervals for each metric. Recasting the classification task for the sentence level and reusing code from other text analysis projects allowed us to quickly build a classification system that performs with a system F-score of 92.64 based on held-out data tests and of 85.57 on the formal evaluation data. Our general medical natural language engine is easily adaptable to a real-world medical informatics application. Some of the limitations as applied to the use-case are negation detection and temporal resolution.     

一体化医学语言系统中概念语义类型的分类审核

介绍了一项用以检查一体化医学语言系统在概念整合过程中发生的语义类型错误的审核技术。该技术通过对语义网络进行数据图表——数据-语义类型——单一交集的逐层划分，控制了需要检查的概念总数，达到事半功倍的效果。     

一种改进的基于案例推理的建模算法

基于案例推理的方法是一种基于知识获取的方法,也是一种新型的基于数据驱动的建模方法。基于案例推理的核心是案例检索。针对基于案例推理系统中案例检索工作,本文提出了一种改进的K最近邻回归建模算法。首先,基于聚类思想的最近邻回归算法可以实现对案例库的有效划分,从而提高案例检索质量;其次,针对K最近邻算法中邻居个数的选取问题,采用粒子群算法确定需要的邻居个数,取代传统的依靠经验确定邻居个数K的做法。通过对Mackey Glass混沌时间序列数据进行仿真预测,验证了该方法的可行性。