Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

非均匀径向冲击下圆柱壳塑性动屈曲

本文采用王仁等提出的塑性动力屈曲的能量准则讨论了圆柱壳在不均匀的外部径向冲击下的塑性动屈曲问题,获得了屈曲的占优波数公式及临界冲击速度公式。经过初步实验,证明本文的结论是合理的,并进一步证实了该能量准则的有效性。     

一种基于中值滤波和边缘检测中模板匹配的图象滤波增强算法

本文针对数字图象处理中滤波可使圈象边缘模糊的现象,设计了一种组合式滤波增强算法。该算法在边缘地区沿着边缘方向进行滤波增强,在其它地区则进行滤波平滑操作,消除噪声。     

嵌段聚氨酯弹性体的动态力学性能研究

以预聚体法合成了两嵌段聚醚—聚酯型聚氨酯弹性体。研究了配料比、氨酯基浓度及固化剂用量等对该体系动态力学性能的影响。发现:该嵌段共聚物是完全相容的,其玻璃化转变温度T_g与聚醚含量呈线性关系;固化剂用量对该体系的T_g亦有影响。此外,对于聚酯氨酯体系,其T_g值与氨酯基浓度U亦呈线性关系。     

协同仿真环境的设计与实现

本文从计算机技术和仿真技术的发展和应用需求出发，提出了协同仿真的基本概念和关键技术，包括建模方法、仿真算法、仿真数据库等几个方面。讨论了协同仿真环境的一般体系结构，最后，介绍了一种协同仿真环境的设计和实现方法。     

基于关系数据库的仿真模型管理

本文将讨论仿真模型库管理技术。从仿真模型库管理的实际需求出发，提出以关系代数系统实体结构（ＲＡＳＥＳ）框架为理论依据、利用关系数据库进行模型库管理的方法，并给出模型库管理算法的形式化描述及系统设计。     

空空导弹控制系统一体化设计方法研究

综述了空空导弹控制系统非线性设计的主要理论和方法,重点介绍了非线性动态逆和反馈线性化方法及其在导弹控制系统设计中的应用,对大攻角空空导弹控制系统一体化设计方法进行了分析和展望。     

National security,military spending and the business cycle

This paper develops a Dynamic Stochastic General Equilibrium model where national security is an argument in the agent’s utility function and the government chooses optimally the level of military spending to maximize social welfare. National defense depends on military expenditure and on the strategic environment reflecting a potential hostile external threat. We use aggregate data on consumption, investment, and military spending for the US economy to estimate the parameters of the model. Estimation results suggest that consumption and national defense are complements and that military spending variability is mainly explained by external threat shocks although it also depends on the macroeconomic conditions. We compute impulse response functions of the main macroeconomic variables to several shocks: a total factor productivity shock, a defense technology shock, and a strategic environment shock. Surprisingly, we find that the optimal response to an increase in the external threat (a worsening in the strategic environment) will rise output by reducing consumption and increasing investment.     

Theoretical and numerical investigations on the headspace of cartridge cases considering axial deformation and movement

The cartridge case headspace is the axial clearance between the cartridge and bolt of an automatic weapon, and influences the reliability and security of the weapon. Accordingly, theoretical and numerical studies were conducted to analyze the dynamic response of cartridge cases during internal impact considering the initial radial clearances between the cartridge case and chamber. A theoretical model was proposed to predict the cartridge case headspace considering both the deformation and movement of the cartridge case and confirmed by the results of nonlinear finite element simulations. The differences between the results of the conventional static model and the dynamic model were then comprehensively evaluated. The effects of the angle between the cartridge and chamber, the cartridge case material, and the internal impact pressure on the predicted headspace value were also analyzed. The dynamic response of the cartridge case predicted by the dynamic model was more accurate than that predicted by the conventional static model. The internal impact pressure, pressure change rate, and cartridge material were all found to affect the predicted headspace.     

A model of dynamic conflict in ethnocracies

We model an infinitely repeated Tullock contest, over the sharing of some given resource, between two ethnic groups. The resource is allocated by a composite state institution according to relative ethnic control; hence the ethnic groups contest the extent of institutional ethnic bias. The contest yields the per-period relative influence over institutions, which partly spills over into the next period, by affecting relative conflict efficiency. Our model generates non-monotone evolution of both conflict and distribution. Results suggest that external interventions, when effective in reducing current conflict and protecting weaker groups, may end up sowing the seeds of greater future conflict.