论文部分内容阅读
描述一个在模型判别器中实现的实用的反例生成策略。该策略利用电路性质描述语言的特点 ,将所有的“反例”生成算法归结为三种基本的“正例”生成算法。
符号模型判别系统的一种实用反例生成策略
【摘 要】
：
描述一个在模型判别器中实现的实用的反例生成策略。该策略利用电路性质描述语言的特点 ,将所有的“反例”生成算法归结为三种基本的“正例”生成算法。
【机 构】
：
清华大学计算机系设计自动化教研组
【出 处】
：
计算机应用
【发表日期】
：
2000年S1期
其他文献
从西部地区的资源、产业布局、沿线的社会经济特点等方面对兰渝铁路区域货运量进行了综合分析,并根据区域经济发展规划,结合铁路运量历史变化趋势和发展规划对川渝地区与西北
当创新型孵化器不断涌现,作为老牌孵化器的启迪之星如何焕发活力和竞争力,并在业绩上保持领先?从张金生的办公室里望出去,能看到远处学院大厦的一角。在他的记忆中,这座大厦
针对新建３万ｍ＾３转炉气柜的换气过程，利用转炉煤气直接置换，论述了用柜高不变法换气的气源选择，流量控制，换气时间及模拟试验等有关技术问题。
江苏连云港沿海区域大多都存在淤泥质土层,淤泥质土物理力学性能指标差,在该地质条件下工程施工易发生坍塌、滑坡。本文针对该土质及工程现状,分析了工程进展的诸多制约因素,
根据胶州市河道拦河闸坝的基本情况,对河道拦河闸坝存在的主要问题进行了分析,介绍了近几年胶州市拦河闸坝的建设情况,提出了建设河道拦河闸坝建设与管理的措施与对策建议,为
风积砂填筑的主要工序包括配水制备、运输、摊铺、碾压、检测等,通过现场碾压试验,确定沙漠风积砂的最优含水率,同时确定不同含水率对应的碾压参数。在施工过程中,重点加强铺
针对高原地区特殊自然环境特征以及现场抢险过程中可能出现的严酷环境,从应急抢险法律法规、高原地区应急处置和救援工作的特殊性、应急处置预案及管理机制、科学施救能力等
对不同形式渡槽渐变段水力特性进行CFD数值模拟计算。针对实际工程中常见的5种渡槽形式,用Gambit进行模型的物理建模、网格划分,用流体动力学计算软件FLuent进行CFD数值模拟
12月5日上午,在长春净月开发区新湖镇西湖村引松工程现场会上,吉林省水利厅厅长张凤春宣布中部城市引松供水二期工程正式启动。二期工程是引水工程“最后一公里”的配套工程,
德州市农田水利工程基础十分薄弱,洪不能挡,涝不能除,旱不能抗。特别是近年来极端自然灾害突发频发,田间沟渠不通畅,遇旱难引,遇涝难排的问题愈发突出,严重制约区域经济的可