SRCM的发展和在国内外的应用

本文首先对SRCM的产生背景和特点进行了介绍,对SRCM与传统RCM的不同点进行了对比,其次就SRCM的执行过程进行了详细的阐述和分析,并回顾了SRCM在国内外的应用现状和已取得的成果,最后对其不足之处及发展前景进行了探讨和展望。实践证明SRCM有着独特的应用价值,节省了分析所需的资源和时间,保证了RCM的完整性和结果的正确性。     

基于VerilogHDL的分频器的优化设计

基于整数和小数分频的实现原理,提出了整数和小数分频器的算法和结构,采用Verilog硬件描述语言优化设计了偶数、非50%占空比和50%占空比的奇数、半整数分频器,重点对任意小数分频器进行了设计优化.用LDV5.1进行了仿真,用Synplify Pro进行了基于ALTERA公司FPGA的综合,证明了其可行性.     

基于LABVIEW的温度数据采集系统的软件设计

本文介绍了基于LABVIEW的外置串口的温度数据采集系统,详细阐述了系统的软件设计,给出了软件流程图和LABVIEW8.0前后面板的设计;给出了对系统进行初步测试的数据和结果,表明了系统的设计与调试基本达到了预期的目的和要求。     

教学运行的信息管理与监控系统的研究

以教学运行的信息管理和监控系统为研究对象,确定了系统的结构,给出了系统的总体设计,选择了系统开发的支持平台和B/S的处理模式,划分了初期监控、实时监控、阶段监控和终期监控等子系统及其功能,完成了系统信息库的设计,研究了建立系统的二级评价指标体系和评价模型等问题.     

基于PC机的冻干机监控系统的开发

介绍了使用计算机和PLC组成的冻干机自动控制系统,重点叙述了计算机监控软件的设计和实现,程序采用了多线程技术和自定制的串口通讯类,取得了良好的效果.     

基于碳纳米管的CMOS逻辑电路的模拟和优化

基于查表模型,利用SPICE(simulation program with integrated ciruit emphasis)电路模拟软件,首次模拟了互补型碳纳米管(CNT)场效应晶体管组成的反相器,模拟结果和实验结果吻合,实现了碳纳米管场效应晶体管的实际测量数据和半经验查表模型的衔接.利用直流特性分析和瞬态特性分析等仿真手段研究了CNT CMOS反相器的功耗和门延迟特性随工作电压和器件阈值电压变化的关系,并对电路设计和工作状态提出了优化方案.进一步模拟了与非门和或非门,并提出了电路的优化方案.     

用于地铁机车的飞轮电池磁悬浮控制系统的设计

首先论述了将飞轮电池作为地铁机车的辅助动力的优越性和工作原理,提出了一种永磁和电磁混合控制的磁悬浮轴承设计方案,对磁悬浮轴承控制系统进行了动力学分析和建模仿真,设计了PID控制器,并对磁悬浮控制方案进行了实验研究,仿真和实验结果证实了本文提出的磁悬浮控制系统方案的可行性．     

不同分布的BUTI的大偏差

主要研究了长尾上的带有BUTI的、不同分布的随机变量和的尾概率,得到了部分和和随机和的一致渐近的大偏差的结论,推广了已存在的相应结论.     

基于面向对象的心电监护系统的研制

结合心电监护仪的研制,介绍了如何运用软件工程的方法进行产品的软件和硬件设计.设计过程中运用了面向对象的技术和方法,通过面向对象分析(OOA)与面向对象的设计(OOD),建立用户模型和结构模型,更好地描述了产品的需求和功能,产品具备良好的可靠性、可维护性和可重用性.     

基于J2ME的手机邮件系统的研究

分析了无线数据服务和邮件服务模式的演变,讨论了系统整体方案的选择,通过对J2ME架构的研究和分析,提出了基于J2ME的系统解决方案;制定了HBWMP通讯协议;最后对系统的设计和实现方案进行了总结,为下一步的研究奠定了基础。     

S-单式环的变换条件

文献[1]讨论了一类S—单式环的交换性条件,推广了文献[2]和文献[3]中的某些结论.在文献[1]的基础上继续讨论了此课题.得到了比文献[1]中一些结论更为广泛的结果和新的结论.     

向量优化中改进集的一些拓扑性质

研究了改进集的拓扑闭包的一些性质,提出了它的一些等价刻画,对一些已有结果作了改进和推广.通过一些具体例子对主要结果进行了说明.     

带有二次约束的一些非凸二次规划问题的全局最优性条件

利用Z.Y.W u等人最近提出的一种新的研究全局优化问题的全局最优性条件的方法,研究了一些带有二次约束的非凸二次规划问题的全局最优性条件,得到了一些带有二次约束的非凸二次规划问题的全局最优性充分条件,同时也得到了一些无约束非凸二次规划问题的全局最优性充分条件,并证明了在一些特殊情况下,本文的一些结果与文献中的一些结论是一致的。在有些情况下,本文的有些结果还推广了现有文献中的一些结论。     

Newton—Cotes求积公式和不等式

通过Newton—Cotes求积公式给出一些积分不等式．并且应用它们简化了若干著名结果的证明和得到一些新的结果．     

具正负系数中立型时滞差分方程的振动性

以微积分为基本工具讨论一类具正负系数中立型时滞差分方程的振动性 ,得到了几个新的保证这个方程的所有解振动的充分条件 ,所得结果改进了已有文献中的相应结论 ,并给出了其应用。     

拼挤黎曼流形中的子流形

研究了拼挤黎曼流形中子流形的几何性质.利用代数知识,讨论了与曲率有关的一些不变量,并得到了一般的结果,推广了相关文献的结论.同时,还研究了拟常曲率流形中子流形的不变量并得到相应的结果.     

以递推关系式给出的数列求通项问题的研究

本文运用矩阵、变换等手段研究了以递推关系式给出的数列求通项的问题，得到了一些结果，提出了一些可行方法。利用这些结果和方法可以比较容易地解决数学、经济学、运筹学、机械电子等方面的许多可化为递推关系式的实际问题，因而所得结果及方法具有一定的实用价值。运用矩阵研究递推关系式数列，目前尚属尝试，是否可以解决更多、更广的递推关系式数列，还有待于今后进一步的探索。     

连续Hopfield网络指数稳定的两个判据

根据连续Hopfield网络方程的特点,利用Lypunov函数,得出了两个连续Hopfield网络指数稳定的判据,所得结论推广了文献中的一些结果,并且证明过程简捷.     

弱s-置换子群与有限群的p-幂零性

利用Sylow子群的极大子群的弱s-置换性得到有限群为p-幂零群的一些充分条件.推广、统一了现有的一些结果.     

大气、海洋动力学中一些非线性偏微分方程的研究

本文简要综述大气、海洋动力学中一些非线性偏微分及其无穷维动力系统的研究进展,其中包括我们近年来取得的一些研究成果.首先,我们介绍(无耗散的和耗散的)表面准地砖方程近20来年的数学理论的研究成果.接着,我们综述了描述大尺度大气、海洋运动的大气、海洋原始方程组的一些定性理论的研究成果,含适定性、解的长时间行为和整体吸引子的存在性等.最后,我们介绍大气、海洋随机动力学的一些数学模型的研究结果,主要是带随机力的海洋原始方程组的适定性及其对应的无穷维随机动力系统的全局吸引子的存在性的结果.