基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

Improved genetic operator for genetic algorithm

The mutation operator has been seldom improved because ressearchers hardly suspect its ability to prevent genetic algorithm(GA) from converging prematurely.Due to its importance to GA,the authors of this paper study influence on the diversity of genes in the same locus,and point out that traditional mutation,to some extent,can result in premature convergence of genes(PCG) in the same locus.The above drawback of the traditional mutation operator causes the loss of critical alleles.Inspired by digital technique,we introduce two kinds of boolean operation into GA to develop a novel mutation operator and discuss its contribution of preventing the loss of critical alleles.The experimental results of function optimizatioin show that the improved mutation operator can effectively prevent premature convegence,and can provide a wide selection range of control parameters for GA.     

具有波动算子的非线性Schroedinger方程的谱方法

本文讨论了一类具有波动算子的非线性Schroedinger方程的周期初值问题，构造了半离散和全离散的Fourier谱格式，利用有界延拓法，证明了格式的收敛性与稳定性，并给出了误差估计，为该模型的数值分析提供了理论基础和一个有效的算法。     

水力发电厂一次设备的检修与维护

水力发电厂的设备检修与维护管理科学化是现代企业组织生产和管理的重要手段.本文对水力发电厂一次设备的实施状态维修工作进行了探讨.     

电池安全问题浅谈

近几年关于手机、笔记本电池爆炸、起火的安全事故频频发生,世界各大手机、电脑公司也纷纷陷入"电池门"事件.电池的质量受到了人们的高度关注,文章概述了锂电池的特点及运用现状,介绍了近年来发生的典型案例,并从技术角度和政策层面分析了发生事故的原因,并对目前的现状提出了更深层次思考.     

求解Po-函数非线性互补问题的一个下降牛顿算法

构建了一个新的光滑价值函数来求解Po-函数非线性互补问题.区别于以往所构建的价值函数,构建的新的光滑价值函数不含任何光滑参数.对于Po-函数,可以得到,此价值函数的任一稳定点都是非线性互补问题的解.基于这个简单的光滑价值函数,提出了求解Po-函数非线性互补问题的一个下降牛顿算法.在适当的条件下,该算法的全局收敛性及局部超线性(二次收敛性)也得到了证明.     

城市10kV配电网规划方法探讨

中低压配电网络是城市电网的重要组成部分,城网中有70%～80%的电能是通过中低压配电网供给用户的.近年来,电力供求关系发生了重大变化,由过去的长期缺电走向了缓和.但是,由于多年以来对配电网的建设存在"重发、轻供、不管用"的问题,致使配电网的建设十分落后和脆弱.     

一类对称的Kolmogorov系统的定性研究（Ⅰ）

本文对一类对称的三次微分系统进行探讨，对每个奇点导出表示其鞍结性的型号公式。给出（Ｋ３）所有的六种全局相图。