二维常系数线性微分系统的标准基解矩阵公式及其计算程序

常来数线性微分系统初值问题的求解,无论在理论上还是在实际应用中都有极其重要的意义,但是目前在常微分方程的教科书和有关的参考资料中所介绍的解法,不仅计算量很大,而且没有给出具体的求解公式.本文用待定的方法给出了该问题的求解公式,同时也得到了用系数矩阵的元素直接表示的基解矩阵公式,并且利用数学软件Mathematica编写了计算程序.     

一个具有脉冲效应的Logistic系统的周期解

利用Mawhin重合度定理,获得了一个具有脉冲效应的Logistic系统的周期解的存在性的充分条件．     

沙坡头人工治沙工程植被物种组成及其多样性研究

从物种组成、物种多样性、植物生活型谱三个方面对沙坡头地区不同年代种植的治沙工程植被进行了比较研究.结果表明,随着固沙区年限的增长,固沙植被物种组成种类和物种多样性均增加;其中固沙植被在19—25年、40—50年两个阶段,物种的周转速率较大;与流沙植被相比,人工固沙植被的生活型谱中增加了地面芽植物,而不同年龄的人工植被生活型谱差异不大.以上结果可为人工植被治沙工程提供基础数据和理论依据.     

“3S”与少数民族地区的土地利用和覆盖变化研究

土地利用/覆盖变化是全球变化的重要驱动因子,"3S"技术的迅速发展为土地利用/覆盖变化研究提供了很好的技术支持.本文简要介绍了"3S"技术,包括遥感(RS)、地理信息系统(GIS)和全球定位系统(GPS)及特点,分析了"3S"技术在土地利用/覆盖变化研究中应用的必要性和技术支持方法,并回顾了国内少数民族地区的土地利用/覆盖变化研究进展,指出了少数民族地区的土地利用/覆盖变化研究需要更加广泛和深入.     

一类脉冲非齐次系统的周期解

研究一类脉冲非齐次强迫振动的周期解,结合运用压缩映射原理,给出保证系统存在周期解的一组充分条件．     

基于VB数控铣削仿真系统的实现

以VB语言为开发平台,利用计算机的高速度、大存储、较强的图形功能,开发了数控铣削仿真系统,并对其数控程序进行了图形仿真验证,检验了数控程序和加工方法的正确性.调试结果表明,该系统能采用仿真的图形检查铣削刀具路径,动态模拟数控加工的全过程,不仅避免了干涉碰撞的发生,而且能节约数控加工仿真过程中大量的财力和时间,产生较好的经济效益;该系统界面友好,使用方便,交互性好,实现了数控铣床编程与仿真加工.     

基于群体智能的蚁群算法原理及应用研究

自然界中群居性生物通过协作表现出的宏观智能行为特征被称为群体智能,群体智能已成为人工智能及相关领域的研究热点.蚁群算法(Ant Colony Optimization,ACO)是一种新颖的组合优化算法,它具有较强的鲁棒性、优良的分布式计算机制、易于与其他方法相结合等优点.主要介绍了蚁群算法的原理,探讨了蚁群优化算法及其应用.     

高清演播节目中摄像机的运用

随着电视高清技术的发展,高清摄像机已经成为高清电视发展的必备条件。该文主要介绍了在演播室节目制作过程中,如何通过对高清摄像机的一些功能及参数进行调整和设置,使得节目的画面更加丰富,色彩层次更为凸出,节目主持人形象更加鲜明。     

基于安卓的手机防盗追踪与隐私控制系统的研究

当今时代,已经步入一个以移动终端为主要通信工具的移动信息时代,随着移动设备的普及,人们更多的隐私信息都存储在移动设备上面.而近几年来,Android手机更是成为移动设备中占有较大份额的设备.随着Android用户的爆发性增长,由丢失手机造成的隐私泄露的问题愈发严重.相对于个人电脑,移动终端设备更具有隐私性,存储在移动设备上的信息大多是个人最隐秘的信息,如往来短信、通讯录信息、通话记录等.而这些信息在手机丢失后就处于不可控状态,手机中的信息随时可能会泄露.为了降低Android用户的隐私泄露风险和减少用户的损失,本文设计实现了一个防盗追踪与隐私控制系统.     

移动支付中二维码的安全性研究

移动支付是近年来新兴的一种便利快捷的支付手段,并迅速占有相当的支付市场份额.移动支付按支付距离分为近程支付和远程支付两种,本文研究的是第三方支付在近程支付常采用的一种方案.该方案以二维码信息技术为媒介,实现近程支付到远程支付的转换,最终完成支付.但由于所采用二维码本身的局限性,依托其作为第三方支付手段的过程中便出现了相关的安全威胁,其中最典型的是钓鱼威胁.本文详细分析了其可能存在的安全威胁,并采用特殊加密方法和第三方认证方法对这一问题进行处理,且对解决方法进行可行性分析,最后利用形式化验证的方法验证其安全性.