一种可视化CFD网格生成方法

结合可视化技术 ,提出一种CFD前处理中的网格生成方法。阐述了CFD前处理中存在的问题 ,并针对这些问题构架起专用的绘图平台。详细介绍了网格划分的思路及实现方法 ,并将网格自动生成模块集成在绘图平台中。实践证明 ,这种可视化CFD网格划分平台操作界面方便友好 ,算法简捷正确 ,大大简化了前处理工作的复杂性 ,具有很高的实用价值     

估计高可信Markov系统可信性测度的一种新方法

重要抽样和重要性分裂方法经常被用来估计高可信Markov系统从初始状态出发首次回到该状态前发生故障的概率. 提出了一种新的方法估计这个小概率. 通过采用新的估计量来减小计算方差, 提高计算效率. 从描述Markov系统状态转移的积分方程推导出了新的估计量, 并从理论上证明了新的估计量的方差小于直接仿真方法的方差. 用本文方法、RB方法、IGBS方法、SB-RBS方法和直接仿真方法计算了包含延迟维修的系统的可信性测度, 结果表明本文方法具有最小的相对误差.     

李群G在流形M上左作用的相关性质

本通过李群G在流形M上左作用，构造了M上单参数可微变换群，证明了其诱导向量场与李代数g之间存在同态映射，且诱导向量场是—李代数。     

无人机全局航路规划技术仿真

针对不同强度威胁源构成的飞行环境,提出了一种基于人工势场法和遗传算法相结合的无人机全局航路规划方法。该方法对威胁进行Delaunay三角网划分,按照穿越三角形边的方向及顺序设计了一种二进制编码方法;把威胁当作斥力源,初始路径当作质量-弹簧链路,求解链路的受力方程,得到该穿越方式下的局部最佳航路;最后利用遗传算法获得威胁网络下的全局最优解。经过三种不同参数情况下的计算机仿真,结果证明该方法能够得到给定的威胁指标下的全局最优航路。     

黎曼流形上Fritz John必要最优性条件

在黎曼流形上给出了Lipschitz函数的广义方向导数和广义梯度的概念,利用黎曼流形局部上与欧氏空间开集微分同胚的性质以及切映射和余切映射导出了广义梯度的性质和运算法则,证明了定义在黎曼流形上的函数取得极小值的必要条件是广义梯度包含零元素,并利用这些性质给出了黎曼流形上数学规划问题的Fritz John型最优性条件.     

次声杀人之谜

1890年，一艘马尔波罗号帆船在从新西兰驶往英国的途中，突然神秘失踪。     

略论我国宪法程序的不足

宪法程序是法律程序的核心和关键。这是由宪法地位和效力的最高性及宪法内容的根本性决定的,同时,这也是宪法程序对其他法律实体及程序所具有的决定性作用的要求。但是,我国在这方面是严重不足的,其主要表现为我国的宪法制定程序,宪法修改程序,宪法解释程序,违宪审查程序的各种不足之处,这需要我们不断地完善它。     

基于自适应结构元网格线交叉点坐标提取算法研究

提出了基于形态学自适应结构元网格线交叉点坐标提取算法。在全局结构元算法基础上,根据校正靶图像中不同位置网格线扭曲变形程度不同建立自适应结构元,并利用自适应结构元构建数学形态学算子对采集的XRII图像进行验证。验证结果表明,本文提出的算法不仅能有效地识别并提取出校正靶图像中网格线交叉点坐标值,而且视觉效果上优于全局结构元提取的结果。