覆盖状态内部分枝的测试向量生成

提出一种能兼顾状态内部分杜的状态覆盖方法．在状态内部分枝树的终端结点处添加状态转换语句，将原先的单个转换分成多个转换分枝；从而实现对原先的状态转换进行扩展，使得用传统的状态测试方法就能够覆盖到状态内部的分枝．为了准确描述该过程，文中给出了分枝扩展的形式化方法．在此基础上，给出一个测试向量生成算法：遍历状态转换有向图；依状态间转换条件生成测试向量；依遍历顺序收集测试向量．通过对ITC99-benchmark中时序电路的试验表明，本文方法是有效的．     

数字虚拟技术在楚文化博物馆设计中的应用

介绍了数字虚拟技术应用于荆门楚文化博物馆方案设计的全过程 .在楚文化博物馆的立意构思、平面设计、外部空间造型、内部空间构成、材料及色彩设计等方面 ,虚拟现实技术均体现了极强的实时性、仿真性、交互性和灵活性 .通过电脑软件控制 ,实现了在虚拟楚文化博物馆中的全景漫游 ,展示了数字虚拟技术在建筑设计领域的广阔前景     

高铁站房与站前广场一体化设计的实践——以贵州地区为例

正1概述1.1一体化设计的范围和优势随着我国高铁事业的蓬勃发展,每年有不少新建站房通车运营。城市热切期盼高铁站的落成,地方政府也积极配合建造站前广场作为站房功能的辅助和延伸。高铁站房与站前广场存在着千丝万缕的联系,常规的做法是先设计站房,而后由其他公司根据已有站房方案设计与之匹配的广场。这种将站房设计与站前广场设计分离的现象通常会带来一系列问题,从而影响工程进度和最终实施效果。高铁站房与站前广场的一体化设计,是指将高铁站房与站前广场这两个独立业主、独立施工的项目作为一个整体,由一家设计公司来通盘考     

连山区2012年节水增粮项目工程分析

目前，随着人口的快速增长，城市化得不断扩张以及近代工业生产的迅猛发展，人类对于水资源的需求量也会越来越大。连山区要实现节水型农业生产，发展节水增粮工程是十分关键的环节和重要的前提之一。农田节水增粮工程实施之后，不但可以提高农田灌溉水的利用率和水资源的利用率，预防土地次生盐渍化，还可以减少因为缺水所导致的土地风蚀面积扩大化，改善生态环境。同时为粮食增产、增效打下坚实基础。     

活性炭浮滤池去除高藻原水中有机物

活性炭深床滤料浮滤池是一种新型的给水组合处理工艺，它具有气浮过滤一体化、活性炭深床过滤、常规处理和深度处理一体化、节约占地面积等特点，在显著提高出水水质的同时省掉了砂滤池，运行方式灵活。该池对高藻原水中有机物的去除效果比较理想：对UV254的去除率为54．3％，出水UV254为0．016cm^-1；对CODMn的去除率为63．6％，出水CODMn为0．78mg／L；对DOC的去除率为29．6％，出水DOC为1．608mg／L；对BDOC的去除率为42．6％，出水BDOC为0．120mg／L；对AOC的去除率为72．2％，出水AOC为52μg／L。     

BAR反应器中生物膜的分离及定量

通过试验证明,使用棉签和超声波可以有效分离BAR反应器载片上的生物膜。将超声波作用时间控制在 20min内基本不会造成生物量的损失,可最大程度地清洗分离棉签上的细菌。对BAR反应器中不锈钢载片表面生物膜的研究结果表明:AODC、DVC和HPC三种不同计数方法测得的生物膜中细菌数量有明显不同,达假稳态时AODC计数结果为 3. 5×106 CFU/cm2,DVC计数结果为 4. 8×105 CFU/cm2,HPC计数结果为 1. 2×105 CFU/cm2;不同计数方法反映出的生物膜生长规律相同,均表明不锈钢载片表面生物膜的生长在 16~19d内可达假稳态。     

基于相对论超短电子束的THz源

THz波的产生有多种途径,清华大学加速器实验室正致力于发展基于相对论电子束的高峰值功率的THz辐射源。本文分别从高峰值流强的单束团与基于激光整形的多脉冲束团序列出发,介绍实验室在宽谱高电场梯度和准单频可调谐THz辐射等方面的研究进展。高亮度电子束团由新一代光阴极电子枪产生,经3 m行波加速管加速,能量可达~50 MeV,采用速度压缩机制可使束团长度达到百飞秒量级。该超短相对论束团可通过多种机制产生高峰值功率的THz辐射,目前,实验室已通过相干渡越辐射(CTR)获得单脉冲能量18μJ的THz辐射输出。同时,提出了一种结合欠压缩工作模式和漂移压缩方法的新束团压缩方案,可进一步将束团压缩至几十飞秒,有望获得频率范围为0.1 THz~30 THz的超宽谱THz辐射。本文同时介绍了多脉冲超短电子束序列的束团测量实验结果,通过模拟研究验证了基于该束团序列CTR产生高功率、可调谐准单频THz辐射的可行性,并进行了相应的实验方案设计。     

悠悠古城 荆楚之门——荆州火车站建筑设计

该文从建筑设计者的角度回顾了荆州火车站从方案投标至实施完成的整个设计历程,讨论了在满足城市规划、区域交通、内部功能使用的基础上,如何以建筑彰显文化,以设计呼应传统。在简要介绍荆州站总体规划、组织布局的同时,着重阐述了设计过程中,对站房主体建筑的整体造型、立面细部、选材用色以及部分室内空间的推敲演化历程,力求将荆州火车站建设成一座由表及里,由整体到局部均闪现人文设计光辉,又内蕴荆楚地域文化的车站建筑。     

太阳能水生态修复系统在水库水质保障体系中的应用研究

以太阳能驱动的高效水体循环技术为基础,对其构建的水生态修复系统改善水库水体的效果进行了评价。研究结果表明通过有效混合,系统试验区域内溶解氧得到提高,浓度分布更加均匀,随水深下降的速率比区域外明显减少;通过复氧对磷的内源释放起到了重要的抑制作用,设备运行期间,处理区内总磷比处理区外降低了28.8%;水动力循环混合改变了区域内的藻类组成结构,蓝藻优势度逐渐降低,绿藻优势度逐渐增加,水体的生态环境趋于健康;同时有效降低了藻类丰度,处理区内藻类总丰度比处理区外平均降低了12.2%。     

基于混合遗传算法的RTL激励生成

寄存器传榆级（RTL）描述是目前应用最广泛的电路设计描述形式．在时序电路的RTL激励生成中，基于模拟的方法避免了帧扩展法庞大的搜索空间，但采用该方法常存在向量过多．质量不高等问题．本文充分考虑影响算法效率的各种因素，在此基础上，提出一种基于混合遗传算法的激励生成方法．该方法结合多种覆盖评估准则与故障模型作为激励生成目标，同时采用动态参数设置，实现全局-局域混合搜索机制．实验结果显示该方法是有效的．