光谱法在溢油鉴别中的应用研究进展

光谱技术是研究溢油鉴别的非常有效且应用最广泛的方法。本文综述了上世纪以来溢油鉴别的研究方法,重点介绍了光谱法在溢油鉴别中的研究进展。     

网际访问控制研究

首先在网际策略路由选择的基础上提出了一种更有效的KIAC协议。既而在激活网络环境下提出一种动态路径设置协议。并对访问控制中的异常提出了密钥分配方案。     

基于信息分配的道路黑点鉴别方法

为解决传统的道路黑点鉴别方法中存在的小样本问题及事故样本的信息损失问题,深入分析了事故数据的小样本特性及事故样本反映路段行车风险的多维性;并引入信息分配技术对交通事故数据进行处理,通过计算和比较事故样本分配给各路段单元的事故信息量(而不是事故频次)进行道路黑点鉴别。结果表明:信息分配技术能充分挖掘小样本事故数据提供的道路黑点鉴别信息,事故信息量比事故频次更能反映各路段单元行车风险的大小。     

公路事故多发段点改造与安全设计

从提供安全的道路交通设施和道路安全管理的角度,介绍了公路事故多发段点的鉴别、改造与安全设计,目的在于改善现有道路的安全水平,并找出道路交通设计中的缺陷,将一些安全隐患消灭在规划、设计阶段,以减少交通事故造成的损失。     

如何鉴别YAMALUBE／20W-40润滑油的真假

YAMALUBE／20W-40润滑油是YAMAHA系列摩托车的专用机油。该润滑油属四季型产品,适合我国大部分地区用户使用。 近来笔者给自己的YAMAHAF8110弯梁摩托车换机油时发现润滑油品市场上有一些假冒的YAMALUBE／20W-40润滑油：由于这些假冒的润滑油生产工艺不过关,润滑油各项性能都很不稳定,一旦被加入摩托车润滑系中,很容易造成摩托车零部件早期损坏,给车主带来不必要的经济损失。     

基于交通冲突技术的交叉口事故多发点判别及致因分析

事故数据记录不完善制约了基于事故数据的交叉口安全分析方法的运用.冲突数据样本量大、观测周期短,可以作为事故数据的补充,评价交叉口安全状况及分析事故致因.选取上海市区交叉口进行冲突视频观测,提取冲突类型及冲突严重程度等数据.建立了事故率与机-机、机-非、机-人严重冲突率多元线性回归方程,该方程可用于交叉口事故多发点判别.以武宁路-兰溪路交叉口为例进行致因分析,分析冲突类型及分布进而提出针对的改善措施.     

综合指标模型在公路网节点层次划分中的应用研究

在公路网节点层次划分中,一般的做法是根据专家的经验划分层次.由于专家的主观认知角度不同导致节点层次与实地情况出现一定的差异,从而使公路网布局方案出现不合理.针对这种现象,提出综合指标模型在路网节点层次划分中的应用,通过研究区域的社会经济特征,选取影响节点重要性的指标来计算节点综合重要度.根据计算值,初步划分节点层次;再通过对中间层节点的鉴别.确定最终层次.运用该方法对诸暨市所辖27个街道(镇)进行了层次划分,所得结果符合市域城镇体系规划,说明有较好的应用价值.     

Efficient Protocol-Proving Algorithm Based on Improved Authentication Tests

A new efficient protocol-proving algorithm was proposed for verifying security protocols. This algorithm is based on the improved authentication tests model, which enhances the original model by formalizing the message reply attack. With exact causal dependency relations between messages in this model, the protocol-proving algorithm can avoid the state explosion caused by asynchronous. In order to get the straight proof of security protocols, three authentication theorems are exploited for evaluating the agreement and distinction properties. When the algorithm terminates, it outputs either the proof results or the potential flaws of the security protocol. The experiment shows that the protocol-proving algorithm can detect the type flaw attack on Neuman-Stubblebine protocol, and prove the correctness of NSL protocol by exploring only 10 states.