一类具有转点的二阶半线性奇摄动边值问题

研究了一类具有转点的二阶半线性奇摄动问题解的渐近性.首先,给出了在转点附近发生稳定性交替的若干判别准则.其次,通过修正退化问题的正则化方程,提高了原问题渐近解的精度,并利用Nagumo定理证明了光滑解的存在性.最后,通过一个算例验证了结果的正确性.     

时间压力下驾驶舱界面视觉搜索绩效研究

为探究不同时间压力下飞机驾驶舱界面搜索特征从而提升任务绩效，通过模拟飞机飞行状态下的任务搜索过程，采用眼动追踪、绩效评估及量表测量等方法来获取被试的视觉搜索轨迹与任务绩效数据并对所获取的多通道数据进行分析.结果表明：在不同时间压力(无、低、高)与不同界面复杂度(简单、复杂)下被试的视觉搜索特征存在显著差异；高时间压力与复杂界面显示都会给被试带来较高的心理认知负荷；时间压力在简单界面显示中存在倒“U”型关系.研究为飞机驾驶舱复杂人机界面设计提供了科学的理论依据.     

基于MILP的应用服务器集群能耗与性能实时优化

在节能减排和激烈同行竞争的环境下，应用服务器集群的能耗与性能优化十分迫切.针对已有研究在性能指标和实时性方面的不足，提出一种集群能耗与性能实时优化方案.该方案结合采用线性加权法和主目标法优化集群功率与请求丢弃率这两个目标，将双目标优化转换成一个单目标约束优化.首先基于CPU频率等效连续调整模式下的服务器负载-功率模型，定义很少的变量将集群优化描述成混合整数二次规划问题，然后采用变量拆分和变量转换将其转化成混合整数线性规划（mixed integer linear programming，MILP）问题并引入特殊顺序集约束，最后采用Gurobi优化器求解该MILP.通过对CPU频率调整的进一步优化，大幅度减少了CPU频率的切换.多种场景下的测试表明，该方案的求解时间约在10 ms左右，特殊顺序集约束的引入使求解时间更为稳定，从而能够保证优化的实时进行.