摘要：该文提出了一个统计语义分析器 ,它能够发现中文句子中的语义依存关系 .这些语义依存关系可以用于表示句子的意义和结构 .语义分析器在 1百万词的标有语义依存关系的语料库 (语义依存网络语料库 ,SDN)上训练并测试 ,文中设计、实现了多个实验以分析语义分析器的性能 .实验结果表明 ,分析器在非限定领域中表现出了较好的性能 ,分析正确率与中文句法分析器基本相当 .

摘要：提出基于曲线累加弦长来检测角点 ,可以使得检测结果具有旋转不变性 ,隐式精化曲线策略可以显著改善角点检测算法的计算精度 ,从而增强角点检测结果的可靠性 具体给出了一种基于精化曲线累加弦长的角点检测方法 ,并对其可行性进行数学论证 ,同时提出了一种区别圆角和尖角的实用技术 实验结果表明 。

摘要：提出应用特征码的基于角色的存取控制实现方案 ,由特征码表示角色、权限 ,特征码的合成 ,即用角色导出信息来表示角色间的继承关系 文中方案提供了角色授权、角色继承、数据存取授权等方面的安全管理 ,考虑了系统动态变化时的处理方法 ,并扩展了对角色私有权限及多角色同时控制数据存取等情况的处理 该方案权限存取管理简单 。

摘要：近年来,利用路由交换设备漏洞窃听用户流量的攻击事件不断曝光,凸显了核心网络信息安全传输的重要性.由于用户和网络运营商不掌握设备漏洞控制权,导致此类攻击具有成本低、隐蔽、单向和顽固等特点,不易被识别和约束.文中通过分析嵌入漏洞的路由交换设备可能执行的异常服务行为,提出了一种静态路由交换范式体系.该体系对利用设备漏洞窃听用户流量攻击的安全完备性可论证,范式规则通用于TCP/IP网络,并基于该体系设计范式检测设备模型,该模型可设计实现,利用该设备可检测路由交换设备违反范式的输出分组.系统仿真实验结果显示,文中设计的范式设备可放行全部正常分组,同时可识别和约束99.92%以上的窃听分组,被检测路由交换设备吞吐率可达Gbps级.

摘要：基于Authentication Test方法,围绕高效安全Internet密钥交换(ESIKE)协议的安全目标,提出一种具体地构建唯一满足两个通信实体变换边的形式化协议设计方法,设计出了高效安全的IKE协议;并且基于StrandSpace模型和Authentication Test方法,形式化分析ESIKE协议,证明了其所具有的安全特性.该ESIKE协议克服了原有Internet密钥交换(IKE)协议存在的安全缺陷,提供了安全的会话密钥及安全关联(SA)协商,保护了通信端点的身份,并且保证了协议发起者和响应者间的双向认证.同时,ESIKE仅需3条消息及更少的计算量,更加简单、高效.

摘要：近年来,IP源地址伪造被频繁应用于网络攻击中,对互联网安全造成极大威胁.域间源地址验证方法通过对IP报文进行自治域级别的验证来防御这类网络攻击.学术界提出了这类方法的评价指标,并依照该指标设计出很多新的方法.然而,这些方法尽管指标值优秀,却无一能在实际中得到互联网服务提供商的广泛部署.究其原因,是现有评价指标主要关注互联网整体的安全性,而没有考虑到互联网服务提供商的个体利益.文中首次从互联网服务提供商的经济诉求出发,研究域间源地址验证方法的可部署性评价模型.作者提出将部署收益、部署开销和运维风险作为可部署性评价的3项基本指标,并给出其形式化定义;从理论上证明了该指标体系的合理性;建立了评价模型,为每个指标设计了完善的量化评价方法;以现有著名域间源地址方法的部署收益评价为例,展示了将理论模型应用于方法评价的具体流程,并对评价结果进行深入分析;最后,作者讨论了方法可部署性与互联网整体安全性的关系、方法设计的优化目标以及如何应用模型指导方法的设计.该评价模型的提出,对于设计更易于部署的方法具有指导意义,并有利于促进域间源地址验证方法在互联网的部署.

摘要：为了处理好城市干道路段上行人过街安全与机动车交通效率之间的矛盾,提出了一种利用下游交叉口红灯信号时间来为路段行人提供专用过街信号相位的行人过街横道信号控制方法.它可由混合整数线性规划模型来描述,其优化目标是在保障行人过街安全和维持机动车现状运行水平的基础上,使路段过街横道行人绿灯时长最大化.通过VISSIM仿真和实例分析,对该信号控制设计方法的效果和可操作性进行了验证.研究表明,对于有行人中央驻足区的情况,过街横道可设置于路段任何需要的位置,且总能计算得到合适的信号配时方案;对于无中央驻足区的情况,应将人行横道设置位置与信号配时同时考虑才能实现良好的设计效果.

摘要：素描画是一种常见的艺术形式,它通过单色线条来表现直观世界中的事物,而能够体现场景层次的高光和阴影则是表现的重点.艺术家经常会对场景的光影进行艺术化的夸张,这种艺术夸张会更好地表现作品主题.首先提出一种二维图像平面的虚拟点光源位置估计算法,根据输入的真实图像的距离场和亮度场,计算虚拟点光源位置,使其对原图像的亮度梯度影响最小,即最符合原场景中的光照方向.然后提出基于二维虚拟点光源的阴影增强算法,加强了真实图像中的明暗对比,因此能够在最终的素描结果中表现出光影效果.使用该方法生成的素描画,在物体边界处具有更好的明暗对比,从而使得最终绘制图像更具有素描画的光影增强特点.

摘要：介绍了混合特征识别系统ZD AFRS的设计思想、系统结构、核心功能的设计与实现 ,以及增强系统健壮性的方法 .以先进性与实用性并重为原则 ,在ZD AFRS的研制过程中 ,通过设计可靠的分割面处理、合并面处理和虚链生成算法 ,提高系统自动特征识别功能的健壮性 ;通过将交互特征定义与自动特征识别进行有机集成 ,提高系统的容错性 ;通过提供用户自定义特征功能使系统具有可扩展性 ;通过开发体特征生成、合理特征解释生成和毛坯自动生成等功能使系统的功能更完善 .经过较多的测试表明 ,ZD

摘要：大部分口令认证密钥交换(PAKE)协议的设计者忽略了长期密钥泄露可能造成的危害.文中发现仅仅依靠口令的安全性设计可以抵抗口令泄露攻击的三方PAKE协议是不可能的,所以文中采取服务器通过公钥实现认证的方法,设计一个可以抵抗口令泄露攻击的强安全性协议,其在随机预示和理想密码模型下基于ECGDH假设具有前向安全的特性.