一类具有变时滞系统的α稳定性

本文对线性变量滞系统进行讨论,通过利用Lyapunov函数的方法和线性矩阵不等式,给出了该系统的一个充分条件。并对线性控制系统稳定性的应用有一定的影响。     

舰船在斜浪中的稳性研究

应用累次近似法提出了一种斜浪中复原力臂的计算方法,对４型舰船作了大量的计算,其中包括波船相对位置、浪向角、波陡的变化对稳性的影响,最后得出复原力臂随之变化的规律．     

发射药的分解机理及其安定性研究

在研究发射药中硝酸酯的分解机理及其与发射药安定性关系的基础上,分析了热分解,水解和自动催化作用对发射药安定性的影响,以色谱法和粘度法等实验手段探索发射药安定性的变化规律,通过不同温度下发射药老化过程的动力学研究,提出了确定发射药安全使用寿命的可靠方法。     

PTL 证明器的实现技术

基于文［１０］中的理论,我们用Ｔｕｒｂｏ─ｐｒｏｌｏｇ编程,在３８６微机上成功地实现了命题时态逻辑定理的证明器。该证明器在处理ｎｅｘｔ幂次、归纳、归结、◇（ｘ∧ｙ）、ｕｎｔｉｌ　等方面,均有独到之处。这些方面,克服了以往工作的不足。证明器界面友好、速度快、能力强。     

关于广义KKM定理的几点注记

本文在 H-空间中引入伪紧闭集的概念,得到一个广义 KKM 定理,从而获得了 KyFan 匹配定理以及极大极小不等式的一些新结果.     

大口径机枪弹性枪架稳定性分析的冲量法

大口径机枪在弹性枪架上射击稳定性的问题,是影响连发射击精度的一个重要问题,按传统方法以最大后座力或自动机后座到位的瞬间作用校核稳定性,其结果与实际射击现象不符。本文在分析大量实验现象后,提出稳定性分析计算中的冲量法,并以12.7mm 大口径机枪为例进行检验,结果与实验现象相符.     

倒向随机微分方程在欧式期权中的应用

假设市场为无套利市场,而且市场上只有两种证券:一种是无风险债券;一种是有风险的股票。通过自筹资策略,得到期权价格所满足的倒向随机微分方程(BSDE),利用倒向随机微分方程给出欧式期权价格概率表示;并证明欧式期权的完全套期保值性。     

实特征根的切线法

本文通过分析非线性方程的切线解法，给出了实特征根的一种数值解法即实特征根的切线法，并用此方法进行了实例演算。     

Effect of energy content of the nitraminic plastic bonded explosives on their performance and sensitivity characteristics

Information about the forty nine nitraminic plastic bonded explosives (PBXs) and different nitramines were collected. Fillers of these PBXs are nitramines 1,3,5-trinitro-1,3,5-triazinane (RDX) and β-1,3,5,7-tetranitro-1,3,5-tetrazocane (β-HMX), cis-1,3,4,6-tetranitro-octahydroimidazo-[4,5-d]imidazole (bicyclo-HMX, BCHMX) and ε-2,4,6,8,10,12-hexanitro-2,4,6,8,10,12-hexaazaisowurtzitane (ε-HNIW, CL-20) which are bonded by polyfluoro-elastomers, polydimethyl-siloxane, poly-glycidyl azide, polyisobutylene, polystyrene-butadiene, poly-acrylonitrile-butadiene and hydroxyl-terminated polybutadiene in addition to a melt cast compositions based on 2,4,6-trinitrotoluene. For thirty two of these PBXs the relationships are specified and analyzed between heats of their combustion and relative explosive strengths; by means of these relationships it might be possible to estimate, which groupings in the macromolecule of binder could be liable to their primary fission in the PBXs initiation. Similarly, for forty two of these explosives, the relationships are described and analyzed between their enthalpies of formation and impact sensitivities; here is especially attention paid to PBXs filled by BCHMX. Specific rate constants from Vacuum Stability Test (VST) of four nitramines and twenty PBXs are introduced into relationships with their enthalpies of formation. Regarding to all the mentioned cases, increasing of energy content of the studied explosives leads to increase of the relative explosive strength or initiation reactivity, respectively. Exception with the opposite trend, the outputs of VST are for BCHMX, where in PBXs are matrices with the esteric plasticizers or the energetic poly-glycidyl azide. Admixture of RDX or HMX, respectively, into the BCHX PBXs gives ternary PBXs whose thermal stability, in the sense of applied VST, is higher comparing to the original binary explosives.     

Conflict dynamics and costs in the Greek Civil War 1946–1949

Using a new set of data from Greek Army sources, US military archives, and Communist Party documents, the paper provides a quantitative analysis of the armed confrontation that took place in Greece during 1946–1949. A dynamic Lotka–Volterra model is estimated, pointing to the existence of a conflict trap that explains the prolongation of the civil war and its dire consequences for the country. A regional analysis finds that the mobilization of guerrilla forces was crucially affected by morphology and the local persecutions of political rivals. Using neoclassical growth-accounting, the economic cost of the conflict is estimated to surpass an annual GDP, in line with similar findings in contemporary civil wars. The same framework is employed to assess the outcome in counterfactual situations discussed in this paper.