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

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

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

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

后颅窝室管膜瘤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描述上下文。详细分析上下文集成中出现的冲突情况,定义优先级和效用因子,解决上下文集成中的冲突问题。结合原型系统进行测试,并给出了实验结果。研究结果表明:在不同的冲突策略情况下,该方法能在可接受的时间内解决冲突。     

GPC3在卵巢透明细胞腺癌中的表达及临床意义

目的:探讨磷脂酰肌醇蛋白聚糖3(glypican-3,GPC3)在卵巢透明细胞腺癌中的表达及临床意义?方法:采用免疫组织化学方法分别检测83例卵巢癌组织(透明细胞腺癌45例?浆液性癌20例?黏液性癌18例)?20例浆液性囊腺瘤及20例正常卵巢组织中GPC3蛋白的表达情况,实时荧光定量PCR法检测38例卵巢癌组织(透明细胞腺癌20例?浆液性癌10例?黏液性癌8例)?5例浆液性囊腺瘤和5例正常卵巢组织中mRNA的表达情况,并分析GPC3与卵巢透明细胞腺癌临床病理学参数及预后的相关性?结果:①卵巢透明细胞腺癌中GPC3蛋白阳性表达率和mRNA表达量(82.2%;1.326 1 ± 0.493 6)均明显高于浆液性癌(20%;0.426 5 ± 0.029 4)?黏液性癌(5%;0.265 2 ± 0.103 9)?浆液性囊腺瘤(0%;0.141 3 ± 0.011 3)?正常卵巢组织(0%;0.291 4 ± 0.048 1),差异有统计学意义(P均 < 0.01);②GPC3蛋白阳性表达率及GPC3 mRNA表达量与卵巢透明细胞腺癌的临床分期有相关性,Ⅲ~Ⅳ期患者中的表达(100%;1.808 1 ± 0.265 7)显著高于Ⅰ~Ⅱ期患者(71.4%; 1.045 8 ± 0.403 6)(P值 < 0.01);③卵巢透明细胞腺癌铂类药物耐药患者GPC3蛋白阳性表达率及mRNA表达量(100%; 1.808 1 ± 0.265 7)均高于铂类药物敏感型患者(70.3%; 0.991 8 ± 0.330 3)(P < 0.05);④GPC3蛋白阳性表达率与卵巢透明细胞腺癌患者的预后相关,预后差的患者中阳性率及表达量高,差异有统计学意义(P < 0.05),Kaplan-Meier单因素生存分析亦显示GPC3蛋白为影响预后的因素(P=0.048);⑤卵巢透明细胞腺癌中GPC3蛋白阳性表达率和mRNA表达量与患者的淋巴结转移和远处器官转移无相关性(P > 0.05)?结论:GPC3在病理鉴别诊断中有重要意义,GPC3与卵巢透明细胞腺癌患者的临床分期和铂类耐药相关,提示其可能在卵巢透明细胞腺癌的发生发展起重要作用,有望成为卵巢透明细胞腺癌的预后指标和潜在治疗靶标?     

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

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

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

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

前列腺基底细胞癌临床病理分析

前列腺基底细胞癌是一种罕见的肿瘤,1974年由Frankei和Craig首次报道时称为前列腺腺样囊性癌.经检索文献,此病例报道较少[1],我们报道2例并结合文献复习其临床病理特征.     

肝水的中药成方治疗窥探

肝硬化是由一种或多种病因长期或反复作用,而造成的弥漫性肝损害,中医称之谓"臌胀",腹水是肝硬化由代偿期转为失代偿期的一个重要标志,中药成方病理知识,运用中医辨证方法,能够有效治疗腹水,笔者将学习心得总结一二,以供学者交流。1病因病机《灵枢·水胀篇》云:"膨胀何如……,腹胀,身皆大,大与肤