基于可靠链路层模型的节能路由协议

针对不可靠的Ad Hoc网络,提出一种基于可靠链路层的节能路由协议。该路由协议在寻路过程中,综合考虑了最大化网络生命期和最小化每个包的能量花费。而且,该协议考虑了链路的可靠性,采用了功率控制技术,能够恰当处理包丢失问题。通过大量仿真试验,并与已有的路由协议进行对比,表明该协议在保证网络性能的前提下能有效节省能量,、延长网络生命期。     

一类受限正则表达式的推断算法

XML模式推断问题的主要任务可以归约为从一个句子集合中推断出对应的确定型正则表达式。提出了一类在XML模式中大量出现的受限正则表达式,给出了该类正则表达式的推断算法。该算法首先根据给定的句子集合构造自动机,然后根据自动机和句子集合推断出对应的正则表达式。该算法的时间复杂度为max(O(|V|+|E|),O(L)),其中V和E分别表示自动机的节点集合和边集合,L表示句子集合中所有句子的长度之和。对算法的终止性和正确性进行了证明。     

改进的流不敏感的类型限定词推断

类型限定词可以精化标准类型,提高类型系统的表达能力。流不敏感的类型限定词推断已被用于CQual架构,以提高C程序的质量。然而,类型转化会影响类型限定词推断的有效性。首先,展示了一种允许类型转化的程序语言和流不敏感的限定词推断系统;其次,提出了变量参与的限定词推断系统,引入了联合类型并给出约束求解算法;最后,证明了推断的正确性并展示了一些实例运行结果。     

复杂应力路径下三轴界面试验方案设计与求解

为解决岩土工程中在复杂应力路径下土体-结构界面复杂接触变形行为问题,根据三轴试验仪可以提供复杂外部荷载条件的能力和在土体中嵌入结构材料的可行性特性,提出了借助三轴试验仪测试复杂应力路径下界面行为的试验方案,推导了特定条件下界面行为的接触分析解,给出了确定双曲线模型参数的方法。结果表明,这种三轴界面试验方案可以很好地描述复杂应力路径下土体-结构界面的复杂变形行为,并能够方便地应用于土体-结构相互作用分析中.     

雷州半岛玄武岩残积土工程特性试验

雷州半岛玄武岩残积土具有高液限、高孔隙比、低密度、高压缩性等特征,是一种工程特性比较独特的粘性土.采用原位测试与室内试验相结合的研究方法,分析了玄武岩残积土的工程特性,对指导该地区工程建设、地质工程勘察等有较高的参考价值.     

Ni、Cu／Al_2O_3催化剂上催化氢化制备2－环戊基环戊醇

以２－亚环戊基环戊酮直接在微分管式反应器中催化氢化可制备２－环戊基环戊醇。反应条件不同，得到顺、反异构体的比例不同。加氢过程中，反应温度、压力、氢气流量对生成顺、反异构体的选择性、转化率均有影响，通过正交实验，确定了温度、压力、流量对选择性、转化率的影响关系。从实验得出，以２－亚环戊基环戊酮为原料在实验条件范围内产物中顺式占优势。而在相同实验条件下以２－环戊基环戊酮为原料产物以反式为主。     

基于综合链路质量评估的传感器网络重传机制研究

为了提高环境监测传感网系统(WSNs)的性能,研究了传感网系统的数据传输战略;针对系统节点之间链路质量不稳定会造成丢包现象,采用重传机制提高数据传输可靠性会增加数据包的延迟和带来额外的能量开销的问题,提出了一种基于系统最低寿命的重传机制.首先,基于节点位置信息和链路相关性对节点进行分簇;其次,基于分簇节点丢包统计信息和接收信号强度指示(RSSI)综合评估链路质量;最后,根据综合评估获得的链路质量信息以及系统要求寿命和节点剩余时间,提出一种满足最低寿命要求的重传方法(EasiAR).实际实验表明,EasiAR能够在保证系统最低寿命要求的前提下,提高数据传输的可靠性,并降低数据包的传输延迟.     

基于MST的优化技术:监督式编译

为将监督式编译技术(supercompilation)的应用扩展到其它程序语言上,分析了监督式编译的各种算法,并进行了对比,总结了不同算法的优缺点。从研究和应用两方面对监督式编译进行分析,并提出新的发展方向。在此基础上,将其它基于系统转换(metasystem transition,MST)的优化技术与监督式编译进行比较,并通过实例结果表明了监督式编译技术的优化能力强于部分求值和砍伐法。