计算机怎样证明几何不等式

阐述了一个基于胞腔分解的不等式机器证明软件的原理、算法和使用方法,这一用Maple语言编写的程序能有效地处理含有根式的不等式型定理,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效,对一类代数结构较为简单的几何不等式,能令计算机自动生成和输出用自然语言写出的证明。     

Extracting multiple layers from data having graph structures

Much data such as geometric image data and drawings have graph structures. Such data are called graph structured data. In order to manage efficiently such graph structured data, we need to analyze and abstract graph structures of such data. The purpose of this paper is to find knowledge representations which indicate plural abstractions of graph structured data. Firstly, we introduce a term graph as a graph pattern having structural variables,and a substitution over term graphs which is graph rewriting system. Next,for a graph G,we define a multiple layer (g,（θ1, …,θk)) of G as a pair of a term graph g and a list of 4 substitutionsθ1, …,θk such that G can be obtained from g by applying substitutions θ1, …,θk to g. In the same way,for a set S of graphs, we also define a multiple layer for Sas a pair (D,@) of a set 5 of term graphs and a list 6 of substitutions. Secondly,for a graph G and a set S of graphs,we present effective algorithms for extracting minimal multiple layers of G and S which give us stratifying abstractions of G and S,respectively. Finally,we report experimental results obtained by applying our algorithms to both artificial data and drawings of power plants which are real world data.     

理想气体任意元过程热容的几何判定法

本文给出了P-V图上理想气体任意元过程热容正、负的几何判定法,并用此方法对理想气体多方过程的热容进行讨论     

实际工况下的包络环面蜗杆设计参数优化

平面二次包络环面蜗杆因具有承载能力大,润滑性能好,传动效率高等优点而得到广泛应用,但这种蜗杆传动对误差和受载变形的影响敏感.在实际工况条件下,作者基于传动副的实体模型,采用3-D接触有限元方法综合分析了平面二次包络环面蜗杆的母平面倾斜角β、蜗杆分度圆直径系数k1、主基圆直径系数kb和I传动比对传动副啮合性能和承载能力的影响,认为选取较大的母平面倾斜角β和较大的蜗杆分度圆直径系数k1对传动副的传动质量有利.这为在工程实际中结合具体工况优选设计参数提供了参考依据.     

BS-矩阵线性互补问题误差界的一个新估计式

根据BS-矩阵的特殊结构和性质,利用严格对角占优M-矩阵的逆的无穷大范数范围,结合不等式的放缩技巧,改进了B^S-矩阵线性互补问题的误差界估计式.理论分析和数值算例均验证了新估计式的有效性.     

Dashnic-Zusmanovich+矩阵线性互补问题解的误差界估计

利用Dashnic-Zusmanovich₊矩阵的定义,通过不等式放缩技巧和Dashnic-Zusmanovich矩阵逆的无穷范数估计式得到Dashnic-Zusmanovich₊矩阵线性互补问题解的误差界.     

电子-质子散射中几何标度效应的研究

在色玻璃凝聚理论框架下,我们对x≤0.01情况下电子-质子深度非弹性散射中新联合实验数据进行全局分析,研究能在全局τ区间内描述几何标度效应。利用新联合实验数据验证了理论上预言的几何标度效应,研究结果显示在高能情况下色玻璃凝聚态存在的可能性。     

In Search of Resonance

In this paper I explore the possibility of a complementary relationship between action research and the management and systems sciences. A range of purposes that action researchers and management and systems scientists pursue is initially set out. The paper then explores whether this diversity of purposes and the ways they recommend people to proceed may come together in a new whole that is greater than the sum of its parts. A potentially useful realization of this for practice is a reflexive process of critique, choice, and action, which is elaborated on. The paper then investigates what view of holism arises from the preceeding discussions.     

表层残余应力对几何形体热变形的影响

机械设备在运行过程中由于运动副中的摩擦与热源的作用,各零部件将产生热变形。热变形的大小 受零件的形状,材料以及表导残余应力等因素的影响。该文以简单的几何形体－厚壁长圆筒为例,着重分析了表层残余应力对几何形体热变形的影响,这种影响在超精密加工和纳米技术中是不能忽略的。     

两个正定Hermite矩阵间的一种半正定关系

本文证明了两个交换ｎ阶正定Ｈｅｒｍｉｔｅ矩阵Ａ≥Ｂ的如下半正定Ｈｅｒｍｉｔｅ关系：１８（Ａ－Ｂ）２Ｂ－１≥１２（Ａ＋Ｂ）－（ＡＢ）１２≥１８（Ａ－Ｂ）２Ａ－１且等号成立的充要条件为Ａ＝Ｂ