具偏差变元泛函微分方程周期解的存在定理

利用Mawhin重合度拓展定理研究了一类具偏差变元的泛函微分方程x″（t）＋h（x（t））f（x′（t））＋g（x（t-τ（t）））=p（t）的周期解问题,得到了周期解存在性的若干新结果,推广了已有的结果。     

偶数阶中立型差分方程最终正解的存在性

研究一类具连续变量偶数阶中立型时滞差分方程,利用Lebesgue控制收敛定理给出这类方程存在最终有界正解的一个充分必要条件,得到相应新的比较定理.     

管道内穿管修复技术的应用

为解决城市地下金属管道由于常年连续运行时间长、防腐技术落后情况下产生漏铁、穿孔腐蚀等问题,阐述了利用管内穿管的先进技术解决地下管道的修复问题.该技术经应用后,施工质量满足使用要求,具有推广价值.     

基于并行群体模拟退火算法的蛋白质折叠研究

蛋白质折叠研究对于揭示蛋白结构和功能关系,进而了解相关疾病的致病机理意义重大。蛋白质折叠已被证明是 NP-完全问题。本文针对蛋白质折叠研究中的能量最小化问题,提出了一种新的并行群体模拟退火算法（Parallel Group Simulated Annealing,PGSA）及其改进型算法（PGSA_1/K)。该算法使用了降温因子加速收敛精度,并采用 MPI 消息传递并行编程技术加快蛋白质结构空间搜索以及能量最小化寻找速度。以 Met_Enkephalin 蛋白为对象的计算机模拟仿真结果表明,我们提出的算法及其改进型有很好的扩展性,可以高效搜索蛋白结构空间,从而找到相关蛋白的最小能量结构。     

Algorithms for checking channel passing in web service choreography

Web service choreography describes global mod- els of service interactions among a set of participants. For an interaction to be executed, the participants must know the required channel（s） used in the interaction, otherwise the ex- ecution will get stuck. Since channels are composed dynami- cally, the initial channel set of each participant is often insuf- ficient to meet the requirements. It is the responsibility of the participants to pass required channels owned （known） by one to others. Since service choreography may involve many par- ticipants and complex channel constraints, it is hard for de- signers to specify channel passing in a choreography exactly as required. We address the problem of checking whether a service choreography lacks channels or has redundant chan- nels, and how to automatically generate channel passing based on interaction flows of the service choreography in the case of channel absence. Concretely, we propose a sim- ple language Chorc, a channel interaction sub-language for modeling the channel passing aspect of service choreography. Based on the formal operational semantics of Chore, the algo- rithms for static checking of service choreography and gen- erating channel passing are also studied, and the complexity results of algorithms are discussed. Moreover, some illus- trated service choreography examples are presented to show how to formalize and analyze service choreography with channel passing in Chorc.     

管线穿越建筑物采用预应力钢筒混凝土顶管技术方案可行性分析

预应力钢筒混凝土(PCCP)顶管是在PCCP管道基础上研制的一种新型管材,是压力管线穿越建筑物的理想管材,可直接作为压力管道代替传统的大直径钢筋混凝土顶管内穿压力管道方案。文中结合禹门口提水东扩工程建设实践,对PCCP顶管的可行性进行了分析研究,认为压力输水管线穿越建筑物采用PCCP顶管方案具有很强的针对性和明显优势,包括成本低、施工周期短、技术合理等,通过增加PCCP顶管接头处理措施,还具有很好的安全性能,是一项值得研究推广的新技术。     

C语言中有关内存概念的教学研究

为使学生能快速掌握C语言的相关概念,为今后进行程序设计打下良好的基础,针对在教学过程中学生难以理解的几个问题,结合实例探讨了C语言中有关内存概念的教学方法,着重分析了内存与数组、函数参数、变量的作用域和生成期之间的关系。     

基于QNX的PC104总线设备驱动模块的开发

QNX作为最优秀的嵌入式实时操作系统之一,已被应用于诸如医疗仪器、电网通信以及航空航天等任务关键型领域。在掌握QNX微内核结构和消息传递机制的基础上,论述了QNX下资源管理器的原理以及资源管理器与设备驱动程序的关系,具体分析了PC104总线设备驱动程序编写规范和步骤。实现了QNX下应用程序对硬件访问的无关性,大大增强了系统安全性以及移植性等。     

用于辩证分析的多方对话协议

在基于辩论的多agent系统研究中,agent之间的对话博弈一般是双方的,然而现实中的辩论却常常涉及到多方参与者,如何实现多agent系统的多方对话博弈是当前的研究热点之一。用于多方论据博弈的辩证分析模型(DAM-MAG)是一种借鉴中国武术擂台比武思想,将多方对话博弈转化为若干个双方对话博弈的理论模型。DAM-MAG的难点在于多方对话博弈协议的设计和实现。为此,基于该理论模型提出了一种多方对话博弈协议。该协议提供了通过双方对话博弈来解决多方对话博弈问题的方法,为解决多agent系统的多方对话博弈提供了新的途径。