一种基于协议组合的协议动态实现模型

在协议组合理论的基础上提出了一种可以动态扩展协议句法的基本协议实现模型,依据现有协议特征中的句法结构,将协议句法结构划分为4个不同的种类,针对这4种不同类型的协议句法结构具体提出了4种不同的可动态扩展的协议句法实现模型.基于该模型实现的协议软件在句法结构上具有灵活可扩展的特性.当该协议扩展句法结构时候,即使相应协议软件处于执行状态,也可以不中止协议软件的运行而完成句法结构的扩展.最后以SIP协议为例,使用VOCAL源码详细说明了如何在该模型的基础上实现协议句法动态扩展.     

多协议路由器模型的实现

通过对ＴＣＰ／ＩＰ、ＳＰＸ／ＩＰＸ和Ｘ．２５协议的研究,结合路由器在网络中的层次结构,提出了多协议路由器的协议体系结构,并选择合理的软件设计方法,对各个协议进行具体实现,完成一个多协议路由器的应用模型。     

SIP协议组合模型的研究

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

移动Agent安全传输协议模型研究

安全性是制约移动Agent系统应用的关键问题,通过对移动Agent的安全问题及其研究现状的分析,在总结各安全方案的基础上提出了移动Agent安全传输协议模型（MASTP,Mobile Agent Secure Transfer Protocol）,并给出了其在Aglets平台上的实现方法。     

监控公司行为的优化协议模型

所有权与经营权分离的股份制企业是代理理论研究的主要内容之一．从代理理论角度出发,讨论了股份制企业委托人－代理人的优化协议问题,并利用规划论的方法,建立了基于对称信息和不对称信息的两类优化协议模型．进一步地对这两类模型中的委托人和代理人之间的冲突问题进行了分析,举例说明了模型的结果及其经济意义,从而提供了在一定条件下解决委托人－代理人之间冲突的有效方法．文中还对股份制企业的委托代理关系进行了探讨,为我国股份制企业的健康发展提供了一定的理论依据．     

服务组合系统交互协议兼容性检测模型

针对服务组合系统中存在某些实体属性会控制Web服务内在的隐式执行路径,致使客户端发送的消息与服务组合系统等待接收的消息不一致时,会发生交互无响应等问题,提出一种在服务组合系统的设计阶段进行交互协议兼容性检测的通用模型。将实体信息抽象为上下文变量,并对上下文感知服务交互协议进行建模;设计一种消除隐式转换的算法,对消除隐式转换后的服务组合系统进行上下文感知服务交互协议兼容性检测模型的形式化定义,并通过NuSMV模型检测工具对应用案例中的CSR模型进行验证。实验结果表明,该模型应用范围广,实现简单,实用性强;不仅能避免服务组合模型状态数较大时引发的状态爆炸问题,而且能有效地缩短服务组合系统的开发周期,降低系统的开发成本。     

基于SNMP协议的校园网用户监视系统模型

为了更好的管理校园网络,提出了一个基于SNMP协议的用户监视系统模型,该系统采用W eb/Java技术的3层应用模型,通过SNMP协议来采集交换机中的数据信息,并与用户认证系统、DHCP服务器的日志信息进行关联分析,从而实现校园网内用户的安全监控过程。     

基于相同形式模型的协议测试方法研究

首先分析了目前网络协议发展的现状,介绍了协议测试的一般过程.在分析了协议的前后版本之间的变化后,发现可以将这些变化看成是对当前版本的一个扩充,并将扩充分为三大类:保留项扩充、选项扩充和部分改变,相应的给出了针对各类变化的测试方法,最后以O SPFv3中的H e llorece ived事件为例介绍了提出的测试方法.     

两段提交协议的Petri网模型

为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提交协议提供了一种新的思路.     

基于OSPF协议的大规模网络拓扑发现模型

针对传统大规模网络拓扑发现模型的准确性、完整性、实时性的局限性,借鉴OSPF协议周期性传播网络拓扑信息的机理,提出了基于OSPF协议的大规模网络拓扑发现模型LNTDM.该模型首先采用被动检测方式,通过获取OSPF协议中的链路状态更新报文,分析其中Router LSA、Network LSA获得区域内网络拓扑,然后通过边界路由获取的Summary Network LSA进行分析获得区域间网络拓扑,从而完成大规模网络拓扑结构的发现.实验结果表明,该模型能准确完整的获取大规模网络拓扑,可以很好的弥补现有大型网络拓扑发现技术的不足,实际应用前景广阔.     

电解质溶液热力学性质模型

本文描述了建立电解质溶液热力学模型的理论基础,对现有的主要模型进行了分类(经验模型和理论模型),并加以评价。对目前应用甚广的 Bromley模型、Meissner模型、Pitzer和Chen模型以及本文作者近期开发的新模型进行了计算比较。提出了今后的发展方向。     

指数族动态模型及贝叶斯预测

本文给出了指数族动态模型,并对这种模型给出了共轭分析及Bayes预测.     

钻头与地层相互作用三种模型的一致性

认识地层与钻头的相互作用的实质,对井眼轨迹进行控制,这是定向钻井和水平钻井中的主要任务之一.本文通过力学分析与数学推导,对已有的三种钻进模型进行了分析推理.研究结果表明,这三种模型尽管形式不同,但实质是一样的.     

乘积型季节性模型自相关函数的结构

本文以自协方差发生函数为工具,讨论了乘积型季节性模型。Φ(B)Φ(B~8)x_t=θ(B)■(B~8)a_t自相关函数的结构,证明了当p=0时,模型是参数可分离的。本文的结果为乘积型季节性模型的识别和参数估计提供了一定的理论依据。     

结构关系度量误差回归模型的相合估计

讨论一般结构关系度量误差模型的大样本理论，给出了未知参数的一个强相合估计。     

投入产出模型的推广及其应用

矿业工程是一个联合生产型生产系统,由于其不满足Leontief投入产出模型的基本假设,Leontief投入产出模型不能在矿业工程中应用。本文引出生成数和相关生成数,建立了没有任何基本假设的联合生产型的投入产出模型。在此基础上建立了十个矿业工程优化模型,并在湖北大冶有色金属公司中应用研究其铜生产系统经济规律。     

关于模型个数的注记

证明了权型的存在性，讨论了在一定情形下模型集波省略的情况；在此基础雌出了Ｖａｕｇｈｔ定理和Ｒｏｓｅｎｔｅｉｎ定理的新的简洁证明，并对模型个数作了几点注记。     

振动磨DEM动力学分析模型

运用离散单元法建立振动磨动力学分析模型,研究了振动磨的动力学特性,介绍了ＤＥＭ及运用ＤＥＭ建立振动磨动力学分析模型的方法和过程,该模型可对振动磨的磨管和磨介的运动进行数字模拟,可用于对振动磨各种动力特性的定量分析。     

非线性Bayes动态模型的研究

对正态误差下的非线性Bayes动态模型进行了处理．对模型分观测误差已知和未知常数两种情况进行了研究，利用Taylor展开来近似参数分布，并引入E—M算法，完成了模型的修正、递推。     

投影算子在方差分析模型中的应用

本文以线性空间上的投影算子作为工具,来统一地处理各种不同类型的方差分析模型的假设检验问题,这样不仅使书写符号大大简化,还可使问题的结论直观、简单明了。为了避免在方差分析模型中由于设计阵X降秩,而带来不能直接求逆的困难,本文给出了一个寻求子空间V的一个基矩阵的方法,并用投影算子构造了假设检验的F统计量。