论文部分内容阅读
随着我国经济的迅速发展,城市化进程日益加速,机动化水平不断提高,我国道路交通事故及其死亡人数增加迅速,社会经济损失惊人,当前交通安全形势非常严峻,影响我国道路交通安全的因素也日趋多元化和复杂化。本文基于我国交通安全现状,主要分析影响我国道路交通安全的宏观因素。
道路交通安全宏观影响因素分析
【摘 要】
：
随着我国经济的迅速发展,城市化进程日益加速,机动化水平不断提高,我国道路交通事故及其死亡人数增加迅速,社会经济损失惊人,当前交通安全形势非常严峻,影响我国道路交通安全的因素也日趋多元化和复杂化。本文基于我国交通安全现状,主要分析影响我国道路交通安全的宏观因素。
【机 构】
：
中国人民公安大学交通管理工程系 北京 102614
【出 处】
：
2004北京国际智能交通论坛
【发表日期】
：
2004年5期
其他文献
IEEE软件工程术语标准中定义度量(metric)为对一个系统、构件或具有的某个给定属性的度的一个定量测量.本文给出一套度量Java程序的度量算法的详细定义,并且重点阐述了如何通过分层的体系结构实现这些度量算法.该设计实现的度量工具具有良好的可扩展性,在实际应用中能确实帮助开发人员改进程序质量,避免潜在错误并指导测试人员选择工作重点.
导航模型设计是开发Web应用程序的重要任务,良好的导航模型设计有助于提高系统的可维护性与复用性.然而导航模型的引入也使得应用程序的复杂性提高.本文在已有导航模型设计方法的基础上结合面向方面编程技术的思想,提出了一种新的面向方面的导航模型框架,简化了程序的结构,提高了系统的灵活性和可扩展性.在文章中,我们还介绍了如何利用动态代理实现该框架的面向方面特性,最后通过实例说明了对该框架的应用.
随着Internet的发展,大量网络资源涌现,如何管理这些资源成为迫切需要解决的问题.目录服务是一种有效的资源管理技术.本文首先给出了目录及目录服务的基本概念,随后介绍了三种目录服务X.500、LDAP和UDDI,并从访问协议、安全和访问控制、功能操作、数据复制、信息结构、数据表示等多方面进行了比较,给出了这些目录服务适用的范围及优缺点.
本文综合分析了.NET体系结构,讨论了该体系结构在具体应用中出现的若干问题.在此基础上,本文提出了一种基于对象关系映射器的软件体系结构,并成功地应用于清华大学软件学院综合管理信息系统中.
软件体系结构在大型系统开发中的作用虽然得到了前所未有的强调,但在实际软件开发过程中,对软件体系结构由粗略到详细、由抽象到具体的设计过程仍缺乏足够的支持.在本文引入的基于软件体系结构的迭代开发过程中,软件体系结构设计被划分为两个阶段,前一阶段进行软件体系结构的分析,并根据分析结果实现对项目成本的估算、进度估计以及某些系统性能的评审;之后,在分析结果的基础上进行细化,完成对软件体系结构的精确定义.并介
本文对目前较新颖的开放标准,通用即插即用(UniversalPlugandPlay,UPnP)体系架构进行研究并提出改进可靠性的思路.从通用即插即用体系的术语,网络协议的交互使用以及工作流程做了研究.提出实际应用中存在的可靠性问题,并根据软件体系结构的设计原则提出状态服务器的网络逻辑模型以维护通用即插即用网络上的设备可用信息.
OMG组织制定的容错CORBA规范,定义了在CORBA体系结构中实现容错的基本框架.使用复制技术进行容错是目前的主流,而主动复制相对于被动复制来说,更能有效地避免单点失效的问题.主动复制的关键在于保证所有复本之间状态的一致性,而这同时也是组通信系统所要解决的问题.本文把组通信协议作为一种CORBA服务提供给客户,并将该组通信协议应用于容错CORBA中,有效地解决了复本之间的一致性问题.
确保构件系统的一致性是构件演化的根本目标.根据构件交互过程,借鉴演算的类型系统和进程构造方法,提出构件交互的类型系统和基于交互的构件模型.为确保构件服务端口和交互通道的正确行为,给出服务的端口类型和通道类型.以此为基础,结合演算中良类型的思想,提出一致性构件系统的概念.然后,结合构件演化的特点,给出能保持系统一致性的构件静态演化和动态演化规则.最后,给出非一致演化的恢复方法.
本文针对软件复用中构件不符合应用程序需求的问题,使用主动接口技术,辅以其他构件适配技术,提出了一种可适配的构件模型(AdaptableComponent),帮助构件开发者设计出易于适配的构件.并运用该方法创建了一个具体构件,展示了对该构件进行某种适配的过程.
随着计算机网络技术的迅猛发展,计算机病毒的传播和攻击方式日新月异,严重威胁大型网络应用解决方案的安全性和可靠性.传统反病毒技术主要是信赖于各种形式的基于签名的指纹来表征一个具体的病毒,为了维护系统的安全性,终端用户的签名库(病毒库)就需要不断的进行更新以发现并清除最新的病毒.为免去频繁更新病毒库给终端用户造成的诸多不便,本文给出一种基于ModelChecking的形式化验证方法,通过用线性时序逻辑