中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

混凝土靶侵彻计算的半经验法

在球形空腔膨胀理论基础上,通过不同强度混凝土材料的侵彻实验数据直接识别建立混凝土材料综合动态强度参数psd与混凝土材料无侧限压缩强度σ-b的经验关系式;从应力波表层损伤理论分析了混凝土表层“开坑区”的侵彻特性,提出“简化等效阻力线”的计算方法;指出球形空腔膨胀理论的阻力算式中取动阻力项系数B=1.5的合理性。理论分析和侵彻实验表明:本文方法适用于小弹侵彻混凝土靶、大弹侵彻混凝土靶和以混凝土材料为面层的部分多层复合靶的侵彻计算,克服了Forrestal半经验法的不足。     

客观多因素权重分配方法及其应用

综合模糊聚类技术和粗糙集理论中的信息熵原理,提出了一种多因素决策中确定各因素权重分配的新方法.利用模糊聚类分析对数据进行聚类,并提取最佳聚类;基于粗糙集中信息熵原理确定各因素的权重分配.算例结果表明:方法合理有效,具一定的可行性.     

一种新的四路激光跟踪坐标测量系统的基点标定方法

在激光跟踪三维坐标测量系统中,系统首先要经过标定,才可以进行实际测量。因此系统标定的准确度会直接影响系统最终测量准确度。为了提高标定准确度,提出一种新的标定方法,即利用直线法原理,在优化布局下,采用两路激光干涉仪测量出基点的三维坐标。仿真结果表明目标点相对于基点呈对称分布时,测得的基点坐标准确度比非对称分布时高6到7倍,并通过实验得出了在该优化布局下的基点坐标。     

A multi-frame track-before-detect algorithm based on root label clustering for multiple targets

In this paper, a novel multi-frame track-before-detect algorithm is proposed, which is based on root label clustering to reduce the high computational complexity arising by observation area expansion and clutter/noise density increase. A criterion of track extrapolation is used to construct state transition set, root label is marked by state transition set to obtain the distribution information of multiple targets in measurement space, then measurement plots of multi-frame are divided into sever...     

The effect of small vibrations on Marangoni convection and the free surface of a liquid bridge

The effects of small vibrations on Marangoni convection were investigated experimentally using a liquid bridge of 5 cSt silicone oil with a disk diameter of 7.0 mm, and an aspect ratio close to 0.5. Experiments were performed to determine the critical temperature difference data for no vibration case and with small vibrations applied. The experimental results have shown that the effect of small vibrations on the onset of oscillatory flow is small since the critical temperature difference data for different aspect ratios were not affected by the vibrations. To clarify the surface oscillation phenomena induced by external vibrations, a 3-D numerical simulation model was also developed using a level set algorithm to predict the surface oscillations of isothermal silicone oil bridges. By subjecting the liquid bridge to small vibrations, the surface oscillation characteristics were predicted numerically, and the numerical results compared well with the predictions of an analytical model proposed previously. Furthermore, the effect of small vibrations on the surface vibration amplitude of the liquid bridge is also discussed.     

基于行动理论的智能体模型

结合BDI模型和情境演算的优点构造了一个agent模型。在agent模型中,agent的心智状态由状态信念集、效应规则集、可行规则集、策略规则集和意向集组成。如果agent的心智状态是信息完全的且在流中添加情境变元,则它将成为Reiter提出的基于情境演算的行动理论,所以此agent模型既能表示agent的心智状态又能进行行动推理和规划,最后,文中提出了具有完全信息的agent实现目标的一种运行方式     

几何尺寸约束的超燃冲压发动机推力喷管设计

针对机体/推进系统一体化要求,提出了一种几何尺寸约束的超燃冲压发动机推力喷管设计方法,以实现在满足几何约束条件下优化喷管的气动性能。采用数值模拟对提出的设计方法展开了研究,在此过程中,首先校核了数值方法有效性并确定了网格分辨率。进一步就喷管设计过程中2个关键设计因子——比例因子和非对称因子开展了影响研究。最后为验证本文提出的设计方法的有效性和优越性,将其与典型截短设计方法进行对比分析。结果表明,相比截短方法,本文提出的设计方法不仅能够获得满足几何约束的喷管,同时可使喷管推力系数、升力和俯仰力矩分别提升33.36%、265.75%和37.21%。此外,本文提出的设计方法还可以通过调整设计因子来获得不同气动性能的喷管,进而满足应用过程中的实际需求。     

一种改进的隐私保护关联规则挖掘算法

部分隐藏的随机化回答方法是基于关联规则数据挖掘的隐私保护算法,针对该算法在重构频繁项集支持度上的指数级时间复杂度导致算法执行效率下降的不足,采用分治策略和集合运算方法对该算法进行改进,消除重构数据的指数级运算。改进算法降低了算法的时间复杂度并有效提高了执行效率。仿真实验与分析表明了改进算法的有效性。     

含有任意多个椭圆孔弹性板的应力场计算

本文应用弹性力学的复变函数理论,用多保角变换的方法,导出了含有任意多个椭圆孔的无限大弹性板多复变量应力函数的表达式。每个孔的大小、位置和孔边作用的载荷均为任意指定。板的无限远处作用有和坐标轴方向一致的均匀拉压载荷P_x,P_y和均匀剪切载荷P_(xy)。并在孔边进行复Fourier级数展开,用待定系数法确定应力函数的未知系数,从而计算弹性板的应力场。编制了相应的FORTRAN77标准化程序,进行了考题和算例分析,给出了级数的收敛状况和孔边周向应力的分布图。