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

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

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

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

肺透明细胞瘤临床病理学观察

目的探讨肺透明细胞瘤的临床病理学和免疫组化表型特点、组织起源及鉴别诊断。方法对1例肺透明细胞瘤运用光镜、HE及免疫组化方法分析,并复习相关文献。结果肺透明细胞瘤瘤细胞圆形或椭圆形,胞界清楚,胞浆透明或嗜伊红,无明显核分裂像。免疫组化:HMB-45(+)、CD34(+)、CK(-)、EMA(-)、S-100(-)、Syn(-)、CgA(-),组织化学PAS(+)。结论肺透明细胞瘤是一种较罕见的肿瘤,大多呈良性,坏死罕见,若有坏死,需考虑恶性可能,治疗通常为手术切除。其诊断和鉴别诊断主要依靠组织病理学及免疫组化,熟悉其形态学有利于与其它类似病变如转移的肾透明细胞癌及肺自身发生的透明细胞癌等鉴别。     

荧光原位杂交与免疫组织化学检测胃癌组织中HER-2基因及蛋白表达一致性

目的探讨荧光原位杂交(fluorescence in situ hybridization,FISH)与免疫组织化学(immunohistochemistry,IHC)检测胃癌组织中HER-2基因扩增及与C-erbB-2蛋白表达结果的一致性。方法采用FISH和IHC法分别检测50例胃癌组织中HER-2基因扩增和C-erbB-2蛋白表达,并采用SPSS 19.0进行统计学分析。结果 50例胃癌标本进行IHC检测结果 11例为(﹢),9例为(),4例为(),26例为(-);50例胃癌标本进行FISH检测结果 11例为(+),39例为(-);其中,FISH检测阳性标本中IHC检测有2例(﹢),5例(),4例()。IHC检测C-erbB-2蛋白为()的病例FISH检测均为(+),而IHC检测C-erbB-2蛋白()的9位患者中有4例经FISH检测证实HER-2呈(-),5例呈(+)。结论 IHC与FISH检测HER-2状态结果的符合率为95.1%(39/41),具有高度一致性(Kappa系数=0.773,P<0.001)。当IHC检测C-erbB-2蛋白表达为(-)或()时IHC和FISH检测结果有较高符合率,可作为临床是否应用Herceptin治疗的依据,而C-erbB-2蛋白表达为()的病例则必须进一步行HER-2基因扩增检测。     

UML视图的一种形式化模型及其分析

UML是一种得到广泛应用的系统建模语言，但是由于它缺乏形式化语义和严格的推理机制，从而影响了系统建模的准确性和开发效率。TCOZ是一种将Object—Z和TCSP相结合的形式化语言，具有丰富的建模能力。基于TCOZ，本文建立了UML视图的一种形式化模型，对类图和协作图等提出了转换规则，使得TCOZ中的推理可用于分析UML视图。通过某学校信息系统的实例，阐述了UML视图的形式化建模方法和分析技术。     

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

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

恶性外周神经鞘膜瘤临床病理学分析

目的探讨恶性外周神经鞘膜瘤(malignant peripheral nerve sheath tumor, MPNST)的临床病理学特征、免疫表型及分子遗传学特征。方法收集江苏省人民医院(南京医科大学第一附属医院)2012年1月至2022年12月诊治的23例MPNST, 观察其临床及组织病理学、免疫组织化学及分子病理特点, 并复习相关文献。结果患者中男性10例, 女性13例, 年龄11～79岁(中位年龄36岁), 其中Ⅰ型神经纤维瘤病(neurofibromatosis type 1, NF-1)相关MPNST患者14例, 散发性MPNST患者9例。发生于四肢7例、躯干4例、颈肩部3例、胸腔3例、脊柱旁2例、腹腔2例、腹膜后1例、盆腔1例。组织学上肿瘤主要由条束状增生、紧密排列的梭形细胞组成, 17例(17/23, 73.9%)肿瘤边缘可见神经纤维瘤样区域。低倍镜下可见肿瘤细胞丰富区与稀疏区交替镶嵌分布, 形成大理石样外观。高倍镜下肿瘤细胞核形不规则, 呈卵圆形或锥形、子弹头样或细长波浪样, 7例肿瘤细胞明显多形性, 可见瘤巨细胞;核分裂象活跃(≥3个/10 HPF), 常可见地图样...     

间变型脑膜瘤临床病理分析

目的 探讨间变型脑膜瘤(anaplastic meningioma, AM)的临床病理特征及病理诊断。方法 收集17例AM,分析其临床表现、病理特点、免疫组织化学及分子遗传学,并复习文献。结果 患者年龄46～84岁,女性6例、男性11例,6例继发于低级别脑膜瘤、11例为原发性AM,均行手术治疗,9例行辅助治疗。镜下瘤细胞密集,瘤细胞多形性、异型性显著,核分裂象活跃,1例伴腺癌样化生。免疫组化瘤细胞弥漫表达波形蛋白(vimentin),不同程度表达上皮细胞膜抗原(EMA)、生长抑素受体(SSTR2),腺癌样化生区表达细胞角蛋白。1例行NGS检测示NF2缺失、PTEN缺失,2例行ARMS法示TERT启动子野生型。随访1～46个月,11例原发性AM中5例于7～25个月复发,转移2例,死亡3例。结论 AM是一种少见的恶性肿瘤,组织形态多样,出现腺癌样化生时,需与腺癌转移至脑膜瘤、滑膜肉瘤等鉴别。     

肝水的中药成方治疗窥探

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

PSC:软硬件协同设计的一种中间模型

提出了一种软硬件协同设计的系统模型－－PSC（进程状态控制）。建立PSC的可视化表示、形式化的定义和演化规则。PSC是一种层次文化建模方法，它可以将系统控制逻辑和功能实现分离，有利于将模型转换为物理实现，并在转换过程中结构和功能可以分别采用不同的技术和实现方法。