基于Biba模型的三权分立分析

强制访问控制是建设高级别安全信息系统的必要条件.本文基于Biba模型,重点给出了信息系统中系统管理员、安全管理员和安全审计员三权分立的形式化分析.通过分析,给出三权分立管理机制下,保障信息系统安全管理的条件.本文的结果在某国家级信息系统的具体建设中得到了应用.     

大深度水下航行体引起的水底压力变化

水下航行体引起的水底压力变化是航行体的重要目标特性之一,可用于水下运动目标探测和水中兵器研制.基于船舶水动力学势流理论,建立了水下航行体水底压力计算模型.利用HessSmith方法,对大深度水下航行体的压力场分布进行了计算,分析了航行体水压场沿纵向和潜深的变化规律,计算结果和实验结果有较好的一致性.     

复杂可编程逻辑器件在弹跳消除电路中的设计与应用

按键的弹跳现象，是数字系统设计中客观存在的问题，为了增加电路设计的灵活性，选用MAX plusⅡ软件，采用自顶向下的模块化设计方法，提出一种利用CPLD器件实现的弹跳消除电路，该电路具有故障率低、使用灵活、便于修改、在系统可编程性及可移植性强等优点。     

基于模糊推理的跟驰安全距离控制算法及实现

车辆跟驰是普遍存在的交通现象之一。由于驾驶员在控制车辆过程中具有模糊的、不确定性的行为特征, 难以对驾驶员的行为进行精确的数学描述, 此外, 为保证车辆行驶的安全, 有必要对车辆跟驰时如何保持安全距离进行研究。基于此, 提出基于模糊推理的车辆跟驰间距控制算法, 并对其进行了仿真运算。仿真结果表明, 用模糊推理模拟驾驶员的行为是可行的, 并且通过模糊推理控制后车的速度, 后车能够以安全距离跟随前车安全行驶     

小城镇用地布局与交通系统互动关系研究

从小城镇个体和小城镇体系两方面,对小城镇用地布局与交通系统相互作用的表现形式和机制进行定性分析.引出用妹地布局与交通系统互馈作用循环模式,论述土地布局与交通建设必须协调发展问题,这对于小城镇规划建设具有理论指导意义.     

EDA的发展及组成

EDA技术是电子设计领域的一场革命，目前正处于高速发展阶段。利用EDA工具可以代替设计者完成电子系统设计中的大部分工作。对EDA的研究是信息时代电子技术发展的迫切需要。通过对EDA的发展、EDA系统工具的组成较为详细的描述，并将EDA技术与传统手工设计方法进行了对比，从而得出EDA方法相比传统手工方法，具有花费低、效率高和制造周期短等优点的结论。     

里岭隧道防排水施工技术探讨

探讨诸永高速公路金华段里岭隧道工程防排水施工情况,在调查、分析隧道开挖后围岩裂隙水水量大小、地下水补给情况的基础上,遵循“以排为主,防、排、截、堵”相结合的综合治理原则,采取相应的防排水措施,达到排水通畅、防水可靠、经济合理、不留后患的目的。     

4S店汽车用品营销渠道高端论坛报道

由中展集团北京华港展览有限公司和《汽车维修与保养》杂志社共同主办的“4S店汽车用品营销渠道高端论坛”在2009中国汽车用品交易会期间召开。会议邀请中国汽车维修行业协会副秘书长王逢铃、北京市汽车维修行业协会秘书长谭文智、北京市汽车修理公司总工程师魏俊强及其他汽车维修企业（4S店）代表、汽车养护用品类生产企业和经销商代表共60多人参加了此次论坛。     

基于云平台的城市轨道交通自动化集成系统架构与实践

传统架构下的城市轨道交通弱电系统各子系统独立架设,具有设备多样、维护复杂、互联程度低等缺陷,难以满足“智慧城轨”打破各类信息系统数据壁垒的建设需求。针对这些缺陷,提出基于“数字云底座”构建软件模块化和智能硬件一体化设计思路,应用云计算、大数据、边缘计算、人工智能等通用信息技术,结合超融合智能硬件开发技术、大数据中台技术、分布式云平台技术以及微服务综合治理平台技术的解决方案,研发基于云平台的城市轨道交通自动化集成系统(以下简称“云交系统”)。通过对轨道交通业务特点进行分析,设计了基于智能控制一体机的云交系统架构及微服务重构机制,整合了大数据及中台技术,并在多个项目中进行应用。应用效果表明：云交系统有助于提高信息效率、降低运维成本,并支撑科学决策。     

奎素黄河特大桥抗震设计与研究

以奎素黄河特大桥为例,介绍了长联预应力混凝土连续梁地震作用下的受力特点、抗震设计计算要点以及双曲面球减震装置减隔震机理与计算模型。为此类长联连续梁设计提供借鉴参考。