真度

摘要： 根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算,讨论了该真度下伪距离的性质,并应用赋值法论证了真度为1的公式与广义定理及定理的关系,分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.

摘要： 本期介绍的F-16像真纸飞机虽然制作难度较大,但具有较高的像真度,还可根据需要美化涂装。制作前先来了解一下F-16战斗机的发展历史。

摘要： 对n值Goguen命题逻辑系统进行公理化扩张记为Goguen～,△.在该系统中添加了新的连接词～,△,给出了Goguen n值命题逻辑系统中命题公式的真度、相似度和伪距离的定义,证明了该真度的MP规则、HS规则及相关性质.

摘要： 利用概率分布,给出命题逻辑公式的真度概念,建立了逻辑度量空间.给出不可靠度概念,在我们建立的逻辑度量空间里,得出了一个有效推理结论的不可靠度和各前提不可靠度之间关系的结论.利用我们得出的结论,证明了逻辑度量空间中MP,H S等规则成立.

摘要： 首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明.%The new connectorsΔand～are presented in G?del n-valued propositional logic system in this paper, the defi-nition of truth degree, similarity degree and pseudo-metric among formulas are given in G?del n-valued propositional logic system, some related properties of them among formulas are discussed under the system, and the corresponding certificate is presented.

摘要： 2016年11月27日,《中共中央国务院关于完善产权保护制度依法保护产权的意见》发布,同日北京卫视《传承者之中国意象》第12期《年度盛典——大美中国》播出了对“有侵权嫌疑”的杂技节目和演员的“激烈辩论、明辨是非、真诚帮助、积极解决”,展现了中国杂技产权保护的进步。我是2013年在北京市职工技协“技术沙龙”上认识中国杂技团王建民总工后开始关注杂技的,随着对王总工所做贡献的了解,对他创新理念和思维的认同,

摘要： 首先,借鉴n值(L)ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质.

摘要： An intuitionistic equivalent form of the definition of truth degrees in n-valued logic system L*n was giv-en,and the proofs of some important properties of truth degreees were simplified through the equivalent form of def-initon.Moreover,the symmetrical characteristic of truth degrees was obtained.%将真度定义的均值表示形式推广到n值Ro －命题逻辑系统L*n 中，给出了系统L*n 中真度定义的等价形式，并利用该等价形式简化了真度的若干重要性质的证明，得到了真度的对称性定理。

摘要： 首先,借鉴n值?ukasiewicz逻辑系统中公式的赋值及赋值顺序,给出了公式的向量表示形式;接着,利用公式的赋值及赋值顺序给出了公式的真度、两公式间的3种相似度与伪距离的定义;最后,讨论了公式的真度和公式间的3种相似度与伪距离所具有的一些良好性质。

摘要： 本文给出了区间值模糊命题逻辑公式的概率(-α)-真度的定义,并对它的性质进行了系统的研究,使用这种概率真度可获得与王国俊教授n维方体上的积分真度理论相似的结果.

摘要： 将密码学中满足严格雪崩准则的布尔函数的概念引入到计量逻辑学之中,提出了雪崩逻辑公式的概念,并研究了雪崩逻辑公式的真度及其性质.证明了至少含有三个原子公式的雪崩逻辑公式的真度之集为H1={k/2n-1|2n-3≤k≤3×2n-3;n=3,4,…},在此基础上,通过引入函数(e)建立了n(n≥3)元雪崩布尔函数个数的表速式,给出了雪崩逻辑公式的构造方法.最后,研究了反射变换下k阶雪崩逻辑公式的性质.

摘要： 根据演绎定理和完备性定理,应用公式真度理论在几种常见标准完备性成立的系统中建立一种新的一般理论的相容度概念,给出了理论Γ相容,不相容及其它相关结论的充分必要条件,进而将这种相容度的建立思想推广并提出了Γ推出A的程度(Exten(Γ,A))的概念,得到相应的一些充要条件。

摘要： 以公式真度为基础,给出了分别基于真度和条件真度的伪距离的真度表示式，讨论了基于真度、条件真度的伪距离和非对称伪度量的理论Γ的误差不大于ε结论的近似推理模式的关系问题。

摘要： 基于Lukasiewicz蕴涵算子定义了模糊集之问的蕴涵运算，进而在模糊集全体F(U)上定义了模糊集“真度一，在F(U)×F(U)上定义了模糊集“贴近度”。引入F(U)上的距离ρ,证明了距离空间(F(U)，ρ)中的相关运算是连续的。

摘要： 在二值命题逻辑、各类n值命题逻辑和各类模糊命题逻辑中引入了命题的诱导函数的概念,在此基础上分别就离散和连续情形利用均匀概率空间的无穷乘积和积分语义学方法引入了命题的真度概念.其次,基于演绎定理建立了程度化的近似推理理论.最后,提出了有限逻辑理论的相容度理论.

摘要： 本发明属于光学微加工技术领域，具体涉及真三维高集成度温控微反应器及其加工方法，目的在于解决现有温控微反应器在制备方法、器件结构和控温方式方面所存在的问题。本发明采用飞秒激光湿法刻蚀结合金属微固化工艺制得的真三维高集成度温控微反应器包括设在玻璃芯片内的微直通道和包围在直通道外围的螺旋形金属微线圈。将温控微反应器的反应单元和加热单元集成在一块玻璃芯片中，集成度大大提高；并且由于加热单元包围在反应单元外围，使得微反应器中的温度分布更加均匀，节省了反应时间、提高了反应效率与成功率；通过控制微线圈两端通电电流的大小来实现对微反应器内流体温度的控制，控温方式简单。

摘要： 本发明公开了基于兴趣点真流行度与隐式信任挖掘的兴趣点推荐方法，涉及互联网技术领域，针对用户兴趣在时间上呈周期变化的特性，把用户在兴趣点上的签到行为按固定的时间段进行划分，在每一时间段，挖掘真正流行的兴趣点和双隐式信任机制(对相似类别专家的隐式信任和对潜在朋友的隐式信任)对周期兴趣点推荐的影响。在Foursquare数据集和Gowalla数据集上验证TpCsSce‑PPR模型的性能，实验结果显示TpCsSce‑PPR模型在MAE和RMSE评价指标上优于所选择的基准推荐方法。

摘要： 本发明提供基于三维扫描的真三轴水力压裂裂缝开度的原位测定方法，包括：通过真三轴水力压裂实验系统对制作好的试验试件进行水力压裂试验；清除水力压裂试验后的试验试件表面的残余酸液和残渣；通过三维扫描仪对试验试件进行扫描，以构建试验试件的三维图像框架点；使用图像处理软件将三维图像框架点形成试验试件的框架图像数据文件；将试验试件沿井筒注酸方向分开，使用三维扫描仪进行分块图像扫描以得到分块图像数据文件；再次使用图像处理软件将分块图像数据文件导入框架图像数据文件内，以形成内嵌酸化裂缝的试验试件的三维图像数据文件；根据原位裂缝开度测量需要，使用图像处理软件对三维图像数据文件进行截面处理，以得到酸化裂缝开度。

摘要： 本发明公开了一种高温高压真三轴应力下孔隙度渗透率测试用岩心夹持器，属于油气储层评价测试仪器领域。包括壳体、加压装置、密封装置以及导流装置。加压装置包括轴向压头和水平压头，轴向压头包括与岩石样品顶面和底面抵接的2个轴向压头。水平压头包括与岩石样品各侧面抵接的若干水平压头。PEFT热缩管套设于2个轴向压头与岩石样品外。导流装置包括环形导流槽与导流管，环形导流槽与设置于轴向压头上的导流孔连通，导流孔设于轴向压头与岩石样品的接触面上，导流管与环形导流槽连通。本发明解决了现有岩心夹持器不能模拟高温和高孔隙压力的地层条件的问题，能够模拟真实地层高温、高压、真三轴应力下孔隙度渗透率测试条件，测试结果更加准确。

摘要： 本发明公开了一种基于鼻腔真核微生物相对丰度的评价保育猪个体所处生长环境温湿状态的方法，所述方法是通过定量检测保育猪鼻腔真核微生物门、纲、目、科、属、种水平真核微生物相对于鼻腔总真核生物的相对丰度，并用其相对丰度组合来评价保育猪个体生长的温湿环境状态。

摘要： 本发明公开了基于兴趣点真流行度与隐式信任挖掘的兴趣点推荐方法，涉及互联网技术领域，针对用户兴趣在时间上呈周期变化的特性，把用户在兴趣点上的签到行为按固定的时间段进行划分，在每一时间段，挖掘真正流行的兴趣点和双隐式信任机制(对相似类别专家的隐式信任和对潜在朋友的隐式信任)对周期兴趣点推荐的影响。在Foursquare数据集和Gowalla数据集上验证TpCsSce‑PPR模型的性能，实验结果显示TpCsSce‑PPR模型在MAE和RMSE评价指标上优于所选择的基准推荐方法。

摘要： 本发明涉及一种书法字帖临摹真度检测装置,包括有一书写装置，而该书写装置表面上形成有一个或多个书法字体空间，该书法字体空间上包括有一字体临摹区域及一检测区域，该字体临摹区域边缘处具有一第一轮廓边缘，其中该检测区域围绕着该字体临摹区域，并与该字体临摹区域的第一轮廓边缘相邻接，而且该检测区域形成有一第二轮廓边缘，该检测区域用以检测用户于该字体临摹区域上进行临摹时，判断所书写的字体超出范围，如此才能够提高临摹的临真度。

摘要： 本发明涉及电力教学模型的技术领域，具体为一种拟真度高电力教学模型，包括模型本体，所述模型本体在上端面的边缘处固定设置有玻璃挡板，所述玻璃挡板的宽度大于模型本体的宽度，所述模型本体的正面从上往下依次开设有滑槽和滑轨，所述滑槽内滑动设置有滚轮，利用可以复位且对滑轮单向进行限位的阻块，可以方便我们对装有遮灰布的安装板进行固定，遮灰布和玻璃挡板的共同作用即可有效的对模型本体进行遮灰作业，利用方便移动且安装有毛刷的移动板，可以对收卷的遮灰布的上表面进行清洁，可以出去绝大部分附着遮灰布上表面的灰尘，防止遮灰布的下表面被灰尘污染，进而掉落在模型本体内。

摘要： 本发明公布了一种高拟真度无人机航电半实物实景仿真系统，包括：通过虚实接口连接的仿真环境端和被仿设备端；仿真环境端接受系统信号，运行实时系统和立体渲染引擎，模拟输出信号并进行显示；虚实接口连接仿真环境中的虚拟计算数据和被仿设备中的实际物理信号。本发明的仿真系统具备视觉和实景感知能力，可实现完全模拟航电系统（含机载计算机、飞控计算机、任务载荷、数据链路、姿态传感器等）的真实工作情况，通过半实物仿真验证硬件设计和软件算法的功能与可靠性，适用于具备机载摄像头的多旋翼无人机、搭载激光雷达的固定翼无人机等。

摘要： 本实用新型实施例公开了一种具有高拟真度的驾驶模拟设备。本实用新型提供的具有高拟真度的驾驶模拟设备包括驾驶舱和与该驾驶舱连接的底座，其中，驾驶舱包括安装在底部的电动缸，电动缸的一端固定在驾驶舱底部，另一端固定在底座上。本实用新型提供的具有高拟真度的驾驶模拟设备大幅度缩小了设备体积，且显著提升了综合性能。