论文部分内容阅读
蓖麻蚕蛹脑神经分泌细胞形态学特性。
【机 构】
：
中科院上海昆虫研究所
【出 处】
：
中国昆虫学会首届全国青年昆虫工作者学术讨论会
【发表日期】
：
1990年期
其他文献
计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法，在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前
该文试图用并发进程描述时序电路，用时态逻辑公式来刻画它的某些特性，借助ＳＴｅＰ演绎证明系统，证明了该电路具有时态逻辑公式所描术的特性，同时也说明了这一方法的可行性。
量化时态逻辑是在一阶逻辑的基础上，加上量化时态逻辑算子构成。支持离散和连续的时间结构，能精确表达数字电路中的时间信息并能对时间进行推理。该文提出量化时态逻辑的基本框