中继卫星多址链路调度问题的约束规划模型及算法研究

中继卫星多址链路调度问题是中继卫星系统应用中必须解决的重要问题,其重要特点在于,中继卫星与用户航天器之间并非时时可见,因此通信任务存在可见时间窗口约束。只有在可见时间窗口内,通信任务才可能执行并完成。在进行合理假设的基础上,采用人工智能中的约束规划技术,建立中继卫星多址链路调度问题的约束规划模型,并提出了基于时间窗口期望值的多步迭代算法。应用结果表明,中继卫星多址链路调度模型的建立与求解是合理的。     

关于飞机结冰的多重安全边界问题

边界保护是保障飞机安全性的重要方面,对目前国内外飞机结冰安全边界问题的研究现状及进展进行了综述,对飞机结冰致灾物理链路的影响因素及规律进行了分析,指出目前从飞行力学角度出发的安全边界尚未全面考虑飞机结冰致灾复杂物理现象的相关因素,并提出了飞机结冰多重安全边界的概念,将飞机结冰的安全边界分为气象边界、冰形边界和飞行安全边界。结合相应的物理规律和实际应用,按照飞机结冰导致性能恶化的影响程度、飞行操纵影响程度等对边界又进行了多重属性划分。进一步梳理了多重安全边界研究需解决的主要关键问题,提出了下一步的相关研究方向,可为飞机设计、适航认证、飞行操纵、航路规划、分级优化保护等方面的应用提供支撑和参考。     

非线性边界条件的Burgers－KdV方程的静态解

对几类非线性边值条件，讨论了Ｂｕｒｇｅｒｓ－ＫｄＶ方程的边值问题的静态解的存在性和解的个数．借助不动点定理，证明了该边值问题至少有一个，至多有有限个静态解．     

Implication of multiple dipolarization event near 9 RE for the physics of substorms

In 2001, 2002 and 2003, the Polar spacecraft probed the near equatorial plasma sheet at 9 R_E near local midnight. Using the magnetic field observations, the signatures at substorm onsets are studied. Close to the flux pile-up region, the Polar spacecraft readily detects the dipolarization front, especially for pseudo onsets. An event with two distinct onsets has been examined. The signatures are found to be consistent with the multiple-onset model suggested by Russell [Russell, C.T. How northward turnings of the IMF can lead to substorm expansion onsets. Geophys. Res. Lett. 27, 3257–3259, 2000] which is a modified Near-Earth Neutral Line (NENL) model. Another similar event is also examined showing the effects of different Interplanetary Magnetic Field (IMF) conditions upon substorms. Moreover, ground effects can be very weak compared to in situ observations, especially for pseudo onsets, because these signatures appear to be localized and not global.     

航天软件中多重中断程序的动态检测方法研究

随着控制系统软硬件平台的设计复杂度不断增加,特别是飞行控制系统中集成的传感器不断增多,中断数量也随之不断增加.本文根据飞控系统的具体特点,使用标记迁移系统对多重中断并发程序进行建模,提出了原子性违背和数据竞争的形式化描述,运用动态偏序化简算法对程序的状态空间进行化简,并设计实现了多重中断控制系统程序的动态检测工具,实验结果表明该检测算法可以在满足对多重中断并发程序错误检测的基础上,大大的缩短检测时间.     

多校区高校学生管理分析及管理体系构建

基于当前形势下高校多校区办学现状,针对学生管理过程中出现的问题,以大学生全面发展为目标,以培养大学生自我教育、自我管理的能力为主要途径,结合教育大平台的开发,利用网络资源的优势,依托校园文化的影响,建立起大学生自我教育、自我管理的引导及监控管理体系。     

周边固支环扇形板静力学问题的小波方法

根据相关文献，将拟Shannon小波配置法应用到环扇形板的混合状态方程中，构造出了环扇形板平面方向离散，而厚度方向是解析的混合状态方程。因为用拟Shannon小波张量积表示的近似解是离散形式的，所以固支边界的未知应力可以近似地用内点的应力和位移来表示。数值实例验证了本文方法的正确性。     

LYAPUNOV-TYPE STABILIZATION FOR NONLINEAR UNCERTAIN SYSTEMS AND NONLINEAR H~∞ CONTROL

ＬＹＡＰＵＮＯＶ┐ＴＹＰＥＳＴＡＢＩＬＩＺＡＴＩＯＮＦＯＲＮＯＮＬＩＮＥＡＲＵＮＣＥＲＴＡＩＮＳＹＳＴＥＭＳＡＮＤＮＯＮＬＩＮＥＡＲＨ∞ＣＯＮＴＲＯＬＦｅｉＳｈｕｍｉｎ（ＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅｏｆＡｕｔｏｍａｔｉｏｎ，ＳｏｕｔｈｅａｓｔＵ...     

中小型企业建立生产计划优化线性规划模型的通用模式

本文提出了建立企业生产计划优化线性规划模型中约束方程的通用方法。简化了建模过程。并经多个企业的实际应用证明了其普遍适用性。为中小型企业建立生产计划优化线性规划模型提供了一个通用模式。     

A set of systems for labor standards computer-aided design

A set of systems for labor standard computer-aided design is described, namely, initial developments, advance and state-of-the art.