提高区间运算的循环处理精度

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。所述方法已在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明:该方法可以提高区间运算中循环处理的精度,减少潜在的误报。     

基于ESP压力调节器制动能量回馈系统

为了实现液压制动系统制动能量回收功能和提高制动能量回收效率,提出了基于ESP压力调节器制动能量回馈方法,阐述了该方法的工作原理,设计了制动能量回馈系统硬件在环仿真实验台,研究了制动能量回馈系统的可行性。采用硬件在环仿真实验方法研究了基于ESP压力调节器制动能量回馈系统可行性,验证了制动过程平稳性和制动效能。实验结果表明:基于ESP压力调节器制动能量回馈系统可以最大效率回收制动能量,保证制动过程平稳,满足制动效能要求。     

稀土Dy掺杂对BiFeO3陶瓷样品介电和铁电特性的影响

采用传统固相烧结法制备Bi1-xDyxFeO3(x=0, 0.05, 0.1, 0, 0.15)陶瓷样品.分别对样品的介电性能、铁电性进行了测量与分析.结果表明:Bi1-xDyxFeO3样品主衍射峰与纯相BiFeO3相吻合且具有良好的晶体结构;BiFeO3样品的介电常数、介电损耗均随Dy3+掺杂量的增加而逐渐增大.在测...     

磁晶各向异性的高次项对纳米材料的磁滞回线的影响

在一般的磁滞回线计算中,磁晶各向异性能的高次项被忽略.运用一致转动的模型,在外磁场与易轴方向分别平行和垂直的情况下,通过分析磁晶各向异性能的四次方项对铁磁材料磁化过程的影响,得到磁滞回线的形状随磁晶各向异性能四次方和二次方项常数的比值λ的不同而发生变化,并给出不同λ时的矫顽力解析公式.结果对铁磁和铁电材料都适用.     

一类新的圈代数和它的Liouville可积演化方程族

基于Lie代数Aa-1的推广,构造了一类新的圈代数,并设计了一个新的谱问题。然后,利用屠格式获得了一个新的可职系统,并推导出它相应的非线性演化方程族,最后,证明了该演化方程族在Liouville意义下是可积的。     

气升式环流反应器内气液两相流动计算流体力学的模拟

采用欧拉-欧拉两流体模型模拟了气升式环流反应器内部气液两相流动过程,考察了液相速度和气含率随表观气速的变化,液相速度和气含率模拟值的关系与两种经验关系式的计算值进行了比较,两者取得了很好的一致,证明了模型的正确性。在此基础上,使用计算流体力学模拟的方法考查了反应器内的导流筒直径和导流筒高度对反应器内两相流动的影响,导流筒直径增大,液相循环量增大,上升段气含率增大;导流筒位置升高,液相循环速度和循环量均增大,上升段气含率减小。所获得的结果对气升式反应器的设计优化具有指导意义。     

STL模型布尔运算的实现

首先建立STL模型的拓扑结构从而获得三角面片间的相邻关系．通过两个实体间的棱面相交性测试获得交点和交线,进而提取交线环．利用约束Delaunay方法对相交的三角形进行二次三角形划分,将相交表面沿交线环剖分为多个面域,利用射线法判断各个面域相对于另一实体的位置关系．通过提取相交环来决定有效的相交线降低了位置关系判断的复杂性,提高了布尔运算的稳定性．     

基于作战环的不同节点攻击策略下的作战网络效能评估

基于作战环思想, 以作战网络抽象模型为基础, 围绕作战环的分类、定义、形式化描述、数学模型等基本问题开展了理论研究, 进一步丰富了作战环理论体系。同时, 以能否快速有效打击对方目标实体为根本依据, 建立了基于目标节点打击率和基于目标节点打击效率的作战网络效能评估指标。通过仿真实验, 将作战环相关理论运用于不同节点攻击策略下的作战网络效能评估, 为实际作战体系对抗中双方的攻击与防护提供应用指导, 也为进一步开展基于作战环的作战网络应用研究提供参考借鉴。     

浅谈水源热泵技术的国内外发展现状及趋势

详细地描述了水源热泵的特点并介绍了国内外关于地源应用的基本情况和中国目前水源热泵开发应用的前景和中国水源热泵推广应用中的一些问题.     

导弹无线电引信半实物仿真系统设计

介绍了导弹无线电引信模拟仿真系统的现状,分析了导弹无线电引信目标散射模型,根据亮点法和面元法模型设计和实现了导弹无线电引信的半实物仿真系统,通过中频调制实现引信探测脉冲的变换,采用模块化方法设计亮点回波模拟器,满足系统的可扩充性和可维护性。采用仿真数据分布式存储,满足半实物仿真系统实时性要求。