【摘 要】
：
使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复。这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并
【基金项目】
：
Supported by the German Research Foundation （DFG）, grant KL 529 / QBE
论文部分内容阅读
使用辅助变元来引入定义,在知识表达中是一个流行和有力的技巧,能够得到更短、更自然的编码而无需冗长的重复。这篇论文中,我们形式地定义了辅助变元的概念,检验了其表达力并讨论了有趣的相关应用。我们把以下两者联系起来：一是,反复使用中间结果而不通过定义重复;二是,布尔函数其他表达中的相似概念。特别的,我们表明带定义的命题逻辑与具有任意输出端的布尔线路以及约束变元满足Horn性质的存在量化布尔公式（记作HORN^b）具有相同的表达力。本文还考虑了定义结构的限制,以及命题定义的扩充。特别的,我们检验了正命题定义与带存
其他文献
随着我国对教育的重视程度越来越高,对教学的人员要求也日益增加,主要表现为教育工作者不仅有着较高水平的教学能力,而且要求他们在教学之余,发现适合学生的教学模式,给枯燥
老年急性髓系白血病（Acute Myeloid Leukemia,AML）通常指年龄≥60岁的AML患者．由于不良细胞遗传学、高龄、多合并症等因素导致诱导化疗完全缓解（CR）率仅约45％-60％左右，中位生存期仅5-
为了满足高校化学实验教学的需要,我们通过改革实验教学内容,开展综合实验、科研训练,举办竞赛,鼓励学生申报创新项目等多种方式与手段,提高了基础化学实验的教学质量,同时也
【摘 要】现阶段，小学义务教育语文课本内，经典古诗共计50余首。之所以在小学学习期间安排诸多古诗，其实质目的为通过朗诵、阅读的方式，使学生对我国民族深厚的历史文化进行了解，使得学生语文能力、语文素养有效提升，并起到陶冶学生情操、培养其审美能力、以及激发其对祖国热爱之情的作用。针对如何使孩子爱上古诗这一问题，本文提出相应的教学方法。 【关键词】孩子；爱上；古诗 【中图分类号】G622 【文献标识
<正> 本文介绍六种典型的带动态校正系统的傅里叶光谱仪及其技术指标。1 Bomem公司的DA2、DA3系列 光谱仪 Bomem公司的DA2系列产品是1987年推出的,其早期的自适应校正通常也
锚杆(索)是一种应用广泛的岩土体工程加固措施。上世纪60年代以来,我国在各类岩土工程中使用了大量锚杆,70年代以后使用了许多锚索,90年代以来使用了更多的土钉,其总数当以亿
本文主要研究土体内球形空穴扩张问题，静压挤土桩沉桩机理以及它们在工程中的应用。 在前人工作的基础上，根据土塑性力学的基本原理，假定土体为均质、各向同性的理想弹塑性体
针对大水深水库水源富营养化、沉积物内源污染严重等突出问题,以及缺乏有效水源水质改善技术的现状,研究开发了解决此类水质问题的扬水曝气水源水质改善技术。系统研究了扬水
【摘 要】在高中的教学中，生物教学是十分重要的一个教学环节。但是，目前我国的高中生物教学仍然存在较多的问题，高中生物教师应该积极寻找方法解决这些问题。为了提高教学质量，教师可以通过创设不同的教学情境，让学生在情境中感受生物魅力，提高学生的学习兴趣，增强学生的课堂主动性。 【关键词】高中生物;情境教学;注意事项;问题情境;生活情境 【中图分类号】G623.2 【文献标识码】A 【文章编号】2
目的：探讨冬凌草甲素（oridonin， Ori）干预前后，DC-CIK细胞对人多发性骨髓瘤RPMI 8226细胞杀伤活性的改变。方法：分离健康人外周血单个核细胞，诱导为DC-CIK细胞，LDH释放法检测DC-CIK细