拉格朗日中值定理的证明

微分中值定理是微分学的基本定理,它的证明一直是大家关注的研究对象。通过三个不同的角度给出了中值定理三种不同的证明方法,拓宽了中值定理证明的思路。     

三角形内角和定理的证明方法举例

在教《三角形内角和定理的证明》（北师,八年级下册）,我采用了多种方法去证明。我认为这对于激发学生的学习兴趣,培养学生的探索精神具有很好的作用。它的证明方法很多,基本思路是把分散的三个角“搬”到一起,从而构成一个平角,而作平行线则是将角“搬”到一起的基本途径。我们可通过撕纸拼角实验来验证。常见证法如下：     

命题逻辑的理想形式系统

以双否律、交换律、结合律、分配律和吸真律为公理,仅用等值置换作推理规则,建立了命题逻辑形式系统E。给出了内定理证明的普遍能行方法和十个基本定理的形式证明。提出理想形式不仅仅公理应具有一致性、独立性、完备性,而且推理规则应具有保真性、可信性、能行性。论证了E是理想形式系统。     

TEC模式下的《三角形内角和定理的证明》教学

贯穿“数学思想、数学情感教育的合作教学模式”即TEC教学模式。它注意知识内容的背景和数学情境的引入,使学生能够置身于问题情境中,在轻松愉快的气氛和生动活泼的环境下进行抽象、转化,通过学生自己的探索、小组交流讨论、教师引导等各种方式获取数学知识,解决数学问题,从而培养与发展学生数学观念、形成“数学地”看待问题、处理问题的意识。本人就（北师大版）八年级下“三角形内角和定理的证明”一课的教学为例,谈谈如何在本课开展TEC模式教学。     

基于DTRC的形式自动证明平台及其应用

动态项重写计算(DTRC)是项重写系统(TRS)的元计算模型,具有层次化结构和动态重写等特征,可应用于归纳定理的形式自动证明以及项重写系统弱终止性的形式自动证明等方面.文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用.     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

保密通信中两种零知识证明算法的分析及改进

介绍了零知识证明的定义,数学模型及其应用,基于不可否认签名和可证实签名的思想,对一种拥有DSA数字签名的零知识证明方案进行了分析。讨论了一种基于模运算的新的零知识证明算法,并对其进行了改进。     

刑事判决的证明标准研究

刑事证明标准是近期刑事诉讼法学界争议的热点问题,它涉及到拟议中的<刑事证据法>有关刑事证明标准的规则问题.文章从刑事判决的证明标准入手,对刑事判决证明标准的证据规则作了理论概括.刑事判决的证明标准是关于刑事实体法事实中有罪评断的证明标准,不包括无罪评断的证明标准;刑事判决的证明标准在刑事诉讼的证明标准层次中是最高的证明标准;刑事判决的证明标准是个别与一般、绝对与相对辩证统一意义上的客观真实;刑事判决的客观真实证明标准是应当而且可以具体化为各种证明规则的.     

推理树概率逻辑公式集有效赋值列数计算

本文通过对概率逻辑推理树知识结构模型的研究,得出在树推理中对矩阵列消减起主要作用的相邻关系及其计算方法,给出了树推理模型的有效赋值列数的一般计算方法。     

可判定条件下的零知识证明

零知识证明是密码学关注的问题之一。在可判定条件下,运用代数学中群的共轭性质进行零知识证明,其实例就是数学中关于寻找共轭子的困难性问题。     

逻辑和面向对象范例集成的研究与实现

提出了结合逻辑和面向对象范例的一种新方法,其特点是在统一的逻辑语义和对象语义解释的基础上,同时支持逻辑语言的描述性特征,和面向对象语言的结构化、信息隐藏、继承等特性;并在逻辑语言的Ｈｅｒｂｒａｎｄ解释基础上,探讨了逻辑对象的语义解释;最后给出了我们根据这种方法设计并实现的面向对象逻辑程序设计系统所提供的对象操作原语。     

基于模糊时间Petri网的决策融合模型及时间推理

针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点,提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合过程。通过建立相应的FTPN模型,并利用时间推理的方法来分析模糊时间Petri网的运行行为,说明其在作战指挥决策融合中的应用。     

量子环流理论研究富勒烯分子的磁学性质

在原子轨道线性组合方法中引进规范变换,推导出在外加恒定磁场下分子中的电子环流表达式,应用该理论导出了分子磁化率的一般公式,并对Ｃ６０和Ｃ７０分子中π电子的磁化率进行了计算。     

智能制造技术和智能制造系统

智能制造技术（ＩＭＴ）和智能制造系统（ＩＭＳ）是当今先进工业国家争相开发和探索的高技术领域之一。本文简要地介绍了该项技术的基本内容和原则,并着重从智能控制的高度概述了制造过程建模与信号分析,控制策略与方法等核心技术。本文还通过一个实例简介了ＩＭＳ的结构,借以说明该领域发展趋势。     

利用二坐标R站实现运动辐射源的三维跟踪

本文提出了一种基于目标斜距两次测量值之差和方位角信息的定位跟踪算法,详细分析了该技术的定位原理和可行性。在辐射源匀速直线运动的条件下,如果能够不测俯仰角而只用方位角和距离差实现对目标的定位与跟踪,将不仅可以简化接收站的设备,而且还能够增强其独立性能,因此本文讨论的算法对于单站被动定位跟踪系统的实用性具有重要意义。本文通过典型目标航迹的计算机仿真,对算法的性能做了评估．     

一种实现预置式均衡器的新方法

本文根据话密机采用的预置式均衡器的特点,提出了用数字频谱分析技术来确定音频转接段数的新方法。这种方法实现简单,效果良好。     

火灾调查推理模式探讨

火灾调查是一种回溯推理。根据蕴涵关系的逻辑性质和异因异果原理,可建构正确的火灾调查推理模式。由这种推理模式可明确火灾调查结论正确与否的事理根源,从中会得到许多有益启示。     

自组织特性图形的检测理论与应用

人工神经网络模型已研究多年,已使得在信息处理领域中具有类似人的性能,本文将Ｋｏｈｏｎｅｎ自组织特征映射的学习规则进行了修改,以降低拓扑邻域边界上的模糊性,而后,用它的联想存贮功能可以实现输入统计过程的特征存贮,以达到检测的目的。本文也讨论了多维检测的数学机理,作为它的一个结果,可以得出高精度的检测性能。     

精密坐标镗床CNC系统研究

介绍了作者研制的通用ＣＮＣ系统,该系统以ＡＳＴ３８６作为控制器,采用ＰＷＭ驱动直流伺服电机,并配以软、硬件接口;文中对该系统的主要组成部分作了分析,在此基础上应用传统的ＰＩＤ控制方法设计数字控制器;最后通过实验验证了该系统的输出响应和控制器的性能。     

生产企业计算机管理信息系统经济效益评价方法

对生产企业ＭＩＳ经济效益的评价方法作了新的探讨,分析了ＭＩＳ获取经济效益的过程,提出了评价算法,讨论了评价中应注意的问题。文章中首次引入若干“效果系数”,从不同角度体现了ＭＩＳ运行后对经济效益的不同影响程度。