期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
面向信息物理融合系统的混成攻击图分析方法
1
作者 葛要港 陈鑫恺 +1 位作者 徐丙凤 何高峰 《计算机工程与设计》 北大核心 2025年第6期1616-1624,共9页
针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,... 针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,将混成攻击图转化为时间自动机模型,采用度量区间时序逻辑,描述系统对离散与连续信息的安全属性,使用模型检测器进行可满足性验证。通过智能家居系统的案例说明了所提方法的有效性。 展开更多
关键词 信息物理融合系统 模型检测 混成攻击图 形式化方法 时间自动机 度量区间时序逻辑 安全属性
在线阅读 下载PDF
基于模糊认知网络的改进非线性Hebbian算法 被引量：7
2
作者 陈宁 王磊 +2 位作者 彭俊洁 刘波 桂卫华 《控制理论与应用》 EI CAS CSCD 北大核心 2016年第10期1273-1280,共8页
针对难以用机理模型准确描述的非线性系统,研究基于模糊认知网络(fuzzy cognitive networks,FCN)的非线性系统建模和参数辨识问题.首先,建立非线性系统的具有数值推理和模糊信息表达的模糊认知网络模型,利用包含节点、权值和反馈的有向... 针对难以用机理模型准确描述的非线性系统,研究基于模糊认知网络(fuzzy cognitive networks,FCN)的非线性系统建模和参数辨识问题.首先,建立非线性系统的具有数值推理和模糊信息表达的模糊认知网络模型,利用包含节点、权值和反馈的有向图表示系统.其次,由于模型的精确性取决于权值参数,提出了一种带终端约束的非线性Hebbian学习算法(nonlinear Hebbian learning,NHL).该算法在权值的学习过程中引入了FCN模型中节点的系统实际值,在原更新机制的基础上,增加了包含反馈值与预测值差值的修正项,然后归一化得到最终权值迭代公式.该算法具有收敛速度快、学习结果精准等优点,解决了传统非线性Hebbian算法对初始值依赖性强的缺点.最后将所提出的方法运用到水箱控制系统,仿真结果说明了基于FCN的非线性Hebbian学习算法的有效性. 展开更多
关键词 模糊认知网络 非线性Hebbian学习算法 终端约束
在线阅读 下载PDF
集成实时逻辑与Z++语言的形式化方法
3
作者 刘瑞成 张立臣 《计算机工程与设计》 CSCD 北大核心 2005年第11期2887-2890,共4页
Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的系统,有时并不能满足系统实时性的要求。可以进一步结合A.K.Mok方法,对表达系统时间约束的RTL公式进行优化... Lano提出了一种用形式化方法RTL与Z++结合来建模实时系统的方法,并对RTL进行扩展,增强了RTL的表达能力,但对于时间要求非常严格的系统,有时并不能满足系统实时性的要求。可以进一步结合A.K.Mok方法,对表达系统时间约束的RTL公式进行优化,然后再转化为Z++类history中RTL公式,使history中的谓词公式更简要更完整,从而减少了检测时间,提高实时响应能力。 展开更多
关键词 实时逻辑 Z 形式化方法 约束图 时间约束
在线阅读 下载PDF
煤矿瓦斯爆炸事故隐患及风险的表征方法 被引量：5
4
作者 张勇 连小勇 李军 《工业安全与环保》 2022年第1期42-45,59,共5页
为治理煤矿瓦斯爆炸事故隐患,管控其风险大小,基于证据对瓦斯爆炸事故隐患进行了系统辨识,利用逻辑图分析了隐患之间的耦合关系和风险演化路径;从事件发生的可能性、事件自身的严重性以及受体的暴露程度3个方面对瓦斯爆炸风险进行表征,... 为治理煤矿瓦斯爆炸事故隐患,管控其风险大小,基于证据对瓦斯爆炸事故隐患进行了系统辨识,利用逻辑图分析了隐患之间的耦合关系和风险演化路径;从事件发生的可能性、事件自身的严重性以及受体的暴露程度3个方面对瓦斯爆炸风险进行表征,并提出三维风险矩阵对事故风险进行分级评价。该方法可以为瓦斯爆炸事故隐患辨识、风险分析、风险评价以及设计事故预防措施提供借鉴。 展开更多
关键词 事故隐患及风险表征 基于证据 逻辑图 三维风险矩阵
在线阅读 下载PDF
复杂火工系统可靠性预计方法及软件研究 被引量：1
5
作者 袁晓霞 付东晓 +3 位作者 麻宏亮 张蕾 李芳 张蕊 《装备环境工程》 CAS 2022年第12期1-7,共7页
目的解决在进行复杂系统的可靠性建模以及预计时,计算效率低、容易出错的问题。方法开展基于GO(Goal Oriented)法的复杂火工系统可靠性预计方法研究。建立不同种类火工组件的可靠性模型和算法,结合火工系统的GO图模型,对系统的可靠性进... 目的解决在进行复杂系统的可靠性建模以及预计时,计算效率低、容易出错的问题。方法开展基于GO(Goal Oriented)法的复杂火工系统可靠性预计方法研究。建立不同种类火工组件的可靠性模型和算法,结合火工系统的GO图模型,对系统的可靠性进行预计以及定量分析。依据建立的可靠性模型以及算法,开发一套火工系统可靠性建模以及预计的软件,运用该软件对典型座椅弹射火工系统的可靠性进行预计,并且将软件计算结果与蒙特卡洛仿真方法得到的结果进行比较。结果软件计算结果与蒙特卡洛仿真方法所得结果的最大相对误差不超过0.0048%。结论基于GO法的复杂火工系统可靠性预计方法是合理可行的,而且运用GO法开发的软件可以提高可靠性预计的计算效率,同时也为后续的GO图分析计算提供了技术支持。 展开更多
关键词 复杂火工系统 可靠性 GO图模型 可靠性逻辑 蒙特卡洛法
在线阅读 下载PDF
改进的Q-M逻辑函数化简方法 被引量：2
6
作者 徐俊平 程利新 《计算机工程》 CAS CSCD 北大核心 2011年第20期30-32,共3页
为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得... 为进一步提高逻辑函数的化简速度,提出一种改进的Q-M逻辑函数化简方法。在迭代比较过程中设置2个权值以缩减可合并蕴涵项集合的大小,只对满足条件的蕴涵项进行合并处理,得到全部质蕴涵项。构造质蕴涵项与最小项关联图,利用启发式规则得到能蕴涵全部最小项的最少质蕴涵项集合,从而得到逻辑函数的最小覆盖,完成逻辑函数化简。实验结果表明,该算法能降低迭代次数,减少逻辑函数的化简时间。 展开更多
关键词 逻辑函数化简 Q-M方法 质蕴涵项 二分图 最小覆盖
在线阅读 下载PDF
FPGA组合逻辑程序的Petri网建模方法 被引量：1
7
作者 陈珑 黄颖坤 罗继亮 《华侨大学学报（自然科学版）》 CAS 北大核心 2015年第1期29-34,共6页
针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方... 针对现场可编程门阵列(FPGA)组合逻辑程序,提出其普通Petri网建模方法.首先,将状态变量描述为库所对,程序中的逻辑运算描述为变迁,从而将系统程序转换为一个普通Petri网结构;然后,根据Petri网的动态分析性能,给出系统状态可达图的计算方法,实现了状态可达图等价描述FPGA组合逻辑系统运行过程.研究结果表明:该Petri网能够准确地描述变量间的逻辑关系,提出的方法可以为FPGA组合逻辑程序的形式化设计和验证提供建模依据. 展开更多
关键词 现场可编程门阵列 组合逻辑 PETRI 网 建模方法 状态可达图
在线阅读 下载PDF
异步电路验证算法 被引量：4
8
作者 茅剑锋 赵千川 《计算机学报》 EI CSCD 北大核心 2004年第1期66-78,共13页
异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数... 异步电路因不受时钟偏差的限制而逐渐成为电路设计研究的热点 .发展自动化的验证工具已成为确保大规模异步电路质量和性能的关键 .其核心课题就是建立异步电路的验证算法 .该文整理列举了基于多种数学模型的验证算法 ,如逻辑模型、代数模型、符号模型、数值模型和几何模型的验证算法 ,并从应用的角度将现有的异步电路验证算法分为两类 ,分别是事件时序分析类算法和状态空间搜索类算法 ,从算法的理论基础、应用背景、模型结构、图形描述、适用范围、算法复杂度编程复杂度等多个角度作了比较研究 ,给出了部分代表算法的应用算例 。 展开更多
关键词 异步电路 计算机辅助电路设计 验证算法 数学模型 逻辑模型 代数模型 符号模型 数值模型 几何模型
在线阅读 下载PDF
n度矢量模糊空间图象理论与应用研究──模糊逻辑的图象化探索之三
9
作者 张云鹤 《北京理工大学学报》 EI CAS CSCD 1994年第2期105-113,共9页
提出了用于模糊逻辑研究的ｎ度矢量模糊空间的几何模型；分析了ｎ度模糊点（集）图的多项图象性质；并提出了在模糊点图上对复杂模糊逻辑函数进行模糊非运算的新方法及模糊逻辑函数合取式的最小化图象算法．从而，将关于模糊逻辑的图象... 提出了用于模糊逻辑研究的ｎ度矢量模糊空间的几何模型；分析了ｎ度模糊点（集）图的多项图象性质；并提出了在模糊点图上对复杂模糊逻辑函数进行模糊非运算的新方法及模糊逻辑函数合取式的最小化图象算法．从而，将关于模糊逻辑的图象化新理论建立在代数与几何、图论、图学相结合的图象化这一新基础之上，并较好地解决了用纯粹代数方法或卡诺图方法较难解决的复杂的非运算及最小合取式算法间题．对模糊逻辑设计、知识工程、机电一体化等的计算机化及应用有重要意义． 展开更多
关键词 模糊逻辑 模糊图 模糊空间 图象比
在线阅读 下载PDF
机床控制程序的图解法优化设计
10
作者 姜信建 《中国重型装备》 2000年第4期10-14,共5页
以西门子S7-200PLC在一台组合铣床控制中的应用实例,阐述了运用图解法编制机床控制程序的优化设计方法。
关键词 图解法 逻辑展开图 优化设计
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部