合成邏辑TAC中合子的生成

来源 :电子科技大学学报 | 被引量 : 0次 | 上传用户:chaos32167
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,软件的形式开发越来越受重视。本文设计了一个形式系统,它能实现合成逻辑TAC中合子的自动生成。
其他文献
本文用 damped-Newton(DN)法求解由一般非线性方程获得的Poisson 方程。研究了阻尼因子λ对其收敛性和求解效率的影响。利用此方法计算了横向表面掺杂为 Gauss 分布的器件的
The rheological characterization of sewage sludge at different steps of wastewater treatment is important since it allows predicting and estimating sludge behav
本文系统地讨论了四维空间中相互垂直的几何元素的投影仍呈垂直关系的規律,当平行于某一超投影面的直线与任一直线(平面或超平面)垂直时,它们在该超投影面内的超投影仍然垂直
【正】 高师院校的基本任务是面向基础教育,培养中等教育师资。从我国现有的国情条件出发,为了保证基础教育的健康发展,在今后相当一段时期内还要稳定、坚持原有的高师教育体
汤加—克马德克俯冲带是太平洋板块向澳大利亚板块俯冲碰撞的动力作用区,是全球俯冲带动力学研究的热点区域.本研究基于EHB地震目录,对汤加—克马德克俯冲带(18.5°S—28.
为提高频率域有限差分(FD,finite-difference)正演模拟技术的计算精度和效率,基于旋转坐标系统的优化差分格式被广泛应用,但是只应用于正方形网格的情况.基于平均导数法(ADM)的优化差
本文提出一种新型偏置结构的毫米波固体源—短柱耦合结构.该结构的特点是便于调试,适应于参般离散性较大的负阻器件.运用谐振腔理论解释了该结构同通常的拉耦合结构相比具有
本文提出并发展一类新型的毫米波准光学功率合成系统,它分为多振荡器的合成结构与多器件振荡的合成结构.应用导波场论和有源微波电路的本征函数近似分别对两种结构的特性进行
【正】 近二、三年来,党和国家一再强调,银行工作是一门大学问,全党必须十分重视提高银行的作用。各级党委都加强了对银行工作的领导,银行本身也加强了经营管理。但是,直到现
This paper proposed a digital municipal management platform based on service-oriented architecture. It aims to realize data sharing and system integration betwe