罗尔中值定理的推广研究

高等数学中微分学占有很大比重,相对来说微分学中的基础理论比较重要也比较基本,微分学的科学价值在于逻辑运用。其中罗尔中值定理是最基本也是应用最为广泛,在应用过程中有着"钥匙"、"桥梁"的作用。充分利用开区间、闭区间以及半开半闭区间条件的转换,来运用罗尔中值定理的推广及其证明,并得出不同条件下的结论。     

计算机与智力:推理过程的机械化

在概述几何定理机器证明近期成果的基础上,提出了推理过程机械化的一个关键问题,即对计算机推理产生的那些不能用人工检验的结论如何看待的问题。     

二阶常微分方程组边值问题正解的存在性

利用锥上不动点定理,研究了一类二阶非线性常微分方程组四点边值问题正解的存在性.在非线性项满足一定增长的条件下,得到了至少一个和两个正解存在的几个充分条件.     

论抗辩权和形成权的关系

抗辩权乃专指对抗他人请求权行使的权利,亦即拒绝相对人请求给付的拒绝给付权;形成权是指权利人得依一方的单独行为,使法律关系发生、变更或消灭之法律效果的权利。抗辩权和形成权同为权利的一种类型,而非为形成权的一     

会计盈余信息选拔的不可能定理及其理论深化

在美国等较为成熟的股票市场中,会计盈余信息的主要功能是定价,但是在政府管制较为严格的中国股票市场中,会计盈余信息的首要功能是"选拔".文章对中国证监会和上市公司之间的博弈构建了数学模型,提出了"会计盈余信息选拔的不可能定理":若以下两个条件存在--(1)监管部门设定选拔标准有一个上限,或(2)上市公司通过合法或非法方式虚报盈余的"虚报成本系数"较小,那么单纯依靠会计盈余信息将无法选拔出理想的目标公司.由此得到的可能的理论深化是:度量标准应当与契约形式相配合,如果制度环境本身限制了会计盈余信息作为度量标准的使用,那么改善的要点不应该集中于会计盈余信息本身,而应该在于调整博弈制度的安排.同时也为中国新会计准则执行研究提供了新的理论视角.     

智能决策支持系统中CBR、RBR的集成

本文主要探讨智能决策支持系统中两种常用的推理方法(基于范例的推理Case-Based Reasoning,简称CBR与基于规则的推理Rule-Based Reasoning,简称RBR)的集成问题,重点讨论CBR与RBR的集成模式,知识表示和知识转换等.文中提出了一种新的知识表示方法,并在此基础上给出了一个CBR与RBR的集成框架.     

赫克歇尔-俄林定理在中国的实证检验——基于产业要素密集度的时序横截面模型分析

本文提出了一个全新的要素禀赋理论实证思路,并以美国进口市场为背景,采用面板数据（Panel Data）模型,在假定中国是劳动力要素丰裕国家的前提下,以中国国家统计局及美国国际贸易委员会公布的1998—2006年相关统计数据为基础,对中国14个不同行业数据期间以市场份额衡量的出口能力与反映行业“要素密集度”、“产业竞争状态”、“规模经济效益”和“行业开放程度”的相关代理变量之间的关系进行了实证分析,并成功验证了要素禀赋理论中Heckscher-Ohlin定理对解释中国出口贸易的有效性。     

浅谈高中数学解题的思维策略

数学解题能力是衡量学生数学能力高低的一个重要指标,当前高考的能力立意命题也说明高中数学教学要更多的关注学生的数学能力。高中数学的数学思维虽然并非总等于解题,但可以这样讲,高中数学思维的形成是建立在对高中数学基本概念、定理、公式理解的基础上的;发展高中学生数学思维最有效的方法是通过解决问题来实现的。     

标准操作程序与墨菲定理

标准操作程序（SOP）是将某一事件的标准操作步骤和要求以统一格式描述出来，用来指导和规范日常的工作，其核心是将细节进行量化，即将程序中的关键控制点进行细化和量化。标准操作程序是经过严格分析、精心设计并经实践检验的业界共识，它考虑了效能的优化、操作的简便和充分的安全裕度。然而，标准操作程序通常不是单个的，它是一个整体和体系，必须通过人一步一步完成，在这个过程中，有许多不确定的因素将直接或间接地影响和干扰标准操作程序的执行，其中包括一些非技术的因素，在程序系统中生成一些“缝隙”。