Smalltalk-80 的形式语义研究

Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。     

社会系统运行理论与我国现阶段政策的制定

本文阐述了社会系统运行理论的初步框架,并以其分析社会系统的组织化状态与政策在其自组织中的功能;在剖析不同类型经济系统利弊的基础上,提出了我国现阶段政策制定的基本思路。     

在轴内压作用下网格结构的优化设计

承受高轴压、内压作用的网格圆柱壳箱体,是构成导弹和运载火箭的主要组成部分。本文对于这种结构可能产生的破坏形式做了分析并提出了一个优化设计的方法。用此方法计算的实例表明,采用机械铣网格结构与化铣网格结构相比,在相同载荷作用下,可以降低结构重量17.3%。     

双通道短时互谱法的潜艇目标尺度识别

阐述了双通道短时互谱法的基本理论,分析了目标方位走向,提出了利用体目标回波的空间方位分布信息识别水下目标尺度的方法。最后采用潜艇目标亮点模型,通过计算机仿真给出了目标方位走向拟合示意图,给出了在不同攻击阵位的条件下,鱼雷对潜艇目标进行尺度识别的估计值和估计方差并进行了相应的分析,确定了最有利于目标识别的攻击弦角。     

从“红旗”军演看F-22作战能力的缺陷

介绍了美空军“红旗”军演的发展历程、演习方式和对演习结果的评估方法,对美军F-22隐身战斗机参与“红旗”军演情况进行了简要回顾,分析了F-22在军演中被击落的可能原因.     

含灭火添加剂细水雾粒径分布规律

为了研究含灭火添加剂细水雾灭火机理,从添加剂对细水雾粒径分布的影响着手,利用全自动表面张力仪、实时喷雾激光粒度仪对含不同添加剂的细水雾粒径分布进行了研究。结果表明：磷酸二氢铵和尿素使水的表面张力略有增加,氟表面活性剂（Fc-134）和碳氢表面活性剂（APG）以及由4种添加剂组成的复合添加剂使水的表面张力大幅降低;磷酸二氢铵使粒径为2.09～26.23μm的雾滴数略有减少,粒径为31.06～462.33μm的雾滴数略有增加;氟表面活性剂（Fc-134）使粒径为8.05～22.16μm的雾滴数增加,粒径为22.17～278.64μm的雾滴数减少,粒径为278.65～1075.09μm的雾滴完全消失;碳氢表面活性剂（APG）使粒径为2.09～31.06μm的雾滴数减少,粒径为36.77～141.86μm的雾滴数增加;而复合添加剂使粒径为2.09～31.06μm的雾滴数减少,粒径为36.77～198.82μm的雾滴数增加。     

电渗透防水防潮技术的工程应用

地下工程防水防潮一直是工程界的难题,传统技术存在难根治、易反复的缺点。选择某一洞库进行电渗透技术工程试点研究:先详细介绍电渗透技术和施工工艺情况;再采用在工程内布置电极并施加脉冲电压的方法,利用电场力迫使水分向工程外岩体移动,达到降低工程内部湿度、防水防潮的目的。工程应用表明,电渗透防水防潮技术拥有效果明显、运行费用低等突出优点,具有推广前景。     

有限声速的纯方位算法

针对纯方位条件下对等速直航目标观测的算法问题,将目标运动要素及平均声速作为待估计参数,给出了计算非线性最小二乘法目标函数梯度与Hessian矩阵的解析公式,基于这些公式,可以构造估计目标运动要素的一些算法及编程实现。部分数值实验表明,信赖域算法、Levenberg-Marquardt算法与Matlab用于解非线性最小二乘问题的函数lsqnonlin的计算精度基本一致。     

Defense Expenditure and Income Inequality: Evidence on Co-integration and Causality for China

There are conflicting views as to the relationship between a nation’s defense expenditure (DE) and its population’s income inequality (INEQ). DE, always an important part of government budget, can easily crowd out transfer payments, necessary to improve INEQ; however, these payments may also create a demand that may raise the income levels of the lower income earners. Consequently, the relationship between DE and INEQ is an important question. This paper examines the relationship between DE and INEQ in China for the period of 1989–2012. Utilizing basic cointegration and causality tests, our objective is to add to the literature by providing evidence that China’s DE, in fact, do have an impact on INEQ.     

水基防锈液防锈性能的介电谱测定

阻抗频段的介电谱在金属腐蚀/缓蚀研究领域有良好的应用。为解决水基防锈液防锈性能常规检测方法实验用时长与结果误差大的问题,利用基于AD5933的介电谱仪和平面叉指电容传感器检测水基防锈液防锈性能。对样品介电谱进行直观分析,发现防锈性能好的样品,其介电信号更强烈;通过系统聚类算法分析,可快速区分样品防锈性能强弱和防锈剂类型;系统聚类算法与标准方法有一定的相关性,但二者所得结果的等级划分难以一一对应。实验结果证明,介电谱技术能够为水基防锈液防锈性能的定性检测提供快速且简便的新方法。