一类高阶差分方程的全局渐近稳定性

主要研究高阶差分方程x_n+1=f(x_(n-s),x_(n-t)),n=0,1,2,…,s>t,8,t∈{0,1,2,…)的全局渐近稳定性.当右端函数f满足某种单调性条件时,获得了其全局渐近稳定的一个充分条件.     

q=-1的量子环面Lq上的一类表示V（a）

Lq为q=-1的量子环面李代数.本文构造了L-1上的一类Z2阶化表示V(a).     

特殊图的平均距离

设G=G1(×)G2是G1和G2的强乘积,算出了图Pm(×)Pn,Pm(×)Cn,Cm(×)Cn及Cm(×)Cn的平均距离.     

对民族院校实施教育创新的一些思考

教育创新是民族高等教育发展的不竭动力。民族院校担负着促进民族地区经济社会发展的历史使命。随着我国高等教育的快速发展、科教兴国战略和西部大开发战略向深层次的推进,民族院校必须积极探索教育教学改革,大力推进教育创新,才能实现其生存与发展。民族院校的教育创新要体现区域性和民族性,可从人才培养模式、学科专业建设、实践教学环节等多方面进行,尤其是要加强大学绿色教育,树立可持续发展观念,推进教育观念的创新。     

后现代课程观对我国体育课程改革的启示

运用文献资料法,对后现代课程观的基本理论进行了阐述,联系我国体育课程改革的实际情况,提出在体育课程改革中要重新解读与构建体育课程与教学观、建立平等对话的师生关系、建立多元化的体育课评价标准、实现体育课程标准的开放性。     

基于Linux系统实现校园网多出口策略路由的研究与应用

基于目前国内外对多出口的研究与应用大多停留在基于源地址、多网卡、单网卡多个IP地址等方式,经实践证明,均存在合理正确的路由问题。通过对我院实际网络出口的分析,利用Linux系统实现校园网多出口策略路由的研究与应用。     

论载漪

在义和团运动短暂的高潮阶段,端王载漪曾经是慈禧太后一人之下,居后党核心地位的权势人物。研究这一段历史,载漪是一个不可轻轻放过的重要角色。一载漪(1856—1922年),为咸丰皇帝之侄,惇亲王奕(讠宗)之子。1860年,他过继给瑞郡王     

关于投影空间在微分流形内的实现

拓扑空间较常见而简单的如投影空间P~n能在何等维数m的欧氏空间E~m内有实现,对这问题我们现在所知道的不甚多。H.Hopf曾证明P~n不能在E~(n+1)内有实现(n≧2)。陈省身曾证明P~n不能在E~(n+2)内有微分实现,如果n(?)2~k-1(k≧2)及n(?)2~k-2(k≧2)。     

一种基于UPPAAL的智能合约属性形式化验证方法

针对智能合约的属性验证问题,该文提出了一种基于UPPAAL的智能合约属性形式化验证方法.首先定义了Solidity基本语句的操作语义及其到时间自动机的转换,将智能合约转换成时间自动机网络模型;然后定义并描述智能合约常见的安全性和活性,再使用模型检测工具UPPAAL验证智能合约的属性;最后对购物合约进行了建模与验证,验证了该方法的有效性.     

基于小波包与模糊神经网络的刀具状况监控

在自动化制造中,线监控刀具状况以保护刀具与加工工件显得越来越重要。近年来,许多研究者在此领域进行了广泛的研究,然而由于加工过程的不确定性,现有的刀具监控系统的可靠性还有待提高。本文提出了一种基于小波包分析与模糊神经网络的自适应刀具监控系统,该系统利用小波包分析方法将加工过程振动信号分解为不同的频率段,并在此基础上,建立了正适应特征提取方法,为模型神经网络提供最优的特征输入,然后模糊神经网络据此进行