等式

摘要： 我国民间流传着吕洞宾“点石成金”的一则故事,笔者借用这一成语,说明数学命题的发现与延拓.上世纪九十年代初,日本学者桥本吉彦随意地写了一个等式:1/2+5/6=4/3.这是一个再平常不过的式子,然而,他发现等式中恰包含了前六个正整数1,2,…,6,而当他将分母同乘13后.

摘要： 下面的汉字等式里都缺少了一个汉字,你能帮忙填写上吗?

摘要： 请你想一想,算式中的“庆”字表示几时,这道等式才能成立?小朋友,赶快算一算吧!庆6-1-庆-6-1=61。

摘要： 教学苏教版教材五年级下册第1至第2页例题1、2及配套练习时,设定的主要目标是,让学生在具体的生活情境中感受并理解等式、方程、不等式的含义,能够通过对比辨析判断方程和等式两者之间的从属关系,从两者的差别与联系出发深刻理解方程的定义,意识到方程是对现实复杂数量问题的一种直白式处理,是一种设未知数然后表示等量关系的数学模型。

摘要： 小学数学课堂若脱离实际,与现实生活割裂开来,没有丝毫生活气息,那么学生就会丧失对数学的学习兴趣,产生枯燥乏味的感觉,导致其学习效果不佳。小学数学课堂只有理论联系实际,才能激起学生的学习兴趣,消除学生的倦怠感,取得事半功倍的教学效果。教师在教学方程时,可创设生活情境,引导学生从生活事件中抽象出数学模型,进行数学建模,厘清数量关系,从而促进学生有效掌握方程的解法。

摘要： 下面三个算式中□、☆和△分别代表多少才能使等式都成立?聪明的小朋友,你能很快算出来吗?

摘要： 小朋友,下图是用火柴棒搭成的等式(2+1-2+7=4),这个等式是不成立的,是因为有一根火柴棒被移动了位置,是哪一根火柴棒呢?你能把它移到原位,使等式成立吗?

摘要： 笔者探究高中数学教学中实现深度学习的课堂教学流程,并以“等式与不等式性质”第二课时教学为例,提出指向学生深度学习的教学设计与思考.

摘要： 在一些平面几何证明题中,经常借助相似三角形的构造、判定与性质等,有效解决线段长度关系、边角关系、比例关系等相关的问题,体现了相似三角形的重要性。

摘要： 腕表上有一个并不十分实用,却充满着科学思辨精神的功能,它就是时间等式。时间等式指示是真实太阳时间与日常民用时间在时间偏差上的一种表达方式。大家都知道,地球的公转轨道受各种引力影响,并不是完美的圆形,而是一个椭圆。所以每一天的时长并不是完全相等的,但是为了方便计算,我们日常的时间是假设一天的时间长度总是精确的24个小时,而且一年中都保持这样的时间长度。时间等式功能的出现,就是为了让我们在日常生活的每一天都可以知道真实的太阳时间是几点几分,更激发人无穷的想象空间,为钟表爱好者带来沉浸于百年高级制表历史的喜悦感受。

摘要： 实施例模拟液体混合物。实施例通过接收包含两种组分的液体混合物的自由能曲线而开始。基于接收到的自由能曲线，构建了描述液体混合物中两种组分的摩尔分数的波动的配分函数。进而，使用构建的配分函数计算液体混合物的重整化自由能曲线。然后使用(即，应用)计算出的重整化自由能曲线来模拟液体混合物的行为。计算机自动化模拟系统和装置是本发明方法和公开技术的示例应用。

摘要： 本发明公开了一种对等式结点管理器，用于实现网格计算环境中网格资源的组织与管理，包括：虚拟结点资源聚集器，用于对网格计算机环境中的永久性数据资源进行描述、组织与管理，并通过同步机制使全局资源在各结点同步更新；暂时性数据资源聚合容器，用于管理通过服务层产生的新数据资源(中间性成果数据)，并通过同步机制使该新数据资源转化为所述虚拟结点资源聚集器所管理的永久性数据资源；网格结点元服务库，用于构成服务层，管理服务和分配在线的硬件资源；虚拟结点portal配置器，用于向用户提供服务入口，将用户与服务层连接起来。本发明以对等计算模式部署对等式结点管理器，不但实现全局资源的同步更新，为无中心架构提供了机制，而且在该网格环境中，即使出现多个结点的崩溃也不会使整个系统崩溃。

摘要： 本发明涉及一种附线性不等式约束的G‑M模型的不等式约束合理性检验流程，包括以下步骤：1)对观测数据进行附加不等式约束的最小二乘平差和无约束的最小二乘平差；2)采用TP3的假设检验量，进行约束整体合理性检验；3)如果约束整体合理性检验通过，则进行参数估值的精度评定；4)若约束整体合理性检验不通过，采用TP2的假设检验量，检验每个无效约束的合理性；采用TP1的假设检验量，检验每个有效约束的合理性；5)处理不合理约束后转步骤1)。该检验流程能够有效地判断不等式约束信息的合理性，并能准确筛选出不合理的不等式约束，以便后继处理。

摘要： 本发明公开了一种对等式结点管理器，用于实现网格计算环境中网格资源的组织与管理，包括：虚拟结点资源聚集器，用于对网格计算机环境中的永久性数据资源进行描述、组织与管理，并通过同步机制使全局资源在各结点同步更新；暂时性数据资源聚合容器，用于管理通过服务层产生的新数据资源(中间性成果数据)，并通过同步机制使该新数据资源转化为所述虚拟结点资源聚集器所管理的永久性数据资源；网格结点元服务库，用于构成服务层，管理服务和分配在线的硬件资源；虚拟结点portal配置器，用于向用户提供服务入口，将用户与服务层连接起来。本发明以对等计算模式部署对等式结点管理器，不但实现全局资源的同步更新，为无中心架构提供了机制，而且在该网格环境中，即使出现多个结点的崩溃也不会使整个系统崩溃。

摘要： 本发明涉及一种基于线性矩阵不等式优化法的VSC并网稳定域构建方法，其包括下列步骤：建立仅计及锁相环动态的VSC接入弱网系统的二阶数学模型；将二阶数学模型(A)中的三角函数泰勒展开到n阶；基于LMI优化求解优化问题求解；获得稳定域；改变VSC接入弱网系统的控制参数，获得不同控制参数下VSC接入弱网系统的稳定域边界，根据稳定域面积越大，系统暂态同步稳定性越强的特性，通过比较不同控制参数下稳定域面积的大小关系，定性的分析不同控制参数对VSC并网系统暂态同步稳定性的影响。

摘要： 本发明涉及一种计算器中多项不等式方程的工作方法，计算器内部的计算芯片对用户输入的多项不等式方程进行求解计算以获取解；当解为无解时，在计算器的显示屏上显示表征无解的图像；当解为所有实数时，在计算器的显示屏上显示表征所有实数的图像；当解为实根时，根据解的内容，控制在显示屏上直接显示未知量符号、关系符号、实根数据构成的解；当解包括至少两个时，在显示屏上采用逻辑符号关联并完整显示多项不等式方程的各个解。该工作方法能够直观读取多项不等式方程解。本发明还涉及一种计算器，包括本体、设置在本体内的计算芯片、设置在本体上的按键以及显示屏，计算芯片与按键、显示屏分别电信号连接，该计算器应用前述的工作方法。

摘要： 本发明涉及一种基于不等式约束的关节模组鲁棒控制方法，包括：建立协作机器人一体化关节模组的动力学方程；对关节模组通过状态变换来满足受控输出的不等式约束，得到角速度和角加速度设计一种鲁棒控制器；对所述鲁棒控制器进行仿真，对鲁棒控制器中的参数进行调节，并得到结论。本发明不仅具有模型本身的特性，还具有PID控制器的特性以及鲁棒项，鲁棒项可以估计系统中的外部干扰和不确定性，鲁棒项的表达式为分段函数的形式，当ε接近零时，可以防止鲁棒项趋于无穷大，由于这些特性使该控制器在理论上比PID控制器和基于模型的PD控制器具有更好的动态性能。

摘要： 本公开公开了用于压缩用于补偿图像中的缺陷的补偿等式的系数值的装置和方法以及用于使用由该装置和方法压缩的压缩值来补偿显示数据的电路。用于压缩补偿等式的系数值的装置包括：系数值提供单元，配置为针对每个像素提供用于补偿图像中的缺陷的补偿等式的系数的系数值以及位置信息；以及系数值压缩单元，配置为通过顺序地对系数值执行第一压缩和第二压缩来提供第一压缩位图和第二压缩位图。

摘要： 本发明涉及云计算和信息安全领域，公开了一种支持等式测试的身份基可穿刺加密方法。其特征在于：等式测试算法允许第三方实体在获得授权后，在不泄露任何有关明文信息的条件下，判断由不同公钥所加密的密文中是否包含相同的明文。该方法允许用户使用其身份作为公钥，从而解决基于公钥基础设施的传统公钥密码体制中的证书管理问题，消除了证书在生成、管理和撤销过程中的巨大开销。同时，该方法允许用户使用密文中嵌入的标签来更新私钥，从而撤销私钥对该特定密文的解密能力。即使当下使用的私钥泄露，之前发送的消息也可安全无虞。相较于已有工作，本方法更好地满足了云环境中的安全需求。

摘要： 本发明提出一种应用于对等式水声多跳网络的多路径混合路由建立方法。本发明的优势在于提出一种多路径路由建立方法，在一次路由建立过程中，网络中各节点同时以源路由和逐跳路由两种形式，保存两条不同的路径，用于数据传输。数据以源路由传输过程中，出现路由中断情况时，则发现路由中断的节点按照之前建立的逐跳路由，将数据重新发送给目的节点，不必重新开始路由建立过程，缩短数据传输时延，提高网络传输效率。