自然推理系统中的假设前提引入与消去规则

形式化的自然推理系统最显著的特点就是引入假设前提.在自然推理中,可以根据需要随时引入假设前提,但是推理的结论不能依赖于假设前提,因此假设前提在其完成了使命后,必须被消去.运用假设前提消去规则进行推理就是按照“如果A1,A2,…,An├B,那么A1,A2,…,An-1├An→B”的规则进行语形变换的过程,但是理解假设前提消去规则何以能够消去假设前提这个问题,涉及到对前提与结论之间真假制约情况的讨论,属于语义解释的范围.     

浅谈经济学数理模型中假设的真实性

从建模这一科学研究方法的本质出发,通过分析若干具体的经济学模型,探讨经济学数理模型中前提假设的真实性问题。指出经济学数理模型中前提假设的真实性往往是一种抽象、近似的真实。而且,为了数学上的易处理性,会出现与现实严重不符的非核心假设,这也许会对模型的洞察力有益。     

逝去的经济学泰斗——米尔顿·弗里德曼学术思想评述

本文对弗里德曼的持久收入假说、货币数量论、自然率假说、自由市场理论等学术思想作了简要介绍和评述。并结合弗里德曼的三次中国之行,分析了他的学术思想对我国经济发展的借鉴意义。     

弗里德曼消费函数和持久收入

对弗里德曼消费函数和持久收入进行了较深入的研究，进一步阐明了弗里德曼经验公式所对应的经济环境，并得出一个新的持久收入估计公式．     

弗里德曼空间和宇宙论

利用弗里德曼空间理论，讨论了宇宙学中的一些问题，主要内容：（１）弗里德曼空间的度规张量；（２）弗里德曼空间的能量动量张量；（３）弗里德曼空间的演化和温度的关系；（４）红向移动的理论公式．     

狭义相对论效应物理本质的初步探讨

本文以四个物理假设为前提,其中假设一、二决定了惯性系内回路光速的测值恒为C的结论:再加上假设三、四,它们共同决定了物体运动时产生的具体物理变化,即钟慢、尺缩、质速关系等。在本文假设下,如果采用与狭义相对论相同的校钟方法,参照任一惯性系对上述动体效应的观测结果与狭义相对论的结论相同。     

量本利(CVP)分柝扩展数学模型初探

传统CVP分析的假设前提在很大程度上制约了其适用范围.本文在分别放宽其中一个假设条件,其它假设条件不变的前提下,建立了多品种CVP分析模型、单品种价格变动CVP分析模型和单品种销量随机变动CVP分析模型.     

语言输入与输出理论研究与英语教学

通过介绍Krashen的"输入假设"和Swain的"输出假设",分析了两种假设的理论意义;继而通过探究目前我国大学英语教学中输入和输出方面存在的问题,得出结论:英语学习中的输入与输出是密切相关,相辅相成的.输入是输出的必要前提,输出是输入的目的,反过来对输入具有反拨作用.     

哈佛大学经济学院 仓廪实而知礼节

全球经济危机会威胁世界和平。哈佛经济学家本杰明·弗里德曼(Benjamin Friedman)担心人们会变得不宽容且自私。德国《时代周报》对他进行了采访。记者:弗里德曼先生,我们西方人已经拥有了汽车、冰箱、iPod,为什么还要发展经济?     

浅议众数计算公式

通过对传统的众数计算公式的构建前提缺陷的分析 ,提出了在新的假设前提下改进的计算公式 ,并从理论和实用方面论证了其可行性     

计算机网络的负载平衡问题

网络负载的平衡问题是计算机并行计算的基本理论问题之一,也是人工神经网络理论的一个重要问题.本文提出两个基本假设,并在理论上证明这两个基本假设是网络负载最终得以平衡的充分条件.     

空气间隙式膜蒸馏的传质机理

空气间隙式膜蒸馏是一种新型膜分离技术。采用一维定常流动及空气间隙层中不冷凝的假定,对空气隙膜蒸馏系统的传质传热机理进行了理论研究,数学推导中对相关物理量进行了量阶分析,提出小量假设,导出了计算蒸馏通量的理论公式。还通过膜蒸馏实验测定自来水、盐水、染色水和碱溶液等４ 种不同溶液的膜蒸馏通量,理论分析和实验结果的比较表明所提出的理论公式能正确预测蒸馏通量     

超速叶轮的弹塑性分析

从旋转圆盘的理论分析出发,对增压器压气机叶轮做了一系列的简化与假设,得到叶轮在弹塑性状态时的应力场、位移场及残余变形场的理论解,为叶轮的超速加工工艺规程提供了理论的定量依据．     

普通高校构建综合性体育俱乐部制的研究

普通高校构建综合性体育俱乐部，是高等教育改革的需要．通过调查和分析我国高等体育俱乐部的现状，指出在普通高校构建综合性体育俱乐部制是切实可行的，进而提出在高校建立综合性体育俱乐部的基本设想和发展综合性体育俱乐部的建议，为高校构建综合性体育俱乐部模式提供理论依据．     

弦支穹顶静力性能的理论分析及实物加载试验

分别采用上弦节点刚接和铰接的假定，利用ANSYS程序分析了某弦支穹顶屋盖结构的静力性能．结果表明，两种情况下的杆件内力和位移接近，可以采用上弦铰接假定进行弦支穹项的理论分析．对半索半杆形式的弦支穹顶进行了实物加载试验，阐述了加载制度、测点布置及试验过程，同时进行了钢丝绳弹性模量测试试验．比较分析了杆件应力和节点的试验值与理论值，结果表明：在低水平荷载下，杆件应力和节点位移吻合较好，高水平荷载下受试验环境影响，试验值大于理论值；随着荷载的增加，均出现外圈索张紧而内圈索松弛的现象，指出在弦支穹顶设计时应合理设置内环索的预应力值．理论分析和实物加载试验均表明弦支穹顶具有良好的受力性能，用钢量少，施工方便，造价低，具有广阔的应用前景。     

投资决策中的信息价值分析

在一定假设条件下,建立了投资者对信息的价值进行分析和判断的理论模型,结果表明信息服务的精度、投资者的风险厌恶程度、风险资产的供给量和投资者对风险资产收益分布的先验判断是投资者对信息进行价值判断的关键因素。     

蜂窝结构圆柱壳体模态密度

本文对蜂窝结构圆柱壳体模态密度进行了理论和试验研究,建立了蜂窝结构圆柱壳体模态密度的计算公式,根据等效圆柱壳概念,该公式可用于计算蜂窝结构圆锥壳体的模态密度,理论计算结果与实验结果具有较好的一致性。     

硬质包裹体在煤层中分布的模拟研究

文章通过分析假设，建立了硬质包裹体在煤层中分布的模拟程序，并模拟分析了硬质包裹体在煤层中的四种分布状况，为研究截割刀具的随机载荷、以及工作机构和整机的动态设计奠定了基础。     

1/4车辆磁流变悬架非线性振动分析

采用非线性Bingham模型,研究基于磁流变阻尼器的1/4车辆悬架的非线性振动特性.在合理假设的基础上,首次得到简谐激励下悬架簧上和簧下质量的非线性振动响应,并给出磁流变阻尼车辆悬架的簧上和簧下传递系数的理论解,并用数值模拟的方法验证了理论分析的正确性.     

改进的Jelinski-Moranda软件可靠性增长模型

Je linsk i-M oranda(J-M)模型是基于失效间隔时间的较理论化的可靠性增长模型,用于软件系统测试阶段的可靠性度量。J-M模型存在的问题是假设条件理想化,实际应用环境难以满足,而且模型的失效间隔时间数据收集很困难,实用性差。该文提出一种改进的J-M可靠性增长模型,在J-M原模型基础上改进并引入更加合理的假设条件,改进后的模型基于缺陷计数,数据收集更容易。结合盐湖城奥运会信息系统软件测试数据对改进的模型进行检验,证明改进的模型预测有效性好,同时还保持了原模型的简单性。