基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

Killing with Culture: Anthropology’s Ethical Dilemma with War

ABSTRACT

This article highlights the difficulty of creating a code of ethics in anthropology, particularly one that appropriately addresses the nuanced nature of the military and the anthropologists who conduct research and disseminate information in the context of war. The article consults one of the most important books on this topic, George R. Lucas' Anthropologists in Arms (2009), along with several other relevant texts, and examines the ethical complexities and dilemmas American and European anthropologists faced during their involvement in both World Wars, as well as those faced during Vietnam and the more recent wars in Iraq and Afghanistan. The article also examines the military's recruitment of cultural experts, the methods used to culturally engage combatants, and the criticisms against social scientists who choose to work as so-called military anthropologists. The anthropologists in this article risked academic exile conducting what some consider an adulteration of academic principles. The article contributes to the discourse regarding unconventional warfare and the methods used by the armed forces to better understand the cultural nuances of people, and to highlight the need for the development of a better anthropological code of ethics that accounts for the challenges of war.     

异构资源类型下多无人机任务分配

针对多无人机在执行侦察、打击任务的过程中携带任务资源的异构性,以及任务对于异构资源的要求,设计了一种改进的基于共识的捆绑算法(consensus-based bundle algorithm, CBBA)。考虑任务价值、任务执行时间窗以及航程代价等条件建立了多无人机对地目标侦察、打击任务分配模型。利用K-medoids聚类分析方法对多无人机进行基于距离和携带资源平衡的聚类,以解决多无人机对于异构资源类型的要求。对打击任务进行子任务生成,并利用改进后的CBBA求解所建立的任务分配模型,通过对比仿真实验验证了算法的可行性和有效性。     

智能搜救机器人在障碍地形的自主构型规划

为了解决带有辅助摆臂的智能搜救机器人自动规划构型以实现自主越障的难题,提出一种能够适应复杂地面形状的搜救机器人越障构型规划新方法,其核心是一种高适应性、高效率的机器人姿态预测算法。通过将地形表示为离散的点集,建立了搜救机器人的单侧姿态预测数学模型;进一步提出了快速求解该问题的算法,每秒可预测1 000～1 500个姿态。基于此,设计了机器人越障过程中状态、动作的评价指标,运用动态规划算法与滚动优化思想构建了具有优化能力的、能够实时运行的构型规划器。仿真与实物实验的结果表明,该方法能够使机器人自主调整构型穿越复杂地形,且相较强化学习算法和人工操作具有更平稳的越障效果。     

智能反射面辅助的无线网络加权和速率优化设计

针对智能反射面(intelligent reflecting surface, IRS)辅助的无线网络传输设计的目标是通过联合设计基站处的发送波束形成向量和IRS的反射系数,在满足基站发射功率和IRS单位模约束的条件下,使多个地面用户的加权和速率最大化。为了求解非凸的目标函数,提出一种交替优化方法,其中采用黎曼流形梯度(Riemannian manifold gradient, RMG)方法来优化反射系数,使用二分搜索法优化发送波束形成向量。此外,为了降低RMG方法的复杂度,设计了一种智能元素块坐标下降方法。仿真结果验证了所提算法的有效性,并且表明通过优化设计反射系数,IRS可显著提高无线网络的频谱效率。     

尾座式电动飞机复合材料机翼结构优化设计

以复杂地形地区物资快速投送平台设计为背景,开展尾座式电动飞机复合材料机翼设计研究。对机翼结构载荷进行分析,对机翼结构构件布置和铺层进行设计,形成复合材料机翼结构设计方案。建立复合材料机翼结构有限元模型,开展典型工况条件下的静力分析,得到机翼结构变形、应力和Tsai-Wu失效因子分布。采用分步优化策略,以机翼结构铺层厚度和铺层角度为设计变量,开展机翼结构质量优化计算,优化结果表明,优化后的机翼结构在满足强度和刚度要求下质量减轻约47.77%,可为尾座式电动飞机结构设计提供重要参考。     

旋成体射弹倾斜入水运动仿真

为了研究运动参数和弹头外形对弹体斜入水过程的影响规律,采用气液两相流体积分数和水汽空化模型,通过嵌套网格实现刚体三自由度运动学和动力学耦合,模拟了弹体以80～100 m/s速度倾斜入水开空泡阶段的运动过程。经文献实验验证,入水弹体速度与位移的误差为0～6%和-8%～0,转动角度误差为-6%～0。通过对入水速度和入水角度的多工况模拟研究,发现入水速度增大,弹体轴向冲击载荷增大,最大载荷与速度的平方呈线性关系,弹体速度非线性衰减率大;入水角增大,弹体转动角速率减小,运动稳定性强,速度衰减率不受入水角影响。与圆锥头部弹体相比,采用头部阶梯状修型后的弹体的平均速度衰减率、转动角速率和最大轴向冲击载荷分别降低到66.7%、40%和77.2%,显著提高了运动稳定性。     

变速传动轴承传动原理分析与研究

变速传动轴承是一种既具有支承功能又具有变速功能的新型特种轴承 ,其机构设计新颖紧凑 ,效率高 ,承载能力强。通过研究变速传动轴承的内部机构和传动原理 ,对其传动比做了深入系统的分析 ,得出了内齿圈齿数、活齿数与传动比之间的理论关系 ,并从理论上提出了高效率、低磨损的传动比优选方案 ,认为在推杆活齿传动机构设计时 ,应该使活齿数大于内齿圈齿数 ,即Z2 >Z1。包括变速传动轴承在内 ,对于采用了推杆活齿机构的各种活齿传动形式的结构设计 ,这个结论都具有重要的指导意义。     

装备性能影响舰艇作战能力的敏感性研究

首先给出了基于效用函数的舰载武器系统作战能力评估模型,以便在装备性能与舰艇作战能力之间建立联系,在此基础上对部分装备的性能变化影响舰艇作战能力的敏感性进行了分析.     

大深度锚雷定向攻击误差分析

误差分析是计算武器射击(攻击)效果的基础,在简述了大深度锚雷工作过程和命中原理模型后,着重对其攻击过程中存在的误差进行了详细的分析,并举例进行了计算