PDF文档
CORBA规范的形式化描述及分析
CO RBA为构建大规模分布式应用程序提供了一套公共对象服务规范，其规范主要以IDL语只提供对象的静态行为描述.提出并应用扩展有色Petri网对CORBA对象进行形式化模拟和分析，结果表明扩展有色和动态行为....
开题报告的形式
开题报告的形式是电子工程项目启动阶段不可或缺的一环，涵盖了从项目背景、目标设定到技术路线规划的全面介绍。掌握撰写技巧不仅能够帮助工程师清晰表达研究思路，还能有效提升项目审批成功率。本页面汇集了309,939份精选资源，涵盖电路设计、嵌入式系统开发等多个领域，无论您是初学者还是资深从业者，都能在这里找...
共 10,000 份资源
源代码 10,000
开题报告的形式 热门资料
查看全部 10,000 份 →
PDF文档
基于形式背景的概念格约简及其修复
根据概念格构造所依赖的形式背景，定义对象的属性空间和属性的对象空间，分别对形式背景进行对象约简和属性约简，在约简过程中采取全约简、交约简和并约简3种约简方法，并基于约简形式背景建立约简概念格。针对各约...