【摘 要】
：
OK库是一个开源数据库，被用于支持广义SAT问题领域的研究和发展，该库可从下述网址获得：http：//www．ok—sat—library．org．。本文中我们讨论了这个数据库的发展历史、开发动机和组成
【基金项目】
：
Supported in part by EPSRC Grant GR/S58393/01
论文部分内容阅读
OK库是一个开源数据库，被用于支持广义SAT问题领域的研究和发展，该库可从下述网址获得：http：//www．ok—sat—library．org．。本文中我们讨论了这个数据库的发展历史、开发动机和组成架构，并概述了其当前的状况。文章解释了它与现有其它平台的差别：在我们看来，OK库的方法是“整体性”的，也即OK库不仅包含程序代码，也包括用于处理和评价实验（以及实验结果本身）的研究计划和方法。因此可以把OK库理解为IRE，即集成研究环境（但它并非只是构建一个单独的集成块，而是基于Unix／Linux传统的工
其他文献
于2018年4月以四川省雅安市二郎山公路创面土壤作为研究对象,分析人工恢复与自然恢复下土壤中4种重金属(Zn, Cr, Pb, Cu)的含量特征及其与土壤化学指标之间的相关性,以四川省
二滩水电站引水系统中的６条压力管道布置简单，经济适用。本文介绍了压力管道上平段、上弯段和竖井段的钢筋混凝土衬砌设计，下弯段和下平段的钢管衬砌设计。
对当前电力系统电压控制的设备及运行进行了比较全面的总结，指出了各种控制设备的优缺点及适用范围，并结合灵活交流输电技术(FACTS技术）的发展而出现的新型FACTS设备，提出了设备
嘉陵江流域蕴藏着大量的特细砂，在嘉陵江流域修建的水工建筑均采用低砂率、低用水量、低陷度、高粉煤灰掺量和掺高效减水剂的方法配制水工特细砂大体积混凝土。本文结合嘉陵江
气候变化与人为活动引起的高寒草地退化对草地土壤生态系统产生了重要影响。迄今对高寒沙化草地土壤的物理、化学和生物学特性研究较多,而对土壤微生物特性的关注较少,特别是
近年来,由于合成皮革技术的日渐进步,人工合成皮革质量提高,产品日新月异。这不仅符合全球保护动物运动的潮流,以其大量代替天然动物皮革,而且应用越来越广泛,成为现代服饰业
据电子行业信息:今年一季度落地式组合音响市场销量猛增,较去年同期增长100%以上。专家们认为:组合音响将从台式向“落地式”转移,形成鲜明的市场“流行色”,其走俏主因是:
黑白电视机最怕无节制地反复开关,这是因为每开一次,显象管灯丝就过热—次,从而降低使用寿命。彩色电视机最怕磁场干扰,因为带有磁场性的物体距彩电过近或在荧光屏前移动,会
据英国专家进行市场调查的结果表明,全球没有一个国家能避免假货的灾难。每年全世界用于打击假货的费用高达万亿美元,商品的生产厂家也因假冒商品付出了沉重的代价。英国同样
湖北省襄阳亚细亚商场在激烈的市场竞争中,宁愿自已承担风险,敢于为消费者负责,率先在全市推出“四无风险”购物法,让顾客直接检验商场的商品价格,商品质量和服务质量,赢得了