SIP协议组合模型的研究

在传统的会话发起协议的实现中,实现软件可重用度低、不易于SIP(会话发起协议)的功能扩展,文中采用基于CSP(通信顺序进程)理论的协议组合模型将SIP协议分解成协议构件,准确地描述了SIP协议实体之间的交互,在此基础上建立了一个可以方便地、灵活地进行SIP功能扩展的SIP协议组合模型。这个组合模型首先将SIP协议分解为具有独立功能的构件协议,然后通过这些构件协议的组合来实现更多的SIP功能。这个模型解决了传统的SIP协议实现软件可重用度低、不易于进行功能扩展等缺点。同时,采用CSP对该模型进行形式化描述,从而说明通过构件协议的组合可以实现SIP的功能。     

具有多稳态和可调数目吸引子共存的混沌系统

由于在混沌系统中,具有多稳态性和可调数目的混沌吸引子在安全通信中有着重要的研究潜力,因此试图建立一个具有多稳态性和可调数目的混沌系统是有意义的.针对此问题,在传统耗散混沌系统的基础上,建立了一个模型较为简单的混沌系统,通过分析系统的动力学特性,验证了随着初始条件的不同,系统在同一相空间中能够产生不同的吸引子共存,进而验证了该系统的多稳态性.在其基础上,将双曲正切函数引入该系统,通过扩展系统平衡点的方法产生吸引子共存,建立了具有可调数目的吸引子的共存,并通过相关理论研究和数值模拟仿真对其进行了验证.最后,基于模型系统进行了模拟电路的实验和验证,表明了该系统能够实现的可能性.     

凝汽器铜管腐蚀的原因分析及防治对策

大同热电有限责任公司循环冷却水补充水处理是采用离子交换工艺,降低了水的碱度、硬度后补入水塔,以提高循环水浓缩倍率,减少用水量、降低发电成本。介绍了循环水补充水处理系统的设备规格及工艺流程,分析了循环水pH值低的原因,提出了解决该问题的办法和措施,对具有同类型补水方式的发电机组有一定的指导意义。     

公共入侵检测框架CIDF的研究

公共入侵检测框架CIDF提供了一种入侵检测系统的设计规范.本文研究CIDF的体系结构、规范语言、内部通讯和程序接口.     

“一带一路”战略的价值导向及其实现路径

“一带一路”战略以和平友好、团结互信、平等互利、包容互鉴、惠人达己为价值追求,既是对“古丝绸之路”精神的传承和弘扬,也是新中国成立以来我国和平共处五项原则外交理念的时代体现。“一带一路”战略价值的实现,需要提升国家软实力,增强“一带一路”战略的吸引力;加强文化交流,加强“一带一路”沿线各国人民之间的了解和互信;加强生态环境保护合作,促进区域经济发展的和谐性与可持续性。     

城市停车诱导管理信息系统的设计与实现

为了使停车诱导系统的数据处理部分能更好地满足区域内停车场的业务特点和用户动态需求,提出了城市停车诱导管理信息系统的模型.在现有停车诱导理论的基础上,将地理信息系统和管理信息系统融入其中,加快区域内停车资源供求信息的实时交互,并通过连接GSM导航,在进行停车选择后,获取较优的行走路径,从而减少因寻找停车场而产生的附加交通量,缓解交通负担,改善区域交通环境.最后,运用C#语言实现了该系统模型的主要功能.     

企业环境会计信息在环境规制中的应用

环境会计信息的披露将为环境规制提供重要依据,有利于政府制定出更合理的政策保护环境,有效的环境规制,又对企业的行为起到导向作用.在环境会计与环境规制关系阐述的基础上,重点论述了企业披露的有关财务状况、经营成果和现金流量的环境会计信息在环境规制过程的应用.     

论图书馆的外部效应及其实现形式

简要介绍了外部效应是图书馆的根本属性,陈述了忽视外部效应是目前图书馆举步艰难、陷入窘境的根源,指出只要政府高度重视,全社会大力关心,图书馆自身苦练内功、不断提高服务质量,就能充分发挥图书馆的外部效应。     

基于函数调用路径的软件实现与设计一致性验证

软件系统开发完成后,验证其是否完成了软件设计说明书的所有功能并且与设计算法一致,是软件测试的一项重要工作.通过人工遍历分析源代码来完成实现与设计的一致性验证是复杂费力的,并且需要测试人员具备丰富的编程经验和较强的算法分析能力.论文提出了一种基于函数调用路径的软件实现自动验证方法.从设计文档和源代码两个方面出发,分别分析其函数调用关系,提取函数调用路径,生成功能簇模型.其中文档方面通过人工理解设计文档,确定函数调用关系,然后自动生成标准功能簇模型;源代码方面通过静态分析,自动获取函数调用关系,提取功能点特征,利用这些特征提取功能点的具体实现算法,自动生成软件的实际功能簇模型.对比两个功能簇模型,验证软件实现与设计的一致性.实验结果表明：算法能够准确获得软件系统的功能结构及实现算法特征,对软件实现与设计的一致性做出有效判定,为软件实现与设计的一致性自动化测试提出一种新的思路.     

新型仿真模型规范SMP2及其关键应用技术

从四个方面总结了大型复杂仿真应用系统构建的仿真模型规范需求,对比分析了传统的五类仿真模型规范在支持四大需求上存在的不足,论证了SMP2模型规范在表示复杂仿真系统模型上的适用性,对SMP2规范较之目前流行的HLA和BOM模型规范的优越性进行了详细分析.结合四年来的研究和两年多来的应用实践,讨论了成功应用SMP2规范的九大关键技术,其中有些已经在实际项目中应用,有些则给出了设计方案,作为下一步工作的指导思路.