排序方式: 共有18条查询结果,搜索用时 0 毫秒
1.
2.
3.
提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好. 相似文献
4.
文章阐述了XRW-300HB型热变形、维卡温度测定仪的测试原理及常见故障的排除方法. 相似文献
5.
本文主要介绍了一种单脉冲跟踪雷达高增益、大动态中频接收机的设计与实现,给出了具体电路,讨论了设计中可能出现的问题。 相似文献
6.
企业采购的手段落后,采购管理层次混乱,已经使采购管理问题摆到了一个非常重要的位置上来。本文结合这一北景,首先用述了当前仪器仪表的特点,接着分析了电器仪表采购管理的要求,并从采购的专业性.复杂性方面分析了电器仪表采购的特点。 相似文献
7.
本文从工程应用的角度对模态灵敏度分析的一些关键问题进行了讨论,并概述了无阻尼及阻尼系统的模态灵敏度算法及其最新进展。 相似文献
8.
沈阳技术市场 1999年实现技术合同登记额 15 28亿元,自 1986年以来累计实现交易额 143亿元,成为立足辽宁、辐射东北,面向国内外有影响的国家级区域技术市场。 20年来,沈阳技术市场的一条成功经验就是不断探索。 一、着眼于技术交流交易战略方式的探索 沈阳市技术市场得以发展的一个重要原因是:营造了沈阳技术市场管理办公室与沈阳技术交易所合署办公的优势。一方面,在政府的支持下实现了全市技术市场工作的归口统一管理,赋予了技术合同登记、认定、审批、技贸机构审批和技贸酬金审批等重要职能;另一方面,沈阳技术交… 相似文献
9.
文章阐述了XRW—300HB型热变形、维卡温度测定仪的测试原理及常见故障的排除方法。 相似文献
10.