单片机原理与接口技术教学改革与实践

对当前的单片机教学方法进行了分析,提出了单片机教学和课程设计改革的方法,主要是对学生的动手能力及实践能力培养的方法进行了探讨.实践表明,通过教学及课程设计的改革,增强了学生的动手能力,培养了实际工程能力.     

基于Oracle的管理信息系统数据库安全设计

介绍一个面向成人教育教务管理的Oracle数据库应用系统并对其安全威胁进行了分析,提出了安全防护的具体措施.首先,分析了高校成人教育教务管理工作的流程和数据库结构;其次,就高校成教的实际情况,提出了成人教育教务管理信息系统结构的基本设想,阐述了5个基本模块所实现的功能;最后分析了数据库系统面临的安全威胁,给出了应对的安全措施.     

连续正则化牛顿方法的收敛率

对半正定线性算子方程考虑了一类连续正则化牛顿方法,给出了收敛证明,得到了收敛率.考虑了右端数据有误差的情形,并给出了先验的与后验的停止准则,在一定条件下收敛率是最优的.     

基于多个一维混沌映射系统的多重加密算法

本文提出了一种新的基于多个一维混沌映射的对称加密算法,该算法利用了混沌系统的伪随机性;在加密或解密过程中,该算法产生了在固定区间的混沌伪随机序列,并对各种类型文件的信息进行了加密与解密处理,还分析了本密码系统的性能.实验结果发现:与Kocarev的算法相比,本算法的安全性明显增强了对已有的攻击方法有了更强的抵抗能力.     

面向服务的防汛GIS支撑平台设计与实现

将GIS技术和面向服务的集成技术引入到了防汛信息系统建设的实际应用中,系统定义了防汛GIS支撑平台,制定了平台实现的技术路线,阐述了平台的设计思想,论述了平台的构建过程．其中,创建了汛情Web数据服务及其空间数据服务,在此基础上,建了一个面向web数据服务的开放式的防汛平台,实现了应用功能与汛情信息数据的分离,统一了汛情发布功能的展现方式,提高了平台的复用性、可维护性和可扩展性,为三维WebGIS技术在防汛减灾中的应用及建立类似系统提供了良好的设计思路和有益参考．     

具有阻尼项的二阶非线性时滞中立型动力方程的振动性

研究了时间尺度上一类新的具有阻尼项的二阶非线性时滞中立型动力方程的振动性,基于时间尺度上的微积分理论、Riccati变换、H函数法和不等式技巧,得到了该方程振动的一些新的充分条件,推广了已有研究的结果,丰富了二阶时滞动力方程的振动性.最后,通过例子验证了相关结果.     

带2个形状参数的多项式可展曲面造型

构造了一组带2个形状参数的多项式基函数,其为三次伯恩斯坦基函数的扩展。首先,给出了该组基函数的基本性质,分析了基函数的逼近性和形状可调性,讨论了用该组基函数构造插值样条的保正性和保单调性;然后,基于对偶性原理,用该组基函数构造了包络可展曲面和脊线可展曲面,并分析了可展曲面的G¹,G²及G³连续性;最后,用实例验证了方法的有效性。     

基于辛普森公式的美式期权定价最优实施边界新算法

美式期权定价问题归结为最优实施边界问题,最优实施边界适合非线性第二类Volterra积分方程。研究了积分方程的求解问题,提出了基于复合辛普森方法的不动点迭代格式,分析了格式的代数精度,并进行了最优实施边界的模拟,结果验证了方法的有效性,为实际应用提供了理论基础。 更多还原     

电磁悬浮控制系统的设计与仿真

在介绍电磁悬浮控制系统的基本原理基础上,建立了电磁悬浮控制系统的位置和电磁控制电压关系的数学模型,并采用了复合模糊控制器设计了磁悬浮控制系统,在M atlab/S im u link下进行了仿真实验,并取得了令人满意的仿真结果.     

高校实验教学考核模式改革探索与实践

归纳了实验教学考核模式改革的一些经验,在此基础上,针对《网络攻防技术》课程实验的考核模式进行了改革,设计了网络攻防实验考核测评指标体系,构建了网络攻防实验考核平台,提出了全过程跟踪的实验考核评价方法,取得较好的实践效果.     

一种基于整体退火遗传算法的动态IR Drop分析新方法

提出了一种基于整体退火遗传算法的动态IR drop分析方法.该方法在经典遗传算法基础上,引入父代竞争和适应函数模拟退火处理,优化了动态分析的输入向量,加快了分析速度.实验表明,与经典遗传算法相比,该方法提高了动态IR drop分析的准确性,提高了算法收敛速度,繁殖代数平均减少了35%,分析结果改进了10%左右.     

丙烯酸环氧酯合成的动力学研究

本工作研究了以丙烯酸和环氧树脂为原料合成丙烯酸环氧醋的动力学,认为该反应是一级反应,在此基础上提出了反应机理.同时研究了不饱和酸离解常数及溶剂对反应速率常数的影响,进一步支持了上述观点,并且求出了在不同温度丫的反应速率常数及反应的活化能     

有约束极大极小优化问题的修正Lagrangian算法

对于有不等式约束的极大极小优化问题,本文构造了一个修正的Lagrangian函数并分析了其在一般条件下的性质,建立了与之对应的修正Lagrangian算法.最后对文献中的几个问题给出了数值计算结果验证了算法.     

一类捕食-食饵模型正解的存在性和惟一性

研究了一类带Beddington-DeAngelis反应项的捕食-食饵模型的平衡态问题,给出了正解的存在性和惟一性.利用Leray-Schauder度理论,通过计算锥映射不动点指标,结合极值原理、上下解方法,得到了正解存在的充分条件.并且,利用特征值变分原理给出了正解存在的惟一性条件.     

交换环的实V-赋值与亚序

在带有单位元的交换环上,引入了V-赋值与亚序间的相容性,并得出了一些性质。在此基础上,对环的实V-赋值进行了讨论,从而推广了实Manis赋值理论中许多的结论。     

一类矩阵多项式的平方根矩阵问题

研究了一类矩阵多项式的开平方问题,给出了该类矩阵多项式能开平方的充分必要条件及其平方根矩阵的个数,完善了作者先前的理论,并推广了朱德高的主要结论．     

非线性不可微方程的迭代解法

本文提出了一种解非线性不可微方程的迭代方法,分析了其收敛性并给出了误差估计,取得了很好的效果.     

计算实对称矩阵特征值特征向量的幂法

幂法是一种计算实矩阵主特征值的一种迭代方法,在幂法的基础上进行了扩展,提出了一种能计算实对称矩阵所有特征向量和特征值的迭代方法,并对该方法的收敛性进行了证明,最后通过数值实验验证了该方法的有效性。     

一种新型的单电子数值比较器

基于单电子晶体管的I-V特性,在构建反相器的基础上,推出了或非门及与或非逻辑门,并最终实现了一种新型的2位单电子数值比较器,利用SPICE模拟器验证了电路设计的正确性.该比较器结合了单电子晶体管与MOS管的优点.分析结果表明:与仅由单电子晶体管实现的比较器相比,电路的驱动能力提高的同时减少至少12个晶体管;与具有相同逻辑结构的CMOS实现的电路相比,该新型比较器使用了简单的单电子器件,使得电路的结构尺寸得到了极大的缩小,电路的功耗仅在10-10W数量级上,为将来超大规模集成电路进一步微型化奠定了基础.     

社会选择函数集结中的对影判别和性质

考虑社会选择函数集结中的对影判别和性质。通过严格形式化刻画,给出了弱序偏好的强序化,强序化为分影偏好,给出了分影偏好定义,分析了其基本性质,并考虑广为关注的孔多塞循环,联系孔多塞循环和轮换,给出了一般意义上的分影的判别。论文形成了一个由定义、性质和判别诸定理组成的完整的框架,并具有框架的可拓展性。