论文部分内容阅读
肾移植前后甲皱微循环的形态学研究
【机 构】
:
中国人民解放军成都部队成都军区总医院
【出 处】
:
中华医学会第一次全国器官移植学术会议
【发表日期】
:
1988年期
其他文献
由于半导体制造工艺的进步,IC设计的规模越来越大,越来越复杂,对传统的模拟验证提出了严峻的挑战。形式验证采用数学方法来验证设计的正确性,具有模拟验证所不具有的优点。该文介绍
计算机系统的发展要求使用数学方法对其可靠性进行定义和验证。形式化方法作为一种实用的数学方法,在计算机系统的可靠性研究中得到了广泛的应用。该文论述了形式化方法在当前
该文试图用并发进程描述时序电路,用时态逻辑公式来刻画它的某些特性,借助STeP演绎证明系统,证明了该电路具有时态逻辑公式所描术的特性,同时也说明了这一方法的可行性。
量化时态逻辑是在一阶逻辑的基础上,加上量化时态逻辑算子构成。支持离散和连续的时间结构,能精确表达数字电路中的时间信息并能对时间进行推理。该文提出量化时态逻辑的基本框