基于Linux嵌入式HTTP网络服务器的设计与实现

介绍了基于PXA250和Linux嵌入式HTTP网络服务器的硬件、软件设计与实现。描述了基于PXA250嵌入式系统硬件设计原理，多进程和多线程并发连接嵌入式HTTP网络服务器软件算法和程序没计。程序设计基于HTTP，协议作为软件开发的基础，主要包括3个关键内容：一个标准HTML页的发送和接收，客户端向嵌入式HTTP网络服务器发送Web表单请求时的通信和CGI接口程序。探讨了多个线程共享数据资源，并且安全可靠地工作。用互斥锁和条件变量技术解决了由并发产生的同步问题。     

可证明安全的无双线性对无证书可信接入认证协议

提出一种无双线性对无证书的WLAN可信接入认证协议CTAPwoP.该协议以可信网络连接架构的基本思想为基础,将平台身份认证和平台完整性校验与用户身份认证过程巧妙结合,使得新协议仅需3轮交互就能实现站点(station, STA)与接入点(access point, AP)之间的双向身份认证和单播会话密钥的协商,同时实现AS对STA的平台身份认证和平台完整性校验.为进一步提高性能,该协议利用椭圆曲线上的点乘运算替换了传统无证书公钥密码体制中复杂的双线性对运算.安全性分析表明,该协议在高安全强度的eCK(extended Canetti-Krawczyk)模型下是安全的;性能分析表明：与IEEE 80211i的接入认证方案相比,该协议在计算开销和通信负载方面性能优势明显.     

Bilattices and Reasoning in Artificial Intelligence: Concepts and Foundations

The past few decades have seen a resurgence ofreasoning techniques in artificial intelligenceinvolving both classical and non-classical logics. Inhis paper, ``Multi-valued Logics: A Uniform Approach toReasoning in Artificial Intelligence', Ginsberg hasshown that through the use of bilattices,several reasoning techniques can be unified under asingle framework. A bilattice is a structure that canbe viewed as a class of truth values that canaccommodate incomplete and inconsistent informationand in certain cases default information. Inbilattice theory, knowledge is ordered along twodimensions: truth/falsity and certainty/uncertainty. By defining the corresponding bilattices as truthspaces, Ginsberg has shown that the same theoremprover can be used to simulate reasoning in firstorder logic, default logic, prioritized default logicand assumption truth maintenance system. Although thisis a significant contribution, Ginsberg's paper waslengthy and involved. This paper summarizes some ofthe essential concepts and foundations of bilatticetheory. Furthermore, it discusses the connections ofbilattice theory and several other existingmulti-valued logics such as the various three-valuedlogics and Belnap's four-valued logic. It is notedthat the set of four truth values in Belnap's logicform a lattice structure that is isomorphic to thesimplest bilattice. Subsequently, Fitting proposed aconflation operation that can be used to selectsub-sets of truth values from this and otherbilattices. This method of selecting sub-sets oftruth values provides a means for identifyingsub-logic in a bilattice.     

一种基于信息分散算法的分布式数据存储方案

针对分布式数据存储方案中,基于复制的方法和基于秘密共享的方法存在存储开销过大的问题,提出了分布式系统中一种基于IDA码的客户-服务器工作模式的数据存储方案。该方案在数据写入过程中通过构造编码后数据分块的Hash值级连,即所谓的数字指纹,可实现Byzantine环境数据的完整性保护。     

基于TCP封装的IPSec和NAT协同方案

对IPSec和NAT协同问题进行了研究,并对现有的解决方法进行了分析和比较.在UDP封装方案基础之上,给出了一种基于TCP的安全封装方案.该方案基于TCP协议,采用数字证书和轨迹跟踪技术等解决了IPSec与NAT的兼容性问题.最后,给出了Linux 2.6下的一体化设计与实现过程.     

非标准约束恒模盲多用户检测的改进算法研究

针对码分多址蜂窝移动通信中存在的多址干扰问题,以瑞利分布为变步长,构造了基于瑞利分布变步长的非标准约束恒模算法;与差分形式相结合,提出了基于瑞利分布变步长的非标准约束差分恒模算法(RDV-NSCDCMA);分析了此算法的性能并与非标准约束恒模算法(NSCCMA)进行了仿真比较.     

核聚类人工免疫网络的参数研究

核聚类人工免疫网络是一种新型的聚类分析方法,其基本算法形式也是启发式随机搜索算法,所以算法中的参数对于方法的最后性能有着重要影响。本文通过实验探讨几个关键参数对算法性能的影响,从而说明算法中参数的选择方式。     

六子棋智能博弈系统的研究与实现

六子棋作为一个新兴的游戏,已在棋类计算机智能博弈领域占有重要的位置,其为保证竞赛公平性而采取的一步两子的规则对计算机博弈的效率是很大的考验。为此,在实现六子棋博弈系统状态表示、搜索策略和评估函数几大核心框架的基础上．提出“路”的概念,简化评估函数类型,有效提高博弈性能。     

基于非标频点的高铁公专网资源优配方案的研究

本文介绍高铁实施非标频以实现高铁公专网资源优配,在高铁用户识别、高铁用户定位算法基础上,对铁路周边公专网用户进行识别和定位,判别出高铁专网中公网用户,对存在大量公网用户长期占用高铁专网资源的区域实施高铁专网小区非标频,实现公专网小区异频,减少公网小区重选至专网,降低高铁专网容量,实现高铁公专网资源优配,提升高铁专网用户感知度。     

空压机电驱动改装的研究及设计

针对某拖轮活塞式空气压缩机充气能力不足、型号老旧、备件不易购买等问题,对电驱动的空压机进行了选型改装.在起动主机所需空气容量计算的基础上,对空气瓶内压缩空气的状态变化进行了分析研究.利用标准气体等温变化时各参数间的相互关系,计算了满足起动要求的空气瓶容积.由起动空气总容积和起动空气压力范围,计算了空压机参数,校核后进行了空压机选型.由空压机参数确定电动机参数,通过设计带轮和选择V带,将定型后的空压机和电动机进行了连接安装;最后进行了开机交验.研究结果表明,定型并连接的电驱动空压机组,充满起动主机的所有空气瓶,仅需0.9h,与计算结果基本吻合,满足不超过1h的造船规范要求,说明空压机电驱动改装的方法是可行的.