现代智能化建筑的电气保护方式和接地措施

在介绍接地系统和各类接地方式的基础上,提出了现代智能化建筑应采取的接地系统、电气保护方式与接地措施。     

高桥污水处理厂工艺和自控系统介绍

随着城市的发展，城市废水，污水的排放量在不断增加，对城市环境的影响也越来越大，目前遵义市的大部分污水不经处理直接排入湘江，这对人民的生活环境和身体健康带来严重危害，在这种形势下，市政府决定在高桥利用澳大利亚政府贷款建一个高标准的污水处理厂，缓解目前湘江河污染严重的问题，经过两年建设，日处理3万吨污水的全新的高桥污水处理厂诞生了，该污水处理厂设备全部自动控制，该厂运行后产生良好的社会效益，并产生一定的经济效益。     

楚雄盆地铜、膏盐、有机矿床组合地球化学

康滇古大陆裂谷的发生和发展造就了楚雄盆地,沉积了煤、铜、盐旋回与含矿建造,形成了铜、膏盐、有机矿床组合。矿床地球化学及有机地球化学研究表明：表生的或地层中的或深部的铜、盐、有机质以微量遍布于楚雄盆地中生代各地层中,在适宜的古气候、岩相古地理环境则富集成矿,三者在诸矿床中互相渗透、互相依存。三类矿床都经历了沉积－成岩－改造生成过程并受同步热演化。矿床组合遵循“金属－盐－有机沉积－成岩－改造”成矿机制。     

遵义市供排水公司计算机综合管理系统设计方案

随着公司的发展,管理力度的加大,建立计算机综合管理系统已成为必要。该系统以现有收费系统、生产调度系统、办公系统为基础,扩展建立一个跨部门、全方位覆盖水司各项管理工作内容的企业级网络。     

一种基于扩展有限状态机的自动化测试用例生成方法

扩展有限状态机(EFSM)是使用最广泛的测试模型之一.由于不可行路径的存在,运用EFSM模型生成测试用例仍然是个难题.本文提出了一种基于EFSM模型的自动化测试用例生成方法 (ATGEM).为解决不可行路径问题,首先提出一种基于数据流分析的路径可行性度量方法来预测路径的可行性,以尽可能避开不可行路径,提高测试用例自动化生成的效率.然后通过建立动态可执行模型来获取运行时反馈信息作为搜索算法的适应度函数(fitness function),实现测试数据和预言信息的自动生成.该方法结合静态分析和动态分析技术生成一个较优可行路径子集和对应测试用例来达到指定的覆盖准则,能够应用于多种数据类型的测试用例生成,适用范围较广.通过实验在多个EFSM模型上验证了ATGEM方法中测试用例生成和路径可行性度量方法的有效性,实验结果表明,利用路径可行性度量方法可以大幅度提高测试用例生成效率,与现有方法相比,ATGEM中的测试用例生成方法具有更高的效率.     

谁打穿了牧民的围墙?

青藏高原的美丽与神奇以前只是在电视上领略过,2006年8月,我们有幸参加了国家林业局和中国科学院动物研究所联合组织的禽流感疫源综合取样     

家用高压烧水器

安全的生活饮用水是人体健康的基本保证,也是人们小康生活的基本要求之一。高海拔地区工业化程度相对较低,主要以农业、畜牧业为主,饮用水源的污染多来自生活污水、农业和畜牧业污水,再加上水源无有效的卫生防护措施和洁治消毒设施,造成高海拔地区饮用水源的生物性污染严重。饮水煮沸消毒与其他饮水消毒法相比更经济、环保、安全可靠。     

智能型自升流标准电流互感器的设计

阐述了智能型自升流标准电流互感器的原理及其硬件组成,提出抗干扰的措施,以提高检测效率.     

区块链技术在海关智慧通关领域的应用研究

随着电子货币的兴起,作为底层架构的区块链技术迅速普及,其在相互弱信任场景下实现多方信任具有不可替代的作用.区块链在供应链、价值链这类相对松散组织模式下的治理能力优势,在跨境贸易场景中能有效解决海关、贸易商、物流方、金融机构及其他相关主体之间的信用能力和服务效率问题.通过分析区块链技术在海关智慧通关场景下从强中心化管理架...     

中国载人运载火箭POGO抑制技术研究

系统研究中国载人运载火箭飞行中出现的POGO现象.为解决首次载人飞行中出现的POGO问题,提出变能量蓄压器的POGO抑制方案,成功抑制了＂8 Hz＂POGO异常振动,改善了航天员的乘坐环境.