前后数均合10的速乘法

前后数相加为10时有两种速乘法，     

喷气Z-pinch高速扫描摄影技术研究

 叙述了高速摄影在阳加速器喷气Z-pinch实验中测量等离子体向心运动时的应用，用高速变像管扫描相机首次拍摄到阳加速器喷气负载为氖气状态下产生等离子体压缩过程的扫描像，该扫描像的时间分辨本领很高,可以观察到等离子体内爆压缩阶段整个过程，测得了该过程的直径随时间连续变化曲线。     

逼近Banach空间中渐近非扩张映象的不动点

设E是一致凸Banach空间,C是E的非空闭凸子集, T:C→C是具有不动点的渐近非扩张映象. 该文证明了, 在某些适当的条件下, 由下列修改了的Ishikawa迭代程序所定义的序列{x\-n},\$\$x\-\{n+1\}=t\-nT\+n(s\-nT\+nx\-n+(1-s\-n)x\-n)+(1-t\-n)x\-n,\$\$弱收敛到T的不动点, 其中{t\-n},{s\-n}是区间\[0,1\]中满足某些限制的实数列.     

基于背景运动补偿的红外目标运动分析

 介绍了基于运动补偿的红外目标运动分析方法。阐述了运动补偿的必要性、过程原理和实现方法，并用之于对红外运动目标的视频跟踪，通过用背景运动量补偿目标的相对运动量，得到明确而直观的目标运动轨迹，有效地揭示了目标运动的内在规律，为红外目标的轨迹预测与跟踪提供了更有效的分析依据。     

A class of fully third-order accurate projection methods for solving the incompressible Navier-Stokes equations

In this paper, a fully third-order accurate projection method for solving the incompressible Navier-Stokes equations is proposed. To construct the scheme, a continuous projection procedure is firstly presented. We then derive a sufficient condition for the continuous projection equations to be temporally third-order accurate approximations of the original Navier-Stokes equations by means of the local- truncation-error-analysis technique. The continuous projection equations are discretized temporally and spatially to third-order accuracy on the staggered grids, resulting in a fully third-order discrete projection scheme. The possibility to design higher-order projection methods is thus demonstrated in the present paper. A heuristic stability analysis is performed on this projection method showing the probability of its being stable. The stability of the present scheme is further verified through numerical tests. The third-order accuracy of the present projection method is validated by several numerical test cases.     

我们心目中的楷模

于敏先生是我国核科技事业的卓越指挥者，是为“两弹一星”研制做出突出贡献的科学家。我们认识他并在他指导下工作是在氢弹突破之后的20世纪60年代末，我跟着他参加过几个大项目的理论设计研究工作。在工作中，需要用计算机对设计方案进行物理验证，一个方案需经反复验证，多次修改才能方案定型．通常初步计算结果出来之后，搞物理的找出问题所在，迅速做出修改，并交由计算工作者修改程序，再上机，在理论设计比较成熟的基础上，通过冷实验加以验证，得出结果后再做物理分析，再上机计算，最终由热试验加以检验。这一过程有点像在涌浪波涛间行船，能够最终抵达彼岸需要经历许多困难和曲折。     

维也纳分析方法及其应用

介绍了软件开发方法中的一种形式化分析方法：Vienna Development Method(VDM)。阐述了形式化分析方法的特点，具体说明了维也纳分析方法规格说明的两种规范：模块化说明与非模块化说明，及程序证明性依据：基于函数与操作的形式化规格说明。然后通过一个应用实例来说明如何利用VDM技术进行软件开发，及利用函数与操作的形式化规格说明来证明程序是正确的。     

载体对负载PdO催化剂的CO氧化活性的影响

由于催化燃烧比传统的热力燃烧法有反应温度低和能量消耗低的优点，因而广泛用于挥发性有机物和CO的消除．把和铂是最常用的催化剂，但是载体对催化性能的影响很大【‘’‘］．本文制备了系列负载把催化剂，发现载体的性质对催化剂的CO氧化活性影响很大．本文所用载体为CeO。，TIO。，SnO。，AI。O。，ZAI。，ZSM－5和SIO。催化剂制备采用浸渍法，把负载量为5％（质量分数）．催化剂经120C烘干后，于650’C空气气氛焙烧4h制成．在常压固定床流动反应装置上考察催化剂的CO氧化活性，反应气组成为CO2．4％，O。1．2％，N。96．4…     

Dehydroaromatization of Methane with a Small Amount of Ethane for Higher Yield of Benzene

The dehydroaromatization of methane was investigated with addition of a few ethane. A high benzene yield was achieved at a higher space velocity. The addition of CO2 could improve the stability.     

完善化学计量手段 确保量值传递

介绍了四O四厂第一分析室在化学计量方面现阶段做的工作 ,以及今后的打算与建议