暂无评论
论文《用于通信网络协议开发的形式化方法》
形式化Ontology模型及其检验问题一直是人工智能中的研究热点。将粒度计算的思想应用到Ontology形式化建模领域，利用商空间理论对Ontology进行形式化，并在此基础上对Ontology进行模
The paper "Formal Protocol Performance Testing Framework"
一种面向服务的事务控制研究，孟伟，卞佳丽，移动计算、互联网和通信技术的不断发展，满足了用户日益增长个性多样的服务需求。复杂的信息应用系统向服务化的方向发展，应用系
数学形态学是一种非线性滤波方法，应用数学形态学进行非线性图像处理已经发展成为图像处理的一个主要研究领域。基于CB（Contour-Based）形态学的方法，提出了一种改进的形态学边缘检测算子，能够有效
提出了一种基于概念分解的政策精化方法,将政策的精化归结为对概念的分解,依据本体论中的概念结构将政策中较高层的概念转换为较低层的概念,从而实现政策的精化。给出了该精化算法的步骤,并通过一个案例演示了该方
论文研究-一种新的基于策略的联盟分析方法.pdf, 针对多方冲突现象 ,分析比较了传统联盟分析的不足 ,提出了一种新的基于策略的联盟度量方法 ,新方法在计算机编程以及分析多局中人、多策略的大规模冲突
Formal methods in software development
采用模型驱动的FPGA设计方法是目前较为安全可靠的一种方法.但是,基于模型驱动的FPGA设计需要证明FPGA设计模型和生成Verilog/VHDL代码的一致性;同时,芯片设计的正确性、可靠性和安全性也
总结了目前最新的EPC网络发现服务方法，在此基础上，提出了一种基于扩展ONS的链式发现服务方法。该方法通过扩展ONS静态信息，解决了EPC物品的当前位置的存储问题，并通过在企业EPCIS中维护指针数据
暂无评论