基于置信椭圆的无人艇区域覆盖搜寻规划优化

为解决水上遇险目标搜寻存在搜寻区域过大、搜寻代价过高等问题, 提出一种基于置信椭圆的无人艇区域覆盖搜寻规划方法。首先, 利用高斯混合模型聚类算法划分搜寻区域, 再基于腐蚀膨胀的置信椭圆确定最佳搜寻区域边界, 实现目标包含概率和单位面积粒子数全局最优。然后, 构造适应椭圆搜寻区域边界特征的无人艇转向模型, 优化非工作路径。最后, 以搜寻探测概率和总路径为优化目标, 采用带精英策略的非支配排序的遗传算法(nondominated sorting genetic algorithm II, NSGA-II)优化得到最佳搜寻规划路径, 实现无人艇高效区域搜寻规划。与常规矩形区域覆盖搜寻规划对比, 能够在达到相同搜寻成功率下显著减少搜寻代价投入。     

采用自适应最小化置信下限和SMOTE算法的动态代理模型

利用最优拉丁超立方试验进行初始采样，建立基于自适应最小化置信下限和SMOTE算法的动态径向基函数代理模型.将自适应平衡常数引入到最小化置信下限准则中，通过多岛遗传算法对置信下限进行寻优.根据代理模型精度，在最优解处运用SMOTE算法动态地新增样本点，进而更新代理模型，直至收敛.经过数学算例测试后，将该优化策略应用于深潜器耐压舱的优化中，与其他动态代理模型相比，该策略的优化效率和精度显著提高.     

污水管网优化计算中动态规划变异形式和比较

污水管网的优化计算发展至今已经有很多种算法，其中动态规划的产生已经有近４０年的时间，在阶段划分上有非序列化动态规划和序列化动态规划的区别，对状态点的数量和定位又有一般动态规划和拟差动态规划的区别，因此针对以埋深作为状态变量的动态规划变异形式做了一些讨论，并分析了它们各自的优缺点。     

通过CC标准的思想确定RS-Linux的安全可信度

以一个称为RS－Linux的安全操作系统的研制工作为实验手段，对按照CC标准的思想开发安全产品的方法进行研究，并以该项研究为基础，探讨从CC框架蕴函的方法学中可以通过什么方式确定安全产品的安全可信度。     

基于贝塔分布的最优置信区间研究

基于贝塔分布的概率特征性质,该文研究了一类特殊的贝塔分布的最优区间估计; 进而,将得到的区间估计与等尾置信区间进行了比较.结果表明:使用最短置信区间作为未知参数的区间估计,估计的精度得到显著提高.最后,利用数值模拟的方法给出了贝塔分布的最短区间估计用表.     

基于广义意见动态模型的社交信任网络意见最大化问题

提出了一种广义意见动态模型（GODM），此模型可以通过动态计算每个人的表达意见来解决社交信任网络中的意见最大化问题。在模型中提出了一个新的、合理的、可解释的自信指数${\alpha _{{i}}}$，${\alpha _{{i}}}$由个人的社会地位与其周围人的评价共同决定。并且利用对角占优理论，得到模型达到纳什均衡状态时的最优解析解。设计了一种具有l₁ 形式的交替方向乘子法来最大化现有的总体意见。进行了一系列实验，实验结果表明，此方法在4个数据集上都有较好的结果。在4个数据集上，解决内部意见问题的平均效益分别提升了 66.4%，88.7%，47.8% 和 34.1%。实验结果充分验证了所提模型的优越性。     

论依法治国与权力制约

依法治国,建设社会主义法制国家是我国现代化建设的一项根本目标。权力制约是法制国家的普遍规律,也是依法治国的内在要求。目的是希望公权的行使在宪法和法律规定的范围和程序之内,国家一切权力属于人民,佘民通过法律形式授予国家权力,从而依靠法律手段来维护公民的意志和利益,监督制约权力。笔者试图从立法、执(司)法及法律监督三方面探索用法律机制对公共权力约束之可行性和科学性,从而保证社会主义法制的有法可依、有法必依、执法必公、违法必究。