一个不等式的推广及猜想

在浏览《中国不等式研究小组》（http：／／old．irgoc．org／）网站时,发现杨路教授应用通用软件Bottema给出了以下不等式的一个“机器证明”：     

我国航空工业中结构分析通用软件的发展及应用前景

简要介绍了国外几个在航空工业中应用的著名结构分析通甩软件的发展情况和趋势,回顾了我国航空工业中结构分析通用软件的发展过程,以表格形式给出我国航空工业部门结构分析软件在运行环境、功能、性能、材料、载荷、前后置处理和用户界面等方面和国外同类软件的比较,和从设计部门对结构分析软件的要求,提出了结构分析通用软件在航空工业中的发展方向和前景。     

基于流程的动车组制动系统试验方法

针对动车组制动系统试验自动化智能化的需求,提出了一种基于流程的动车组制动系统试验方法,将工艺流程编辑和调试运行分开,通过一个通用软件平台加载不同的调试工艺流程完成试验;该方法定义了一套指令信号描述规范,工艺人员按照规范以流程化的方式描述调试流程,在调试过程中采用通用软件平台依次执行调试步骤,驱动仪器完成相关动作;通过该方法固化了调试流程,提高了1倍的调试效率。     

一种裂纹扩展的有限元仿真分析方法及其实现

为分析含多裂纹体在任意载荷下的断裂过程问题,给出了一种基于有限元的仿真方法及程序.基于商业有限元软件的应力分析结果和合适的断裂力学准则,判断裂纹的扩展以及扩展角;通过对每一个裂纹尖端扩展影响区域进行单元重划分,实现了多裂纹任意扩展的几何描述有限元模型更新.由于只对裂纹扩展区局部进行有限单元更新,网格划分和前期网格结果到新网格的映射的工作量相对较小,典型的裂纹扩展分析实例表明本文方法和程序的有效性.     

国际通用型数据处理软件的比较

引言 数据处理包括数据管理和数据分析两部分.在计算机技术特别是软件高度发达的今天,数据处理已完全可利用微机来完成了.目前商品化的数据处理软件很多,一般人们所说的国际通用型软件主要是指SAS(Statistical Analysis System)、SPSS (Statistical Package for the SocialSciences)和BMDP(Biomedical ComputerPrograms).这三大软件的共同特点是功能齐全、使用方便、灵活、容量大、速度快、精度高、适用的机型广泛、与其它软件的接口多、数据类型不限.值得强调的是使用这三大软件并不需要具备很多计算机知识,没学过高级语言(如(BA…     

一个不等式的推广及猜想

在浏览《中国不等式研究小组》(http://old.irgoc.org/)网站时,发现杨路教授应用通用软件Bottema给出了以下不等式的一个"机器证明":