利用SRTM数据修测高山区地貌的探讨

在高海拔区域测制地形图,如青藏高原地区,所获取的遥感影像局部存在着大范围的高山阴影或云雪覆盖,造成立体观测地貌困难的现象,探讨应用SRTM数据对这类特殊区域地貌进行修测补绘。介绍了数据处理的作业过程,并对实验区SRTM与SPOT5影像立体测图成果进行实验对比分析,成果符合要求。     

高斯信道中功率分配问题的一种优化方法

信号检测中,检测概率一直是作为衡量检测性能的一个重要标准.众所周知,Neyman-Pearson准则下的最优检测是似然比检测.然而多传感器系统下随着信号维数增加,似然比检测门限的计算涉及高维积分,计算困难相当大,因此文中考虑的高斯信号检测模型,没有直接计算检测概率而是将两个密度函数的相对熵作为衡量检测性能的一个度量来研究高斯信号检测中功率的分配,并且建立了目标优化模型.针对文中建立的优化问题,首先由加强的Fritz John(F-J)必要条件证明了优化问题的局部最优解满足KKT(Karush-Kuhn-Tucker)条件,并且进一步证明存在惟一的拉格朗日乘子.然后利用凸函数的性质我们说明了D(P1‖P0)是tr(∑s)的非减函数,最后在此基础上得到了优化问题的最优解,即得到了功率分配矩阵.同时也给出了特殊信道下的功率分配矩阵.     

基于Simulink的列车垂向振动仿真分析

为研究轨道车辆在轨面激扰下的运行平稳性,根据车辆运行特性与车辆构造原理,本文建立列车转向架-车体耦合的四自由度垂向振动模型,利用Simulink建立该系统的仿真模型,对车辆以两种速度通过轨道激扰时车体各性能指标的响应进行研究。此外,为抑制轨道车辆车体的弹性振动,在车体底架下安装动力吸振器,建立有动力吸振器的优化振动模型,分析动力吸振器对列车垂向振动性能的影响。通过分析仿真结果可知,优化后的振动模型能够有效减少车辆的垂向振动,进一步提高轨道车辆运行的平稳性。     

灰色系统理论在废气污染物排放量预测中的应用

应用灰色系统预测理论,以GM(1,1)模型对我国废气排放中主要污染物排放量进行预测,可有效克服原始数据的离散性,在少信息的情况下得到高精度的预测结果。以2008²012年废气主要污染物排放量为例进行了中短期的预测,结论表明,预测精度均可达到最优的精度等级。     

α-溴代-α-乙酰基二硫缩烯酮与芳醛缩合反应的研究

从α-溴代-α-乙酰基二硫缩烯酮出发,与多种不同芳醛反应合成了γ-位的醛缩合产物α-溴代-α-烯酰基二硫缩烯酮.探讨了在不同碱、溶剂、反应温度和原料配比等反应条件下该缩合的反应情况及其产率,并对各化合物的结构进行了表征.结果表明,在以氢氧化钠为碱,叔丁醇为溶剂,常温条件下可以较高产率地获得目标产物.     

基于改进多目标遗传算法的连铸二冷过程优化

采用一种改进的多目标遗传算法对二冷工艺进行优化.改进的多目标遗传算法应用概率法选取选择算子，根据适应度值来动态计算交叉和变异概率，能够得到更好的全局最优解，提高算法精度和整体性能.在基于凝固传热模型的二冷优化过程中，采用变间距差分法离散求解传热方程，对比粒子群算法、多目标遗传算法，改进的多目标遗传算法搜索效率高，得到的价值函数最小.在实际生产中，采用优化后的二冷工艺，使得总用水量减少约10%，提高了铸坯质量，达到了节能降耗的要求.     

基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。     

探索Euler图的等价命题

从研究Euler图的等价命题入手,尝试挖掘Euler图的拓扑结构,力图从多个角度刻画Euler图的本征,得到4个新的Euler图等价命题,并利用图的"浓缩"和"稀释"运算给出刻画Euler图的技术,且此技术能够转化为可行的算法.     

一个野代数的二维的不可分解表示

在表示型的研究中,野代数Γ=k〈x,y〉扮演重要角色,但通常描述其表示是非常困难的。本文主要利用Belitskii算法得到代数Γ所有二维表示的同构类,等价地,得到二阶矩阵对的Belitskii标准形,并得到该线性矩阵问题的Belitskii标准形的参数数。     

科学建模的两种观点

关于科学建模有两种典型的观点,一是"系统派生观",二是"零碎借贷观"。前者认为,科学表征模型可以在原理模型(即科学原理)的基础上系统派生出来;后者强调科学家的科学建模活动实际上是从各种理论中选取所需要的部分进行创造性构造的过程。从以往的争论来看,这两种观点似乎各有侧重,不分胜负。但本文试图结合科学建模的案例论证,后者完全可以替代前者,不仅因为它比前者更符合科学家实际的建模活动,解释前者无法解释的现象,而且可以容纳理论派生模型的案例。