消点法解题数例分析

中国科学院院士张景中教授在攻克计算机的可读性证明时创立了平面几何命题论证的“消点法” .众所周知 ,机器证明是现代数学 (计算机 )对科学的重大贡献 ,自吴文俊教授创立了吴方法之后 ,这项研究取得了突破性的进展 ,但其证明方式仍是“纯机器”的———采用的是非常规的语言 ,不能被一般的人“读”懂 .中国科学院院士张景中教授首创机器的可读性证明 ,使我国在机器证明这一尖端领域的研究水平无可置疑地处于世界领先地位 .这是继“吴方法”之后更辉煌的成就 .有趣的是 ,机器证明中使用的“消点法”不仅适用于机器推理 ,而且还可“手工”操…     

“问诊”卷烟企业预算管理

最近几年,卷烟工业企业对全面预算管理工作日益重视,并结合企业自身情况进行了大量探索,全面预算管理的成绩显著,已成为卷烟工业企业集团管理的重要工具,但依然存在着不少问题,需要加以改进,以促使全面预算管理工作水平得到大幅提升。     

Ultrasonic guided wave inspection with array sensors

Ultrasonic guided wave becomes one of promising tool for monitoring various types of structures such as large steel plates, vessels, and pipes in oil, chemical or nuclear industry, because guided waves have ability to travel wide range of the target structure in a single position. However, analysis of guided wave signals acquired from structure is difficult on account of low S/N ratio and its dispersive nature. To improve S/N ratio and overcome dispersion effect, focusing techniques for guided waves are needed. Thus, in this study, focusing techniques for guided waves were developed in order to improve long range inspection ability, and performance of the developed techniques was verified by experiments.     

Nonlinear properties of quantum dot semiconductor optical amplifiers at 1.3 μm： errata

The authors regret that one of the coauthors was inadvertently omitted in the previous paper. E. Varene was a member of the Institut fur Festk6rperphysik at the Technische Universitat Berlin and contributed to the results on cross-phase modulation.     

封面照片说明

 照片上介绍的是仿生机器人的一种--蛇形机器人,由中国人民解放军国防科学技术大学研制。蛇形机器人因其外形和运动方式与自然界中的蛇类相似而得名。     

工件有到达时间的两机器自由作业稠密时间表

对于两机器自由作业加工总长问题，工件带有到达时间，我们证明了稠密时间表的性能比为1.5。     

机器具有准备时间的双目标平行机排序问题

本文讨论机器具有准备时间的双目标平行机排序问题，目标函数为完工时间和最优条件下极小化最大完工时间．通过对SPT排序的性质的分析，给出了最优排序的下界．在此基础上证明了SPT排序的误差界为3／2，并且是紧界．     

扫描探针显微镜在工业产品检测中的应用前景

讨论了扫描探针显微镜（ＳＰＭ）的应用领域和ＳＰＭ的发展现状，重点探讨了国产ＳＰＭ应用于信息产业、能源产业以及航空航天等工业领域中高新技术产品质量检测的存在、的问题、以及应用的前景。