目标独立的Prolog程序路径依赖分析语义

在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度.当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析.为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语文,并证明了LT语义相对于操作语义的正确性.LT语义可作为目标独立的Prolog程序路径依赖分析的基础.     

消除GCC抽象语法树文本中冗余信息的算法研究

由GCC编译器对C语言源程序进行语法分析产生的抽象语法树文本存在大量的冗余信息,如果直接对其进行解析,则会产生解析效率低、产生的抽象语法树会占用大量的存储空间的问题.针对此问题,在深入研究(GDC抽象语法树文本结构和解析过程的基础上,提出了一种高效消除冗余的算法,通过实验证明了算法的正确性和适用性,并提出了GCC抽象语法树解析的数学定义.     

基于语义网格门户的用户语义模型研究

现有的网格门户不能较好地满足用户的个性化的需求,对用户需求的缺乏语义描述,也没有资源的语义描述,不能很好满足用户需求的动态变化.网格门户能通过语义网技术来增强信息共享和社区用户交互.本文在域管理模型的基础上提出了语义社区概念,并以域服务器为基础构建具备用户语义模型的语义网格门户,用任务本体替换作业说明书改进任务调度.     

关于尼奎斯特现象的两种解释方法

用两种方法解释了尼奎斯特现象 ,以便于学生对问题的理解     

基于扩展语义网的知识资源组织技术研究

采用知识点的方式组织知识资源,有利于知识的获取、分享、分配和存取.但是传统的树型结构对知识的整体关系描述能力不足,不利于分布式环境下对知识资源的查找和定位.语义网是一种可以详细描述本体间复杂关系并具有天然分布式特性的技术.然而一般的语义网本身不是按照知识点的方式进行组建.本文对语义网进行扩展,使其适用于描述基于知识点组织的知识资源.通过应用案例,按照知识点进行扩展的语义网可以有效地描述知识资源间的相互关系,便于知识的理解和利用,并且对知识的查找和定位也变得更加方便.     

基于本体语义的模型映射研究

模型转换是模型驱动开发的一项关键技术,模型间的映射关系是模型转换的基础和依据.通过对模型描述语言的语法结构和语义表达特性进行抽象分析,基于本体语义映射,对不同层次的模型映射进行了分类并加以形式化定义,进一步探讨了不同抽象层次模型之间映射关系的建立过程以及所应遵循的基本原则.以UML类模型到C语言模型的映射为例进行了阐述.这不仅可为模型转换的具体实现提供理论指导,还为验证模型之间映射规则的可行性和正确性提供依据.     

基于本体的决策模型冲突预测及协商研究

依据模型知识的特性,定义了模型描述本体和任务求解本体,为模型提供语义支持.模型语义分为描述语义和行为语义.基于描述语义的相似性判定,模型可进行潜在冲突预测;然后根据任务求解本体的定义,模型通过行为语义交互,进行行为协商;而在执行过程中,模型需要为每一个操作申请资源,因此模型根据模型描述本体和描述语义对资源申请进行协商,从而得到互不冲突的操作执行序列,消除冲突.最后通过实验分析验证算法的有效性.     

“笑一笑十年少”的生理学解释

我们都爱笑,笑的语言谱写出一首首动人的心理旋律,让人心情舒畅。研究发现,经常笑一笑能促进人体的健康,有其生理学调节机制。人体生理功能的调节方式主要有三种,分别为神经调节、体液调节和自身调节。笑能使机体的神经-内分泌-免疫网络处在较佳的工作状态。     

一种基于概念层次的图像检索方法

针对现有图像检索方法中存在的不同用户间因对图像的理解差异而存在的歧义问题,通过引入概念抽象的思想,将图像标注和检索中语义相关的关键词联系起来,统一不同用户对图像语义的理解和描述;结合相关反馈技术,确定检索关键词所代表语义概念信息,并实现概念层次的图像检索.实验结果表明,该方法能有效地提高图像的检索性能.     

苯丙胺类毒品滥用者毛发中毒品及其代谢物的分析与解释

目的:对苯丙胺类毒品吸食者的毛发进行了内标法定量检测。方法:以2-甲基苯乙胺为内标,采用毛发碱性条件消解-动态微体积氯仿提取-提取液直接衍生化-气相色谱/质谱/选择离子检测的方法。结果:考察了不同吸毒者毛发中的毒品含量;考察了一定长度的毛发中不同区段的毒品含量变化;跟踪检测了毒品吸食者不同时间段的毒品含量变化;比较了毒品吸食者尿样和毛发中的毒品含量范围。结论:该毛发分析数据初步验证了他人有关毛发结果的解释,也为相关领域的深入研究提供了可借鉴的基础性工作。     

Street Drug Analysis and Community Based Drug Programs

Abstract

The call for evidence-based practices (EBPs) in addiction treatment is nearly universal. It is a noteworthy movement in the field because treatment innovations have not always been implemented in community programs. However, other types of community-based services that may be essential to sustained recovery have received less attention. This article suggests that sober living houses (SLHs) are a good example of services that have been neglected in the addiction literature that might help individuals who need an alcohol-and drug-free living environment to succeed in their recovery. It begins with an overview of the history and philosophy of this modality and then describes our five-year longitudinal study titled, “An Analysis of Sober Living Houses.” Particular attention is paid to the structure and philosophy of SLHs and purported therapeutic factors. It ends with the presentation of baseline data describing the residents who enter SLHs and six-month outcomes on 130 residents.     

一种基于逻辑程序的重复协商框架

本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架.在这个框架中,一个逻辑程序被当作一个协商的AGENT,每一个AGENT(逻辑程序)选择自己的一个回答作为自己最初的协商需求.两个AGENT之间的协商过程就是两个逻辑程序之间相互更新的过程,这个过程是通过协商的每一方接受对方的部分(或,全部)需求和放弃自己部分协商需求来实现的.本文设计了协商双方必须遵守的一些协商规则,根据这些规则对这个协商框架进行了形式化描述,并给出了协商的终止条件.     

基于快速傅里叶变换的蛋白质-蛋白质对接程序的研究进展

蛋白质-蛋白质相互作用与识别的研究是分子生物学领域的重要课题。然而由于蛋白质分子巨大,即使将蛋白质看成刚体,在没有指导信息的情况下,系统地搜寻和评估上亿个可能的对接取向十分困难,人们为了解决这个难点,发展了许多搜寻算法,快速傅里叶变换(Fast fourier transform,FFT)便是其中最为流行的算法之一。而打分函数与蛋白质对接结果的准确性密切相关,也是蛋白质-蛋白质对接的难点之一。该文概述了基于快速傅里叶变换的蛋白质-蛋白质对接程序的一般过程。同时,概述了使用与FFT算法的打分函数的一般特征,并且以形状互补、静电力、去溶剂化和统计势能3类介绍了典型的FFT算法下的打分函数。     

循证观念、循证规划的探索和列示

目的：探索循证的观念，了解循证实践的规划。资料方法：叙述性综述的方式。结果：循证的基本观念是指医学决策必须依据最佳证据的信念，或必须依据最佳证据解读医学信息的信念，包含5个方面的初步认识：①医学决策还应考虑其他因素；②临床实践和卫生工作实践是循证医学的基础，循证实践是促进医学决策最优化的办法之一；③在循证实践中，资源是基础，可行是关键，问题是目标；④循证实践有一定的难度，应灵活地采用多种实践方式；⑤循证医学的作用是有限的。循证规划主要包括必要性的论证、主要步骤的安排、保证质量的措施和可行性的预测。结论：循证观念是人类的基本观念之一，对其认识的深化，有助于循证实践的开展；循证规划的合理性和可行性是循证过程顺利进行的保证。     

基于着色时间Petri网的实时系统的形式验证

嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性.复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质.时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证.本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质.最后,用实例证明此方法有效.     

药品检测用仪器设备的强制性和非强制性检定

目的 提高药品检测机构仪器设备管理水平.方法 将药检机构仪器设备分为强制性和非强制性检定两类.归纳了强制检定仪器设备的种类和目录.结果与结论 总结了实验室认可对仪器设备计量的要求并提出具体的管理办法.