时间自动机的自动抽象算法

为对付时间自动机规格分析验证中的状态爆炸问题，提出了一种自动抽象算法．它是直接在时间自动机描述规格上而不是在规模大得多的语义模型上进行抽象，从而取得不大于时间自动机拓扑复杂性的四次方的多项式复杂度，实验证明，该算法可应用于任何满足线性复位性质的时间自动机。此外，这种算法还可以用来简化系统描述，提高其可理解性。     

给水管网信息管理系统

城市给水管网管理是一个庞大的系统工程，它涉及管网维修、管网改造、图纸档案管理、管网数据统计等方面。由于城市规模大、管网密集、复杂度高、图纸量大、供水用户多、供水量大等，管网的维修、管理任务十分繁重。手工管网管理存在着费人力、速度慢、统计数据准确度不高，遇到修漏等突发事故，往往来不及翻阅图纸，而只能靠人记住管网布     

谈筑路机械管理的科学性

管理已是一门科学，我们所研究的筑路机械管理是施工企业管理的重要组成部分，也是在科学范畴之内。     

��������ƽ̨������ϵ����о�

建立具有自主知识产权的汽车计算平台技米框架和标准体系,加大技术创新和产业化力度,是我国解决汽车产业“空心化”,提升技术竟争力的战略选择.本文根据现代信息和汽车技术智能化、网络化、信息化和集成化的发展趋势,在系统分析了汽车计算、控制功能及其实现途径的基础上,创新性地提出了汽车计算平台的技术体系框架,使整车的计算和控制实现了系统一体化.     

Improved Space-Time Selective Interference Cancellation Scheme for CDMA Systems

IntroductionAdaptiveantennaarrayscanreduceco channelinterference (CCI)fromotherusersaswellasmitigatetheeffectofmultipathfadinginwirelessenvironments .SinceCDMAsystemsareinterferencelimitedinnature ,smartantennahasbeenregardedasoneofthecoresystemcomponents…     

AK、SMA、0GFC、SAC型沥青混合料路用性能的研密

笔者选用AK-16B、SMA-16、OGFC-16及SAC—16型等4种我国常用的抗滑级配沥青混合科，比较系统地分桥对比了高温稳定性、低温抗裂性、抗疲劳性、水稳性等力学性能，以及表面的抗滑性及透水性，为我国在抗滑沥青混合科的应用和推广上提供参考。     

海洋平台生活楼板架结构抗爆性能简化预报方法

海洋平台易发生油气泄露引发爆炸事故,进而造成结构损伤、设备损毁以及人员伤亡事故。生活楼是海洋平台上作业人员的生活区及极端环境下的避难场所,其结构在设计过程中应考虑油气爆炸载荷作用下的安全性问题。本文以某海洋平台生活楼板架结构为研究对象,基于单自由度理论研究求解结构等效单自由度系统在油气爆炸载荷下的结构响应解析式,并绘制响应曲线。通过与数值仿真分析进行对比分析,验证了理论分析结果的可靠性。本文研究成果可有效指导海洋平台结构抗爆设计。     

公交站点停靠时间预测模型研究

基于对北京市六环内各方向23条公交线路不同站点的现状数据采集,提出了一种公交站点停靠时间预测模型.分析了上下车人数、车内拥挤度、车门数及公交车台阶数等影响因素对公交停靠时间影响程度.根据分析结果,排除台阶数对停靠时间的影响.由于北京市3门铰接车与2门车的停靠时间存在一定的差异,考虑公交车门数对上下车时间的影响,得到3门车公交下车客流分配关系;然后选择上下车人数及车内拥挤度2个因素作为自变量,建立了乘客上下车时间预测模型;进而通过回归分析开门时间最长的车门乘客上下车时间与站点停靠时间的关系,选取二次函数作为公交站点停靠时间预测模型.最后,对2条不同公交线路的公交预测停车时间及实地调查停车时间进行比较,其标准化均方差分别为0.151 0,0.178 2,表明该模型具有较高可靠性,可应用于公交行程时间的研究.      

我国城市轨道列车工业设计研究综述

从工业设计视角对城市轨道列车进行研究，有助于提高列车的安全性、舒适宜人性、美学和文化特性，使其成为提升城市形象的一张靓丽名片. 首先，结合相关标准，阐述了我国6类城市轨道列车的主要外形特征；然后，概括提出了城市轨道列车端车和中车车体造型设计、车体涂装设计时应重点考虑的共性约束因素和关键参数取值范围，总结给出了城市轨道列车外观设计的相关要点；接着，围绕司机室驾驶界面和客室旅客界面，对我国城市轨道列车车内环境设计研究进行了综述，明确了这两大界面设计各自研究的现状及侧重点；最后，对我国城市轨道列车工业设计领域的研究进行了总结和展望，指出应进一步加强列车-线路-人文多要素耦合理论与设计方法、列车车内空间及界面系统优化设计与综合评价技术和列车车内视觉环境评价与优化设计的研究.      

以空气丈量减排--香港船舶减排启示录

船舶运输及港口发展由来已久，对世界经济及贸易活动贡献良多，更被视为带动区域经济发展的重要元素之一。随着技术的突破和资金的投入，港口及航运业的发展一日千里，然而船舶发动机组的设计，特别是吨位较大的远洋轮船，由于柴油发动机产生的动力较大，运转度较低，比较适用于船舶的关系，仍处于以柴油发动机为主的技术方向。可是远洋轮船柴油发动机燃烧的是重燃油，根据目前国际海事组织公约规定，硫含量的上限为3.5%，远高于其他陆上主要燃料的硫含量，燃烧后所产生的二氧化硫和颗粒物等空气污染物对大气环境造成严重的影响。