逻辑推导

摘要： 随着计算机系统在工业和生活中越来越广泛的应用,软件和硬件的可靠性受到越来越多的关注.定理证明方法将程序和系统的正确性表达为数学命题,然后使用逻辑推导的方式证明正确性.不同于基于程序测试的技术,定理证明方法能保证覆盖所有边缘情况,完全排除一些特定类型的错误.而基于逻辑推导的交互式定理证明技术还能不受系统状态空间大小和复杂性的限制,验证非常复杂的系统和性质.因此,定理证明技术不仅是形式化方法领域,也是众多其他应用领域国内外学者的关注焦点和研究新热点.

摘要： 数学作为一种古老而成熟的学科,有着很多系统的、有效的学习和训练方法,为学生学好数学奠定了基础。语文学习如果能部分地运用数学的思维方式和相关思想,也会对开阔思路、明晰步骤、有效得分产生很好的帮助。具体可从逻辑推导、系统思想、对应转化办法等六个方面进行尝试。

摘要： 学生进入高中阶段,学习任务重,尤其物理学科,对学生的思维和逻辑推导能力要求进一步提高。很多学生很难适应,一节课下来,往往老师和学生都很疲惫,但课堂教学效果并不好。针对这情况,本文从高中物理课堂存在的的实际问题出发,探讨一下如何创建高效课堂。

摘要： 思维导图将"抽象性"、"逻辑性"的思维模式以图像的形式直观化展现。基于思维导图,强化了知识体系之间的内在关联,明确了不同知识的前后逻辑推导,帮助学习者精确掌握知识框架中的核心要素,提高了学习者知识的掌握程度。通过在高中英语阅读教学中,有机融入思维导图,不仅有助于优化课堂英语阅读的知识教授,也在一定程度上对学生高效率理解和掌握英语阅读知识起到了积极影响。文章以外研版高中英语教材为依托,深入探讨思维导图在高中英语阅读教学的应用策略.

摘要： 写议论文,只有抓住了论证的思路,问题才能很快得到解决。这个论证思路,反映的是某种逻辑推导关系。在议论文中,论点的确立,是由某种逻辑推导而来的。迅速地抓住这种逻辑推导的方式,展开逻辑推导过程,就能快速地完成议论文的写作。我们把这种逻辑推导路线看作“藤”,推导出的结论就是“瓜”了。顺藤摘瓜,有四种方法。

摘要： 学生每天都在和周围的人打交道,学生接受的教育决定了其与世界相处的方式,数学学科不仅可以教会学学生计算各种复杂问题的方法,也可以在潜移默化中影响学生的世界观。有很多人——甚至包括学生家长——认为学习数学无非就是先认识数字然后进行简单的加减乘除运算,教师要对此保持警觉,在工作中努力让下一代学生成为讲逻辑、讲科学、善思考的新人。本文将从提升题目运算能力、强调数学逻辑推导、培养学生抽象思维等三个方面,就小学数学教学中培养学生学科核心素养的策略进行讨论。

摘要： "思辨"最早出自《礼记·中庸》:"博学之,审问之,慎思之,明辨之,笃行之。"即要博学多识,要详细地询问,要慎重地思考,要明白地辨别,要切实地力行。"思辨"在《现代汉语词典》中的解释为:(1)哲学上指运用逻辑推导而进行纯理论、纯概念的思考;(2)思考辨析。简而言之,"思辨"就是理性思考辨析。

摘要： “是”字句主要的作用是表示对命题的判断,也叫做非事件句。论文吸收借鉴以往研究成果,将判断“是”字句称为无标记句式,主要从逻辑推导、语用预设等角度探讨判断无标记“是”字句中主、宾语的各个小类的等同关系,并指出这些结构的移位和省略过程。

摘要： 本发明揭示一种电压对比成像缺陷检测系统，其包含电压对比成像工具及耦合到所述电压对比成像工具的控制器。所述控制器经配置以：针对样本上的一或多个结构产生一或多个电压对比成像度量；基于所述一或多个电压对比成像度量而确定所述样本上的一或多个目标区域；从所述电压对比成像工具接收所述样本上的所述一或多个目标区域的电压对比成像数据集；以及基于所述电压对比成像数据集而检测一或多个缺陷。

摘要： 一个方面的处理器包括用于生成根密钥的根密钥生成逻辑。根密钥生成逻辑包括静态且熵性的比特的源。处理器还包括与根密钥生成逻辑耦合的密钥推导逻辑。密钥推导逻辑用于从根密钥推导出一个或多个密钥。处理器还包括与根密钥生成逻辑耦合的密码基元逻辑。密码基元逻辑用于执行加密操作。处理器还包括包含根密钥生成逻辑、密钥推导逻辑，以及密码基元逻辑的安全边界。还公开了其他处理器、方法，以及系统。

摘要： 本发明揭露一种推导方法及推导装置，用于可伸缩视频编码的运动向量预测子候选项或合并候选项推导，其中视频数据被配置为一个基本层和一个增强层，且该增强层具有比该基本层更高的空间分辨率或更佳的视频品质，该推导方法包含：决定该基本层中的运动信息；以及基于该基本层中的该运动信息推导该增强层中的运动向量预测子候选项或合并候选项。本发明揭露的推导方法及推导装置提供空间伸缩和品质伸缩的能力，且可以获取更高的编码效率及/或更佳的灵活性。

摘要： 本发明揭示一种电压对比成像缺陷检测系统，其包含电压对比成像工具及耦合到所述电压对比成像工具的控制器。所述控制器经配置以：针对样本上的一或多个结构产生一或多个电压对比成像度量；基于所述一或多个电压对比成像度量而确定所述样本上的一或多个目标区域；从所述电压对比成像工具接收所述样本上的所述一或多个目标区域的电压对比成像数据集；以及基于所述电压对比成像数据集而检测一或多个缺陷。

摘要： 一个方面的处理器包括用于生成根密钥的根密钥生成逻辑。根密钥生成逻辑包括静态且熵性的比特的源。处理器还包括与根密钥生成逻辑耦合的密钥推导逻辑。密钥推导逻辑用于从根密钥推导出一个或多个密钥。处理器还包括与根密钥生成逻辑耦合的密码基元逻辑。密码基元逻辑用于执行加密操作。处理器还包括包含根密钥生成逻辑、密钥推导逻辑，以及密码基元逻辑的安全边界。还公开了其他处理器、方法，以及系统。

摘要： 从机械机器操作模型中自动或半自动地推导出逻辑控制器行为的电逻辑控制器行为模型。为了创建该电模型，创建对应于该机械模型的每个机械步骤的电步骤。对该机械步骤上的每个机械过渡都在对应的电步骤上创建对应的电过渡。对识别的每个与机械步骤的结束位置关联的电信号，都在对应的电过渡上创建针对该关联信号的条件。然后将该电逻辑控制器行为模型用于生成特定于PLC的软件以控制机器或车间。

摘要： 本发明所要解决的问题是提供一种能够推导运送中的被检查体的孔隙率的孔隙率推导方法及孔隙率推导装置。为了解决上述问题，本发明提供一种孔隙率推导方法，是推导被检查体的孔隙率的方法，且包括：单位面积重量测定步骤，对运送中的被检查体的特定部位的单位面积重量进行测定；厚度测定步骤，对运送中的被检查体的特定部位的厚度进行测定；及，孔隙率推导步骤，根据单位面积重量、厚度、以及被检查体的真密度，推导被检查体的孔隙率。

摘要： 推导模型构建方法使计算机针对如下的表现模型来构建推导模型，该表现模型通过使对象物体的与基准状态对应的2维图像的各组成部分变形来实现该对象物体的与不同于基准状态的状态对应的描绘表现，该推导模型推导2维图像的各组成部分在与基准状态不同的定义状态下的变形，表现模型构成为，通过定义2维图像的各组成部分的至少1个定义状态下的变形而成为定义完毕，并且至少能够实现与基准状态和定义状态之间的状态对应的描绘表现，表现模型中的各组成部分的变形是通过在该组成部分中设定的控制点的分布的形态来控制的，推导模型构建方法包括：取得工序，针对定义完毕的表现模型，取得基准状态和定义状态下的控制点的分布；提取工序，基于在取得工序中取得的基准状态下的控制点的分布，提取第一特征量；以及学习工序，将在提取工序中提取出的第一特征量作为标签，对在取得工序中取得的定义状态下的控制点的分布进行机器学习，基于对多个定义完毕的表现模型进行学习而得到的学习结果来构建推导模型。

摘要： 本发明公开了基于蒙特卡洛树的反应物推导方法及逆向合成推导方法，属于逆向合成技术领域，要解决的技术问题为如何提高逆向合成分析的预测准确率。逆向合成推导方法，包括：通过RdChiral方法对初始数据集进行逆向反应模板提取；对初始模板库进行数据清洗后，得到训练集、验证集和测试集，并基于不重复的逆向反应模板构建逆向反应模板库；基于Keras深度学习框架构建单隐藏层全连接神经网络模型以作为模板预测模型；训练模板预测模型；以目标化合物SMILES表达式作为根节点构建蒙特卡洛树，基于蒙特卡洛树搜索方法采用模板预测模型预测蒙特卡洛树每个节点中分子对应的逆反应模板，同时得到逆反应模板对应的前级反应物。

摘要： 一种视频解码器被配置为：确定用于视频数据的第一块的第一运动矢量；对用于第一块的第一运动矢量执行运动矢量修正，以确定用于视频数据的第一块的经修正运动矢量；确定视频数据的第二块是在利用与第一块相关联的运动矢量作为运动矢量预测项的模式中编码的；响应于确定视频数据的第二块是在利用与第一块相关联的运动矢量作为运动矢量预测项的模式中编码的并且响应于对用于第一块的第一运动矢量执行运动矢量修正，使用与第一经修正运动矢量不同的运动矢量作为与第一块相关联的运动矢量预测项。