具偏差变元的脉冲时滞微分方程的周期解

利用Mawhin重合度理论,研究了一类具偏差变元的脉冲时滞微分方程的周期解问题,得到了该类方程存在周期解的充分性条件,推广了文献[4—5]的主要结果．文中的结果也适用于相应的非脉冲微分方程．     

带阻尼项的二阶非线性时滞微分方程的概周期解的存在性及唯一性

研究具时滞的二阶非线性微分方程，利用变量替换和不动点方法，得到此方程概周期解和有解界的存在及唯一性结果，推广了文献[3]的结果．     

一种前向安全的基于身份的非交互密钥分发协议

基于身份的非交互密钥分发协议（identity-based non-interactive key distribution,ID-NI-KD）允许通信双方在没有信息交互的情况下生成一个共享密钥.具有前向安全性的ID-NIKD一直是基于身份的非交互密钥分发协议这一研究方向的一个公开问题.文献[1]分析指出文献[2]给出的前向安全的ID-NIKD方案是不具有前向安全的,并给出了攻击方法.文章针对文献[1]提出的攻击,借鉴文献[2]的思想,给出了一个具有前向安全的ID-NIKD方案,并给出了新方案在文献[2]的安全模型下的安全性证明.     

一类脉冲微分方程正周期解的存在性与吸引性

考虑一类一阶非线性脉冲微分方程,得到了该方程存在正周期解以及该周期解吸引的一个充分条件.当方程的参数p=1时,本文结果即为文献[2]中的相应结果.     

关于退化的双曲型方程的一个边值问题

文献[1]讨论了一个常系数二阶双曲型方程在矩形域内的适定性问题。本文进一步讨论:一个变系数且 y=0为退化的二阶双曲型方程的另一边值问题,并证明在一定条件下,在同一矩形域内也是适定的;同时指出文献[1]中对于 f,(?)的条件可以降低。     

一类非线性拟周期系统的约化

推广了文献[8]的结果,考虑一类带小扰动参数的实解析非线性拟周期系统的约化问题,证明对于绝大多数充分小的扰动参数,在适当的非共振条件下,不需要任何的非退化条件,就可以通过一个仿射的拟周期变换,把系统在零平衡点附近约化成一个适当的标准形。     

具分布偏差变元非自治数学生态学方程的全局渐近稳定性

通过构造不等式的方法,进而推广文献[4]和改进文献[5]的相应结果,得出了一类具分布偏差变元非自治微分方程解的渐近稳定性的充分条件,该方程包含了许多时滞生物数学模型.     

一类脉冲微分方程正周期解的存在性与吸引性

考虑一类一阶非线性脉冲微分方程，得到了该方程存在正周期解以及该周期解吸引的一个充分条件．当方程的参数p=1时，本文结果即为文献[2]中的相应结果．     

非负矩阵的Hadamard积谱半径上界的估计

非负矩阵是一类特殊矩阵,广泛地应用于数值计算、图论、线性规划、计算机科学、自动控制等领域。两个非负矩阵的Hadamard积的谱半径问题是非负矩阵理论中一个重要问题。关于两个非负矩阵的Hadamard积A。B,我们给出A。B谱半径的新上界,这一上界改进了文献[1]、文献[2]和文献[3]中的结果。     

一类具有Beddington - DeAngelis功能反应的离散竞争系统的概周期解

针对一类具有Beddington - DeAngelis功能反应的离散竞争系统,运用差分不等式和通过构造适当的Lyapunov函数,证明了该系统具有持久性和全局吸引性.利用差分概周期方程的壳理论,得到了保证该系统存在唯一的概周期解的充分条件.所得结果补充了文献[3]和文献[4]的工作.     

TL-带算子环和TL-带算理想

引入了TL-带算子环和TL-带算理想的概念。给出了带算环R的Fuzzy集是M-L-子环(理想)的充分必要条件,讨论了TL-带算子环和TL-带算理想在带算同态下的像和逆像,并得到了TL-带算理想的两个特征性质.     

Auto CAD 参数化绘图模块库的建立

介绍了ＡｕｔｏＣＡＤ软件的几种扩充方式，提出了用ＡｕｔｏＣＡＤ内部的Ｃ语言开发系统ＡＤＳ建立绘图模块库的方法。利用该绘图模块库可以简便地编制各种机械零件工作图的绘图程序，将绘图应用程序编译成可执行文件在ＡｕｔｏＣＡＤ环境下运行，从而既利用了ＡｕｔｏＣＡＤ环境强大的图形显示和编辑功能，又利用了Ｃ语言的结构化编程、运行效率高的优势，并可达到参数化绘图的目的。     

应用有限元法求解有渗流的边坡稳定性问题

介绍了有限元方法在解决有渗流等外力作用下的边坡稳定性问题中的方法和步骤，给出了渗流方程有限元表达式，并结合岳城水库土 生滑坡的计算实例，描述了计算过程和结果。     

与AUTOSAR兼容的Matlab/Simulink自动代码生成技术

探讨了沿用Matlab/Simulink基于模型的软件开发方法并且生成的代码与AUTOSAR标准兼容的机理,通过实例描述了如何使用Matlab/Simulink生成与AUTOSAR标准相兼容的过程,最后对生成的代码文件进行分析.     

多极电磁器处理原油生产性试验

用多极电磁器试验研究了磁处理在原油脱水、防腊降粘,原油废水的净化及电磁防垢方面的作用。还对磁效应的机理进行了初步探讨。在磁通密度为0.10T时,原油的脱水率为11.7%,原油降粘率为30%;废水中含油率可下降91%,垢的沉积率可下降到55%,可使管线的清垢周期延长一倍。     

具有人性的真理观——普特南内在实在论真理观

普特南是一位重视人、关注人的生活实践的哲学家，这在他内在实在论阶段就明显体现出来，在这一时期，他强调真理是概念框架内的真理，是内在的，是理想化的合理的可接受性，是与人类的兴盛衰亡相连的。普特南的这一真现观是在批判形而上学真理观与形式主义真理观基础上，吸收了实用主义真理观的合理因素，从内在实在论方场思考而得出的。     

南钢焦化配加无烟煤炼焦工艺的研究

介绍了南钢配加无烟煤炼焦的技术经济可行性、工艺设计方案、设备选型及效益的分析,提出了南钢配加无烟煤炼焦的方向。     

SBR工艺处理高质量浓度尿素废水短程硝化特性

为实现短程脱氮技术处理高质量浓度尿素废水,通过采用SBR工艺考察反应过程中pH、曝气时间、尿素容积负荷对高质量浓度尿素废水短程硝化特性的影响.结果表明:用SBR工艺处理高质量浓度尿素废水效果稳定,出水中含有大量的亚硝酸氮,发生了短程硝化;当pH在7～10的范围内时,亚硝酸盐积累率均在90%以上;在试验条件下,曝气时间对短程硝化过程影响不大,尿素水解反应成为限速步骤;尿素容积负荷没有影响亚硝酸盐氮的积累率,当进水尿素容积负荷控制在1.13 kg/(m3.d)以下时,能够获得较高的尿素去除率和氨氮转化率.高浓度尿素废水处理中短程硝化脱氮过程更容易实现.     

低碳钢铁素体显微结构研究

通过应用金相和电子显微分析,对含有微量非金属夹杂物的含钛低碳钢在不同冷却条件下的显微组织进行研究,发现铁素体精细的显微结构对钢的机械性能有显著影响。其中针状铁素体之间细小的马氏体的存在与数量对钢的抗拉强度和低温冲击韧性起关键作用。     

五维控制磁悬浮轴承装置的试验研究

本文在五维控制磁悬浮轴承装置研制的基础上，对其性能参数等进行了试验研究。