基于重写归纳技术的串行加法器的描述和验证

在用重写系统描述逻辑位，门电路，位串和自然数的基础上，对半加器，全加器和串行加法器等基本硬件电路的逻辑功能进行了刻画，并用基于重写归纳的推理技术证明了所有描述的正确性，为用重写技术正确描述和验证复杂硬件电路奠定了基础。最后给出与其他类似工作的分析和比较。     

基于人工嗅觉的呈香物质识别方法

研究了人工嗅觉在物质识别中的应用，概述了使用模式识别辨别物质气味的基本原理，详细介绍了人工嗅觉系统的硬件设计，算法和软件实现方法，最后使用本系统对不同香气物质进行了识别，取得了较好的结果。     

后颅窝室管膜瘤21例临床病理及分子特征

目的 探讨后颅窝室管膜瘤的临床病理及分子特征。方法 收集21例后颅窝室管膜瘤病例,对其临床病理学资料、分子遗传学及预后进行分析总结,并复习相关文献。结果 患者男性12例,女性9例,中位年龄44岁。组织学表现：6例可见筛网状、腺样结构,腔内充满均质嗜酸性球状物质。免疫表型：肿瘤细胞EMA、D2-40核旁点状阳性,H3K27me3阳性20例、缺失1例,10例TRPS1核强阳性。分子分型：PFB组20例,PFA组1例;1例检测到TP53体系突变。平均总生存期180.6个月。结论 后颅窝室管膜瘤任何年龄均可发生,日常工作中需常规对后颅窝室管膜瘤进行H3K27me3染色分组,PFB组总体预后较好;嗜酸性分泌物的形态特点可能与室管膜瘤细胞的分泌功能有关,认识此种形态可减少误诊,TRPS1、TP53突变可能在部分室管膜瘤中起作用。     

GC—MS对蓝桉果实及大叶桉果实挥发油成分研究

目的:用气相色谱-质谱法对蓝桉果实和大叶桉果实挥发性成分进行研究。方法:采用水蒸气蒸馏法从2种中药中提取挥发油,然后经毛细管色谱柱进行分离,用归一化法计算含量。色谱条件:DB-WAX石英毛细管柱(30 m×0.32mm,0.25μm),柱温条件:起始温度40℃(3 min)5℃·min-1 250℃(10 min),MS检测器,进样量1μL,载气He(1.0 mL·min-1)。质谱分析条件:电离方式为EI,离子源温度200℃,电子能量70 eV。结果:蓝桉果实挥发油中鉴定出31个成分,大叶桉果实中鉴定出34个成分,两者指纹谱存在较大差异。结论:本法可靠,可用于2种果实化学成分的鉴别。     

一种上下文集成的冲突处理方法

为了实现服务组合对环境的适应性,设计了能满足上下文动态集成的模型,并使用CC/PP的RDF创建P rofiles描述上下文。详细分析上下文集成中出现的冲突情况,定义优先级和效用因子,解决上下文集成中的冲突问题。结合原型系统进行测试,并给出了实验结果。研究结果表明:在不同的冲突策略情况下,该方法能在可接受的时间内解决冲突。     

肝上皮样血管内皮瘤2例临床病理分析

目的 探讨肝上皮样血管内皮瘤(hepatic epithelioid haemangioendothelioma,HEH)的临床病理特点及诊断和鉴别诊断.方法 回顾分析2例HEH的临床病理和免疫组化特征.结果 2例均为女性,年龄分别为51、55岁.临床均表现为右上腹疼痛不适,均为单发,位于肝右叶,大小分别为5 cm×4 cm×3 cm、5 cm×4 cm×4 cm.例2伴肝门淋巴结转移.光镜下肿瘤细胞呈上皮样或梭形,伴胞质内管腔,腔内可见红细胞,间质黏液透明变,瘤细胞浸润周围肝组织,例1伴钙化,脉管腔内见乳头状生长瘤细胞,似瘤栓样结构;例2淋巴结转移瘤细胞异型明显,伴局灶坏死,除淋巴结转移瘤细胞仅CD31阳性外,2例瘤组织CD31、CD34、FⅧRAg因子均为阳性,其中例2表达部分上皮标记如CK8和LCK.结论 HEH少见,易误诊为转移癌.在遇到胞质内管腔含红细胞、间质黏液玻璃样变性时应考虑HEH.     

粒细胞肉瘤18例临床病理分析

目的 探讨粒细胞肉瘤(GS)的临床病理特点及诊断与鉴别诊断.方法 回顾分析18例GS的临床病理和免疫表型特点.结果 18例GS中男女各半;年龄12 ～70岁,中位年龄45.5岁.受累部位为淋巴结6例,乳房4例,皮肤2例,卵巢、胃、小肠、上颌窦、膀胱、口腔各1例.临床主要表现为淋巴结肿大或局部包块,或黏膜息肉样增生.光镜...     

一种虚拟企业访问控制模型

在分析了虚拟企业访问控制需求的基础上，扩展传统的基于角色的访问控制模型(RBAC)，定义了一种跨企业RBAC(CE—RBAC)模型，该模型能在虚拟企业环境中方便地实现跨企业的安全访问控制。     

入侵容忍技术在身份认证系统中的应用

结合SITAR分布式入侵容忍体系结构和ITPAS密码认证体系统的特点，提出了一个具有入侵容忍功能的分布式密码认证系统模型，并在设计中考虑了冗余、多样性、代理、共享秘密和分布式入侵检测等技术，以求解决认证服务的入侵容忍问题和密码数据库的防字典攻击问题。     

服务可用性系统的软件在线升级设计

提出一种基于服务可用性系统的软件在线升级设计思路，并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。