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

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

援潜救生进度风险分析

失事潜艇的援救要求在潜艇失事后48h内展开,综合考虑援救任务耗时的随机性和模糊性,将计划评审技术PERT(project evalution and review technique)和模糊概率分析结合起来,用以评估援潜救生任务的进度风险。首先,给出了单独使用PERT技术计算援潜救生准备工作在48h内完成的概率的基本算法;然后,将模糊概率分析引入PERT技术,求出援潜救生任务的关键路线,给出基于模糊PERT分析的完工概率算法;最后,以深潜救生艇从我国北方某基地转运至目的地实施救援任务为例,计算援潜救生准备工作在48h内完成的概率。计算结果的对比表明:使用模糊PERT分析方法比单独使用PERT技术得出的数据更为可靠。     

曲面重构误差的单纯形匹配检验方法

针对反求工程中的曲面重构误差检验问题,提出了一种点云数据和重构曲面的匹配检验方法.首先,通过包围盒刚体变换求取了匹配初值,再基于单纯形优化方法求取最佳变换矩阵完成了精确匹配.以匹配后的模型为基础,设定误差检验包络面,分析了测量点与重构曲面的偏差和均方根误差.实践证明:该方法具有高效、精确等特点,有效地解决了曲面重构误差分析和质量评估问题.     

基于VAR的物价对舰船维修工时费率影响的动态计量分析

在相关性、平稳性和协整性检验基础上,建立舰船维修工时费率与物价之间的VAR模型,并借助Granger因果关系检验、脉冲响应函数分析和方差分解对模型进行动态分析.研究发现:物价与舰船维修工时费率之间存在长期均衡关系,两者互为Granger原因;工时费率会对物价变化产生及时的正向响应,并具有长效性,短期内工时费率受自身惯性的影响较大,随后物价对其影响的贡献率迅速上升,达到与其自身惯性相近的均衡状态;物价对工时费率变化的响应有1 a的时滞,且响应程度相对较小.长期来看,两者相互影响的关系使得工时费率呈波动上升的趋势.     

区间分解组合迭代算法用于非确定结构系统的静力区间分析

对于结构参数向量界限绝对离差较大的非确定结构系统,迭代计算收敛条件难以满足,修正迭代算法不能直接用于其区间有限元静力控制方程的求解。采用区问分解组合求解策略,考虑区间矩阵、向量元素间的相关性,直接对结构参数区间进行区间分解,将非确定结构系统区间有限元控制方程的求解转化为若干个子区间有限元静力控制方程的修正迭代求解,提出了一种求解过程可逆的区间分解组合迭代算法,用于结构参数向量界限绝对离差较大的非确定结构系统的静力区间分析。算例结果表明,该方法是有效的。     

重庆市近11年空气污染指数变化的小波变换分析

运用一维连续Morlet小波变换法分析重庆市近11年逐日空气污染指数的多尺度演变特征、主周期、突变点和变化因素。结果表明:重庆市空气污染指数在不同时间尺度有不同的变化规律,变化主周期为300 d左右;空气污染状况受地形和气象因素影响,呈"冬重夏轻"格局;春分、秋分前后是一年中空气污染轻重状况转换的突变点;2005年后重庆市空气污染逐渐减轻,但冬季有加重趋势。实践证明,小波变换法是研究空气污染指数时间序列变化的有效分析方法。     

Multiple subset sum with inclusive assignment set restrictions

In a traditional multiple subset sum problem (MSSP), there is a given set of items and a given set of bins (or knapsacks) with identical capacities. The objective is to select a subset of the items and pack them into the bins such that the total weight of the selected items is maximized. However, in many applications of the MSSP, the bins have assignment restrictions. In this article, we study the subset sum problem with inclusive assignment set restrictions, in which the assignment set of one item (i.e., the set of bins that the item may be assigned to) must be either a subset or a superset of the assignment set of another item. We develop an efficient 0.6492‐approximation algorithm and test its effectiveness via computational experiments. We also develop a polynomial time approximation scheme for this problem. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

传热规律对卡诺热泵有限时间(火用)经济最优性能的影响

本文导出了一种较为普遍的传热规律 q∝△(T~n)时内可逆卡诺热泵的最佳供热系数、利润率关系,并藉此讨论了几种传热规律时内可逆卡诺热泵的有限时间(火用)经济最优性能,得到了一些新的普适结果。     

导弹武器系统效能分析

本文应用美国陆军评价武器系统效能理论和方法,建立导弹武器系统效能评价数学模型,并应用此模型对×××导弹武器系统进行计算与分析。     

语音编码系统的客观质量评估

本文比较了几种常见的语音编码系统客观质量评估方法,得出 LPC CD(法线性预测编码倒谱距离法)是一种最接近主观评估结果的客观质量评估方法的结论,并对 LPC CD 法作了详细的介绍。