一种基于同步树替换文法的统计机器翻译模型

提出一种基于同步树替换文法的机器翻译模型.相对于基于短语的模型,此模型可以对远距离结构性调序和非连续短语翻译进行建模;相对于基于同步上下文无关文法模型,此模型可以对任何层次上的树节点调序进行建模.因此,该模型可以为处理语言结构间的异构对应问题提供有效的解决途径. 在两组风格差异较大的数据集上进行的实验均验证了基于同步树替换文法的模型相对于基于短语模型和基于同步上下文无关文法模型的稳定优势.     

一种轻量级RFID安全协议

在分析了几种现有的典型RFID安全协议的特点和缺陷的基础上,提出了一种轻量级的RFID安全协议,该协议将一次性密码本与询问一应答机制相结合,实现了安全高效的读取访问控制,最后建立该协议的理想化模型,利用BAN逻辑对该协议进行了形式化分析,在理论上证明其安全性.     

基于FX编程口的PC与PLC的通信

介绍了一种利用FX系列PLC的编程口,实现PC与PLC的通信的方法,着重介绍了FX编程口通信的通信协议、通信命令、通信传输的数据帧格式、PLC元件查询地址的编址、校验和的计算,并利用Windows环境下的开发软件VB6．0编写通信程序。     

基于MAX5494的电子测量供电系统电路设计

在传统的电子测量供电系统电路中,主要依靠人工来控制模拟电位器,这使其存在很多局限性。为了克服这些不足,利用单片机AT89C51来控制数字电位器MAX5494,实现了测量供电系统电路的自动调节和控制,不仅大大简化了电路,而且提高了系统可靠性,从而改进了传统的电子测量供电系统电路。     

基于P2P的即时通信系统的研究

描述了一个简易的基于P2P的即时通信系统的设计、实现过程.本系统实现了网络中在线用户的实时信息传送以及文件传输功能.系统采用了混合P2P模式,其中服务器端程序采用多线程技术,用于登录节点的身份验证、状态信息查询;P2P网络中的信息通信直接在客户端节点之间进行.基于P2P的即时通信系统具有方便、高效、廉价、即时等优点,正在迅速成为个人应用和企业应用的重要工具.     

基于遗传算法的自动组卷系统研究与实现

自动组卷系统是在已有的题库基础上,按照考核目的,按一定算法生成一份满足一定要求的试卷管理系统。计算机如何自动选题形成一套科学合理的试卷算法是最关键的问题,本文首先比较了几种常见的自动组卷方法,然后介绍了遗传算法组卷算法,最后给出了实现方法。     

PNG复杂曲面纹理映射的仿真方法

随着PNG图片越来越广泛的应用,所以研究复杂曲面纹理映射的方法有着重要的意义.为了在保持低存储量,小计算量的同时,针对PNG图片的复杂曲面自动纹理映射的变形,根据纹理扰动的缺点.提出了一种改进的复杂曲面纹理映射的方法,通过利用解二次椭圆偏微分方程,来得到任意曲面到平面的共形映射.方法不但可以自动分配纹理坐标到复杂的没有起伏的曲面,而且可以有效地克服复杂曲面的自动纹理映射的变形.避免纹理扰动,很好地解决了纹理的自动映射.     

基于离线可信第三方的电子支付协议公平性分析

基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面.电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击.在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见.     

基于微包协议的三模冗余容错计算机无缝重构算法

提出了一种基于微包传输协议的系统重构算法,制定了系统重构命令协议,设计了关键数据区的一致性管理算法.不需增加额外的硬件资源和系统开销,利用三机之间的数据交换通道,即可实现三模冗余容错计算机的无缝重构,保证系统在故障恢复重构时工作的连续性.同时,完善的重构命令协议使得重构软件的开发可以采用面向对象思想构成标准化的中间件,具有很强的扩展能力,为构建标准化嵌入式三模冗余容错计算机内核奠定了良好的技术基础.     

数据交换在数字化校园中的作用与实现

本文首先概要介绍了数据交换的基础概念和现状,分析了现有的数据交换技术,研究了主要的数据交换机制,对数据映射、工作流技术进行了探讨,重点介绍了数据交换的技术。在理论研究的基础上,设计了一个基于标准XML数据格式和XSLT数据映射格式,结合工作流引擎的数据交换系统模型。该系统模型解决了校园网多个异构系统的数据集成和业务集成的问题,充分考虑了系统的安全性和扩展性,为校园网的信息化建设提供了很好的参考模型。