基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

“亚森”——俄新一代攻击型核潜艇

外媒报道。俄罗斯已通过了2011-2020年武器计划。根据计划,俄罗斯将建造10艘“亚森”级核动力攻击潜艇。该潜艇在下潜深度,安静性能、对岸攻击能力、自动化程度等方面都表现出了十分优异的性能,部分性能指标已经达到甚至超过了代表当前世界领先水平的美国“海狼”级和“弗吉尼亚”级攻击型核潜艇。     

DMMP气溶胶的分析方法研究

实验研究了DMMP气溶胶的色质分析方法,确定了其色谱分离条件和质谱分析条件。并采用炭管法、碳氢总量分析方法进行了对比分析,获得了很好的一致性结果．解决了滤毒罐防沙林的DMMP模拟剂检验方法。     

国企主辅分离改制分流的难点及对策

中央、国务院提出的鼓励有条件的国有大中型企业实施主辅分离、辅业改制政策对国有企业来说是一次历史机遇,有利于加快企业发展,促进企业资产结构、组织结构、人员结构的优化,对实现企业精干壮大主业、放开搞活辅业、促进国有企业改革和发展具有积极作用。然而,国有企业的主辅分离改制分流是一项法律和政策性很强的工作,不仅涉及企业的资产处置、职工的劳动关系、辅业的改制问题、改制方案及报批程序问题,而且,还涉及企业的稳定及职工的心理承受能力。一、主辅分离改制分流的难点制约国有企业发展的一些深层次的矛盾是历史形成的,要解决这些…     

饶阳县人武部 唱好“一二三四”歌

河北省饶阳县在去冬征兵工作中,唱好"一二三四"政审歌,严把应征青年的政审关。"一"是突出"一个重点",即:重点调查人户分离、长期在外的人员。     

基于小波变换的直升机声目标识别

综述了小波变换的原理和性质以及它在直升机声目标识别当中的应用。主要论述了利用小波变换进行信号分解与滤波、目标特征提取等方面的应用,最后给出了计算机模拟仿真结果。结果表明,利用信噪分离方法和目标特征提取方法可以在低信噪比情况下准确识别目标。     

非线性规划方法在弹道优化设计的应用

弹道优化问题是两点边值问题。这类问题的数值方法主要有间接方法和直接方法两种。间接方法主要应用庞特里亚金的极大值原理和古典变分法,此方法用于弹道优化问题显得特别复杂,难以实际应用。直接方法将弹道优化问题转化为非线性规划问题来求解,省去了使用协态方程,避免了繁杂的梯度函数的计算,更适合于计算机的特点,是今后弹道优化设计的发展方向。该文只叙述直接方法中的一种非线性规划方法在弹道优化中的应用。     

滚动轴承含噪声谐波信号的欠确定盲源分离方法研究

目前使用的大多数盲源分离方法都依赖于观测传感器数量大于或等于信号源数目这样一个基本假设。算法主要针对传感器数量m小于源信号数量n(欠确定)情况下旋转机械含噪声谐波信号的盲源分离问题展开研究。它在输入信号频域稀疏性假设和源信号之间线性混合假设的前提下,提出了一种势函数聚类的源数目估计方法,并对通道衰减和延时进行了计算。实验信号仿真结果证明了该方法的可行性和可靠性。     

两道同侧扫掠激波作用下形成的三维平板边界层

为探索一种减弱扫掠激波/边界层干扰强度的侧压方式,采用数值计算方法研究两道同侧扫掠激波作用下形成的三维平板边界层。对三维边界层的流动机理进行研究,并与相同气流偏转角的一道扫掠激波作用下形成的三维边界层进行定量比较。研究表明,存在两道同侧扫掠激波时,第一道扫掠激波使侧壁附近边界层变薄,进而使第二道扫掠激波与再附形成的边界层的相互作用减弱,从而总的效果是两道扫掠激波与边界层的相互作用强度比一道扫掠激波的弱;两道扫掠激波的气流总偏转角与一道扫掠激波的相同,相交后汇聚成的激波强度与一道扫掠激波的基本相同,之前被两道扫掠激波"扫"起来的边界层在汇聚激波作用下还呈现锥形流动,分离线和来流的夹角也与一道扫掠激波的基本相同。     

贵州航天精工制造有限公司

贵州航天精工制造有限公司是通过主辅分离、辅业改制重组的投资主体多元化的现代股份制企业．是有40年航空航天紧固件和橡胶件专业研制、生产历史的军工产品制造企业。