化归方法

摘要： 借鉴亚里士多德的化归方法,通过反复使用双否消去规则、否定内移规则、移动排序规则、合并规则和归约规则,可以将命题逻辑否定蕴涵系统的任一定理等值地化归为一个形如[YY]的公式。再借助相应的证明子程序和嵌入程序可以能行地构建该定理的证明。

摘要： 中学数学离不开化归思想.在数学的解题方法中,化归思想对于提高解题效率、提高学生分析问题和解决问题的能力具有重要的作用.本文将结合数学教法,通过案例分析化归思想在教学中的应用,讨论在教学中如何加强化归思想方法的渗透以及在渗透化归方法时应注意哪些问题等,并提出加强化归思想的教学对策,从而培养学生的化归意识和学习能力.

摘要： 为了加深学生对数学问题本质的理解,提升学生的数学思维能力,教师将化归方法融入课堂教学,鼓励学生自己总结数学解题思路,提升个人的学习能力.作为一种创造性的教学策略,化归方法对培养学生良好的学习习惯、加深学生对数学知识的理解及认知意义重大.在高中数学解题中,化归方法的利用大有可为.教师需要站在宏观的角度,结合数学知识的要求,通过对学生认知能力和思维能力的分析及研究,找准化归方法的应用切入点和突破口,调整学生的学习行为及方向,鼓励学生自主实践和自由发挥,让学生认识到数学学习的乐趣,进而掌握适合自己的数学解题技巧.将微观分析与宏观研究相结合,着眼于化归思想方法的具体特点,了解这一方法在高中数学解题中的应用要求及教师的教学策略,以期为提高高中数学教学质量提供借鉴.

摘要： 化归思想对于解决数学问题具有重要的指导意义,结合级数求和实例,总结出几种化归方法,根据题目特点,采用适当的化归方法,可以化繁为简,化难为易,有效地解决一些有难度的级数求和问题.

摘要： 化归的思想方法是中学数学中应用最广泛的一种解题方法,也是最重要的解题方法之一。它的关键在于转化和归纳总结,将待解决的问题化归成另外容易解决的问题或者有固定解决模式的问题,提高学生的转化能力和灵活应用能力,使学生在各种考试的考场上应对自如,并能够使学生处理未来生活中遇到的多种问题。

摘要： 小学阶段,数学教师要有意识地培养学生数学化归思想并在教学中让学生掌握化归方法,锻炼学生的数学逻辑思维.化归思想和化归方法展示了数学知识之间的内在关系,同时也体现了数学知识的无穷魅力,数学教师在丰富学生数学知识的时候更应该让学生在反复的练习实践中感受到数学的真谛与价值,从而培养学生良好的数学学科素养.

摘要： 本发明的课题在于，提供一种染料敏化太阳能电池的对电极活性物质的再活化方法、以及应用了该方法的染料敏化太阳能电池的再生方法、染料敏化太阳能电池的催化剂层、对电极、电解液及染料敏化太阳能电池，其中所述染料敏化太阳能电池的再生方法包括通过将被染料敏化太阳能电池的电解液中的氧化还原对还原的导电性高分子再生，能够使暂时降低的染料敏化太阳能电池的发电性能恢复至初始性能，可以防止染料敏化太阳能电池的发电性能的降低。本发明是一种染料敏化太阳能电池的对电极活性物质的再活化方法，其是对染料敏化太阳能电池的对电极活性物质进行再活化的方法，所述染料敏化太阳能电池具有由含有至少一种以上的导电性高分子作为对电极活性物质的催化剂层构成的对电极，该方法包括：通过化学氧化或电化学氧化对所述导电性高分子进行再氧化。

摘要： 本发明涉及一种移动体的特性劣化评价方法，将基于设置于第一移动体的测定器所测定的结果而对复数个区域分别设定的预定的特性劣化的特性劣化速度以及与所述第一移动体相同或者不同的第二移动体通过各个所述区域的时间相乘，基于相乘结果，进行所述第二移动体的移动路径中的所述特性劣化的评价。

摘要： 一种非可视化信息嵌入装置，在获取的图像的预定位置嵌入非可视化信息，所述非可视化信息嵌入装置的特征在于，具有：图像解析单元，获取所述图像内所包含的物体信息和位置信息；嵌入对象图像判定单元，根据由所述图像解析单元所获得的物体信息，判断所述图像是否为嵌入对象图像；以及图像合成单元，根据由所述嵌入对象图像判定单元所获得的判定结果，将所述非可视化信息合成至所述图像。

摘要： 锂二次电池的劣化检测方法在充电终止或放电终止前后测量锂二次电池的电池电压。然后用测量到的电池电压计算出判断值。将该判断值与预先存储的锂二次电池的基准值进行比较，根据该结果推定锂二次电池的劣化程度。再根据获得的劣化程度控制锂二次电池的充电和放电，通过这样能够抑制劣化的进行。

摘要： 本发明意欲提供可容易取出包装其中的内容物且已被涂有食品用聚酯树脂膜或涂有由主要为聚酯树脂的树脂制成的食品用膜的金属罐；已被涂有表面糙化树脂膜和用于金属罐的金属片材；用于该金属片材的表面糙化树脂膜；和用于生产它们的方法。所述表面糙化树脂膜包含聚酯树脂和引入其中的无机颗粒或与聚酯树脂不相容的树脂，如，聚烯烃树脂，这样具有糙化表面。或者，所述表面糙化树脂膜通过压花树脂膜的表面而得到。所述表面糙化树脂膜被层压至金属片材上。或者，将尚未经历表面糙化的树脂膜层压至金属片材上并将该树脂膜涂覆金属片材压花。所得树脂膜涂覆金属片材通过拉伸或通过在熨压的同时拉伸而成型为罐。如此增加表面粗糙度。

摘要： 一种把音频信号转换成参数化表示的装置，包括一个用于解析音频信号段以获取解析结果的信号解析器(102)；一个在所述解析结果的基础上评估多元化带通滤波器的信息的带通滤波评估器(106)，其中带通滤波器的带宽在音频频谱上是不相同的并依赖于带通滤波器的中心频率；一个使用多元化带通滤波器的信息评估对应于所述音频信号段的多元化带通滤波器的每一个通带中的振幅调制(112)或者频率调制(114)或者相位调制的调制评估器(110)；以及一个用于传输、储存及修改对应于所述音频信号段的多元化带通滤波器的振幅调制信息，或者频率调制或者相位调制信息的信号输出接口(116)。

摘要： 公开了一种信息检索性能优秀，并且能够利用现有的数据库取得电路图或基板图中包含的各部件的相关信息、还能够减轻电子化服务指南制作的劳动量的技术，借助于该技术将基板图或电路图显示到图样显示区域中。例如，从PC(个人电脑)等本地硬盘读出记载了预定的服务器的URL信息及应该发送给该服务器的信息的种类和预定的发送方法的网络连接目的地信息，当对图形要素执行了右键点击等预定操作的情况下，参照网络连接目的地信息生成并显示可对预定的服务器进行选择的菜单信息。进一步，如果菜单信息中的预定服务器被选择，则检索与被选择的图形要素中所设定的部件识别信息相对应的部件取得信息，并向预定的服务器发出检索请求，将检索结果显示到显示器上。

摘要： 公开了一种能够经由网络简单并正确地向预定的部件接受订购服务器进行部件订购的电子化服务指南显示程序，借助于该技术，将基板图和电路图显示在图样显示区域中。另外，从例如PC(个人电脑)等本地的硬盘读出记载了预定的部件接受订购服务器的URL信息、应该发送给该服务器的信息种类和预定的发送方法的网络连接目的地信息，当对基板图或电路图的图形要素执行了右键点击等预定操作的情况下，参照网络连接目的地信息，生成并显示可对预定的部件接受订购服务器进行选择的菜单信息。进一步，当选择了菜单信息中的部件接受订购服务器时，检索被选择的图形要素对应的部件，取得其信息，进一步，设定订购个数，向预定的部件接受订购服务器进行部件订购。

摘要： 本发明公开了一种信息检索性能等优秀、能够明确地表现基板图或电路图等图样与该图样中包含的部件的关联性、进而减轻了电子化服务指南的制作劳动量的技术，借助于该技术，在显示器上，在目次页面显示区域(左侧的框架)中显示目次页面，在部件表页面显示区域(右侧框架的下部)中显示部件表页面。此外，当目次页面显示区域中所显示的图样项目被选择的情况下，在图样显示区域(右侧框架的上部)中显示与被选择的图样项目相对应的基板图或电路图。另外，当图样显示区域中所显示的基板图或电路图中的图形要素被选择的情况下，在部件表页面显示区域中显示与被选择的图形要素相对应的部件项目。另外，当部件表页面显示区域中所显示的部件项目被选择的情况下，在图样显示区域中显示包含被选择的部件项目的基板图或电路图。

摘要： 公开了一种在改订时不需要更换电子化服务指南本身，此外能够一次阅览改订前的内容和改订后的内容、非常方便的电子化服务指南显示程序，利用该技术，将针对预定的产品中所使用的全部部件，保存了与各个部件相关的各种各样的信息的部件表数据库信息、以及一起保存了分别与被变更的部件、被删除的部件、被追加的部件相关的信息和表示变更、追加、删除的各个类别的信息的差分部件表数据库信息读取出来并进行结合和加工。此外，部件表数据库信息内的全部部件及差分部件表数据库信息内的全部部件的一览被记载下来，根据表示变更、删除、追加的各个类别的信息，生成并显示能够立即判别被变更的部件、被删除的部件、被追加的部件来记载的部件表页面。