可判定条件下的零知识证明

零知识证明是密码学关注的问题之一。在可判定条件下，运用代数学中群的共轭性质进行零知识证明，其实例就是数学中关于寻找共轭子的困难性问题。     

弹道平面交叉算法

在飞弹武器使用中,进行弹道分配,通常要采用避免平面交叉方法优化弹道分配结果.但由于弹道分组限制的存在,经常出现无法完成分配的现象.针对这一问题,在建立数学模型的基础上,提出了一种新的优选策略.该策略优先考虑是否可以完成分配,采用从靶点到起射点、飞弹这样一个逆序的分配过程,有效解决了该问题.     

小组讨论与英语综合能力的培养

本文探讨了一个长期以来被大学英语教学所忽略的问题-小组讨论与英语综合能力的培养之间的关系.小组讨论可以提高说的能力、促进语篇教学和写作.     

二阶矩模糊随机过程的均方极限

给出了二阶矩模糊随机过程均方极限的两种定义,证明了这两种定义的等价性,并讨论了二阶矩模糊随机过程均方极限的性质。     

关于扩大中等收入者比重的几个问题

中等收入者与中产阶级是两个不同的概念 ,这可以通过两者的内涵和外延、外部特征及其形成的社会背景、阶级分析方法和阶层分析方法的比较等几个方面加以区别 ;应该把收入水平作为中等收入者的唯一划分标准 ;扩大中等收入者比重的关键在于提高低收入者收入水平 ,调低高收入者收入 ;扩大中等收入者比重这个新观点丰富和发展了邓小平同志的“先富、后富”理论 ,体现了社会主义的优越性 ,是共同富裕的最新表现 ,改善了我国的社会阶层结构。     

基于改进AHP与集对分析法的防空兵群阵地选择

防空兵群阵地选择是防空兵力部署的前提条件,阵地选择与配置的正确与否是防空兵部队能否有效进行抗击敌空袭兵器的一个重要因素.在分析以往防空阵地优选方法不足的基础上,提出了基于改进的层次分析与集对分析的多因素优选方法,建立了防空兵群配置地域方案优选的模型.通过实例分析了影响防空兵群阵地选择的相关因素,确定了配置地域优选的指标体系,用三标度法确定指标因素的权重,以相对贴近度的大小对待选阵地进行优选和排序.该方法能够定性与定量相结合,模型简单规范,为防空兵群阵地优选提供了一种有效的方法和途径.     

集团抽样方法在软件测试中的应用

针对大型软件走查工作量过大的问题,使用抽样调查的方法来改进走查方案,以便在满足一定精度的前提下大大减少工作量.     

烷烃磨削液应用于Si_3N_4陶瓷磨削时的砂轮堵塞机理及改性研究

通过一系列试验,考察了采用不同烷烃乳液及极性添加剂作为磨削液时金刚石砂轮磨削S i3N4陶瓷时的堵塞效果。试验结果表明:由于烷烃油膜表面的非极性性质对非极性的S i3N4磨屑有很强的吸引力,采用烷烃乳液作为磨削液时,金刚石砂轮较易发生堵塞。通过在烷烃乳液中添加极性有机物,可以很大程度上缓解堵塞的发生,最佳的极性添加剂分子结构需要同时具备一定的憎水基团和亲水基团。     

Bi‐objective missile rescheduling for a naval task group with dynamic disruptions

This paper considers the rescheduling of surface‐to‐air missiles (SAMs) for a naval task group (TG), where a set of SAMs have already been scheduled to intercept a set of anti‐ship missiles (ASMs). In missile defense, the initial engagement schedule is developed according to the initial state of the defensive and attacking units. However, unforeseen events may arise during the engagement, creating a dynamic environment to be handled, and making the initial schedule infeasible or inefficient. In this study, the initial engagement schedule of a TG is assumed to be disrupted by the occurrence of a destroyed ASM, the breakdown of a SAM system, or an incoming new target ASM. To produce an updated schedule, a new biobjective mathematical model is formulated that maximizes the no‐leaker probability value for the TG and minimizes the total deviation from the initial schedule. With the problem shown to be NP‐hard, some special cases are presented that can be solved in polynomial time. We solve small size problems by the augmented ? ‐ constraint method and propose heuristic procedures to generate a set of nondominated solutions for larger problems. The results are presented for different size problems and the total effectiveness of the model is evaluated.     

使用辅助变量的单静止站纯方位目标跟踪

利用现时刻之前的方位测量构造现在方位的预测值 ,形成了与现在测量方位在统计上独立的辅助变量 ,该辅助变量用以对拟线性估计算法的修正 ,能产生无偏的目标参数估计