CMP1协议的符号模型检验分析

提出采用模型检验方法研究电子商务协议的非否认性与公平性问题,建立了认证电子邮件协议CMP1的有限状态机模型,并用SMV检验工具对其非否认性与公平性进行了分析检验,经过分析发现了CMP1协议不满足公平性并对其进行了相应修改.结果表明,利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的.     

乡村先进文化对社会软治理的引领作用——以河北边防总队实施爱民固边战略为鉴

河北公安边防总队通过实施爱民固边战略,发挥了乡村先进文化对社会软治理的引领作用,用承栽着乡村先进文化内容的、群众喜闻乐见的形式来影响群众,从而实现了社会协调,加深了沿海地区村民对于社会的认同感以及对于社会价值的遵从。     

漂浮式微型波力发电装置原理与结构

为了满足偏远岛屿小功率用电保障需求,根据波浪能特点,提出一种新型漂浮式微型波力发电装置。利用重锤惯性定心原理,建立浮动"机架",解决漂浮体内部相对固定问题;采用机-电直接转换系统,提高波浪能的利用效率;研究系统的原理与结构,分析系统的功能特点和主要运动参数。研究结果表明,漂浮式微型波力发电装置具有结构原理新颖、传动效率高、传动质量好与轻巧便携等优点。该研究为漂浮式微型波力发电装置的研发与应用奠定了基础。     

提供有界延迟服务的网络结构

将来的计算机网络必须支持具有不同通信量和不同服务质量（ＱｏＳ）要求的应用，有界延迟服务保证所有应用包的延迟都不超过给定延迟上界。本文首先提出有界延迟实时服务网络的框架，详细说明了其关键部件的功能和工作原理，并阐述了分析它们性能的技术，最后讨论了设计有界延迟服务网络在性能与实现复杂性之间的折衷。     

运用精细加工理论制作IBM-PC机“寻址方式”智能化个别指导课件

寻址方式是教育技术及相关专业课程《计算机系统原理》与《计算机接口技术》中的重点和难点 ,内容比较抽象 ,通过传统的课堂讲授 ,难以达到良好的教学效果。我们针对这一教学难点 ,在精细加工理论的指导下 ,制作了关于“寻址方式”的智能个别指导课件 ,在实际教学过程中进行了运用 ,收到了较好的效果     

舰用计算机局部网络通信协议的设计

介绍了舰用计算机局部网络通信协议的设计,重点描述了设计中为提高实时性和可靠性所采用的一些具体技术措施,其中包括:简化ISO/OSI—RM 参考模型,并与IEEE8024标准协议兼容,采用VLSI 技术设计网络接口卡。同时,对其中一些关键技术,如逻辑环的建立与维护、信息的优先级发送与实时响应、数据缓冲区的结构与管理都作了说明。     

Optimizing barge utilization in hinterland container transportation

In hinterland container transportation the use of barges is getting more and more important. We propose a real‐life operational planning problem model from an inland terminal operating company, in which the number of containers shipped per barge is maximized and the number of terminals visited per barge is minimized. This problem is solved with an integer linear program (ILP), yielding strong cost reductions, about 20%, compared to the method used currently in practice. Besides, we develop a heuristic that solves the ILP in two stages. First, it decides for each barge which terminals to visit and second it assigns containers to the barges. This heuristic produces almost always optimal solutions and otherwise near‐optimal solutions. Moreover, the heuristic runs much faster than the ILP, especially for large‐sized instances.     

军事信息资源的开发和利用

以信息技术为核心的新军事革命来势迅猛,对我军的信息化建设提出了迫切要求。本文分析了我军军事信息资源建设现状,提出了加速我军军事信息资源开发与利用的建议。     

面向21世纪的《宪法学》课程教学改革浅议

传统的《宪法学》课程教学已落后于 2 1世纪人才发展的要求。转变教育观念 ,在明确教学培养目标的基础上 ,对《宪法学》的教学内容、教学手段和教学方法进行了改革 ,强化理论知识 ,用多种方式培养学生分析、解决实际问题的能力和法理精神 ,以适应人才教育、素质教育的要求势在必行     

基于卫星云图历史资料反演云团非线性预测模型

针对线性预测方法难以有效描述云团的非线性、非平稳变化的困难,基于经验正交函数分解(EOF)和遗传算法参数优化结合的思想,提出了一条云团非线性预测模型反演的方法途径。首先将卫星云图序列作EOF的时、空分解;在此基础上,引入遗传算法对EOF的时间系数序列进行了动力模型重构和模型参数反演,建立了EOF时间系数的非线性微分方程组;再通过时、空函数合成,构造了云团演变的动力预报模型。试验结果表明,反演的云团预报模型能较为合理地描述特定季节区域内云团演变的基本趋势,预测结果与实际云图的主要特征基本相符,尤其是实现了云图3h以上的中、长时效的客观预测。