形式化B方法和UML的结合

形式化B方法和UML存在很大的互补性,二者的结合研究对提高软件的可靠性有着非常重要的意义,文章通过从UML类图到B抽象机器的转换给出了一个UML和B方法结合的方法。     

钢桥面铺装新体系应用研究

针对钢桥面铺装容易产生开裂、车辙等病害,研究了一种钢桥面铺装新体系,采用橡胶环氧砂浆过渡层提高沥青铺装层与钢板的结合强度.该体系在汉十高速公路的应用,证明其具有较好的粘接强度、抗车辙能力和抗裂性能,具有较好的推广前景.     

SPECT诊断原发性癫痫20例

对 2 0例原发性癫痫进行了单光子发射计算机断层扫描 (Single- photon emission computed to-mography,SPECT)检查 ,其局部脑血流 (regional cerebral blood flow ,r CBF )异常者 17例(85.0 % )。异常表现为癫痫发作期 r CBF增高而在间歇期降低 ,r CBF异常区域以额部、颞部、额颞部多见 (76 .5% )。 SPECT与脑电图定位一致者 5例 ,提示该区域为致痫灶。认为 SPECT对原发性癫痫的诊断、致痫灶的确定以及手术治疗的定位可提供十分重要的资料。     

潜艇载荷稳重系统

潜艇载荷稳重系统的功能,是在潜艇建造过程中对潜艇的载荷进行准确完整稳重,统计计算潜艇的载荷和重心,分各个阶段预报载荷的偏离对于潜艇水下均衡性能的影响,提供完工载荷文件。     

体外受精-胚胎移植17例报告

目的　解决输卵管性不孕者的生育问题。方法　采用体外受精 -胚胎移植 (IVF- ET)技术治疗 1 7例不孕患者 ,共 1 8个周期。结果　受精率 75.7% ;卵裂率 80 .7% ;4例临床妊娠 ,周期妊娠率 2 2 .2 % (4/1 8) ,2例已分娩 ,1例继续妊娠 ,1例流产。结论　 IVF- ET是治疗输卵管性不孕的有效方法     

外排系统与膜通透性的改变对淋球菌高水平多重耐药的影响

目的 探讨外排系统与膜通透性的改变对淋球菌多重耐药的影响.方法 PCR扩增淋球菌mtrR启动子区域包含13 bp回文序列在内的157个碱基片段并进行DNA测序分析;提取外膜蛋白,利用SDS-PAGE进行组成型的分析.结果 5株敏感株的mtrR启动子区域未发生突变,3株高水平多重耐药株的mtrR启动子区域13 bp回文序列均发生了单个A/T碱基的缺失,且均存在外膜孔蛋白表达的缺失.结论 mtrR启动子区域13 bp回文序列单个A/T碱基的缺失引起的mtrCDE外排泵表达增加与外膜孔蛋白表达的缺失或下降导致的膜通透性降低,在介导淋球菌产生高水平多重耐药中起一定的作用.     

重要战略机遇期背景下全面深化改革开放面临的挑战

两个大局同步交织、相互激荡,国内外环境发生复杂变化。必须结合重要战略机遇期的背景来认识当前的各种挑战,坚定总体上机遇大于挑战的信心,深刻把握挑战更具复杂性、全局性和可转化性的新变化,着重分析当前全面深化改革开放面临的三大挑战。一是国际政治经济秩序重构考验统筹两个大局的能力,二是迈入高质量发展阶段面临动能和效益的统筹难题,三是社会文化领域若干不良倾向不利于凝聚精神力量。应对这些挑战,必须不断将全面深化改革开放向纵深推进,加强改革与开放之间的联动性,突出系统性、整体性、协同性,弘扬奋斗精神,培育公共理性,凝聚强大的精神力量。     

ASP页面安全技术相关研究

在高速发展的信息时代,Internet上Web站点已经成为主要的信息共享、交流的手段,而如何保障Web站点的安全成为当前普遍关注的焦点。本文对基于Asp的站点安全体系中的页面安全进行了探讨。本文阐述了asp安全中的常见页面代码问题,如验证被绕过、用户名与口令被破解、特殊字符漏洞、文件泄露、数据库下载漏洞、SQL注入漏洞、ASP木马等七个方面,并对每个方面的问题进行了剖析,并提出切实可行的防范技巧与方案。     

天津大沽排污河治理工程与综合效益

天津对中心城区15条二级河道成功进行综合治理,对海河的综合开发改造正在顺利进行之中,于20008年又启动了对大沽排污河的综合治理工程。大沽排污河治理工程纳入《2008—2010年天津市生态市建设行动计划》。该文就大沽排污河治理的迫切性、治理工程环保理念、实施方案、措施、取得的主要成果、工程实施的综合效益等进行了综述。     

某款新能源纯电动车辆的NVH问题分析与解决

随着世界各国政府对汽车尾气排放标准的日渐提升,新能源纯电动汽车成为近年来汽车工业发展的主要方向。纯电动汽车大多采用驱动电机匹配一级减速箱的新型动力系统,取代了传统燃油汽车以内燃机和变速箱为核心的动力总成。因此纯电动汽车的动力系统能够完全消除内燃机产生的震动与噪声,大幅提升驾驶舱内的NVH品质。然而失去了内燃机低频噪声的掩蔽后,驱动电机与减速箱产生的高频噪声带来了一些新的问题。文章针对售后客户提出的典型问题抱怨,通过NVH阶次和近声场分贝值测量的对比分析方法,查明问题发生机理,并通过微观的测量分析,找到了减速箱噪声与齿轮关键齿形齿向参数之间的联系。通过后期的设计优化和生产控制,解决了该NVH问题,大大提升了产品的一致性。