基于预授权的机密性和完整性动态统一模型

目前的访问控制模型无法对机密性、完整性和可用性做到合理的统一控制,尤其是对动态的、随机的访问请求控制不完善,使得攻击者总能找到脆弱点,也使得信息系统在实际应用中无法避免用户误操作引起的安全问题。提出了一种基于预授权的机密性和完整性访问控制模型,将BLP模型和Biba模型结合起来,通过引入预授权机制,对一些随机动态的访问活动进行合理控制。运用条件控制项,对主体执行任务的权限进行实时监控,动态地授予和取消主体执行任务的权限,实现系统机密性和完整性的统一,同时保证其具有较高的可用性,有利于信息的双向流动。给出了模型的应用实例,并对其安全性进行了证明。     

面向对象仿真方法框架研究

提出了面向对象仿真方法框架 ,详细说明了它的概念和基本结构 ,通过对某型防空导弹制导控制系统的仿真研究 ,证明了它的合理性和在系统仿真研究中的重要性     

导弹故障智能诊断的一种实现方法

研究了基于神经网络的故障诊断专家系统的理论和方法及具体实现过程。将此方法应用于导弹武器系统故障智能诊断之中 ,结果表明该方法是一种行之有效的故障智能诊断方法。     

温度对舰船阴极保护和腐蚀静电场的影响

海水中氧溶解量和海水电导率是影响海水腐蚀性能的重要因素,而这两个因素主要取决于海水的盐度和温度。采用边界元法建立舰船外加电流阴极保护和腐蚀静电场模型,研究不同海水温度下氧溶解量、电导率及氧的扩散系数对舰船腐蚀防腐静电场的影响。结果表明,腐蚀电场峰值随着温度的升高而减小,当两对阳极输出电流分别为13.5 A和8 A时,船体和舵在低温处于过保护状态而在高温处于欠保护状态,螺旋桨和轴在不同温度下均能得到较好的保护。     

Assortment optimization with position effects under the nested logit model

We study the assortment optimization problem with position effects under the nested logit model, whose goal is to find the revenue-maximizing subset of products as well as their corresponding display positions. In this joint assortment-position optimization problem, the choices of products are affected by not only their qualities and prices but also the positions where they are displayed. Despite determining the assortment and their corresponding display positions sequentially, we propose to solve this problem in an integrated way to obtain the optimal solution. We formulate this problem as a nonlinear binary integer programming model and develop a dynamic programming based solution approach to obtain the optimal assortment-position assignments. We carry out extensive numerical experiments to evaluate the benefit of our integrated approach. The most important insight we discover is that it is not necessarily better to put the most attractive products in the best position. Moreover, we show that compared to the sequential approaches, our approach can improve revenue by 10.38% on average, which suggests that firms should take into consideration position effects when making assortment decisions. Finally, we discuss results related to two extensions of this problem, that is, the special case when positions are preassigned to nests, and the joint assortment-position-price optimization problem.     

液力机械变速机构耦合仿真及运行特性研究

针对某型履带车辆中液力机械变速机构结构复杂,功能耦合的特点,基于RecurDyn及AMESim的协同仿真接口构建了机械-液压-控制耦合的联合仿真模型,利用台架试验验证了模型可信度。对其启动、换挡工况下进行仿真分析,结果说明采用液力传动技术可以增强系统起步动力性能,减小动载冲击,但在提速过程会有一定的延迟;而液压换挡缓冲回路可控制离合器结合时的缓冲压力,实现换挡过程动力的平稳过渡,有利于系统动力的平稳传递。     

基于双线性连接模型的超静定捆绑火箭助推器动力学响应分析

对于长径比较高的助推器来说,为了提高与芯级的连接可靠性,可采用超静定捆绑连接方式。这种捆绑连接方式增加了助推器动力学响应分析的难度。以超静定捆绑火箭助推器为研究对象,通过引入拉压双线性弹簧模拟捆绑连接装置,建立合理的动力学分析模型,对系统进行数值求解,获得径向冲击作用下助推器的动力学响应特性。通过与静定捆绑模型的对比,获得超静定捆绑助推器的广义位移、频谱和内力的响应,从而为工程应用提供一定的参考和理论支撑。     

网格质量反馈的弹性体动网格改进

高鲁棒性的动网格变形方法是求解包含运动边界的非定常流场问题的关键技术。基于经典的弹性体动网格方法,引入两种设计合理、评价效果较好的网格质量参数——Patrick参数和Baker参数,提出了一种基于网格质量反馈的改进弹性体动网格方法。结合二维NACA0012翼型、三维ONERA M6机翼大角度俯仰运动,对比研究改进方法与经典方法的变形能力,改进方法能够保持较好的网格质量,尤其在最大变形时,可以有效改善较差网格单元,具有更高的鲁棒性。计算了NACA0012翼型、ONERA M6机翼的俯仰振荡绕流,并与实验结果及文献进行对比,结果表明,基于网格质量反馈的改进弹性体法能够显著提高变形网格的鲁棒性,可为非定常流场问题的求解提供有力支撑。     

高超声速变形飞行器翼面变形模式分析

为提高高超声速翼身组合式飞行器的射程,研究了采用不同翼面变形模式时,飞行器在马赫数3~8内的气动特性和翼面效率。针对典型的轴对称翼身组合式外形,采用Navier-Stokes方程进行数值模拟,对伸缩、变后掠和二维折叠三种变形模式下的外形在超声速及高超声速来流条件下进行模拟,并对升阻比、翼面单位面积升阻比和操稳特性进行分析。结果表明:在超声速及高超声速范围内,变后掠变形模式在宽速域内升阻比提高明显,同时具备优良的翼面效率及操稳特性,其在马赫数3~8范围内具有最优的综合性能。研究成果能对高超声速翼身组合式变形飞行器布局设计提供参考,具有一定的指导意义。     

众核处理器访存链路接口的FPGA验证

面向众核处理器提出一种访存链路接口的现场可编程门阵列(Field-Programmable Gate Array,FPGA)验证平台,用于对处理器访存链路关键部件进行功能及可靠性测试。提出片上读写激励自动产生与检查机制、以太网接口硬件用户数据报协议(User Datagram Protocol,UDP)协议栈和FPGA芯片间多通道并行链路三项关键技术并进行设计实现。实验结果表明提出的各项关键技术功能正确,不仅丰富了功能验证中随机激励产生及结果验证的手段,而且实现了对链路数据检错和多lane间延迟偏斜纠正逻辑的可靠性测试与评估。经过该平台验证的访存链路接口在实际芯片中通过了功能正确性测试,证明了验证的有效性。