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

循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。该文提出一种基于符号运算和抽象解释理论中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+掺杂量的增加而逐渐增大.在测...     

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

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

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

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

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

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

STL模型布尔运算的实现

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

基于多通道观测量精确定时的算法及实现

为了提高卫星导航系统中的定时精度,在研究利用伪距方程解算来获得钟差以进行接收机时间调整的传统定时方法的基础上,提出了利用多通道信息在最大似然准则下,进行最佳估计接收机时钟钟差的算法,并在时间调整过程中实现了闭环调整接收机秒脉冲(1 PPS)的输出.对算法及闭环调整方式在ARM FPGA的硬件平台上进行了初步实现,对算法的性能进行了仿真.仿真结果表明,最大似然估计算法对进一步提高卫星导航系统中的定时精度有明显的改善.针对开环和闭环调整两种情况,也进行了仿真分析,得出闭环调整能够有效克服接收机时钟向同一方向漂移的问题.     

用闭环增益成形算法的精馏塔鲁棒控制

给出了MIMO系统的闭环增益成形算法,将之应用于精馏塔的控制中,取得了良好的控制效果和鲁棒稳定性。文献［6］给出的回路成形控制器与本文的一阶闭环增益成形控制效果相同,文献［6］评价该法的不足之处是闭环系统的鲁棒性能稍差,该缺点可用本文的二阶或三阶闭环增益成形控制器加以克服。该算法的优点是设计过程简单,物理意义明显。     

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

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