真值
- 真之多元论与真值条件多元论
为真的方式解读为真值条件，然后运用分离论点阻止从相关的真值条件陈述中引入真性质。（[8]）爱德华兹的策略符合本体论的经济性原则。如果诉诸真值条件能够解释命题以何种方式为真，那么在我们的本体论中引入过多的真性质是没有必要的。第二节将详述爱德华兹的策略。第三节指出，爱德华兹的策略同样适用于原子命题，从而强化了对真之多元论的双重计算反驳（the double-counting objection）。双重计算反驳认为，存在不同种类的真值条件（different k
逻辑学研究 2023年1期2023-10-06
- 数理逻辑中范式推算的程序化研究与实现
与主合取范式，在真值表法基础上，分析解释了构造析取（合取）范式时以成真（假）指派反推对应小（大）项的原因，并结合计算机语言程序设计将该解法从理论求解迁移至计算机工具求解，给出了程序设计的具体流程和代码，从而更好地实践“以解决问题为导向掌握和运用工具”学习模式以及帮助学习者建立定理自动化证明的认知，进一步理解人工智能基础。1 范式在布尔逻辑中，主析取范式与主合取范式是逻辑公式的标准规范化，其中主析取范式是由各个所涉及命题变元的合取子句即最小项的析取；主合取范
电脑知识与技术 2023年16期2023-07-26
- 一种某舰载相控阵雷达码头标校及数据处理方法*
达中心和舰姿态对真值的影响，本文推导出该标校方案下真值修正的数学表达式，以舰上建筑固定点为参考获取GPS天线偏移量，分析修正模型的误差传递情况和偏移量测量引入误差情况，以及不同扫描角下的误差情况，并通过离散小波变换的方法对实测数据样本进行处理，去除粗大误差和随机误差，计算误差均值和均方根，有效评估各个角度下的误差情况。2 标校方法介绍该标校方案如图1所示。舰船上架设GPS测量站，标校车处架设GPS基站，实时差分转换得出方位、仰角、距离值，作为初步真值；对初
舰船电子工程 2022年10期2023-01-08
- 分班制下的学生评奖评优绩点计算方法
——以南京邮电大学通达学院为例
法尤为重要。中介真值程度的度量以中介数学为基础，是一种有别于模糊数学和粗集的量化处理模糊现象的方法。该方法的主要特点是采用逻辑真值定性与数据数值定量有机结合的方式处理模糊现象。中介真值程度度量理论，是中介逻辑的进一步扩展，能够为科学研究和工程技术中处理模糊现象提供一种基于逻辑的、自然的、且为定量形式的数值化方法。一、数学模型（一）问题描述。学生课程绩点计算的影响因素较多，例如课程数、课程学分、理论课、实验实践课等等。本文主要考虑“分班制”下的课程绩点计算。
办公室业务 2022年20期2022-11-07
- 卢卡锡维茨3系统的最低限度隐变量解释
是包含既真且假(真值过剩)。这种将LP和RM3归类为超一致性的进路，不同于那些(如K3和3)将第三值视为非真非假(真值空缺)的进路。然而，LP和RM3中的排中律和(不)矛盾律仍然无效(5)Graham Priest, An Introduction to Nonclassical Logic: From If to Is, New York: Cambridge University Press, 2008, pp. 124-139.。3)开放的未来(Op
安徽大学学报（哲学社会科学版） 2022年5期2022-09-02
- 多源文本数据真值发现方法
有挑战性的研究。真值发现是解决数据质量问题的重要方法，研究从不同数据源提供的关于多个真实对象的大量冲突描述信息中，为每一个真实对象找出最准确的描述。传统的真值发现算法主要基于两个假设：若数据源提供越多的可信事实，则该数据源越可靠；若数据源的可靠性越高，则该数据源提供的事实越可信。根据这两个基本假设，传统真值发现算法可分为三类。一是基于迭代的方法：基于迭代的方法用简单函数来表达数据源可靠度与观测值可信度之间的关系，迭代计算真值和数据源可靠度直至损失收敛[2]
国防科技大学学报 2022年4期2022-08-06
- 两参数指数分布的位置参数区间估计研究★
的枢轴量给定参数真值θ=1，μ=1，10，20，50，样本容量n=10，20，通过1 000次Monte Carlo模拟，统计上述5种情形满足的次数，结果如表1所示，从中可以发现：1）只有k=1时，全部满足情形一，也就是说情形二——五不可能出现；2）对于2≤k≤n-1，情形二——五都有可能发生，尤其是当μ真值较小、k值接近n时，很少满足情形一，也就是得不到位置参数μ的区间估计；3）为得到位置参数μ的区间估计，推荐使用枢轴量G1（μ）。表1 位置参数μ区间估
电子产品可靠性与环境试验 2022年3期2022-06-30
- 移动群智感知中基于空间时间序列的真值发现算法研究
布，这样可以提高真值发现的效率。此外，还考虑了实体之间的相关性以确保准确性。关键词：真值发现;时间序列分析中图分类号：TP311 文献标识码：A文章编号：1009-3044（2022）08-0067-021研究概述由于网络拓扑的高度密集，空间上相近的节点观测值之间具备高度的相关性，而且节点之间距离越近，这种相关度越高。这种与空间距离有关的相关性被称为空间相关性。空间自相关下群智感知应用系统一般包含3个组成：云平台（即系统），任务请求者和任务完
电脑知识与技术 2022年8期2022-06-03
- 移动群智感知中基于顺序时间序列的真值发现算法研究
执行本研究提出的真值发现框架。系统框架如图1所示。图1 GARCH模型架构2 问题陈述假设研究K个用户和N个实体,从所有K个用户收集的时间序列S1{ ,S2,...,SN}作为输入;用i索引每个实体,ei表示第i个实体。以k索引每个观察者,时间序列表示为Si(k),表示观察者k在实体ei上观察到的时间序列。D=S1,{S2,…,Sn}是一组时间序列。观测者k在j时刻收集到的一个读数被标记为∈Si。由于每个观察者的可靠性在之前是未知的,所以它提供的原始数据可
无线互联科技 2022年2期2022-04-20
- 跳跃说谎者悖论与布尔悖论
任意后继阶段上的真值都由前一阶段上的这些语句的真值(按原先的布尔组合方式)决定[3]891。这个性质在框架上表现为：如果框架K的赋值τ实现一个布尔悖论，那么此布尔悖论中的每一个语句在此框架中任一点上的真值可由该悖论中所有语句在可通达该点的某个点上的真值完全确定。(1)相关定义出自本文参考文献[3]，第903页。前面提及的修正序列出自Gupta和Herzberger所创立的修正理论。后面的讨论中会给出修正序列的具体实例，而这对于当前的研究已经足够，故略去修正
华南师范大学学报（社会科学版） 2022年1期2022-02-18
- 论计量检测中测量不确定度与误差的不同
它是表征被测量的真值所处量值范围的评定。它按某一置信概率给出真值可能落入的区间。测量不确定度可以是标准差或其倍数，或是说明了置信水准的区间的半宽。测量不确定度不是具体的真误差，它只是以参数形式定量表示了无法修正的那部分误差范围。它来源于偶然效应和系统效应的不完善修正，是用于表征合理赋予的被测量值的分散性参数[1]。测量不确定度按其获得方法分为A、B两类评定分量。A类评定分量是通过观测列统计分析作出的不确定度评定；B类评定分量是依据经验或洞察力进行估计，并假
商品与质量 2021年22期2021-11-24
- 基于神经网络编码的真值发现*
关键且迫在眉睫。真值发现研究如何从多个数据源提供的多个对象的冲突描述中为每一个对象找出最准确的描述[4]。传统真值发现方法分为基于迭代的方法、基于优化的方法和基于概率图模型的方法。这几类方法假设数据源可靠度与观测值可信度之间的关系可用简单函数表示，通过人工定义迭代规则或假设数据分布进行真值发现。而实际上，数据源可靠度和观测值可信度之间的关系通常是未知的，简单函数不足以表达这种复杂的关系，同时人工定义的条件难以反映数据的真实底层分布，导致真值发现的结果准确性
计算机工程与科学 2021年9期2021-09-23
- 舰载雷达鉴定试验数据处理关键问题分析
理模块是对获取的真值数据进行预处理，使其在精度、数据率和坐标形式上均满足统计处理的要求，是数据统计处理模块的基础。图1 数据处理软件模块结构图Fig.1 Structure diagram of data processing software module获取真值数据的方法较多。目前，在雷达试验中常用到GPS 载波相位差分定位技术和雷达测控技术。下面，对这2种方式获得的真值在进行数据处理中的关键问题进行分析。GPS 载波相位差分定位技术的测量精度可以达到
海军航空大学学报 2021年1期2021-09-01
- 基于Matlab的飞行试验数据处理技术研究
理为：被试设备与真值设备对同一架飞机的空间位置进行测量，记录下相关数据后事后进行比对、分析，验证被试设备测量结果与真值设备测量结果的符合程度，即可检验其技术指标是否满足要求。由于被试设备、真值设备为相互独立的传感器，即使在对同一目标进行测量的情况下，也不能完全在同一时刻记录数据。鉴于飞机的飞行速度较快，一般为达到试验精度要求，被试设备、真值设备的时统对齐误差应小于1ms，这就要求两者在相同时统授时的前提下，通过事后差分的方式将时统对齐。依据上述算法的基本原
电子测试 2021年12期2021-07-22
- 面向物联网轻量级隐私保护的真值发现机制
可靠的数据中发现真值。真相发现方法的基本原则是：若感知的数据更接近汇总结果，则将为其分配较高的权重；而若数据具有较高的权重，则将在聚合过程中，其数据获得更多统计。尽管真相发现方法已极大地改善系统中聚合的准确性，但仍无法解决参与设备的隐私问题。在IoT应用中，参与者通常不愿提供其真实的感知数据，这些感知数据中推断得到参与者的隐私信息。例如众智感知系统[10]中能够通过汇总从大量设备那里收集的数据来解决一些难题，但是，平台系统能够从设备的收集的回答中推断得到每
电信科学 2021年5期2021-06-20
- 一种基于不确定Petri 网的推理算法
题，并且分别具有真值 α1,α2,… ,αn，则对于Boolean 函数f，不确定命题Z =f ( X1, X2,…, Xn)具有真值其中ix 取值为0 或1，iv 的定义为不确定假言推理[12]：设A 和B 是独立不确定命题.假设A 和A→B 分别具有真值a 和b.A 和B 的真值分别用符号1α 和2α 表示.由不确定蕴含模型[12]式(3)可知，不确定假言推理的蕴含模型可以表示为式(4).2 不确定产生式规则及其Petri网表示知识是客观世界中事物之间
天津科技大学学报 2021年2期2021-04-22
- 基于隐马尔可夫模型的多真值发现算法*
中找到目标对象的真值，可以有效提高数据质量，保证数据使用人员分析和决策的准确性。然而，现实事物通常拥有多值属性，如一部电影由多人主演甚至导演、一本图书可能由多位专家共同创作。这类对象存在多值属性的问题被称为多真值发现问题。本文基于图模型构造了一个新的多真值发现算法，可有效提高真值发现算法的正确率。主要贡献有以下3点：(1)在传统投票方法的基础上，设计出改进的初始真值的确定CVote(Cluster Vote)算法，该算法能够更好地应用于多真值发现研究。(2
计算机工程与科学 2021年3期2021-04-06
- 舰艇指控系统鉴定试验数据插值方法研究*
融合信息并和目标真值进行比对和分析，其中目标真值信息主要通过架设在被试舰和参试目标上的GPS或北斗设备探测得到［1］。但由于内网录取设备采样的指挥控制系统信息基本上是非连续量，同时靶场GPS设备最高提供10Hz的真值信息，使得目标真值常与指挥控制系统融合数据时戳不一致，需要进行插值处理［2］。传统的插值方法一般线性插值或三次多项式插值方法，这两种方法在对直线或低速曲线运动的目标进行真值有较好的效果［3～5］，但如果个别航次航路轨迹存在拐点、一阶导数变化率较
舰船电子工程 2021年2期2021-03-16
- 对测量不确定度定义的探讨
。那么，被测量的真值和这个区间有什么关系呢？定义显然没有给出答案。对于这个问题，业内有如下两种观点。观点一：目前，所有的规范和绝大多数教科书在解释测量不确定度概念时，都从测得值的分散性入手，回避了测量不确定度大小与真值之间的关系[3]。因此，很多人认为，测量不确定度 的大小仅仅表示多次测量所得值的分散程度，不代表测得值 （被测量真值的估计值）是否接近真值。显然, 该观点 “严扣”测量不确定度的定义。观点二：测量不确定度规定了一个区间，被测量真值以较大概率(
焦作大学学报 2020年2期2020-08-14
- 《圆率考真图解》注记
——曾纪鸿有没有计算出π的百位真值？
算出π的100位真值(1)这里的“百位真值”指的是整数位和小数点后99位共100位与π的真值前100位数字均相同。。全书大致分为五部分。(一)写作缘起；(二)差角正切公式的几何证明；(三)计算π值的两种算法；(四)给出π/4，π，1/π等13个数值的100位真值，每个数值均为102位(包括整数位)，前100位是真值；(五)依据二分公式，给出π/4的15位真值算草示例；依据五分公式，给出π/4的24位真值算草示例。曾氏所给圆周率的百位真值在19世纪70年代虽
中国科技史杂志 2019年2期2019-11-11
- 浅析弗雷格的涵义与指称理论
义;指称;思想;真值普遍认为分析哲学、语言哲学的开创者和奠基人是弗雷格，他明确区分了涵义与指称，对语言分析哲学作出了重大贡献。弗雷格以来，哲学研究重点不再是认识论问题，而逐渐侧重于语言意义问题。以下将对弗雷格如何分析涵义和指称进行详细介绍，并阐明其价值。一、专名的涵义与指称弗雷格从“相等”切入，首次阐述涵义与指称的不同之处。在对比分析中，弗雷格认为在认识价值方面，a=b比a=a所具有的价值更高。因为按照康德的说法，a=a是分析命题，主词中包含谓词，从主词中
锦绣·下旬刊 2019年3期2019-09-10
- 真值为格值的二型模糊集及其运算
论了二型模糊集的真值运算与真值代数，并对二型模糊集真值代数的结构进行了研究．2007年，Hading等［8－9］研究了二型模糊集真值代数的子代数，证明了它的一些子代数是格，且讨论了格的完备性．2010年，Harding等［10］还讨论了二型模糊集真值代数的生成问题．2014年，Walker等［11］给出了有限链上二型模糊集的运算性质．2014年，Hu等［12－13］在文献［7］的基础上讨论了线性序集上二型模糊集真值的二元运算的扩展t－模运算，随后又讨论了二
四川师范大学学报（自然科学版） 2019年3期2019-08-31
- 面向数据集成的多真值发现算法
性是不现实的，而真值发现方法能从多个数据源中找到最符合现实的真值来解决冲突，因此成为研究热门。到目前为止，已有大量工作来处理真值发现问题。现有的算法[1-2,4-12]大多能通过迭代的方法来联合推导数据源的可信度和描述值的置信度，它们综合考虑各种方面的影响如数据源的依赖关系，先验知识和数据源的质量等来提高真理发现的准确率。当前算法通常假设每个实体只有一个真值，然而在现实世界中，实体拥有多个真值的情况可能更为常见。例如，一本书通常有多个作者，一部电影可能有几
数据采集与处理 2019年3期2019-06-15
- 浅谈弗雷格的“函数和概念”
格 函数 概念 真值中图分类号：O147 文献标识码：A 文章编号：1009-5349（2018）14-0246-03函數在数学中的应用已有悠久的历史了，而函数作为工具在逻辑学中的应用始于弗雷格的概念文字。在《概念文字》中，弗雷格把句子分析为两部分，一部分是“固定的组成部分”，他称这个固定部分为函数；另一部分是“可由其他符号替代的符号”，他称这部分为函数的自变元，这样就解释了句子的结构。在《函数和概念》中，弗雷格详细分析和论述了函数的性质，指出函数最基本的
现代交际 2018年14期2018-11-01
- 二型模糊真值代数性质
余模(┴)上模糊真值运算的性质.然后探讨了连续t-模(┬)与t-余模(┴)上模糊真值运算的性质.紧接着讨论了在最小t-模与最大t-余模下凸模糊集有限并与交的性质.最后讨论了具有相同最大值的凸模糊集的模糊真值代数性质,并且证明了所有具有相同最大值的凸模糊集在二型模糊的并与交运算下构成一个格.1 预备知识为了讨论方便,下面给出一些定义和基本结论.设I表示一个单位区间或一个结合代数([0,1],∨,∧,′,0,1),J表示一个有界线性序集或一个结合代数(J,∨,
四川师范大学学报（自然科学版） 2018年4期2018-07-04
- 基于语言真值直觉模糊推理的公共交通资源投入评估方法
值表示方法来表达真值域。Zou等[4]和邹丽等[5]在格值逻辑理论的基础上建立了2n元语言真值直觉模糊代数以及基于2n元语言真值直觉模糊格的直觉模糊命题逻辑系统，在上述基础上进行了大量的关于不确定性推理与自动推理方法的研究。模糊推理是很多领域中不可或缺的工具和基础。Zadeh[6]提出了著名的合成推理(CRI)方法，将其进行实际应用并取得了成功，经典的CRI方法为之后的模糊推理方法研究奠定了基础。王国俊[7]于1999年首次提出模糊取式推理(FMP)问题的
济南大学学报（自然科学版） 2018年3期2018-05-09
- 命题中句子状语类型言据性的真值条件
状语类型言据性的真值条件研究很少。切夫(Chafe 1986)把研究言据性的语义方法分为两种：广义和狭义。[1]262狭义言据性的定义是把言据性的具体含义严格限定到信息来源的具体类型上，并不提及说话者关于所诉信息的认知。而广义的言据性是指说话者对于所诉知识的态度。[2]本文所采纳的观点是言据性具有广义性的意义，不仅能够体现信息的出处而且还能够体现对所诉信息的肯定程度。根据牛津字典的解释，“证据”应该包括支持一个信念或命题等，或是表明一件事情的真伪。[3]切
学术交流 2018年12期2018-02-20
- 基于TOPSIS的语言真值直觉模糊多属性决策
OPSIS的语言真值直觉模糊多属性决策徐莹莹1，邹丽1，黄志鑫2，潘畅1(1.辽宁师范大学 计算机与信息技术学院，辽宁 大连 116081； 2. 辽宁师范大学 数学学院，辽宁 大连 116081)针对具有模糊语言值信息的多属性决策问题，结合传统的TOPSIS方法，提出了基于TOPSIS的语言真值直觉模糊多属性决策方法。在语言真值直觉模糊代数的基础上，用语言真值直觉模糊对来表达既有可比的又有不可比的模糊语言值信息，给出了语言真值直觉模糊对之间的归一化距离算
智能系统学报 2017年4期2017-12-22
- 海空目标航迹关联算法研究
拉格朗日插值法对真值航迹进行插值，获得足够多的时标一致的融合航迹与真值航迹对应的航迹点，计算对应航迹点之间的距离，与给定阈值相比较，判断其对应关系，进而实现自动化的航迹关联。这一过程经总结梳理，进而提出了航迹关联算法，以实现航迹关联的自动化，提升航迹关联的准确率和效率。海空目标航迹；航迹关联；算法；插值0 引言航迹关联即为判断来源不同的两条航迹是否代表同一目标[1-3]，本文所述航迹关联是为进行观察预警装备效能评估而开展的目标融合航迹与目标真值航迹之间的关
计算机时代 2017年10期2017-10-19
- 基于分布式技术的多级数据真值发现∗
式技术的多级数据真值发现∗吕维新殷军（云南电网有限责任公司昆明供电局昆明650200）为了进一步提升数据管理系统的可靠性和准确性，论文提出了一种基于分布式技术的多级数据真值挖掘发现，消除了级别之间的差异性与独立性。该方法将数据源的数据相值进行分级，利用级值与真实值相似度定义准确率迭代，避免了同一数据在不同级被抽取时的差异性。通过在分布式技术挖掘算法下，分别计算级值概率和偏离度来判断多级数据真实值。最后，通过对重叠数据集的实验说明了论文提出的多级数据真值发现
计算机与数字工程 2017年5期2017-06-05
- 隐喻语句的语用真值条件
)隐喻语句的语用真值条件杨小龙1王天翼2(1. 浙江财经大学 外国语学院，杭州 310018； 2. 四川外国语大学 国际关系学院，重庆 400031)隐喻语句的真值条件是构成隐喻意义分析的重要内容。之前对隐喻真值条件的刻画忽视了隐喻语句产生的真实语境。隐喻离不开语境，没有语境的充实和帮助，人类将很难进行隐喻交流。本文提出隐喻语句的语用真值条件在于主体间性和意图性。语用真值条件属于“个人层面”(personal level)，用以反映说话人的命题态度。语用
外国语文 2017年4期2017-03-11
- 一种基于Choquet积分的不精确推理方法
法可将其余条件的真值计算得到.对于不存在循环推理的模糊规则集，Chen[5]提出一种基于加权模糊逻辑的不精确推理方法，因为该算法用模糊数或模糊语言值表示模糊规则参数，使得其更加可行和合理.本文首先介绍模糊测度、Choquet积分、模糊产生式规则等预备知识，然后提出了一种基于Choquet积分的不精确推理方法，并分析了该方法的复杂度.最后介绍了该方法在不完全知识推理中的应用.1 预备知识1.1 模糊测度和Choquet积分模糊测度是对经典测度的推广，本文只介
河北大学学报（自然科学版） 2016年6期2017-01-10
- 作为真值谈论句的说谎者
00732）作为真值谈论句的说谎者胡义昭（中国社会科学院 哲学研究所，北京 100732）对于说谎者悖论的最初诊断都指向自我指称。然而，由于其中的自我指称的出错方式太过细微，以至于一直没有被相关研究者观察到，反而转向从其他看起来更重要的逻辑或者哲学要素上去寻求消解。从说谎者悖论的一个衍生悖论重新回到自我指称来观察，发现恰恰是一种注定失败的语义指称意图引发了说谎者悖论。说谎者悖论；真值谈论句；真值谓词；自我指称；语义指称意图关于说谎者悖论，我们还有什么可以说
重庆理工大学学报(社会科学) 2016年12期2017-01-07
- MTruths：Web信息多真值发现方法
s：Web信息多真值发现方法马如霞1,2孟小峰1王 璐1史英杰31(中国人民大学信息学院 北京 100872)2(首都师范大学教育技术系 北京 100048)3(北京服装学院信息工程学院 北京 100029)(maruxia@126.com)Web已成为一个浩瀚的信息海洋，其信息分散在不同的数据源中.不同数据源常常为同一对象实体提供冲突的属性值.如何从这些冲突属性值中找到真值被称为真值发现问题.根据属性值数量可将对象属性分为单值属性和多值属性，现有的多数真
计算机研究与发展 2016年12期2016-12-22
- 克里普克极小固定点真理论
者悖论；固定点；真值间隙；表达力一、克里普克的目的及所遇到的问题首先我们要清楚克里普克的目的是什么。克里普克当然是要解决悖论，但是解决悖论只是他的真理论的一个“顺便”解决的问题。最终他是要给出一个真理论。那么克里普克的真理论所要实现的目的是什么呢？或者说他要把握什么样的“真”呢？克里普克自己说“我们希望能够捕获下面这样的直观。假设我们正在向不理解‘真’这个词的人解释‘真’。我们可能会说在我们能断定（或否定）一个句子的情境下我们恰好也有权断定（或否定）这个句
河南社会科学 2016年4期2016-11-07
- 防空武器模拟动态飞行试验方法
动态飞行试验目标真值数学模型、稳定试验摇摆量真值数学模型。通过某典型防空武器系统模拟动态飞行试验验证，证明了模拟动态飞行试验原理和所建立的数学模型的正确性。该方法建立了防空武器动态飞行试验系统的理论基础，模型可用于模拟动态飞行试验数据处理和误差分析。兵器科学与技术；防空武器；动态飞行试验；真值0 引言动态飞行试验用于检验防空武器（高炮、弹炮结合武器）搜索、跟踪和火控系统的动态精度，同时考核高炮武器相关的战术性能和使用性能［1-2］。动态飞行试验是高炮武器研
兵工学报 2016年3期2016-10-14
- 基于语言真值直觉模糊真度矩阵的多属性决策方法
徐莹莹基于语言真值直觉模糊真度矩阵的多属性决策方法黄志鑫1，徐莹莹2（辽宁师范大学 1. 数学学院，辽宁 大连 116029；2. 计算机与信息技术学院，辽宁 大连 116081）针对含有模糊语言信息的决策问题，基于语言真值直觉模糊格蕴涵代数理论，提出了语言真值直觉模糊真度矩阵，给出了将语言真值直觉模糊判断矩阵转换为语言真值直觉模糊真度矩阵的方法，利用语言OWA算子对语言真值直觉模糊真度矩阵进行聚合、排序进而得出最优方案．将该方法应用于选择最佳创业项目为
高师理科学刊 2016年10期2016-10-13
- 数字系统中的几种编码定义问题讨论
过实例加以说明.真值；原码；反码；补码和移码；定义和定义域问题；精确定义1 引言通常，人们用正负符号加上一组数字的集合来表征一个数.在计算机中,数的“+”、“-”符号常用 0和 1表示；这种符号数字化后按一定规则产生的数称为机器数.机器数代表的实际值称为真值.把真值转换为机器数的方法就是所谓的编码方法.原码、反码、补码和移码就是机器数的基本编码形式.对机器数的求取，文献［1］用列表和举例的方式给予了说明；对机器数编码的定义，文献［2—6］进行了很好的论述.
广东技术师范大学学报 2016年8期2016-07-05
- 用相对的观点看测量不确定度的定义
是表征赋予被测量真值的分散性。计量学；真值；测量结果；测量不确定度0 引言一个概念的提出及其理论方法的完善是很慎重的，提出不确定度的概念可追溯至1927年［1］。1963年美国国家标准局（NBS）的埃森哈特提出了采用“不确定度”的建议。1980年国际计量局会同多国国家级计量研究院及5个国际组织起草了《实验不确定度表述》建议书，编号为INC-1（1980）。1993年7个国际组织联合出版了GUM，2008年8个国际组织又修订了GUM。我国对应有JJF 105
山东电力技术 2016年9期2016-04-06
- 自然语言视角下戴维森语义学理论研究
理论，主张意义和真值条件紧密相关，意义组合性为真值条件组合性。这一理论体现了塔斯基理论应用到意义的价值，展现了真值条件如何衍生于句子结构、清晰表达出意义理论应实现的条件；此外，对经验真理论的分析和阐释表明人类自身的语义能力可使我们判断语义理论是否具有给定语句的真值条件。尽管戴维森语义理论具有上述优点，对自然语言语义理解起到巨大贡献，但是其理论在真值条件充要性、所依据的理论基础存在缺陷、词语语义属性解释和对语句逻辑形式和个体词的明确区分等四个方面存在进一步改
淮北师范大学学报(哲学社会科学版) 2016年4期2016-03-15
- 仪表的准确度等级与误差的关系
误差；相对误差；真值；引用误差；准确度等级在日常的计量检定工作中,常常会碰到仪表的准确度等级，相对误差，引用误差等问题，准确度等级又是仪表最主要的质量指标，它们之间存在什么样的联系，本文通过具体实例给出分析。1 绝对误差绝对误差是测量结果与被测量（约定）真值之差。绝对误差=测量结果-真值绝对误差是既指明误差的大小，又指明其正负方向，以同一单位量纲反映测量结果偏离真值大小的值，它确切地表示了偏离真值的实际大小。2 相对误差相对误差指的是测量所造成的绝对误差与
电子测试 2016年22期2016-03-14
- 真值限定的语言真值直觉模糊推理
连116081）真值限定的语言真值直觉模糊推理邹丽1，2，谭雪微1，温欣1，刘新3（1．辽宁师范大学计算机与信息技术学院，辽宁大连116081；2．南京大学计算机软件新技术国家重点实验室，江苏南京210093；3．辽宁师范大学数学学院，辽宁大连116081）为了更贴近人类语言的表达，减少推理过程中信息的损失，在直觉模糊逻辑推理的基础上，结合语言真值格蕴涵代数，提出了真值限定的语言真值直觉模糊推理方法。研究了语言真值直觉模糊犹豫度、相容度、不相容度及其相关性
智能系统学报 2015年5期2015-12-03
- 利用无人机标定雷达精度的新方法*
B系统提供的仰角真值与雷达测量值时间对准困难，标定精度差。另外，这些方法普遍依赖GPS获取真值，战时无法保证工作可靠性。现有三坐标雷达标定系统的标定源和真值获取设备存在的上述问题影响了它们的推广和应用，无法满足日益增长的雷达装备保障需求。因此，本文通过优化标定源设计，重新选择真值获取设备，提出了一种利用旋翼无人机标定三坐标雷达精度的新方法。2 总体方案2.1 系统设计标定系统主要由标定源、真值获取系统、雷达数据录取及解算设备三部分组成。下面分别对这三部分进
电讯技术 2015年2期2015-09-28
- 滚动轴承振动速度的乏信息真值估计
对轴承振动参数的真值进行评估。由于轴承振动特性具有乏信息特征，使得轴承振动特性的真值估计成为难题。目前，学者们已经研究了许多真值评估方法，如最大似然法［3-4］、最大后验估计［5-7］、加权平均法［8］和最小二乘逼近等［9］，但这些通常都是基于大样本条件下进行的。为此，提出基于小样本的真值融合方法，该方法是对滚动平均法、隶属函数法、最大隶属度法、滚动自助法和算术平均法的多次融合。在此基础上，提出了乏信息条件下基于多个估计真值的融合方法的点估计，通过对圆锥滚
轴承 2015年3期2015-07-25
- “0”的作用
数字；第三，它们真值的范围不一样，1.250的真值在1.2495～1.2504之间，1.25的真值在1.245～1.254之间。在运算法则中，我的作用也很特别。加法法则：0加上任何数或式子等于任何数或任何式子，即0+a=a：减法法则：任何数或式子减去0等于任何数或任何式子，即a-0=a：乘法法则：0乘以任何数或任何式子都等于0，即0xa=0；除法法则：0除以任何非0数或非0式子等于0，即0÷a=0。怎么样，我的作用是不是不容忽视？（指导教师 周小红）
读写算·高年级 2015年3期2015-05-16
- 模糊数学与中介真值理论相结合的评价方法*
)模糊数学与中介真值理论相结合的评价方法*潘 茜，张育平，陈海燕(南京航空航天大学计算机科学与技术学院，江苏 南京 210016)针对模糊非确定现象的评价问题，提出了模糊数学与中介真值理论相结合的评价方法。模糊数学评价法和中介真值理论的方法都是从量的角度研究和处理模糊现象。但是，模糊数学评价法注重应用而缺乏系统理论的支持，其模糊合成算子在多因素情况下很难确定，且度量值域局限于[0,1]；中介真值理论的评价方法在处理因素较多且权重难以细分的情况时，也具有一定
计算机工程与科学 2015年9期2015-01-09
- 指正风靡教辅资料的这道电学实验题
压表、电流表内组真值）的前提下，即可采用“临界值”法，遵循“内大外小，大内小外”的口诀做出合理的选择；在不具备此条件时，可以选用“试触法”粗略地做出选择.用“试触法”选择电流表内、外接法，高中阶段惯用的两种手段如下：（1）观察“指针偏角”粗略定出电压表、电流表“示数变化幅度”：用肉眼去观察电压表和电流表指针在试触瞬间的偏转角度变化；应将变化幅度较大的电表与待测电阻直接连接，这样误差相对较小.（2）计算“相对误差”（教辅资料上称之为“相对变化量”）细致定出电
中学物理·高中 2014年6期2014-09-22
- 基于多传感器探测精度的正确融合航迹判断
实现，融合航迹与真值航迹相关技术作为融合效能评估的基础算法更是少被提及。根据目前掌握的融合航迹与真值航迹相关算法存在效率低下，对特殊态势匹配成功率不高等缺点，本文根据融合航迹数据和真值航迹数据特点，提出一种基于传感器探测精度的正确融合航迹判断技术，通过建立全新数据模型，优化算法结构，以提高数据处理能力及正确性。1 技术方案1.1 技术原理对融合航迹和真值航迹进行相关时，需首先设置时间和空间相关匹配参数作为相关阈值进行时空配准后，才能进行其他相关处理。基于传
电子科技 2014年6期2014-03-13
- 曲线匹配法在雷达动态标校中的应用
是通过校准雷达和真值设备的系统时间，然后根据数据时戳匹配雷达测量数据和真值数据，并对真值数据进行坐标转换，再通过匹配后数据得到测量值与真值的误差并计算出系统误差，根据系统误差进行误差修正［1-2］。这种方法简单方便，易于实现，但前提是必须保证系统的数据时戳精度在可容忍范围内。对于处于相邻位置的两个系统来说，只需要建立数据通信，进行时间对时就可以完成时间同步，使两个系统的时间误差在可容忍的范围内;但对于架设在不同区域的设备来说，上述方法不易实现。同时，即使实
雷达与对抗 2013年1期2013-06-08
- 一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑
原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp，无论Hp是否为p的真值函数，它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数，所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻
华中科技大学学报(社会科学版) 2012年3期2012-12-21
- 现代模态逻辑的形式分析初步
——魔态羽翼的跨世界逃逸与“刑师”分析下的在劫难逃
公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数，相应的可能世界间的关系R就是这组真值函数共有的一种集合性质。任一公理模式在一框架内有效，就是将属于W的每个真值函数式按K-2分别依次代入该公理模式中的每一个“□”，使得形成一组经典定理。二分性；非真值函数；经典二变元真值函数；模态公理模式；K-1；K-2逻辑的本性(the nature of logic)是二分性，并通过不断的形式化二分将繁杂的经验
淮阴师范学院学报（哲学社会科学版） 2012年3期2012-10-30
- 三维空间中Navier－Stokes 方程的有限差分方法
应的差分的解的图真值图，两者的比较图，两者之间的误差图图2 t=4～6时(从行看)相应的差分的解的图真值图，两者的比较图，两者之间的误差图图3 t=7～9时(从行看)相应的差分的解的图真值图，两者的比较图，两者之间的误差图1.3 误差分析图1～3分别为t=1～9(从行看)时，相应的差分的解的图，真值图，两者的比较图，两者之间的误差图.可以发现，当t=1～3时，吻合程度较好;随着时间的推移，吻合程度越来越差，变化程度越来越剧烈.2 三维Navier－Stok
重庆高教研究 2012年1期2012-09-12
- 写真法、写假法探析
真法和写假法是在真值表方法的基础上构造而成的一种确定真值表所对应的真值形式的方法。借助真值表方法对写真法和写假法的构造过程的合理性、有效性及特点予以探析，进而把写真法、写假法整合为一种新的方法——写真写假法。写真法;写假法;等值在现代逻辑中，真值表方法是判定真值形式的真值类型的一种最基本的方法，它是用真值表作为命题逻辑中确定真值形式的真值情况的一种有效的判定方法。依据这种方法，对于任一真值形式，可以根据若干特定步骤写出它的真值表，从而判定这一真值形式的类型
华北水利水电大学学报(社会科学版) 2011年4期2011-11-22
- 关于CFD验证确认中的不确定度和真值估算
源是明确的。由于真值不能确定,不确定度就定义为对误差的估计,但什么叫误差的估计也是不明确的。关于不确定度的理论、方法,虽已提出不少,但能够具体应用的不多。这就给飞行器CFD的实验和确认造成了困难。飞行器的CFD验证、确认,一般是这样进行的:选定飞行器外形(根据需要确定一个或多个),指定来流条件和要验证的量,分别委托各实验部门和CFD部门,各进行实验和计算。一般各实验部门的实验数据各不相同,各计算部门提供的计算数据也不一致。实验部门必须给出实验结果的真值和不
空气动力学学报 2010年1期2010-11-08
- 相对误差与相对不确定度
测量结果与被测量真值之差.通常可分为两类:系统误差和偶然误差.测量误差是客观存在的,但由于在绝大多数情况下,真值是不知道的,所以“真误差”也无法准确知道.我们只能在特定的条件下寻求最佳的真值近似值,并称之为“约定真值”.1.2 测量不确定度为了估计测量结果的可靠程度,我们可以把实验结果写出如下形式:其中Y代表待测物理量,N为该物理量的测量值(既可以是单次的直接测量值,也可以是相同实验条件下直接测量的算术平均值,还可以是经过公式计算得到的间接测量值),而其中
物理教师 2010年10期2010-07-25
- 动态环境条件下舰船航向真值测量方法研究及应用*
环境条件下的航向真值进行测量。目前,用于舰船航向真值测量的方法有GPS测量法和手动光学测量法。GPS测量法的原理是,在载体的艏艉线两端和横摇方向上,分别安装精密GPS测量系统。这种方法能够在动态条件下进行连续测量,从而得到完整的航向曲线。但该方法存在下面三个问题:1)由于GPS本身存在较大的高程误差,因此在解算过程中进行坐标变换时会引入误差;2)GPS测量法的精度不仅取决于GPS系统定位精度,更取决于两天线之间的连线长度,由于载体的长度有限,因此连线长度受
舰船电子工程 2010年6期2010-04-26
- 分析性语言哲学：反思与批判
学的理论基础——真值概念和日常语言分析的普适性结论，反思和批判分析性语言哲学。在此基础上，得出结论：（1）语言研究不应该仅仅死盯外在物理世界；（2）语言具有人类中心性，因此应该关注语言中以人为中心的主观意义；（3）各种具体语境的集合是人的生活世界，因此生活世界理论值得语言哲学和语言学工作者关注和借鉴。关键词：分析哲学；分析性语言哲学；真值；真实中图分类号：B089 文献标识码：A 文章编号：1000-0100(2009)03-0031-4Analytica
外语学刊 2009年3期2009-06-04