四色定理论证

用离散数学之图论证明"四色猜想",巧妙而深层次地应用数学归纳法和换色法,解决了肯泊(A.Kempe)百多年前提出"不可避免构形集"中的一个地域有五个邻域的情况的所谓"可约性"问题,同时指出了1890年希伍德(P.Heawood)举出的25阶反例(当时,他以此说明"四色猜想"不成立,而"五色定理"成立)与本文中的一种可换色(即"可约性")的典型实例类同,进而简捷而理想地证明了"四色猜想"是成立的,使"四色定理"得到科学的论证。     

柱塞座内球百浮动铰刀

我厂柱塞泵青铜座内球面加工,是生产上一项关键,原采用高速钢四刃球形铰刀分粗精两次铰削加工。由于零件精度、光洁度要求都比较高(见图1),着色检查接触面积要求达80％以上。用普通结构四刃高速钢球形铰刀     

时间触发以太网拜占庭容错方法的形式化验证

对于时间触发以太网的拜占庭容错方法,已有的推理性论证表明网络的分布式时钟同步机制有利于容错过程中实现交互一致性。为对该容错方法的正确性进行严格验证,进一步采用模型检查的形式化分析手段,通过符号分析实验室(SAL)形式化工具,构建了网络节点模型,建立了时间触发体系结构下的拜占庭容错场景,设定了容错操作活性、一致性和有效性等属性的形式化定理。模型检查的结果表明:在三冗余独立路径条件下,该方法可以容忍一个拜占庭故障,且在存在指令/监视对(COM/MON pair)的条件下可以容忍2个高完整性配置节点的"不一致遗漏"故障。与推理论证手段相比,SAL模型检查为时间触发交换式网络在航空航天高安全关键等级系统中的容错配置提供了更规范的依据。     

上海机场(集团)有限公司

上海机场集团有限公司司标图案寓意1.标志图案由上海机场(集团)有限公司的英文缩写"SAA"组成,"S"寓指上海,两个"A"分别寓指虹桥、浦东两个国际机场。整个图案体现了"一市两场、两位一体"的特征。2.图案的标准色为上蓝下绿:"蓝色"代表浦东国际机场(原有的)标准色,"绿色"     

最小成本加快法中的优化组合方案定理及其计算机程序

本文提出了最小成本加快法中寻找多关键路线情况下的组合压缩方案的方法,并用图论中有关割集的理论进行了论证,得到了优化组合方案定理。该定理指出:在由网络计划图中的关键路线构成的子图中,如果每项作业都允许压缩或放宽作业时间,则其最小费用率完全割集中的每个正向割弧(作业)压缩单位时间,每个反向割弧(作业)放宽单位时间,则总工期以最低成本压缩单位时间。文中详细介绍了这种算法。     

巴哈马幸福的猪

巴哈马,一个拉丁美洲的群岛国,加勒比海上的一颗闪亮明珠,五色斑斓,美如童话。在巴哈马群岛中,有个著名的"猪岛",生活着一群世上"最幸福"的猪。     

菱形式密布孔板的冲裁法

某些设备中的滤油板、滤渣板、消音板(或消音管),都稠密地分布了大量的小孔。这些小孔的分布形式常见于下列两种(取相邻的两行两列之四孔来分别,即得到两种形式):一、四孔中心分布于矩形的四个顶上,如图1·a之细实线方框所示,称这种孔板为矩形式密布孔板,二、四孔中心分布于菱形的四个顶点上,如图1·b所示,则称这种孔板为菱形式密布孔板。图1·b为某型号摩托车上消音管所用的孔板。     

一类非线性微分方程极限环的唯二性和唯n性

本文给出微分方程n＝ψ（y)-F(x)恰好y=g(x)存在n个极限环的充分条件定理。本文是在更广泛条件下－－F(x）为n级拟奇可微函数的情形进行讨论。定理的给出的条件,更充分地体现存在n个极限环方程的实际背景的物理意义。     

论文格式

正论文必须采用word 2007或word 2010版本的文档,否则不予受理。1.文章字数(包括摘要、图表和参考文献),综述性文章一般不超过8000字,专题性文章一般不超过6000字。2.文章结构标题:二号黑体字,一般不超过18个汉字。作者姓名:如超过两位作者,姓名之间用逗号隔开,为小四号仿宋体。作者单位:五号宋体,用圆括号括起来。摘要:"摘要"两字为小五号黑体,摘要内容不超过200字,为小五号宋体,行间距1.5。     

算术平均序列的收敛性

下述命题是熟知的:假设 {x_n)_(n=1)~∞是一数列且x_n=a 则1/n x_=a,并且我们知道它的逆命题是不真的。本文给出两个定理和两个推论,定理1断言S_n=1/nx_i 收敛于 a 和 b 的某种组合,这里 a 是(x_n)的子列极限,b 亦如此。在定理2中我们给出1/nx_i=0的一个充要条件,两个推论也是有趣的。     

Image Algebra and Automatic Shape Recognition

Shape recognition can be carried out with set theory operations. In addition to the usual set theory operations of union, complement, etc., the operation of erosion between two sets (or images) is incorporated. Then it is shown that these operations between sets serve as a basis for representation theorems for all, generally nonlinear, translation invariant transformations, (i.e., transformations which commute with translations). By treating images and shapes as point sets in n-dimensional Cartesian space (n = 2 for binary images, n = 3 for gray scale images, and larger n for images that incorporate color, polarization, and the like), the problem of shape or pattern recognition is converted to the problem of detecting the occurrences of specific sets within an image. This problem is closely related to the operation of erosion. By introducing complement images and complement shapes, a generic computer for automatic shape recognition is found which provides a constructive proof of the representation theorem and related results.     

基于领域的机器定理证明的研究

采用分类的思想,对领域内的证明问题进行了归纳总结、抽象,在计算机上建立了相应的模型,采用基于知识的推理技术,设计了机器定理证明的实现流程,并针对某种具体类型实现了相应的原型系统,得到了满意的结果。分类思想为具有较强客观规律问题的机器自动求解提供了思路。     

几何规划在飞机总体设计中的应用

系统地讨论了代数多项式的算术－ 几何均值定理,并对原型几何规划理论作出了简明的推导与分析。提出了具有缩并迭代特性的几何规划求解理论和编程步骤。还用２ 个工程设计的优化求解算例来说明这种缩并迭代几何规划优化求解特点和优点。例１ 显示了几何规划的工程实用性和简易性;例２ 通过轻型飞机总体方案参数优化,说明所提出的优化方法,可随设计人员思路的变动而得到及时地相适应。     

Navigation Computation in Terrestrial Strapdown Inertial Navigation Systems

The problem of computing the translational velocity and position relative to earth, which has to be solved by the processor of a strapdown inertial navigation system is discussed. Several approaches are briefly examined with consideration given to the form in which the sensor data are generated and to the computational burden involved in each approach. A computational scheme is finally selected in which the computation is divided into three rate levels. The differential equations of this scheme are developed and the assumptions on which the development is founded are stated. Three variants of the basic scheme are presented, each based on a different level of simplifying assumptions. The main purpose of this work is to develop the differential equations to be solved at each stage of the computation, rather than the numerical implementation of the solution. This work supplies the theoretical background for some of the numerical methods which are now being used.     

试论资产评估

在改革开放过程中,经济生活中出现了许多新变化,尤其是产权转让过程中的资产评估是一个迫切需要解决的理论问题与实际问题。本文着重讨论资产评估的五个问题:资产评估的性质与内涵、资产评估的理论基础、资产评估的标准、资产评估的方法以及资产评估机构的设置。     

CMOS图像传感器插补环节引入噪声及对噪声传播的影响

研究了CMOS图像传感器图像插补引入色差噪声及对噪声传播产生的影响,建立了问题分析模型,得到规律性的结论：插补本身引入色差噪声,在图像边缘处产生伪彩色及拉链效应,不同插补方法引入不同结构的噪声;插补将各彩色通道不相关噪声变为相关噪声;当输入噪声水平较低时插补产生的伪彩色占主导地位,但噪声变大时,噪声传播将占主导地位。本文结论对CMOS图像传感器设计具有指导意义。     

空间凸三角网上的光滑二次插值

二次曲面（锥面、椭球面、抛物面等）是人们最熟悉的曲面类型,它在飞机机身的外形设计及体素拼合等方面都有广泛应用,但用二次曲面来插值一组给定的空间散乱数据却比较少见。本文提出一种空间凸三角网上构造分片光滑插值曲面的方法,它具有所需顶点信息少,计算方便等优点。     

弹翼展开机构可靠性分析

提出了一种折迭弹翼机构在指定时间内展开到位的可靠性分析方法，文中采用序列响应面法和全概率定理解决了涉及机构动力学随机参数及发射攻角随机参数的双重随机性问题，基于本方法所研制的RSMM程序应用效果良好。     

对涡喷七发动机全加力状态温度高推力小的剖析和排故措施

 涡喷七发动机全加力状态温度高推力小问题,是长期没有解决的生产关键。文章从实际出发,进行理论计算和统计分析,从而找到产生故障的原因,其中有大气湿度的影响,发动机涡轮部件性能退化,~t4温度受大气温度的影响和~t4温度场的不均匀性。针对以上原因,提出了行之有效的排故措施,对解决我国当前使用的双转子发动机经常出现的温度高推力小问题有广泛的现实意义。