摘要：利用图论及数学规划方法分析并解决有限状态机验证路径的选择优化,提出一种在仿真验证方法中对SoC有限状态机验证路径进行优化的方法.在CCore提供的验证环境中,对其部分GoldenFile验证任务的有限状态机进行了优化处理,通过原方案的验证时间的对比,表明了该方法可以使用更短的时间有效解决有限状态机验证问题.

摘要：对于悬索桥来说,猫道是其缆索系统架设最为重要的操作平台,对于悬索桥的施工具有非常重要的作用.施工猫道除了具有高空施工脚手架的作用之外,也是悬索桥上部结构施工非常重要的组成部分.本文主要以西藏通麦特大桥作为案例,介绍了悬索桥空间索猫道设计以及施工方面的内容,希望能够对相关人士有所帮助.

摘要：某建筑为地下3层、地上31层的钢筋混凝土框架-剪力墙结构。主体结构总高度为116.3m,属于B级高度的超限高层建筑。本文采用基于性能的方法,对其进行超限抗震设计可行性分析。

摘要：自初中新课程标准实施以来，能力的培养一直是课程标准中的主线，分析近年来浙江省各市实施新课标的中考卷，都呈现出考查基础、注重过程、渗透思想、突出能力、强调应用、鼓励探究和创新的特点．中考数学试卷从试题结构到内容设计，题型活泼，情景新颖，不在计算技巧和知识立意的试题上过分纠缠，而是注重各种题型的结合和题量的适度，深化能力立意，出现了很多探究性、操作实践性、阅读理解和开放性等考查创新能力的好试题．

摘要：数字化符合测量是在传统符合测量基础上发展起来的一种辐射计量新技术。文章讨论了数字化符合测量系统和传统符合测量系统的差别,介绍了基于探测器信号波形数字化的符合测量原理。提出用实验室中常用的数字示波器来代替专用的模数转换电路,设计了示波器数据获取与处理程序,通过对示波器获得的波形序列进行数字处理,实现了数字化符合测量。用22Naβ+放射源通过传统符合测量系统进行检验,获得很好的结果。

摘要：燃气管道施工项目多,难免会遇到各种各样的风险,这些风险不仅会延误工期,而且会降低工程质量,带来后续更多、更大的问题。因此,要加强风险管理,做好设计、勘探、招标等阶段的风险应对,尽量避免施工风险,保证施工质量,提供更加优质的服务。

摘要：目的分析重症单纯疱疹病毒性角膜炎延误治疗原因及综合治疗效果。设计回顾性病例系列。研究对象2008年9月至2010年12月北京协和医院眼科就诊的重症单纯疱疹病毒性角膜炎患者100例(102眼)。方法对研究对象中具有完整既往诊治资料的患者52例(53眼)进行回顾性分析,调查内容包括既往诊治时间、既往诊断及治疗情况,分析延误治疗的可能原因。对所有100例(102眼)患者视病情应用口服更昔洛韦0.5～1.0 g每日3次,联合局部更昔洛韦眼用凝胶每日4次抗病毒治疗,并结合患者个体病程、病损情况联合应用0.1%氟米龙滴眼液每日3～6次或口服泼尼松龙20～30 g每日1次;视病情联合应用复方托吡卡胺滴眼液每日1～3次;角膜存在溃疡、角膜上皮不完整者,预防性应用抗生素滴眼液每日3次;所有病例联合人工泪液及角膜保护剂治疗。治疗前与治疗后1、2及4周随访,评价治疗有效率与治愈率。主要指标延误治疗的可能原因,视力,睫状充血、角膜浸润、角膜混浊、角膜水肿、角膜后弹力层皱褶以及角膜后沉着物的评分,治疗有效率与治愈率。结果 12例(23.08%)患者误诊为单纯虹膜炎仅应用糖皮质激素而未予抗病毒药物治疗,其中2例误诊为单纯虹膜炎伴角膜带状变性,另有1例误诊为虹膜角膜内皮综合征。32例(61.54%)患者未明确诊断角膜炎类型,其中24例(75%)患者仅应用抗细菌未应用抗病毒药物。伴有虹膜炎症、小梁网炎症的患者24例(66.67%),未用糖皮质激素及睫状肌松弛剂。1例伴小梁网炎继发性眼压升高患者予毛果芸香碱眼液每小时1次点眼。应用系统综合治疗前的平均视力为0.29±0.40,治疗后1、2、4周的平均视力分别为0.34±0.41、0.42±0.42和0.56±0.45,与治疗前相比均有显著性差异(t=6.153,7.275,9.220,P均=0.000)。治疗后1、2、4周与治疗前相比,睫状充血、角膜浸润、角膜混浊、角膜水肿、角膜后弹力层皱褶以及角膜后沉着物的评分均有明显好转(F=231.543,136.700,106.031,58.323,19.183,60.590;P均=0.000)。治疗后随访1年,4例(3.92%)复发,3例(2.94%)病情控制情况下角膜变薄,未见其他不良情况。结论重视原发病诊断以及综合治疗是有效治疗重症单纯疱疹病毒性角膜炎的重要保证。

摘要：SystemC是一种适用于SoC顶层设计的新型硬件设计语言,SystemC验证库是SystemC标准库的一个增补库,用以增强SystemC在SoC顶层验证的能力,本文对SystemC及其验证库进行了简要介绍,重点说明了如何使用SystemC验证库进行随机测试。

摘要：高强钢绞线网-聚合物砂浆加固技术是一种性能优良的先进加固技术。对9根大偏心受压混凝土柱进行了试验研究,基本试件的尺寸和截面配筋都相同,其中6根为加固柱,3根为对比柱,并根据试件加载偏心距的大小及加固状态分为三组。试验结果表明,在对原柱截面改变较小的情况下,加固柱的极限承载力得到了显著提高。通过对加固试件的极限承载力、破坏形态、裂缝分布、钢筋和钢绞线应变以及荷载-跨中挠度曲线等的分析,证明混凝土柱用高强钢绞线网-聚合物砂浆加固后,柱整体工作性能良好,加固效果明显。在试验和数值分析的基础上,提出了利用该加固技术加固混凝土柱在大偏心受压情况下的承载力计算方法及公式,该设计公式的理论计算结果与试验结果吻合良好,可以满足实际工程加固设计的需要。

摘要：目的观察0．1％玻璃酸钠滴眼液（SH）、碱性成纤维细胞生长因子（bFGF）滴眼液在单纯干眼和准分子激光原位角膜磨镶术（LASIK）后应用的有效性和安全性。设计随机对照研究。研究对象2012年1月至2012年8月于北京协和医院就诊的单纯干眼患者70例（组I）和接受LASIK手术后的患者40例（组Ⅱ）。方法采用随机、平行对照试验方法，组I和组Ⅱ各分为两个亚组，采用随机数字法分别使用0．1％SH滴眼液（A组）和bFGF滴眼液（B组），每日4次，组I局部连续使用14天，组Ⅱ连续使用30天。在不同时间点（组I用药前、用药7天和14天，组Ⅱ手术前、手术后1天、3天、10天和30天）观察患者症状和体征。问卷调查患者用药前后不同时间段的干眼症状，包括易疲劳、异物感、干涩感、烧灼感、眼胀感、眼痛、畏光和眼红，根据患者症状严重程度评为0—9分。主要指标干眼症状评分，泪膜破裂时间（BUT）、SchirmerI试验和角膜结膜荧光素染色（FL），症状评分。结果单纯干眼组（组I）治疗后干眼症状均明显改善，治疗后14天易疲劳（P=0．006）和眼痛（P=0．040）的改善IA组优于IB组，差异有统计学意义。症状明显改善的患者在IA、IB中分别为94．3％、78．6％。BuT（P=0．055）、SchirmerI试验（P=0．573）改善IA高于IB，FL（P=0．375）减少IB优于IA，差异无统计学意义。LASIK术后组（组Ⅱ），患者术后1、3天较术前出现不适症状，术后30天所有症状有明显改善，其中异物感（P=0．004）、烧灼感（P〈0．001）、眼胀（P=0．005）、眼红（P=0．007）改善分数ⅡA组优于ⅡB组。术后10天，BUT、SchirmerI试验均较术前减少，FL较术前增加，术后30天各项体征较术后10天改善（ⅡA组BUT：P=0．142，SchirmerI试验：P=0．053，FL：P=0．005；ⅡB组BUT：P=0．006，SchirmerI试验：P=0．010，FL：P=0．079），ⅡA组与ⅡB组各项体征改善比较无统计学意义（BUT：P=0．251，SchirmerI试验：P=0．369，FL：P=0．060）。所有患者用药后未见副作用。结论SH和bFGF滴眼液均能促进单纯干眼和LASIK术后角膜上皮修复，维持泪膜稳定性，减轻症状。SH滴眼液在改善某些（如易疲劳、异物感、烧灼感、眼胀、眼红、眼痛等）症状方面优于bFGF滴眼液。