关于M(x)=o(x)的一个初等证明

本文的主要结果为:设μ(n)是M?bius函数,x>0为实数,若M(x)=■,则M(x)=o(x),x→∞.完成了该定理的初等证明.     

基于符号定向图(SDG)深层知识模型的定性仿真

定性仿真是系统仿真技术中的重要研究和应用方向，同时也是人工智能技术的一个重要方面。近年来，随着现代计算机技术的日新月异，使得基于符号定向图(SDG)深层知识模型的定性仿真研究和应用取得了显著进展。SDG模型能够表达复杂的因果关系，具有包容大规模潜在信息的能力，因此特别适合于过程系统危险评价(PHA)、危险识别与故障诊断。SDG模型结构简单，易于建立和修改。然而高质量的SDG模型必须采用经验数据和定量动态仿真检验和校正。采用SDG模型进行定性仿真的关键技术是高效双向推理“引擎”，由计算机软件自动完成。目前，在计算机辅助过程系统危险评价方面，SDG是最有效的方法；在过程系统故障诊断方面，其完备性较好，但诊断分辨率尚待提高。今后的研究应解决：定性仿真和定量仿真相结合；SDG自动建模；通用推理软件平台；大系统高分辨率故障诊断等问题。     

精馏塔理论塔板数计算方法的评述及其新的简捷算法——图算法

化学工程中精馏塔的理论塔板数N是塔器设计的一个重要数据。它与最小回流比R_m、回流比R及最小理论塔板数N_m间具有一个复杂的函数关系,故其计算是相当麻烦的。本文对现有的各种较为简捷的算法进行了评述,并提出了一种极为简捷的算法——图算法。利用此法,无需进行数值计算,只用两条直线即可简捷地求出准确的结果。     

关于距离图着色问题一个结果的新证明

利用数论的方法，重新确定了距离图G（Z，D）的圆色数Xc（D）和分式色数Xf（D），其中D={a,b,a＋b,2（a＋b）}是一个特殊的四元素距离集．     

pn-1(Sn-M,2)的推扩

应用同调方法，给出贝蒂数P^n-1（S^n-M，2），M={P1，P2…Pm}m≥2.     

优秀速滑运动员成长中若干问题的探讨

本文对我国不同时期的优秀速滑运动员进行了抽样调查,发现以50年代至80年代,优秀国手的训练年限呈上升趋势,其身材趋向高大化,训练总量有所减少而冰上次数明显增多。     

矩阵初等理论在Fibonacci数列研究中的应用

Fibonacci数列是递推关系中的一个典型问题,问题本身虽然是一种假想,然而它的结果却有诸多用途。文章在文献[1]的基础上,进一步地探讨了Fibonacci数列矩阵元素间的关系,证明了当r,m≥5时,矩阵D_(m×r)~4的秩为5。     

全站仪的使用与维护

阐述了全站仪的基本组成,介绍了在日常工作中全站仪的使用、保管、转运和全站仪电池充放电的注意事项。     

全面预算管理保障体系刍议

从组织保障、人力资源保障两方面论述了全面预算保障体系的构成,阐述了企业全面预算管理在现代企业中的不可替代的作用。     

仅用1表示数的最少个数

设n为正整数,f(n)是可以用1以及任意多个 号和×号(以及括号)来表示n时所用1的最少的个数.本文确定了n在若干情形时f(n)的值,改进了参考文献的部分结果,并提出了若干新的猜想.