餐厨垃圾热风干燥过程特性及模拟

为了考察不同温度(60～100℃)对2种餐厨垃圾在热风干燥过程中的水分变化规律及动理学特性的影响,利用7个数学模型对餐厨垃圾干燥过程的水分变化规律进行了拟合对比。结果表明:温度是影响干燥的重要因素。干燥温度越高,餐厨垃圾达到平衡含水率所需时间越短;烹饪过程可以改变餐厨垃圾的热阻,增加其活化能;用Page模型和Modified Page模型描述餐厨垃圾热风干燥过程拟合精度最佳;2种餐厨垃圾有效湿分扩散系数分别为1.37×10-9～2.47×10-9,5.14×10-10～2.05×10-9m2/s,活化能分别为13.86,34.05 kJ/mol。     

珊瑚岛淡水透镜体抽水倒锥影响因素研究

为研究珊瑚岛淡水透镜体抽水倒锥的形成和影响因素,构建了西沙永兴岛淡水透镜体三维数学模型,运用Visual Modflow软件对模型进行数值求解,获得了淡水透镜体外包络面、倒锥外形和相关因素对倒锥的影响。模拟计算表明,淡水水头的计算值与实测值之差为-0.58%～-3.86%;取年均降雨量的40%为回补量,永兴岛淡水透镜体最大计算厚度为15 m;抽水倒锥上升高度随抽水强度和时间的增加而增加,随井底到淡水透镜体底部边界距离的增加而减少;倒锥对抽水强度十分敏感,工程中应予以严格控制,对于永兴岛上长期开采的水井,建议抽水速率不超过5 m3/h。研究成果可用于制订淡水透镜体的开采策略,实现珊瑚岛地下淡水资源的持续开发和利用。     

装备需求论证模型化基本理论研究

针对装备需求论证缺乏模型体系支撑的问题,系统研究了装备需求论证模型化基本理论,论述了装备需求论证模型化的原则、方法、步骤和趋势,分析了关键工作与关键技术,并给出了装备需求满足度数学模型的应用示例,旨在为装备需求论证模型化提供理论指导,进一步完善装备需求论证工程化理论体系。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

Double Mover–Stayer model on customer switching in telecommunications industry

Customer acquisition and customer retention are the most important challenges in the increasingly competitive telecommunications industry. Traditional studies of customer switching always assume that customers are homogeneous, and thus that model customer switching behavior follows a Markov formulation. However, this postulation is obviously inappropriate in most instances. Blumen et al. (Cornell Studies of Industrial and Labor Relations, Cornell University Press, Ithaca, NY, 1955) developed the Mover–Stayer (MS) model, a generalization of the Markov chain model, to relax the requirement of homogeneity and allow the presence of heterogeneity with two different types of individuals—“stayers,” who purchase the same kinds of products or services throughout the entire observation period; and “movers,” who look for variety in products or services over time. There are two purpose of this article. First, we extend the MS model to a Double Mover‐Stayer (DMS) model by assuming the existence of three types of individuals in the market: (1) stable and loyal customers, who have stable usage within the same company; (2) instable but loyal customers, whose usage varies within the same company over time; and (3) disloyal customers, who switch from one company to another to seek for new experiences or/and benefits. We also propose an estimation method for the DMS model. Second, we apply the DMS model to telecommunications data and demonstrate how it can be used for pattern identification, hidden knowledge discovery, and decision making. © 2012 Wiley Periodicals, Inc. Naval Research Logistics, 2012     

临近空间飞行器纵向逆控制系统设计

建立了临近空间飞行器无动力滑翔阶段的纵向运动模型,并应用动态逆方法推导了模型的逆系统.系统相对阶等于绕质心运动模型的系统阶数,实现了绕质心运动模型的线性化.为了克服纵向运动模型的隐动态和参数的不确定性,在内环动态逆控制器的基础上,设计了外环最优调节器.仿真结果表明:飞行器纵向逆控制系统可以准确跟踪俯仰角或攻角指令,并对参数不确定性和外界干扰具有较好的鲁棒性,具有工程适用性.     

模型参考自适应电传飞行控制系统纵向控制律设计

针对电传飞行控制系统中被控对象模型参数时变的特点,应用模型参考自适应控制方法设计纵向控制律。论述飞机纵向运动的动力学模型和参考模型的建立,以及基于此参考模型用超稳定性理论设计自适应控制律的方法,并且通过仿真试验进行控制性能验证。仿真结果表明,所设计的控制律可以根据飞行状态的不同自适应的调节控制律,控制性能指标满足飞行品质规范要求,设计方法可行。     

创造性思维粒子群优化的武器目标分配

现代战争特点为防空作战中武器目标分配(WTA)问题的求解效率和质量提出了新的需求和挑战.建立了WTA问题模型,并选择粒子群优化算法(PSO)求解模型.针对PSO算法在求解WTA模型中出现的早熟收敛特性,从认知心理学角度进行分析,将创造性思维(CT)引入PSO的速度更新公式中,提出了一种基于创造性思维的PSO算法CTPSO.针对WTA模型的离散性特点,设计了编码与解码策略,及位置和速度矢量的离散化运算规则.实验证明了CTPSO算法在WTA问题求解质量和求解效率方面的优越性.     

基于HPTFN的网络化指挥信息系统效能评估模型

为了从系统工程和军事需求的角度提出一套综合的网络化指挥信息系统效能评估模型,在分析当前评估模型研究现状的基础上,给出评估建模应该遵循的原则。提出一种新的基于类投影型三角模糊数的网络化指挥信息系统效能评估建模方法,并对其建模原理进行详细分析。结合3个单位某系统实际,对评估模型方案予以验证,较好地说明了该模型的可行性和有效性,为网络化指挥信息系统效能评估和优化建设提供指导。     

基于灰色理论的电子系统状态预测方法

电子系统的状态预测是利用其历史信息来实现系统未来状态和趋势的估计,以防止灾难性故障的发生,对于推动视情维修具有重要意义。针对典型模拟滤波电路,通过分析其关键测试信号的特点,研究了基于灰色理论的状态预测方法,并针对该预测模型的不足,设计粒子群算法选择最佳预测维数,设计新陈代谢法使该模型参数在线改变,从而建立符合电子系统信号特点的灰色预测模型。将该模型与ARAM模型比较,实验结果验证了该模型具有较好的状态预测精度和预测性能。