论文研究粒的特征及形式化表示研究.pdf
用户评论
推荐下载
-
论文研究粒计算的基本问题和研究.pdf
粒计算是解决不精确、不完整、模糊以及海量信息问题的理论,是粗糙集、模糊集、词计算、商空间及区间计算等理论的整合和超越,覆盖了所有有关粒的理论、方法、技术和工具的研究。它应用合适的近似解代替最佳解,是对
24 2020-07-20 -
论文研究基于接口自动机的BPEL4WSWeb服务组合形式化模型.pdf
介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language
5 2020-07-16 -
论文研究优化的匿名电子现金支付协议及其形式化验证.pdf
针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;
25 2020-05-29 -
论文研究语义特征建模系统中概念设计方案表示研究.pdf
为了提高概念设计的工作效率和设计水平,提出了一种基于语义表示法的概念设计方案的表示方法。这种方法通过语义表示法来表示模型中的特征,通过细胞元模型来管理模型数据,通过语义面将特征和设计方案表示成为具有n
16 2020-07-18 -
论文研究基于低秩正则化自表示的无监督特征选择
特征选择旨在通过删除冗余,不相关和嘈杂的特征来找到一组简洁且具有良好泛化能力的特征。 最近,提出了一种正则化自表示(RSR)方法,该方法通过最小化残差矩阵和自表示系数矩阵的L2,1范数来进行无监督特征
23 2020-07-18 -
形式化方法在机载电子硬件研制中的应用研究
详细设计规范是机载电子硬件适航性设计流程中的关键文档。通过对形式化方法特点分析,给出基于模型检验的设计规范提取步骤,以提高设计的正确性和完整性。以ARINC429总线传输模块设计为例,基于形式化方法完
9 2020-10-19 -
论文研究OWL中基于具体化的多元关系表示研究.pdf
OWL中基于具体化的多元关系表示研究,倪子建,荣莉莉,在语义网中OWL是一种重要本体语言。随着应用的不断深入,OWL不能直接形式化的描述多元关系的不足被逐步认识。具体化方法是OWL中用二��
30 2019-09-24 -
软件工程的形式化方法
形式化方法
16 2020-05-15 -
基于数据并行的形式化描述
:由于图形处理器(GPU)的快速发展,基于GPU的通用计算已经成为了一个新的研究领域。通过对通用计算GPU编程模型研究,提出了数据并行的形式化描述,并详细描述CUDA编程的方法、优化处理原则等。采用了
41 2019-05-15 -
形式化方法B的学习课件
法国著名大学研究生的b方法学习课件,不容易啊。老师提供的
26 2019-05-23
暂无评论