论文部分内容阅读
逻辑程序的广义不动点语义学
【机 构】
：
南开大学数学研究所
【出 处】
：
’94全国理论计算机科学年会
【发表日期】
：
1994年期
其他文献
该文提出了对一类时序逻辑电路进行逻辑参数提取时用于ＳＰＩＣＥ模拟的激励波形自动生成方法，利用该方法可以很快产生这类时序电路的模拟激励波形，从而可以加快逻辑参数的提取过程，保证参
在分析原有压块机液压控制系统存在问题的基础上，综合运和逻辑插装阀技术与可编程控制器改造压块机控制系统，提出了可靠性高，性能优越的技术改造方案，经过改造后液压系统的试验运
利用开环方法获得了激励变量项和状态变量项与或关系的电位异步时序逻辑电路的一般逻辑表达式，在逻辑函数余式理论的基础上，导出了消除组合险象的异步时序逻辑电路的一个，两个外