一类离散时间复杂网络系统的输出同步

利用线性稳定性理论和Lyapunov函数方法,研究了一类离散时间复杂网络系统的输出同步问题,得到了系统输出指数同步的充分性条件,数值算例表明了方法的有效性.     

青藏铁路含保温夹层路基厚度与地温关系的研究

通过对青藏铁路风火山段含有保温夹层的路基建立均匀介质分层纯导热模型并运用分层近似解法求出冻土表层的温度函数,结合Lachenbruch给出的冻土层的理论温度表达式,得到了路基填料层、保温层、地表年平均温度与正弦变化温度的振幅比三者之间的隐式方程,并应用该方程对三者之间的关系进行了分析.     

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

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

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

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

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

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

站话“子”缀词语的构成及特征

站话中的"子"缀词语与周边黑龙江方言及普通话相比,除了具有共同特征外,还表现出一定的差异性。从构成上来看,站话中"子"缀词语的词根无论音节数量还是词性都非常丰富,构成了数量众多的"子"缀词语;从功能和语义特征上来看,站话中"子"缀构词能力更强,可以构成一定数量的动词,而且虚化程度更高,语义色彩更加轻淡。     

浅谈微博在高校网络思想政治教育中的应用

在网络化社会,微博已经成为人们交流与沟通的重要阵地,微博的使用人数也呈现出逐年上升的趋势,学生对于微博的认同感也超过了90%。作为一种全新的载体——微博的育人功能也受到了教育学界的广泛关注,"微博"属于新型生产力,在我国得到了飞速的发展,也渗透进了大学生生活与学习的各个方面,将微博与高校思想政治教育工作结合起来可以有效提升思想政治教育工作的创新性。该文主要分析微博在高校网络思想政治教育中的应用方式。     

基于网络化视听技术的交互式教学系统设计

网络化教育系统越来越多的进入人们的学习生活当中,成为人们获取知识的一个重要的渠道.但是目前的网络教育系统缺乏交互性和自我修复完善的能力,学员被动接受知识,学习效果无法令人满意.该文讨论了一种基于网络视听技术的交互式教学系统,能克服上述缺点,更好的服务于学员.     

基于压缩感知的无线传感网数据收集研究进展

综述了基于CS的WSN数据收集研究成果,分别从基于矩阵设计、最小化能量和减少延迟等方面进行了分类探索,分析了各类方案的技术思想和优缺点,展望了基于CS的数据收集的发展方向。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.