真值

摘要： 弗雷格开创性地区分了符号的涵义和指称,其意义理论影响深远,奠定了二十世纪语言哲学的基石。根据涵义-指称理论,句子的涵义是思想,句子的指称是真值。然而,把句子的真值看作指称,与“专名的指称是其所指事物”这一思想不符,句子、涵义和指称三者之间的关系与专名、涵义和指称三者之间的关系具有不对称性,而且受到“保值替换原则”的挑战。为解决此类问题,应将句子的指称视为事态,而句子的真值是句子的涵义与事态之间的关系,可以称之为指称关系。

摘要： 钢筋混凝土作为近现代建筑体的重要组成部分,因其具有独特优越性而普遍适用于各个建筑施工中,在工程界得到了大规模的使用.因保护层厚度偏差能显著影响混凝土结构构件的承载力和耐久性,因此,保护层厚度检测数据的准确性成为结构实体检验过程中的重要课题.通过对规范的解读、实际现场的检测经验和总结前人研究成果,对于钢筋保护层在实际检测过程中的问题和实际试验数据进行分析、总结.

摘要： 测量不确定度,是指由于测量误差的存在,对被测量值的不能肯定的程度,是测量结果的质量和可信赖程度的指标.不确定度的值越小,说明测量结果与真值越接近,可靠程度越高,数值越精确,其使用价值越高.

摘要： 基于滚动轴承服役期间的性能数据序列,建立其振动性能与温度和温差的灰关联度分析模型,从而在轻载、常态和满载等不同工况下对滚动轴承性能进行分析和评估.对振动、温度和温差数据序列进行均值量纲一化和排序,基于灰关系分析法求解数据序列间的灰置信水平;由于传感器数量有限,为深入挖掘轴承性能数据信息,运用自助法对灰置信水平小数据样本进行抽样,并基于最大熵法求解自助样本的概率密度函数和灰置信水平的估计真值与估计区间.研究表明:在轻载、常态和满载工况下,QJS210三点角接触球轴承的振动与温度数据序列的灰置信水平的估计真值分别为78.32％,95.39％和91.58％,振动与温差数据序列的灰置信水平的估计真值分别为93.54％,82.09％和85.34％,间接表明轻载时轴承振动数据序列与温差数据序列之间的关系更亲密,在常态和满载时轴承振动数据序列与温度数据序列之间的关系更亲密.

摘要： 本文讨论的是经验现实世界与虚构叙述世界的交互关系,主要集中于文艺虚构创作的真实性评估。21世纪,随着艺术创作的新渠道以及各种新的工具和表达方式的不断涌现,亚里士多德的古典文学模仿理论的解释力已经够不到不断延展的人类的想象力和创造力的边界,模态逻辑和量子物理对文艺作品的解释效果也有学科性的局限,而“可能世界”理论为日趋复杂的虚构世界和现实世界的交互关系提供了恰当的理解视角。“三界通达”是“可能世界”理论当中专门描述实在世界和各种可替代性世界之间关系的解释性工具,它明确了可能世界和实在世界之间的“寄生”关系,解决了虚构事实的“非实在”性指称难题,分辨了由基础语义域规定的体裁差别带来的通达数量级的不同,从而有效地做出了虚构叙述世界的真值评估,并准确地解释了它和实在世界之间的互动。

摘要： 为了能够评价和掌握"三选一"逻辑算法在具体应用中的可靠性,提高其正确动作率,运用概率论的有关性质,选择引起测量故障的常用指标,在一定范围内分析和计算出该逻辑算法的正确动作、拒动和误动事件出现的概率,分析各种事件出现概率的规律,根据规律提出改进该逻辑算法的途径及应用注意事项.经过增加参考量,算法的正确动作率得到提高,拒动率降低.因此,重视算法的报警监视并及时消除故障,算法就能够维持在较高的可靠度上.

摘要： 文章针对当前测量不确定度定义不完善之处(仅仅表示测量值分散性,没有指出被测量真值与测量不确定度之间的关系,从而影响不确定度的理论发展和实际应用),通过深入分析、严谨论证,提出准确完善的测量不确定度定义(表征被测量值分散性的非负参数,被测量真值大概率分布在测得值与该参数确定的区间之内),对正确认识测量不确定度、更好应用测量不确定度具有重要指导意义.

摘要： 作为语言哲学的创始人,弗雷格认为哲学研究的根本任务是对语言进行逻辑分析,他把语言作为分析的对象,并致力于摆脱日常语言的缺陷.在对弗雷格探讨的目的和意义进行追问时,就会发现,弗雷格都是从"真"的角度来探讨语言哲学,希望发现事物的真.而对弗雷格求真过程的探索,旨在了解他是如何从形式语言、句子意谓一步步实现对真的探讨.

摘要： 运用了加法的计算原理给出了NP=P?问题的否定结果以及对NP>P、NP

摘要： 本文针对定量无损检测中检测值与代表真值的被测量之间的关系，基于模糊理论和误差理论.建立了线性和对数函数的一般关系，并进行了分析和讨论.

摘要： 本文针对定量无损检测中检测值与代表真值的被测量之间最常见的线性函数关系,基于模糊理论和误差理论,建立了软校准方法,并进行了分析和讨论.

摘要： 本文利用证据理论研究企业诊断的一般方法.其基本思想是针对企业存在的问题,找出它的问题域(识别框架);通过专家咨询形成对应于每个专家的信度函数;然后,对每个专家的信度函数进行合成,得到整个问题域上的信度函数,最后,利用证据理论的分析方法寻求问题的解.

摘要： 本文利用证据理论研究企业诊断的一般方法.其基本思想是针对企业存在的问题,找出它的问题域(识别框架);通过专家咨询形成对应于每个专家的信度函数;然后,对每个专家的信度函数进行合成,得到整个问题域上的信度函数,最后,利用证据理论的分析方法寻求问题的解.

摘要： 本文利用证据理论研究企业诊断的一般方法.其基本思想是针对企业存在的问题,找出它的问题域(识别框架);通过专家咨询形成对应于每个专家的信度函数;然后,对每个专家的信度函数进行合成,得到整个问题域上的信度函数,最后,利用证据理论的分析方法寻求问题的解.

摘要： 本文利用证据理论研究企业诊断的一般方法.其基本思想是针对企业存在的问题,找出它的问题域(识别框架);通过专家咨询形成对应于每个专家的信度函数;然后,对每个专家的信度函数进行合成,得到整个问题域上的信度函数,最后,利用证据理论的分析方法寻求问题的解.

摘要： 本公开涉及机器学习和道路标志识别。一种利用知识图进行道路标志分类的方法，包括跨多个帧检测和选择标志的表示，输出发起对与标志表示相关联的分类的请求的提示，对包括标志的一个或多个图像进行分类，查询知识图以获得具有至少一个与标志相同的属性的多个道路标志类，以及响应于超过阈值的置信水平，跨所述多个帧对标志进行分类。

摘要： 本发明涉及一种毂式制动器制动力矩真值检测传感器以及制动力矩真值检测方法。制动力矩真值检测传感器包括用于固定在制动器底座上的基板以及附着在所述基板上的拉压传感器；所述基板分为底边悬空的悬空延伸部以及与制动器底座固定连接的固定连接部，在基板的所述悬空延伸部上开有横向过孔，所述横向过孔用于穿接毂式制动器的制动臂铰接轴，以将制动臂制动时产生的垂直作用力通过制动臂铰接轴转化成对基板的拉压作用力；所述拉压传感器附着在基板上介于横向过孔与固定连接部之间的悬空延伸部上，用以检测基板所受到的拉压作用力，再结合安装毂式制动器的起重设备上的制动鼓的几何尺寸，通过计算得到毂式制动器的制动力矩真值。

摘要： 本发明为一种真值发生电路，其特征是没有包含运算放大器的1个或多个基本函数发生电路以及以基本函数发生电路输出的表示基本函数的信号和对应于级0和级1的信号作为输入进行规定运算的运算电路。

摘要： 本申请公开了一种头部姿势真值的获取方法、装置、设备及存储介质。以多个图像采集设备采集相同时刻目标对象的图像，以多幅所采集的图像中标记的二维人脸关键点作为三维重建目标对象人脸关键点的数据基础，并进而获取图像对应的该目标对象的头部姿势真值。由于本方案不需要借助穿戴设备来获取头部姿势真值，因此不受穿戴角度的影响。通过多个图像采集设备的同时刻使用，以及人脸关键点的三维重建，保证了所获取的头部姿势真值的精度。进而，当头部姿势真值应用到驾驶员疲劳程度分析、虚拟现实体感游戏、商品购买欲分析、人脸验证等领域时，可以使数据的分析结果更加准确。

摘要： 本公开提供一种轨迹外参真值确定方法及装置、电子设备、存储介质；涉及定位导航技术领域。所述轨迹外参真值确定方法包括：获取目标移动轨迹在第一坐标系下的低精度外参序列；获取所述目标移动轨迹在第二坐标系下的高精度外参序列；根据所述低精度外参序列和所述高精度外参序列确定所述目标移动轨迹从所述第一坐标系转换到所述第二坐标系的坐标转换数据；通过所述高精度外参序列以及所述坐标转换数据，确定所述目标移动轨迹在所述第一坐标系下的外参真值数据。本公开可以通过标定目标移动轨迹的坐标转换数据确定外参真值数据，有效减少标定的外参真值数据的误差，提升标定的外参真值数据的准确度以及计算效率。

摘要： 对于CAN总线的ECU映射和消息的受控消息误差和基准真值的基于ML电压指纹识别。提供了使用机器学习模型来标识在诸如车载网络总线的通信总线上传输消息的电子控制单元，从而建立用于入侵检测系统的基准真值的系统、装置和方法。用于重叠消息标识（MID）号码的电压特征被折叠并针对单个ECU标签被训练。

摘要： 本发明针对连续群智感知中隐私保护、感知数据不可靠和收集感知数据量少等问题，提出了一种基于对称加密和双层真值发现的连续群感知激励方法。首先，使用对称加密算法对感知数据进行隐私保护，在隐私要求较高并且所需参与计算的感知数量较大时，降低计算开销，减少奖励计算时间；其次，提出基于双层真值发现模型进行数据可靠性评估的激励机制，实现连续群智感知的实时奖励，并在参与者有恶意行为时提高奖励公平性；最后，给出了所提方法的双重隐私性分析。数值仿真结果表明本发明所提方法可以有效的计算真值，并根据数据可靠性进行奖励计算，在计算奖励分发时间上明显优于对比的模型，并且在参与者有恶意行为时能够更加公平的计算奖励。

摘要： 本发明提出了一种基于真值发现的鲁棒性联邦学习模型聚合方法，属于机器学习中的联邦学习技术领域。所述基于真值发现的鲁棒性联邦学习模型聚合方法主要包括以下步骤：步骤1、搭建包含一个中心服务器和若干个客户端的联邦学习系统；步骤2、中心服务器将初始全局模型发送给客户端；步骤3、客户端用本地的数据集训练初始全局模型，而后得到本地模型，并将本地模型参数发送给中心服务器；步骤4、中心服务器接收客户端发送的本地模型参数，先估计客户端的权重再计算本地模型参数的真值，聚合得到全局模型参数，最后用余弦相似度过滤恶意客户端。所述聚合方法能抵御恶意中毒攻击，容忍系统中高达50％占比的恶意客户端，具有较强的鲁棒性。

摘要： 本发明公开了一体机位姿真值解算方法及装置、电子设备和存储介质，其方法包括以下步骤：A、进行OptiTrack和增强现实眼镜之间的时间漂移的初值估计；B、计算OptiTrack标签坐标系和增强现实眼镜的惯性测量单元坐标系之间的旋转；C、计算增强现实眼镜的惯性测量单元的陀螺仪零偏bg；D、使用估计得到的bg重新计算OptiTrack和增强现实眼镜的时间漂移。本发明能够解算增强现实一体机的眼镜和双手柄输出位姿的真值轨迹，提供一种时间戳对齐、坐标系对齐的增强现实眼镜和双手柄运动位姿的真值解算方案，并用来评价增强现实一体机输出位姿的精度，从而批量制作带有真值轨迹的数据集用于算法迭代和更新。

摘要： 本发明涉及数据处理技术领域，公开了一种真值检测方法、装置、设备及存储介质，所述方法包括：获取车辆对应的传感器采集的传感器数据，并从所述车辆的车载总线获取车辆状态数据；基于组合惯导数据对所述传感器数据和所述车辆状态数据进行时空同步，得到时空同步后的传感器数据和车辆状态数据；根据时空同步后的传感器数据和车辆状态数据通过预设模型进行预标注，并通过人工修正得到真值检测结果。从而可先对采集的与车辆相关的数据进行时空同步，然后根据时空同步后的数据确定真值检测结果，提高了真值检测结果的精度，可高效地为量产化方案的验证提供准确度较高的真值检测结果。