基于SVO逻辑的公钥协议进化生成

提出了一种公钥密码体制安全协议的生成方法,用进化策略来生成公钥协议,并采用SVO逻辑来描述和验证公钥协议。所提方法具有较高的扩展性,对于不同的需求,可以生成不同的安全协议。实验表明,所提出的方法能够高效地生成公钥协议,保证所生成公钥协议的安全性,并有效地提高协议效率和降低协议中消息的冗余度。     

多元化网络管理协议的Petri网模型及其验证

介绍了一种新型的卫星网网络管理协议，并阐述了此协议服务联系和服务原语的设计，利用Petri网描述协议的方法，对此网络管理协议模型进行了形式化描述，并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证，确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质，从而减少了协议设计中潜在的错误，为此协议的实现打下了良好的基础。     

一种改进的可编程逻辑器件分析方法

面向对象技术是近几年计算机领域的一项新兴技术,它几乎涵盖了计算机系统及应用的所有领域。将面向对象的方法运用于可编程逻辑部件的分析,可以紧密结合当今计算机发展趋向,有助于提高软件编程效率,提高系统性能。文中从面向对象分析和设计角度出发,提出对加密可编程逻辑器件的无损伤破译的一种改进方法,并给出实验系统数据结构描述。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

基于网络中介的电子商务市场交易风险控制

分析了电子商务的交易风险,通过案例分析说明网络中介有效的控制可以降低电子商务交易风险。在对网络中介的交易风险控制机制进行设计的基础上,提出了一种网络中介进行控制水平选择的决策模型。根据对模型最优解存在必要条件的分析,得出有关网络中介进行控制水平选择的决策策略,指出:只要风险的下降大于边际成本与边际收益的比例,网络中介都应积极地实施电子商务风险控制。最后,通过对一个简单算例的分析计算验证了结论。     

基于描述逻辑的能力需求模型验证方法

针对C⁴ISR系统能力需求模型中存在的一致性和合理性问题,提出了一种能力需求模型的验证方法。先采用基于描述逻辑的本体描述语言OWL DL精确描述能力需求分析中的元概念模型和应用概念模型,然后在元概念模型和应用概念模型之上附加一定的模型验证推理规则,并通过符号推理系统验证了能力概念的完整性以及目标的一致性。     

电子支付协议可追究性的Petri网建模与分析

可追究性是电子支付协议必须满足的安全属性之一,针对电子支付协议,建立了支持支付协议可追究性分析的分层有色Petri网模型,并基于此提出一种对支付协议可追究性分析的一般性方法.Kungpisdan等人曾提出一种可追究性逻辑,证明一个典型的移动支付协议KSL协议满足可追究性.但使用上述所提方法对该协议建模并进行可追究性分析,发现了可追究性逻辑未发现的漏洞,分析例证结果表明了所提方法的有效性.     

颜色Petri网一种专有协议的描述和验证

介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协议中的疏漏,体现了协议设计过程中形式化建模和分析方法的优点和遇到的挑战。     

容量有限非门限方式的逻辑环网建模与分析

讨论了具有以下特征的逻辑环通信网(1)系统队列容量有限;(2)采用非门限服务方式;(3)服务数上额受限。阐述了该系统站点队列结构和运行特点,说明了其状态转移特征;提出了非门限方式中存在的步转移特殊问题;给出了此类系统有关工作特征参数的算法或近似算法,利用计算机进行运算,给出了在忽略溢出损失率时,容量和站点数不同时的部分参数的特征曲线。     

基于Petri网的认证协议分析

认证协议的成功设计是网络安全领域的关键问题之一,对其进行形式化分析是当前研究的热点.在已知协议的运行模式的基础上,给出了基于Petri网的认证协议分析的具体方法,并通过一个实例说明了该方法的有效性.     

电子商务发展过程的定量研究方法

利用美国证券交易所开发的互联网指数作为反映电子商务行业发展状况的指标，将基本马尔可夫切换模型改进为异方差、四阶自回归形式，定量研究电子商务的发展过程，分析其发展规律，发现电子商务的发展目前正处于由衰退到再次成长的过渡阶段、     

电子商务中价格确定的合作竞争模型

电子市场对于企业实施电子商务的战略部署具有重要意义．为了分析电子市场的运行机理，分析电子市场如何正确运用与互联网服务提供商(ISP)之间的合作竞争关系，制定恰当的竞争策略，讨论传统企业面对电子商务所带来的契机和挑战如何选择恰当的电子市场，在考虑电子市场的服务内容和定价策略的基础上,利用两阶段博奕理论详细分析了不同的B2B电子市场与ISP的合作竞争模型．在此基础上，讨论了B2B电子市场与ISP的合作竞争机制是如何影响企业的电子商务策略，并给出了不同的电子市场的定价策略对企业选择电子市场的影响．     

第三方电子商务平台的定价策略研究

提出并研究吸引企业应用第三方电子商务平台的定价策略问题．文中首先构建了以第三方电子商务平台提供商的利润最大化为目标的价格优化模型，然后研究了优化模型的求解和最优定价策略．在此基础上，分析了电子商务技术发展水平、平台功能、建设成本等因素对第三方电子商务平台发展产生的影响，并指出发展第三方电子商务平台对中小企业应用电子商务是非常有益的．     

军用电子设备故障知识获取新方法

分析了军用电子设备的特点,总结通过故障仿真获取故障知识的一般过程,提出计算机自动穷举设备所有可能故障、进行仿真获取故障知识的新方法。提出4个关键策略解决仿真工作量及自动建立故障集的问题。在分类策略中分析故障仿真数据的特点,提出适合的新算法。提出电路故障知识获取平台建立方案作为所提方法的具体实现。实验结果证实了所提方法的可行性。     

Determining hydrocarbon prospective zone using the combination of qualitative analysis and fuzzy logic method

Hydrocarbon prospective zone is a certain layer in a reservoir which is estimated producing oil. The geologists use the qualitative analysis method to find the prospect layers. The research used five variables modeled by three fuzzy membership functions and eight rules of fuzzy logic. The rules cause insensitiveness in the working system. This study therefore was conducted by modeling each of input variables into different models using 36 rules. It aims to determine the existence of hydrocarbon prospective zone through a qualitative analysis in a reservoir using fuzzy inference system with Mamdani method. The data were taken from well log data in reservoir “X”. There were some steps in doing this study, including fuzzification, inference system, and defuzzification. The result showed 99 prospect layers from 3000 layers in reservoir “X” with 97.7% of accuracy.     

电子商务中订单配送优化模型及两阶段算法

针对电子商务环境下订单配送问题的特点,建立了以最小化车辆行驶费用及订单惩罚费用为目标的数学模型.设计了两阶段启发式求解算法.第一阶段用禁忌搜索算法求解在作计划日当天已到交货期的订单的基本配送问题;第二阶段考虑了订单的未来信息,用基于评价值的贪婪插入算法将未到交货期的订单与已有的配送方案进行整合配送,该方法能够提高车辆的使用率及配送企业的配送效率.实验结果验证了模型的合理性及算法的有效性.     

基于模糊控制的WSN移动节点自主导航算法

设计了一种利用无线传感器网络(WSN)节点间通信信号强度信息(RSSI)及网络拓扑结构实现移动节点自主导航的方法。将机器人作为WSN的移动节点,利用RSSI势场量化的坐标空间描述机器人状态及目标位置,有效避免将RSSI值转换为距离时带来的模型误差。由若干个信标节点组成一个基于模糊控制的分布式导航系统,每个信标节点都是一个独立的模糊控制单元,最后由决策控制中心综合各信标节点的输出量决定机器人的航向。仿真和现场实验都表明该方法的有效性。     

基于模糊随机概率的电子产品寿命分析方法

电子产品失效过程是一种兼有随机性和模糊性的模糊随机现象,电子产品的寿命应为一个模糊随机变量。应用模糊随机概率的相关理论,对传统随机概率寿命分析进行改进,建立了一种模糊随机概率寿命分布函数,并且根据寿命的特点提出了选择模糊变量隶属函数的标准。在此基础上,研究了产品失效的可能性分布,以确定产品在某一时刻可能失效的可能性大小。通过实例分析对比,新的寿命分布函数能够反映出更多的寿命信息,且表达更为直观具体,所建立的可能性分布能够真实地反映实际产品失效的可能性大小。     

采用集总式冲突消除算法的Ad hoc网络MAC协议

针对动态分配类时分多址接入协议的服务质量(QoS)问题,提出了集总式冲突消除算法,该算法通过递进结构可以将一帧内所有节点的冲突在控制时隙内完全予以消除,然后通过队列预留机制进行信道的分配,使节点在接入过程中满足先入先出的特性,提高了协议运行的公平性和稳定性,减小了节点的退避时延.另外,协议能够按照业务的级别重新调整节点的接入次序,实现了对实时业务的QoS保证.分析和仿真表明,采用新算法后,协议在接入效率、吞吐量和接入时延方面均呈现出良好的性能.     

基于描述逻辑的C4ISR系统体系结构一致性验证方法

综合电子信息系统的体系结构开发涉及多视图产品集成,容易引发视图之间的信息不一致性问题。引入描述逻辑形式系统,对视图中的关键元素进行形式化处理,将体系结构模型转化为描述逻辑知识库,进而借助描述逻辑推理系统,推理判断体系结构产品中存在冲突或矛盾的信息。实验证明,该方法不仅具有完备的形式化理论基础,而且自动化程度高。