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

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

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

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

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

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

空间飞网系统牵拉模式影响研究

针对空间飞网系统任务设计需求,研究飞网牵拉模式对系统展开性能的影响。建立空间飞网系统拉出展开过程动力学模型,并通过地面试验对比验证了模型的有效性。面向任务需求建立空间飞网系统评价指标,针对四、六点牵拉模式,采用有限绳段方法对飞网系统进行建模仿真。模型中保持绳网质量和初始发射能量一致,对评价指标的分析结果表明,在六点牵拉模式下,飞网系统飞行性能指标和力学性能指标有明显提高,但能量利用率和系统可靠性小幅下降。     

基于动态贝叶斯网络的复杂网络抗毁性分析

复杂网络抗毁性是复杂网络在节点或边遇敌攻击后能继续维持基本功能的能力,是衡量军事信息网络鲁棒性和敏捷性的重要指标。针对复杂网络及对作战体系支撑能力的多指标、复杂化和动态演绎特点,在静态分析方法基础上,提出基于动态贝叶斯网络的抗毁性分析方法。建立了复杂网络抗毁性指标体系。构建了基于动态贝叶斯网络的复杂网络抗毁性评估模型,提出确定评估模型参数的方法。仿真验证了方法的可行性和有效性。     

舰炮武器试验中目标坐标真值修正方法

为保证舰炮武器系统动态精度解算结果的准确性,分析了舰炮武器系统动态精度试验中,GPS作为目标瞬时坐标真值测量设备时,因其安装位置与雷达跟踪测量中心不重合所引起的误差,并提出了一种简便、可行的误差修正方法。给出了误差修正示例,比较分析了GPS不同安装位置所引起的误差,为类似试验中目标瞬时坐标真值的处理提供参考。     

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.     

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.     

舰船结构塑性动力响应研究进展

从舰船结构塑性动力响应的工程背景出发,简要介绍了该问题当前的研究进展．主要评述了国内外学者所关注的一些基本问题和研究方法,主要包括解析法、近似法、数值法等,以及冲击载荷作用下梁、板、板架、壳体等结构塑性动力响应的研究进展．     

防空导弹武器系统的信息处理与通信延迟建模

对武器系统中的信息处理功能单元及其之间的信道通信从时间延迟的角度进行了建模,以便能更好地仿真整个武器系统的功能,并以某防空武器系统为例,对其各处理功能单元及其通信信道的时间延迟模型进行了描述。