1) boolean queries
布尔提问式
2) quantified Boolean formula problem
量化布尔公式问题
4) mode of questioning
提问形式
5) way of questioning
提问方式
1.
To conduct further research on the fundamental theory of philosophy,it is essential to discuss the questions of "what is the way of questioning in philosophy?" and "how does philosophy exist?".
哲学基础理论研究的深化,要求对其"元性质"进行进一步的探讨,亦分析什么是哲学的提问方式以及哲学以什么方式而存在。
6) Boolean formula
布尔公式
1.
Explaining the causes of infeasibility of Boolean formulae has theoretical importance and practical applications in various fields,such as formal verification and electronic design automation.
解释布尔公式不可满足的原因在诸如形式化验证与电子设计自动化等众多领域中都具有非常重要的理论与应用价值。
补充资料:军事问题影响因素量化
军事问题影响因素量化
quantification of factors influencing military problems
lunshi wenti yingxiang yinsu lianghua军事问题影响因素量化(quantifjcati即of faetors influeneing milit盯y Problems)对军事问题的影响因素及其相互关系的定量表示。主要是选择其度量参数并确定其数值。其目的是为军事问题的定量分析提供基础数据。 军事问题影响因素量化,通常包括武器系统性能量化、战场环境量化、人的因素量化以及作战行动量化等。武器系统性能量化,是确定一系列的数量指标来定量描述武器系统的性能水平,比如用武器系统在战场上的生存概率来描述其生存能力等。战场环境量化,是选用一系列的数量指标来描述对军事行动有直接影响的、由各种情况和条件构成的战场形态,全要包括战场的自然环境量化、人工环境量化和社会环境量化。人的因素量化,是对构成人的素质结构的诸因素进行数量化分析,确定影响军人活动效能的指标体系及其数值。作战行动量化,是选用一系列的数量指标来描述作战单位的运动、搜索、射击以及战果等。 军事问题影响因素量化所使用的理论与方法主要有:指数方法、专家调查法、层次分析法、概率论与统计学、军事模型与模拟及模糊数学方法等。指数方法,是把所研究的难以直接对比的量转化为可以对比的相对于同一个量(或基准量)的数值的方法。专家调查法,是采用专家打分方式对所研究的军事问题的某些特征给出分值,最后综合出总评分的方法。层次分析法,是-种定性分析与定量分析相结合的多准则、多层次分析方法。它通过两两类比的经验判断和排序计算,对军事问题有关因素进行量化。概率论与统计学方法,是应用概率论与统计学原理对所研究问题的历史数据或试验数据进行统计分析,得出所要求的数值指标的方法。军事模型与模拟方法,是通过建立一系列描述有关因素的模型并进行模拟,找出规律性的数据和结论的方法。模糊数学方法,是通过建立在模糊概念或模糊集合基础上的数学模型来表达和处理难以量化的军事问题的有关因素的方法。 随着科学技术的不断发展,军事问题影响因素量化的方法和手段将不断地得到充实与完善,很多难以量化的军事问题将逐步得到解决。(沙枉)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条