论文部分内容阅读
c -filter是定性仿真算法QSIM中用来生成系统后继状态的主要算法。利用约束逻辑程序CLP ,能够给出有关该算法定义的形式化描述 ,有助于提高算法的效率。文中给出了相关的定义及算法实现
QSIM中c过滤算法的CLP实现
【摘 要】
：
c -filter是定性仿真算法QSIM中用来生成系统后继状态的主要算法。利用约束逻辑程序CLP ,能够给出有关该算法定义的形式化描述 ,有助于提高算法的效率。文中给出了相关的定义及算法实现
【机 构】
：
国防科技大学
【出 处】
：
计算机仿真
【发表日期】
：
2003年03期
其他文献
信息数据库包括多种信息数据,它为了解信息数据的变化规律提供了必需的数据查询。而且该数据库系统要求快速性和实时性。随着数据库数据量的不断增大,对从数据库中提取的信息进行优化处理的要求已被提上了日程。该文提出了一种对数据库信息数据处理的方法,主要以海流信息数据库数据为例讨论将神经网络技术用于对信息数据库数据进行仿真处理,该方案还对信息数据库和神经网络技术也都作了简单介绍。
在目前的FPGA设计工具中 ,功能验证普遍依赖手工输入测试向量 ,观测输出波形图这种方法。但在FPAG实现复杂算法时 ,这种验证方式有很大的局限性。首先 ,随机测试向量的创建不再是一个简单random( )函数的调用 ,并且这些建立起的测试向量并不容易满足理想的激励模式 ;其次 ,众多接点波形逻辑关系的分析更加复杂 ,不适合在波形图上直接分析 ;最后 ,仅仅凭借波形图 ,设计者很难有效地评估各个电
采用成熟的微观交通流仿真软件及其接口实现和检验交通控制算法是目前交通控制研究的主要方向。该文首先介绍了交通流微观仿真软件TSIS的构成和各组成模块的作用,然后详细介绍了TSIS和VC的接口技术以及VC和Matlab的接口技术,最后综合集成TSIS、VC和Matlab构建了交通控制仿真平台。该仿真平台很好地利用了各种软件的优势,能方便快捷地实现各种先进的智能交通控制算法,为交通控制算法提供了一个很好
该文分析了无人直升机飞行控制系统软件实现要求。提出基于组件的程序设计方法开发此类软件 ,充分考虑模块的重用性 ,以组件为核心 ,每一组件单独开发与测试 ,然后按照一定的集成规则 ,分层、渐进地开发整个系统。组件之间的通信通过事件机制来实现 ,使得子系统之间的耦合减小 ,并且增加了系统的可靠性、灵活性和重用性。最后开发了飞行控制系统设计中的模型、参考模型和逆模型组件 ,并进行了仿真验证 ,结果表明这
目的:探究生物反馈电刺激联合盐酸米多君治疗女性压力性尿失禁的临床效果。方法:选取2018年11月~2020年1月收治的42例压力性尿失禁女性患者作为研究对象。将所有患者按照随机