基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

基于未确知测度理论的三山岛金矿充填工艺方案优选

针对三山岛金矿立式砂仓分级尾砂充填工艺存在放砂浓度低且波动大,深井输送流速高、磨损快,料浆离析、分层、泌水严重,充填成本高等难题,结合生产实际及国家重点研发项目要求,开展了全尾砂胶结充填工艺方案研究,提出了5种充填工艺方案。基于未确知测度理论,选择对充填系统影响较大的12个因素,如放砂浓度、制备能耗、溢流浓度、井下充填任务调节能力等作为评价指标,并建立了充填工艺方案评价模型。通过构建12个指标的单指标测度函数,得出5种方案单测度矩阵。依据评价向量,经一系列计算得出方案一优越度值最高,确定方案一为最佳充填工艺方案。该研究为三山岛金矿科学合理地选择最佳充填工艺方案提供理论支撑。     

晋祠博物馆存宋代建筑小样的断代及修复方案(下)

本文对保存在太原晋祠博物馆的一座宋代楼阁式建筑的小样进行了详细的断代分析和鉴定,并针对其残损情况,参照现存同时期宋代建筑的法式特征和构造特点,提出了小样的修复方案。通过断代分析,确认了"扎小样"这一重要的营造技术手段至迟在宋代就已经成功应用。对中国古代建筑技术史的研究和认识具有重要意义。     

云计算环境下有线通信网络连接方案优化

随着信息技术的不断发展,智能化网络在人们生活中得到了普及,为有线通信网络连接方案优化提供了基础条件,确保有线通信实现稳定连接。基于此,总结了有线通信网络的发展现状,并从云计算处理环境的建设、设计有效的连接方案、控制效率成本和连接方案的整体性优化理论四个方面,论述了云计算环境下有线通信网络连接方案的优化方法。     

大跨度平行匝道钢箱梁施工技术

西安市北辰大道主线落地平行匝道桥快速化改造过程中,为加快施工进度,采用了钢箱梁结构进行施工。针对该工程面临的钢箱梁自重大、桥面跨度大、工期紧以及施工作业面邻近330 kV高压电塔等问题,制定了专项施工方案,解决了钢箱梁制作安装、临时支架设计、高压电塔处施工处理等过程中的难点,取得了良好的改造效果,亦为类似项目积累了经验。     

五一出游另类电子装备指南

是不是您也像我一样已经迫不及待地开始策划五一长假的出游计划了呢？一年就这么几次机会,应该好好玩个痛快才对得起自己平日的辛勤工作。策划出游路线是一方面,其实带上哪些装备出行也会影响我们出行的心情和旅程。在2005年推出“出游全装备”专题(find．pcworld．com．cn/21250)之后,《微电脑世界》今年又会呈现给您一个五一出游另类电子装备的小专题。既然名为“另类”,自然不是我们能想到的数码相机、DV、笔记本电脑等常规武器,而是为了保证旅途安全愉快的娱乐、电源和导航装备。根据出游类型的不同,我们也针对典型的徒步游、自助游和驾车游推荐不同的装备方案。     

向家坝水电站施工期客货过坝方案研究

为了保证金沙江通航河段在向家坝水电站施工期间客货运输的畅通,本文提出了临时船闸通航方案和不设临时船闸的公路驳运方案,并对两种方案在通航条件、工程进度和投资分析等方面进行深入的比较研究,论证了选择不设临时船闸方案的合理性和可行性。     

浅析治黄新方案的合理性

从水资源、能源、运行、管理等方面论述了由笔者提出的治黄新方案的合理性。