搜索到246篇“ 逻辑模拟“的相关文章
面向功能向量的并行逻辑模拟
2023年
为了提高数字系统中功能向量的模拟效率并获得良好的性能扩展性,提出一种并行逻辑模拟算法.首先针对异质计算中图形显卡和多核微处理器的架构特性,结合同层级逻辑门仿真的任务并行性和竞争包容的事件管理机制;然后采用基于位操作的门运算、基于时帧的模拟以及基于VCD的功能向量进行逻辑仿真.在超百万门的开源电路openMSP和ISCAS89上的实验结果表明,对比单线程算法,功能向量模拟可以获得8.9~86.8的性能加速比,且加速比与电路的规模成正比.
赖李洋杨玉鑫李华伟林晓泽
关键词:并行逻辑模拟
一种勘查模拟仿真训练的逻辑模拟方法
本发明公开一种勘查模拟仿真训练的逻辑模拟方法,包括以下步骤:勘查工作准备、紧急措施实施、静态勘验现场和动态勘验现场;本发明基于勘查取证模拟仿真训练平台模拟的屋内案发现场进行勘察模拟仿真训练,先进行包括设置警戒线、放置告示...
陈晓龙
应急柴油发电机控制逻辑模拟电路和计算机设备
本发明涉及一种应急柴油发电机控制逻辑模拟电路,包括开关量输入单元、模拟量输入单元、逻辑处理单元、逻辑输出单元以及显示单元,其中,逻辑处理单元分别与开关量输入单元和模拟量输入单元连接,通过逻辑处理单元根据开关量输入单元传输...
潘世敬夏文雅易宁王亚飞周国强杨晔闻刘云兴徐凯王龙许运祥孙旭东邓涵
逻辑模拟验证系统、逻辑模拟验证方法以及程序
本发明涉及逻辑模拟验证系统、方法及程序。在短时间对每个逻辑模拟器提供相同的逻辑模拟结果。逻辑模拟验证系统对于成为信号的变化的基准信号验证在库、电路描述以及测试平台中描述的信号的变化,具备:变化定时指定部,指定基准信号和基...
坂本敏行
基于模型的复杂排水系统控制逻辑模拟仿真被引量:3
2022年
排水系统是一个错综复杂的广域分布系统,具有强耦合、大时滞、非线性和多扰动等特性,为实现系统实时控制运行,对其直接进行在线优化控制和过程参数调试,易导致调试周期较长、安全风险较大等问题。为保证实时控制逻辑的合理性和准确性,运用机理模型对系统进行出厂前的实时控制系统逻辑测试,为排水系统的优化控制提供重要的数学试验环境。将城市水系统控制仿真模型Simuwater中的功能模块与全世界范围内广泛应用的OVATION控制系统和排水系统模拟软件SWMM进行有机结合,可实现真实生产环境的排水系统控制逻辑在数学模型环境下的模拟和测试。运用该模拟环境,针对常州王家塘-惠家塘排水系统开展案例研究,构建案例区SWMM模型,在OVATION虚拟控制器中编制多级泵站优化调度闭环控制逻辑,将机理模型常规的规则控制更替为标准控制系统的闭环控制逻辑,并应用先进控制策略进行全过程多工况仿真。通过真实控制系统与机理模型耦合模拟,使案例的系统性能显著提高,可为基于模型的排水系统控制逻辑仿真提供参考,同时为真实的排水系统自动化控制提供现实依据。
陈俊戴俊龙古燕霞刘雨桐谢丽霞王境怡
关键词:排水系统
一种云合约业务逻辑模拟器的设计方法
本发明涉及一种云合约业务逻辑模拟器的设计方法,包括:定制模块、价格管控模块、保证金管控模块、平仓模块、转让模块、时间管控模块、用户节点、交易所节点、验证节点。利用区块链公开记账方式,使得交易行为可追溯、不可篡改,交易行为...
林嘉鹏代浪涛
文献传递
基于模型驱动的智能变电站故障告警与检修逻辑模拟
随着现代社会经济的发展,传统的电力网络已经无法适应这种发展节奏,为了满足电力供应的节能、环保、高效、可靠、稳定以及可持续发展要求,智能电网的建设势在必行,智能变电站作为其中的关键建设需求显得格为重要。与传统变电站相比,智...
熊斯年
关键词:智能变电站
文献传递
符合硬件语义的逻辑模拟和/或仿真
本发明的一些实施例提供了用于模拟电路设计以使得模拟符合硬件语义的技术和系统。具体地,一些实施例通过适当处理会在逻辑模拟期间出现的状态元素中的竞争条件和/或时钟树中的假信号来确保模拟符合硬件语义。每个逻辑周期包括两个阶段:...
A·拉比诺维克R·纳拉雅纳斯瓦米
文献传递
逻辑模拟仿真软件利器——逻辑之星
2015年
逻辑之星》(英文名为LogicCircuit,见图1)是一款用于设计和仿真数字逻辑电路的教育类工具软件。它拥有图形化的界面,操作简单,可以帮助我们轻松实现各种数字逻辑电路的设计,还能对其设计进行模拟仿真和虚拟示波器的状态监控。
朱广俊
关键词:数字逻辑电路虚拟示波器英文名
GCT逻辑模拟试题与解析
本书是根据硕士学位研究生入学资格考试大纲的要求,配合2015版《GCT逻辑考前辅导教程》,结合命题趋势,在2014版的基础上精心修订而成的。在编写和修订过程中,突出了“全真模拟,难易适度”的原则;特别是在深入分析历年GC...
周建武主编
关键词:逻辑题解入学考试

相关作者

郭玉钗
作品数:83被引量:411H指数:13
供职机构:中国科学院计算技术研究所
研究主题:工程数据库 CSCW CAD EDBMS 计算机辅助设计
林守勋
作品数:168被引量:710H指数:15
供职机构:中国科学院计算技术研究所
研究主题:统计机器翻译 人工智能 CSCW 图像 视频质量
林宗楷
作品数:116被引量:717H指数:16
供职机构:中国科学院计算技术研究所
研究主题:工程数据库 CSCW 计算机辅助设计 CAD 人工智能
孙永节
作品数:211被引量:39H指数:4
供职机构:国防科学技术大学
研究主题:单粒子翻转 D触发器 缓冲电路 双模冗余 DSP
沈嗣昌
作品数:23被引量:32H指数:3
供职机构:南京航空航天大学
研究主题:数字电路 逻辑模拟 《脉冲与数字电路》 辅助教学软件 数字系统