摘要：目前,结构分析和设计语言AADL在任务关键嵌入式系统领域有着良好的应用。为了保障任务关键软件的质量,文章提出基于AADL测试模型对AADL设计模型进行测试,以发现设计模型中存在的错误。研究给出了体现系统拓扑结构的AADL测试模型的形式定义及由AADL构造该测试模型的算法,基于该测试模型可以对AADL设计模型中构件交互的输入、输出端口序列和连接的正确性进行测试,并以飞行控制系统的AADL设计模型为例,阐释了研究成果。

摘要：针对互联网上旅游信息量飞速增长导致旅游者难以从海量大数据中检索出有效信息的问题,该文为帮助旅游者从众多Web旅游网站中高效地获取想要的地理信息,基于开源的Nutch搜索引擎框架,结合旅游领域与地理信息的特性,对原有搜索引擎框架的索引及搜索方法模块进行改造,通过设计基于词典的双向最大匹配模型对地理信息进行分词,并集成到Nutch搜索引擎框架的分词模块中,构建出面向旅游领域地理信息的垂直搜索引擎。最后,利用GIS技术,设计并实现了一个旅游地理信息垂直搜索系统,对旅游地理信息搜索服务进行了验证。

摘要：三明作为典型的山地城市,污水厂建设场地条件不佳。该工程作为三明市“城市双修”行动计划的重点项目,工期紧、任务重,设计中巧妙运用集约化箱体形式及“航站楼”式高程布置等技术手段探索,建设一座极具特色的山地式污水处理厂。该工程可有效节省占地面积,大幅压缩施工工期,解决了厂房高程与周边地势的衔接问题,可为国内山地城市污水厂建设提供参考和启示。

摘要：经济的发展带动了建筑业的进步,同时促进了钢结构在建筑业中的广泛应用。然而,在具体工程实践中,建筑钢结构设计仍存在许多未达到标准的方面,影响着建筑的安全稳定。因此,本文从建筑钢结构设计出发,分析其现状及存在的问题,并尝试给出针对性的建议与思考,以期为相关研究者和工作人员提供参考和支持。

摘要：为满足对舰船电子装备工作现场参数测量与监控的需要,设计了一种基于STM32处理器的舰船电子装备状态监控系统。文中阐述了系统的功能原理,详细介绍了各功能模块的实现方法。该系统带有串行接口,可以满足远程上位监控计算机数据传输的需要。与各种传感器配合,既可实现对温度、应力等常用数据的采集与处理,具有良好的实用性和应用前景。

摘要：在当前土地资源越发紧张和生态环保高标准要求的背景下,我国城市污水处理厂的建设逐渐尝试向地下空间拓展。依托国内外成熟的地下式污水处理厂的建设理论和实例,以福建某污水处理厂为例,分析山坡式半地下污水处理厂的厂坪布置、建设形式等,揭示山坡式半地下污水处理厂在占地、工艺、总体布置等的功能性设计特点,为在山坡上建设污水处理厂提供设计分析和参考。

摘要：浙江某污水厂设计规模为16×10^4m^3/d,采用Bardenpho—MBBR工艺进行升级改造后,生化池出水COD、NH4^+-N、TN、TP均值分别为17.2、0.37、7.72、0.168 mg/L,在不投加碳源的情况下即可达到准Ⅳ类水标准,生物脱氮除磷效果良好。对生化池各功能区沿程采样测定发现,好氧MBBR区对TN的去除率为28%~46%,受到泥浆水冲击后也能保持在15%~22%,系统高效去除TN得益于好氧MBBR区的同步硝化反硝化(SND)作用;由于好氧区的SND现象,平均可以节省0.23元/m^3的碳源费用,年节约碳源费用近1343.2万元;生物膜厚度和溶解氧的控制对于稳定表现SND有重要影响;系统中微生物的高通量测序结果显示,悬浮载体上硝化菌丰度为32.19%、反硝化菌丰度为4.86%,硝化菌和反硝化菌同时存在为SND现象的产生提供了微观保证;冬季低温时,悬浮载体实际承担了系统近90%的硝化负荷。

摘要：导调系统是模拟训练系统中必不可少的部分,是确保训练正常有序运行、实现人与系统交互的关键。通过设计构建导调系统框架,对其基本功能,体系结构、运行流程进行说明,并对主要功能模块及关键技术的实现方案作了详细分析。此框架具备一定的通用性,可以在多个层次的作战模拟训练系统中得到应用,可提高系统开发效率。

摘要：城市水系统具有“自然-社会”二元特性,包含了自然水循环与社会水循环。近年来,我国在水务工程建设领域取得了巨大成就,但在前瞻性、生态性、系统性和整体性等方面仍存在不足,探讨生态智慧导向下水务系统顶层设计与关键技术,基于云计算、物联网、大数据等新一代信息技术,打造空天地一体化的智慧水务平台,包含智慧供水、智慧污水、智慧排水防涝与智慧海绵城市,改进城市水系统在前瞻性、生态性、系统性和整体性等方面的短板,以提高水资源利用效率、提升水环境质量,提供水安全保障、恢复水生态功能。

摘要：基于B/S结构的三层信息实验室管理系统。它通过应用层ASP页面调用中间层COM组件,实现对底层数据库对象的控制和处理,能方便、快捷地应用于日常实验室管理。