Verilog的一个操作语义模型

提出了一个Verilog的操作语义模型。选择了Verilog的一个子集作为研究对象，该子集包括了Verilog最重要的语言特征，如事件控制，时延，并发性等；定义了程序状态空间及其上的状态迁移系统。     

RTL级符号模拟系统

给出了一组从Verilog HDL到可符号执行代码的转换规则，并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术，给出了一个RTL级的符号模拟系统的实现方法。本系统能够有效地对RTL级Verilog算法进行符号模拟，并且支持带有时间延迟的If结构的符号模拟。     

一种基于安全策略的云数据访问控制优化技术

云存储安全给访问控制技术带来了新的挑战。提出了一种基于安全策略的云数据访问控制优化方法,基本思想是利用数据关联关系进行安全策略精化,基于属性的安全策略中融合了角色和信誉特征。利用数据关联关系对云数据进行细粒度划分,得到相应的数据块;对策略中的规则和数据块进行匹配和冲突消除,得到精化的安全策略。理论分析和实验结果表明,本文方法对于数据量大的云数据访问控制具有较高的效率。     

血吸虫病重疫区居民心理因素对全民化疗影响的初步调查

世行贷款血防项目中,要求在血吸虫病重度流行区实施全民化疗,化疗覆盖率应达到90%,以实现减少感染与控制疾病的目的.然而,据作者在开展普治工作中发现,化疗覆盖率不但达不到规定要求,而且在实施过程中还有逐年下降的趋势,其原因是多方面的,但一个不可忽视的重要原因,就是化疗对象多属农民,文化素质低,缺少科学知识,对这种不查而治的方法缺乏心理准备,从而表现出各种拒绝服药的心理状态,影响了全民化疗方案的进一步实施.对此作了初步调查.     

UML到SDL在地铁售票机系统中的应用

介绍了从统一建模语言(UML)到规范描述语言(SDL)的一种转化设计方法，并以地铁售票机系统的设计为例，介绍了具体的转化过程。售票机系统的需求规范用UML描述，系统的设计规范用SDL语言表示。     

鼻腔鼻窦EBV阳性浆细胞瘤7例临床病理分析

目的 探讨鼻腔鼻窦EBV阳性浆细胞瘤的临床病理学特征、诊断及鉴别诊断。方法 采用免疫组化、EBER原位杂交、分子病理对7例发生于鼻腔鼻窦EBV阳性浆细胞瘤进行检测,分析其临床病理学特征、免疫表型、诊断及鉴别诊断等并复习相关文献。结果 7例肿瘤细胞呈浆细胞性分化,弥漫实性生长,具有不同的分化成熟度,甚至呈间变性或浆母细胞样形态特征。免疫表型：肿瘤细胞CD79a、MUM1、CD138和CD38均阳性,CD20和PAX-5均阴性,Ki-67增殖指数在分化成熟组为10%～20%,分化不成熟组为40%～90%。EBER原位杂交和Ig基因重排检测均阳性,并可见轻链限制性表达(κ或λ)。C-myc基因断裂重组检测均阴性。结论 EBV感染对肿瘤的形态和增殖活性具有一定的影响,但对浆细胞瘤发病机制和发展的影响仍需进一步观察。     

荧光原位杂交检测 EWSR1基因易位在尤因肉瘤家族肿瘤疑难病例诊断中的应用

目的：探讨荧光原位杂交( fluorescence in situ hybridization, FISH)法在尤因肉瘤家族肿瘤( Ewing family tumor, EFT)石蜡包埋组织中检测EWSR1基因易位的可行性及其在临床病理学中的应用价值。方法收集4例EFT疑难病例,观察临床病理学特点,并采用EWSR1双色分离型探针检测EWSR1基因是否断裂。另以15例其他类型的软组织肿瘤作阴性对照。结果4例EFT 疑难病例的EWSR1基因均出现易位,对临床特点、病理学形态或免疫表型不典型的EFT 病例具有辅助诊断价值。结论 FISH 检测EWSR1基因易位可作为EFT 诊断的重要辅助依据,诊断时仍需结合病理形态学和免疫表型综合判断。     

肌内型结节性筋膜炎4例临床病理分析

目的 探讨肌内型结节性筋膜炎的临床病理特征.方法 对4例肌内型结节性筋膜炎进行临床病理分析并复习相关文献.结果 4例患者中,3例为女性,1例为男性,年龄2～38岁,病程10余天到3个月,均无明确外伤史,肿块分别发生于舌肌、左颈部、右背部和左胸大肌,直径0.5～2.0 cm,镜下病变均位于骨骼肌内,具有结节性筋膜炎的4个主要组织学特征:梭形细胞排列成漩涡状、小裂隙、外渗的红细胞和黏液样间质.结论 结合临床快速生长的特点,掌握结节性筋膜炎的4个主要组织学特征,肌内型结节性筋膜炎也易于诊断.注意防止过度诊断为肉瘤.     

伴菊形团形成的胶质神经元肿瘤5例临床病理分析

目的探讨伴菊形团形成的胶质神经元肿瘤(rosette-forming glioneuronal tumour,RGNT)的临床病理学特征。方法收集南京医科大学第一附属医院病理科2014年11月~2018年7月诊治的5例RGNT,行HE、免疫组化染色以及分子检测,并复习相关文献。结果5例均可见大小一致的神经细胞菊形团和(或)假菊形团结构,神经细胞核圆形,核仁不明显,胞质少,胞突纤细。例1、2、3可见胶质区呈毛细胞型星形细胞瘤样形态,其中例2、3见透明玻璃变的血管壁;例4部分胶质区可见少突胶质细胞瘤样形态;例4可见复杂的肾小球样血管,但细胞无明显异型性,胞核级别低,核分裂未见,无坏死。免疫表型:5例Syn在菊形团神经毡处均阳性,菊形团神经细胞Olig-2、S-100和ATRX均阳性,2例部分神经细胞NeuN阳性;5例胶质区GFAP、Olig-2和ATRX均阳性,4例S-100蛋白阳性;5例IDH1均阴性;Ki-67增殖指数<2%,其中例4球样血管增生区Ki-67增殖指数约10%。4例行PIK3CA分子检测,其中1例9号外显子(p.E545K)突变。结论RGNT是一种生长缓慢、罕见的肿瘤,有独特的组织形态,偶有恶变,目前以手术完整切除为主要治疗方法,但同时警惕潜在恶变危险,术后密切随访。     

浅表肢端纤维黏液瘤一例

患者男,43岁,左足跟肿块7年余.无明显不适,行走时偶尔有疼痛,逐渐增大.临床表现为左足跟1.5 cm×1.5 cm大小浅红色、质硬、境界清楚的肿块.病理检查可见黏液样基质中较多的梭形或星形细胞增殖呈席纹样或束状排列,其间可见有较多的小血管,梭形或星形细胞未见明显异形.免疫组化显示波形蛋白、纤维结合素、CD34和上皮膜抗原阳性,平滑肌抗体、S-100、神经微丝、结蛋白和CD99均为阴性.诊断为浅表肢端纤维黏液瘤.行足跟部肿块扩大切除术合并游离皮片移植术,术后随访5月余未见复发.