802.11i的认证安全性分析

IEEE设计802.11i协议解决无线局域网的安全问题.802.11i协议的形式化分析,对于确保该协议的正确性至关重要.利用串空间理论对802.11i协议进行建模,在串空间模型中验证协议的认证属性.结果表明,802.11i协议能够安全实现它的认证功能.     

认知描述逻辑ALCKR :描述逻辑的一个非单调扩展

描述逻辑是语义Web的逻辑基础,是形式化表达领域知识的工具.但是描述逻辑只能表达单调推理,不能处理不完全知识.认知描述逻辑因其非单调特性和良好的时间复杂度等特点在处理不完全知识方面有较好的优势.本文在认知描述逻辑ALCK的基础上提出了新的认知描述逻辑语言ALCKR ,保留了描述逻辑原有的优点,加入传递角色属性,增强了表达能力,并通过认知查询拥有了非单调推理的能力.设计了ALCKR 的语法、语义以及表算法.     

基于本体语言OWL的模糊扩展

本体能够对特定领域的概念、术语以及关系提供一种形式化的描述方法.尽管本体在知识表示上有很强的能力,但是有一个缺陷,即不能表达不确定和不精确的信息.而这些信息在语义网和多媒体应用中,又是至关重要的.针对模糊信息的本体表示问题,本文对本体语言OWL DL进行了基于模糊逻辑的扩展,给出了形式化的语法和语义,并通过一个实例说明了该方法在表达能力上的灵活性. .     

TPM的两个主要密码授权协议的安全性分析与改进

可信计算的主要功能是由可信平台模块(TPM)完成的.对象无关授权协议(0IAP)、特定对象授权协议(OSAP)是TPM在可信计算平台中运行的基础,确保这些协议的安全运行是极为重要的.本文对这两个授权协议进行了逻辑描述并对其安全性进行了分析,针对协议的安全隐患提出了相应的改进方法.     

基于protégé的中医证候本体构建方法研究

Protégé是本体构建工具中应用最为广泛的一种开源软件。本研究以protégé作为知识表示的工具,根据protégé的功能特点、属性及其知识表示方法,以RDF三元组作为中医证候本体的描述框架,在已有的中医顶层本体的基础上,从中医本体的构建原则、顶层设计、形式化定义、形式化描述、类别体系、基于protégé知识表示方法的中医证候本体中的关系和属性等几个方面探讨构建概念明确、层次清楚、结构清晰的中医证候本体,研究中医本体的构建方法及与其它本体的整合方式、探讨中医术语的形式化表达及其对中医术语标准化的影响。     

基于高阶逻辑的复杂结构归纳学习研究

归纳学习的目的在于发现样例与离散的类之间的映射关系,样例及归纳的映射都需用某个形式化语言描述.归纳学习器采用的形式化语言经历了属性-值语言、一阶逻辑、类型化的高阶逻辑三个阶段,后者能克服前二者在知识表达及学习过程中的很多缺点.本文首先阐述了基于高阶逻辑的复杂结构归纳学习产生的历史背景;其次介绍了基于高阶逻辑的编程语言--Escher的知识描述形式及目前已提出的三种学习方法;复杂结构的归纳学习在机器学习领域的应用及如何解决一些现实问题的讨论随后给出; 最后分析了复杂结构归纳学习的研究所面临的挑战性问题.     

流体随机Petri网的一阶混杂Petri网模型

为了借用一阶混杂Petri网(First-Order Hybrid Petri Nets)的建模原语和分析方法来分析流体随机Petri网(Fluid Stochastic Petri Nets)以克服流体随机Petri网数值分析方法的局限性,本文提出了一种流体随机Petri网转换成一阶混杂Petri网的形式化描述方法,并对其转换的正确性进行了证明,最后通过实例分析了流体随机Petri网转换成一阶混杂Petri网的必要性.     

语义Web服务组合的形式化描述与验证研究

Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.     

构件形式化描述与模糊检索研究

在软件复用研究不断深入的情况下,构件的准确描述与高效检索已成为面向构件的软件复用研究的热点和难点.本文参照3C构件模型,提出一种基于形式化方法的、可扩展的构件描述模型,包括构件的功能描述、接口描述、环境依赖描述等,并保留了构件关键字、非功能属性等描述项.在此描述模型基础上提出了构件的分步检索法,并着重论述了包含四级模糊度的构件形式化检索方法,以提高构件的查找效率并兼顾查全率.     

混合多策略视图安全模型

传统的MLS策略侧重于信息机密性保护,却很少考虑完整性,也无法有效实施信道控制策略,在解决不同安全级别信息流动问题时采用的可信主体也存在安全隐患.同时,应用环境的多样性导致了安全需求的多样化,而当前的安全模型都只侧重于其中一种或几种安全需求.本文给出的混合多策略模型一MPVSM模型有机组合了BLP,Biba,DTE和RBAC等安全模型的属性和功能,消除了MLS模型的缺陷,提高了信道控制能力和权限分配的灵活度,对可信主体的权限也进行了有力的控制和约束,同时为实现多安全策略视图提供了一个框架.文中给出了MPVSM模型的描述和形式化系统,并给出了几种典型策略的配置实例.     

人体脚长、脚掌宽与身高相关关系的研究

对489名男女青年进行了脚长、脚掌宽与身高的测量,并记录相关数据,将测量数据输入计算机中进行回归分析,得出脚长、脚掌宽推测身高的直线回归方程,利用脚长推测身高:男性:y=93.55+3.26x,女性:y=130.53+1.41x;利用脚掌宽推测身高:男性:y=130.79+4.18x,女性:y=137.99+2.72x。结果表明,人体脚长、脚掌宽与身高存在一定的线性关系。     

理解政策、把握市场是企业发展基础

纵观医药营销的发展脉络,相继出现过＂产品为王＂、＂利润为王＂、＂医生为王＂、＂渠道为王＂、＂品牌为王＂和＂终端为王＂等理论,但是随着新医改的推进,＂招标＂、＂配送＂、＂物价＂、＂目录＂,成为医药营销的先决条件。在新医改背景之下,2009年医药营销已进入＂政府关系为王＂的时代。所以理解政策与把握市场成为各企业的头等大事。     

男性会阴部手术后伤口暴露疗法与伤口细菌感染和愈合情况的研究

目的 探讨男性会阴部手术后伤口暴露疗法的可行性.方法 选择450例男性会阴部手术患者,其中250例术后伤口采用暴露疗法,200例术后伤口采用传统包扎疗法,术后观察伤口细菌感染和愈合情况,统计出伤口甲级愈合率,伤口细菌感染率,采用x2检验,用SPSS 17.0统计软件计算.结果 伤口甲级愈合率暴露疗法组为92.8%,明显高于包扎疗法组的91.5%（x2=12.2,P〈0.01）.伤口细菌感染率暴露疗法组和包扎疗法组相近（x2=0.06,P〉0.05）.结论 男性会阴部手术后伤口采用暴露疗法不会增加伤口细菌感染率,且伤口甲级愈合率明显提高.     

男性会阴部手术后伤口暴露疗法与伤口细菌感染和愈合情况的研究

目的 探讨男性会阴部手术后伤口暴露疗法的可行性.方法 选择450例男性会阴部手术患者,其中250例术后伤口采用暴露疗法,200例术后伤口采用传统包扎疗法,术后观察伤口细菌感染和愈合情况,统计出伤口甲级愈合率,伤口细菌感染率,采用x2检验,用SPSS 17.0统计软件计算.结果 伤口甲级愈合率暴露疗法组为92.8%,明显高于包扎疗法组的91.5%(x2=12.2,P<0.01).伤口细菌感染率暴露疗法组和包扎疗法组相近(x2=0.06,P>0.05).结论 男性会阴部手术后伤口采用暴露疗法不会增加伤口细菌感染率,且伤口甲级愈合率明显提高.     

Oestrogen and the cardiovascular system: the good, the bad and the puzzling

The concept that oestrogen replacement therapy is cardioprotective has been challenged recently by the negative results of randomized clinical trials in coronary heart disease. These data have come at a time of rapid advances in our understanding of the cellular mechanisms of oestrogen. In particular, the cloning of the classical oestrogen receptor (ERalpha), the identification of a novel ER isoform (ERbeta), the availability of specific ERalpha and ERbeta knockout mice models, and the elucidation of receptor functions and signalling pathways linked to non-genomic actions of oestrogen are helping to unravel this complex biology. In this article, these advances will be discussed with particular emphasis on the regulation of nitric oxide synthesis by oestrogen. Furthermore, the puzzling issues that have emerged and the potential for development of novel and specific therapeutic approaches will be highlighted.     

Clinical use of the polymyxins: the tale of the fox and the cat

Background

There is a need to identify practice patterns of polymyxin use, quantify gaps in knowledge, and recognize areas of persistent confusion.