搜索到340篇“ 互模拟“的相关文章
- 一种基于定理证明器的模糊互模拟形式化验证和建模方法
- 本发明提供了一种基于定理证明器的模糊互模拟形式化验证和建模方法，具体为利用函数式语言与定理证明器，建立了一种基于不确定模糊迁移系统的模糊互模拟等价模型，从而快速获取模糊系统之间是否存在模糊互模拟关系。进一步的，本发明能够...
- 游珍吴嘉伟左正康薛锦云王昌晶张晗庆
- 基于关系闭集的模糊互模拟算法函数式建模及其机械化验证
- 2024年
- 该文在基于关系提升的模糊互模拟算法基础上,设计了一种基于关系闭集的模糊互模拟函数式算法,并使用Isabelle/HOL定理证明器对算法的终止性和正确性进行了机械化证明,为模糊互模拟算法的形式化和自动化验证提供了参考.
- 吴嘉伟游珍游珍左正康程着
- 一种基于安全互模拟度量的视觉强化学习方法
- 本发明公开了一种基于安全互模拟度量的视觉强化学习方法，首先，建立序列条件变分推断模型、安全互模拟度量模型与安全强化学习模型，并初始化模型参数；对于每个环境步，收集经验样本，构建拉格朗日损失函数，并更新拉格朗日乘子；对于每...
- 王雪松王荣荣程玉虎王浩宇李会军赵忠祥
- 一种基于安全互模拟度量的视觉强化学习方法
- 本发明公开了一种基于安全互模拟度量的视觉强化学习方法，首先，建立序列条件变分推断模型、安全互模拟度量模型与安全强化学习模型，并初始化模型参数；对于每个环境步，收集经验样本，构建拉格朗日损失函数，并更新拉格朗日乘子；对于每...
- 王雪松王荣荣程玉虎王浩宇李会军赵忠祥
- 基于?-近似互模拟关系在几类Kripke结构极小化中相关性质的研究及应用
- 刘羽丞
- 一种模糊互模拟的局部算法被引量：1
- 2023年
- 为了快速地对模糊迁移系统中给定状态是否满足互模拟关系进行验证,提出了一种模糊互模拟的局部算法。该算法将验证与遍历相结合,在对状态是否满足模糊互模拟关系验证的同时,动态地增加状态空间,使得算法只需遍历部分状态空间即可完成验证。在部分情况下,尤其是当2个状态不满足模糊互模拟关系时,模糊互模拟的局部算法可以更快地对给定状态是否满足模糊互模拟关系进行验证。通过Java实现了模糊互模拟的局部算法和已有全局算法,并进行了比较实验。实验结果表明,在给定状态对不满足互模拟关系的情况下,本算法比现有模糊互模拟的全局算法的效率更高。
- 胡晋玮钱俊彦
- 关键词：互模拟模糊集
- 一种基于互模拟等价的数据安全处理方法和装置
- 本发明公开一种基于互模拟等价的数据安全处理方法和装置，其方法包括：数据获取、数据筛选、数据存储、数据等价备份、数据分析和划分访问权限，其装置包括：数据获取系统、数据筛选系统、数据存储系统、等价备份系统、数据分析系统和访问...
- 汤卫东刘美玲韦修喜韦峻峰
- 一种基于互模拟等价的数据安全处理方法和装置
- 本发明公开一种基于互模拟等价的数据安全处理方法和装置，其方法包括：数据获取、数据筛选、数据存储、数据等价备份、数据分析和划分访问权限，其装置包括：数据获取系统、数据筛选系统、数据存储系统、等价备份系统、数据分析系统和访问...
- 汤卫东刘美玲韦修喜韦峻峰
- 开放自动机元模型扩展及弱互模拟检测算法
- 自动机（Automata）是系统建模的重要工具,围绕自动机的理论与算法也一直是学术界长盛不衰的焦点。随着建模对象的结构愈发庞大、组件更加复杂,传统自动机显得力不从心。为此,开放自动机（Open Automata）应运而生...
- 王笔扬
- 关键词：自动机最小化规约
- 文献传递
- 一种基于互模拟等价的经济数据安全处理方法和装置
- 本申请公开了一种基于互模拟等价的经济数据安全处理方法和装置，该方法包括：获取用于进行经济数据交互的网络中出现的多个待处理的安全事件，其中，所述安全事件用于指示所述网络中出现的对网络经济数据安全带来危害的事件；对所述多个待...
- 张蒙洁
- 文献传递
相关作者
- 姚从军
- 作品数：61被引量：84H指数：6
- 供职机构：中国社会科学院哲学研究所
- 研究主题：模态逻辑 互模拟 三值逻辑 公理 逻辑系统
- 傅育熙
- 作品数：37被引量：105H指数：6
- 供职机构：上海交通大学电子信息与电气工程学院软件学院
- 研究主题：进程代数 互模拟 并发计算 Π-演算 元模型
- 林惠民
- 作品数：29被引量：352H指数：6
- 供职机构：中国科学院
- 研究主题：互模拟 传值进程 计算机 进程代数 Π-演算
- 钟发荣
- 作品数：43被引量：30H指数：3
- 供职机构：浙江师范大学数理与信息工程学院
- 研究主题：网络可靠度 可靠性分析 进程代数 BDD 网络
- 李舟军
- 作品数：266被引量：1,862H指数：22
- 供职机构：北京航空航天大学计算机学院
- 研究主题：安全协议 数据挖掘 信息检索 网络安全 形式化验证
