搜索到340篇“ 逻辑建模“的相关文章
全部数字资源类型
相关度排序
一种用于形式验证的宇航通用门级逻辑建模方法
一种用于形式验证的宇航通用门级逻辑建模方法，对宇航级大规模集成电路的抗辐射加固逻辑门电路进行抗辐射冗余特点分析和建模，可基于该模型对宇航级大规模集成电路进行基于形式验证的安全属性评测和逻辑完备性检查，解决了空间辐射环境和...
屈若媛张海明吕倩倩张伟张延伟张磊肖波祝名谷瀚天
基于逻辑建模的高轨卫星网络动态优化方法及SDN控制器
本发明提供的基于逻辑建模的高轨卫星网络动态优化方法及SDN控制器，包括依据高轨卫星网络中物理设备和卫星链路的属性信息，构建高轨卫星网络对应的逻辑模型，收集网络中的实时状态数据，基于实时状态数据更新逻辑模型中的逻辑属性信息...
刘波邹刚李名扬
一种基于故障逻辑建模的故障诊断推理方法和装置
本发明涉及一种基于故障逻辑建模的故障诊断推理方法和装置，其中，方法包括：构建监测对象的故障模式‑故障逻辑元素关联矩阵；获取监测对象的故障逻辑元素的状态，若监测对象所有的故障逻辑元素的状态不是均为未触发，则根据关联矩阵，确...
曹亮李沁洋姜番姚晓涵刘莹黄兵张尚田王景霖单添敏沈勇肖红玉
一种基于有限状态机的柔性制造控制系统逻辑建模方法
本发明涉及先进制造与设计技术领域，特别是涉及一种基于有限状态机的柔性制造控制系统逻辑建模方法，涉及逻辑建模层和现场设备层，首先对柔性制造系统的控制逻辑进行分析，选取关键实体元素进行抽象，抽取其属性行为的共性；其次，利用面...
张家宁陈强雷沛卫亚斌代玉淋任广义云鑫夏凤琴
一种三相不控整流器逻辑建模方法
本发明涉及三相不控整流器主电路数学模型建模方法，具体为一种三相不控整流器逻辑建模方法。本方法采用了逻辑建模的方式，实现了三相不控整流器主电路数学模型的搭建，逻辑建模包括电压计算部分模型、二极管导通逻辑判断模型和三相电流运...
李金霞常秀丽王清于森林戴碧君
基于故障逻辑建模的航空发动机反推系统MBSA建模方法
本发明公开了一种基于故障逻辑建模的航空发动机反推系统MBSA建模方法，包括以下步骤，步骤一：建立名义模型图；步骤二：设置逻辑关系；步骤三：验证模型；步骤四：失效率参数设置；步骤五：H‑TRAS系统模型安全性分析。其解决了...
黄敏 李颖 张玉婷 李同飞 冯文康 卢振平
ResNet的时序逻辑建模与验证方法研究
张煜阳
基于有限状态机的车间逻辑建模与仿真研究被引量：2
2023年
离散型制造常见于飞机、船舶、电子设备、汽车制造等行业,为保证离散制造车间建模与仿真过程的正确性和灵活性,提出了一种面向离散制造车间生产过程的逻辑建模与仿真方法。基于离散事件建模理论与有限状态机理论,将离散制造车间中关键元素的属性与行为抽象为统一形式化的逻辑模型,通过类继承的方式实现了各种元素的功能;设计了一种针对统一模型的生产过程仿真算法;开发了二维图形化的逻辑建模与仿真原型系统,以某汽车涂装生产车间为例,与商业软件Plant-Simulation开展实验对比。实验结果表明:该方法有效且可行,对离散制造行业生产过程模拟具有参考价值与意义。
刘名远谢家翔吴豪付建林丁国富
关键词：有限状态机涂装生产线
用于任意软件逻辑建模的系统和方法
根据一些实施例，任意软件逻辑建模（“ASLM”）数据源可以存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求...
任立凌郁涵G.R.赛克斯M.R.杜尔林萧洁恩S.A.斯塔西
文献传递
一种用于形式验证的宇航通用门级逻辑建模方法
一种用于形式验证的宇航通用门级逻辑建模方法，对宇航级大规模集成电路的抗辐射加固逻辑门电路进行抗辐射冗余特点分析和建模，可基于该模型对宇航级大规模集成电路进行基于形式验证的安全属性评测和逻辑完备性检查，解决了空间辐射环境和...
屈若媛张海明 吕倩倩张伟张延伟张磊肖波祝名 谷瀚天
文献传递
加载更多 ∨

相关作者

郁涵
作品数：11被引量：0H指数：0
供职机构：通用电气公司
研究主题：测试生成器 安全关键软件 架构模型 数据流图 软件自动化
张磊
作品数：145被引量：85H指数：5
供职机构：中国空间技术研究院
研究主题：卫星 单粒子 航天 天基 宇航
李颖异
作品数：25被引量：1H指数：1
供职机构：北京航空航天大学
研究主题：故障机理 可靠度 建模方法 系统故障 多阶段任务系统
李文武
作品数：99被引量：601H指数：12
供职机构：三峡大学电气与新能源学院
研究主题：风电 梯级水库 电力系统 水库调度 调度研究
张延伟
作品数：78被引量：131H指数：7
供职机构：中国空间技术研究院
研究主题：宇航 可靠性 航天 元器件 芯片