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

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

铁路系统的模型检查和参数分析

研究铁路系统的自动验证技术,建立火车和控制器的混合自动机模型,用时态逻辑ＩＣＴＬ描述铁路系统的性质规范,使用模型检查技术自动验证铁路系统,并且对铁路系统的一些参数进行分析。     

医学生A型行为者应激时态的逻辑质研究

目的用逻辑质的方法分析A型行为因子与医科学生血浆皮质醇应激反应的时态效应之间的联系。方法采用A型行为类型量表将75名医科学生测量分型后;分别测量安静、应激与应激后的血浆皮质醇(cortisol)指标;由守恒量建立血浆皮质醇应激测量模型,计算时态指标基础量和应激量。结果在安静、应激与应激后状态,两种应激反应类型之间有显著逻辑差异(t=0.32,P>0.05;t≥3.559,P<0.05);时态效应指标基础量和应激量有显著逻辑差异(t≤2.326,P>0.05,t≥3.897,P<0.05);提出应激时态概念,解释应激反应的时态效应与行为因子联系。结论在应激测量模型中,从逻辑上说明行为因子的应激时态效应。     

医学生A型行为者应激时态的逻辑质研究

目的 用逻辑质的方法分析A型行为因子与医科学生血浆皮质醇应激反应的时态效应之间的联系.方法 采用A型行为类型量表将75名医科学生测量分型后;分别测量安静、应激与应激后的血浆皮质醇(cortisol)指标;由守恒量建立血浆皮质醇应激测量模型,计算时态指标基础量和应激量.结果 在安静、应激与应激后状态,两种应激反应类型之间有显著逻辑差异(t=0.32,P ＞0.05;t≥3.559,P <0.05);时态效应指标基础量和应激量有显著逻辑差异(t≤2.326,P >0.05,t≥3.897,P <0.05);提出应激时态概念,解释应激反应的时态效应与行为因子联系.结论 在应激测量模型中,从逻辑上说明行为因子的应激时态效应.     

瘀热病机定性与定量分析方法探要

“定量分析”和“定性研究”因其在本体论、认识论和方法论方面存在的分歧,在中医诊疗研究界形成了声势浩大的对垒。定性研究者的经验积累来源于探究循环过程的正负反馈,定量研究者期望对“经验”进行反复验证,形成客观化“经验”以用于临床。以瘀热病机为切入点,分析两种研究方法的逻辑过程并进行对比,以期揭示并反思中医诊疗研究的分析实践过程。     

基于Derwent手工代码共现的miRNA高被引专利聚类分析

[目的]为更好揭示Derwent数据库中相关高被引专利的研究结构和研究内容.[方法]本文提出了基于Derwent手工代码共现的高被引专利聚类分析方法,并对该方法的可靠性进行验证.本文以miRNA专利为例,首先在Derwent数据库中获取miRNA高被引专利的相关数据,对数据进行基于Derwent手工代码聚类分析得出聚类分析结果.对miRNA专著进行分析,提取其主要研究内容.对每条miRNA高被引专利的“NOVELTY”和“USE”部分进行内容分析,得出内容分析结果.最后将聚类结果分别与miRNA专著内容和专利内容分析结果进行比较验证.[结果]聚类分析结果和内容分析结果相吻合.[结论]基于Derwent手工代码的高被引专利聚类分析方法能够有效揭示高被引专利的研究结构和研究内容.     

试谈某些动词与进行时的关系

<正> 时态是一种与时间、动作,讲话时间有联系的语法范畴,它虽与时间有关,但并不等于时间,也就是说时态是指在一定的时间内所发生的动作。发生动作的时间,可以与讲话时间一致,可以在讲话时间之前,也可以在讲话之后。由此,构成了“进行时”、“将来时”和“过去时”等十六种时态。时态是由     

临床病理诊断结果分类信息代码系统的设计和应用

目的　规范、精确疾病定义。方法　采用多项分类内容定义疾病或形态学改变。数据库设计采用SQLSERVER 2 0 0 0数据库。结果　确立临床病理诊断结果分类信息 9位核心代码 2位附加代码系统的方案。核心代码本质为疾病属性分类命名编码 ,包含了“性质分类”、“生物行为”、“组织起源”、“形态归类”及“诊断名称序号”等。附加代码包括“标本来源”、“病理类别”两项。结论　病理诊断结果代码库可与国际医学规范术语集(SNOMED International)及国际疾病分类 (ICD)代码相对应 ,方便国内外同行进行医学信息通讯和交流 ,对推广医院信息系统标准编码 ,促进病理诊断标准化有积极意义     

以绩效管理促医院品质提升

上海复旦大学附属中山医院秉承“一切为了患者”的宗旨,致力于改变员工行为,创新管理模式,实现医院的快速发展。管理大师彼得·德鲁克曾说过：管理是一种实践,其本质不在于“知”,而在于“行”;其验证不在于逻辑,而在于成果;其唯一权威就是成就。对于有77年历史的上海复旦大学附属中山医院（以下简称“上海中山医院”）而言,其战略目标是成为国内领先、     

“本文报导……”该用什么时态

我们发现国内医学杂志的英语摘要在写作上存在一些问题。时态的应用是其中之一。而在时态应用中最混乱的莫过于“本文报导…”这一常用的团定句式。我     

基于功能点估算的逆向工程方法

功能点分析是从用户的角度度量软件功能规模的一种方法。本文首先对功能点分析(FPA)现有的半形式化模型进行了扩充,然后形式化描述了外部查询(EQ)的4条规则,并提出了基于源代码的逆向工程技术方法来处理这4条规则,为全自动化度量奠定了理论基础。     

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

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

Effective Identification of Similar Patients Through Sequential Matching over ICD Code Embedding

Evidence-based medicine often involves the identification of patients with similar conditions, which are often captured in ICD (International Classification of Diseases (World Health Organization 2013)) code sequences. With no satisfying prior solutions for matching ICD-10 code sequences, this paper presents a method which effectively captures the clinical similarity among routine patients who have multiple comorbidities and complex care needs. Our method leverages the recent progress in representation learning of individual ICD-10 codes, and it explicitly uses the sequential order of codes for matching. Empirical evaluation on a state-wide cancer data collection shows that our proposed method achieves significantly higher matching performance compared with state-of-the-art methods ignoring the sequential order. Our method better identifies similar patients in a number of clinical outcomes including readmission and mortality outlook. Although this paper focuses on ICD-10 diagnosis code sequences, our method can be adapted to work with other codified sequence data.     

基于安全灰箱演算的物联网移动性建模验证

物联网的建模和验证是物联网研究的一个重要领域。由于集成了物理进程,物联网表现出传统软件系统所不具备的物理特性。这些性质作为物联网系统中必不可少的一部分,必须在物联网模型中进行描述。移动性作为一种物理属性,能够描述物联网中物理实体的移动以及信息的流动,本文对物联网的移动性进行研究,提出了一种基于安全灰箱演算的物联网模型,并且使用灰箱逻辑对其进行分析验证。该方法能够对物联网的移动性进行描述分析,适用于具有移动特征的物联网应用。以欧洲火车控制系统（ETCS）为例,验证了本文建模和验证方法的可行性。     

基于Java环境面向对象软件质量度量的一些研究

讨论了适用于面向对象软件质量的度量方法,提出了在Ｊａｖａ软件质量度量中应注意的问题。     

矩形腔内冷水稳态自然对流换热的二维数值模拟

为了了解矩形腔内非Boussinesq流体自然对流换热的特有现象和规律,利用有限容积法对矩形腔内的冷水自然对流进行了一系列数值模拟,得到了不同宽深比、Rayleigh数下的流场和温度场,并对不同条件下的壁面传热特性进行了比较与分析。计算结果表明：随着宽深比的增大,流动逐渐增强,流胞数逐渐增多,壁面平均Nusselt数逐渐增大,并趋于某一定值;随着Rayleigh数的增加,换热能力也会增强,而且流动结构的转变会在更小的宽深比下发生。采用逐步线性回归方法,得到了关于热壁平均Nusselt数的传热关联式。     

一元线性回归模型设计及C++实现

针对统计方法中一元线性回归问题,详细描述了其建模方法。根据建模方法设计了一元线性回归模型类,同时给出了统一建模语言(UML)类图;再利用C++语言实现了一元线性回归模型类:最后给出了测试实例,测试结果表明了本文设计以及实现的一元线性回归模型类具有较好的可靠性以及较高的精度。为工程应用奠定基础。     

一种基于二维匹配滤波器的掌纹识别算法

在掌纹识别算法中,基于Gabor滤波器和方向编码方法得到了广泛的研究和应用,但是此类方法一般使用Gabor滤波器提取特征,易受噪声和散焦等外界因素的影响。针对此问题,本文提出了一种基于匹配滤波器的算法。该算法使用二维匹配滤波器提取图像特征,采用双方向编码（DOC）匹配方法表征特征之间的相似度。实验结果表明,该算法对于噪声、散焦和平移等干扰都具有很好的鲁棒性,验证了该算法的可行性。     

医疗服务补救策略的展开方式及人文特征

目的考察医疗纠纷发生前期的精确处置与化解策略,焦点集中在对医疗服务补救策略的释义进行方法学及必然性和意义的探究上。方法从医师角度将医疗服务补救策略实施方法加以分类,五种展开方式及人文特征:权责逻辑;利益与伤害伦理逻辑;经济与交易逻辑;技术权威;回避与机遇展示。结果展示方法在人文影响方面各具优劣,反应了责任、消费、效果、争议的各个视角,并以伦理公平加以讨论。结论医疗实践过程需要与时代政治经济状况相适应的核心价值观念重塑。