位移性在拉普拉斯变换中的应用

本文利用位移性,通过变量代换将非零初始条件转化零初始条件,拓宽了拉普拉斯变换法的使用范围.     

试论公司章程对公司法规定的排除适用

公司章程对公司法规定的排除适用，具体包括无关股权的制度设计、初始章程制定与股权问题、后续章程修正与股权问题等三种类型。在具体实务操作中，要注意恪守公司章程、不与法律产生冲突、不对抗善意第三人、尊重股东平等地位、合理创新而杜绝滥用等重要原则，以扬其长而补其短。     

用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

分数阶初值问题解的存在性与唯一性

讨论了带有Riemann-Liouville微分算子的分数阶微分方程初值问题,利用混合单调算子理论,获得了初值问题解的存在唯一性定理, 并举例说明主要结果.     

向量函数隐函数定理之新证明

隐函数定理是大学数学分析课程的一个重要定理,该定理在现代数学的许多分支都有重要应用.应用在大学常微分方程课程里学过的有关微分方程解的存在唯一性和解对初值与参数的连续性等定理给出隐函数定理的一个新证明.     

混沌现象中的定点研究

混沌现象是一种普遍存在的复杂的运动形式,在混沌区似乎没有稳定的状态,事实上仍然存在着一些稳定点;但这些稳定点是暂稳点。对混沌现象中的定点进行了详细的讨论,并分析了这些定点的稳定性。     

一类布线问题求解的判别准则和算法

在已有的判决图的基础上,定义了方向性及导出判决图,找到了一个判断布线问题中的1-嵌入问题是否有解的准则和基于此判别准则的算法,并在此基础上进一步研究了禁用构形,找到了1-嵌入问题有解的另一个判别准则.     

一类推广的IMBq方程解的爆破

对一类推广的IMBq方程的初边值问题进行了研究,在非线性项满足一定条件的情况下,采用特征函数法和凸性方法,证明了问题的光滑解只能在时间的一个有界区间中存在,并且在有限时间T内爆破,即解于有限时间T内在某种意义下趋于无穷大,从而说明了这类典型的非线性发展方程解的奇性.     

改善分支限界法求解旅行商问题效率的策略

叙述了NP完全问题的复杂性及分支限界法求解问题最优解的策略,分析了利用分支限界法求解旅行商问题过程中影响算法求解效率的主要原因。针对欧氏空间的旅行商问题求解,提出了通过化简初始边集的策略,改善算法的求解效率,通过实验说明了该策略的有效性。该策略可应用到求解旅行商问题的其他算法中。     

钢梁柱弱轴顶底角钢半刚性连接的抗弯特性

为了解顶底角钢半刚性连接的抗弯特性,利用简化的斜率-位移方程推导了半刚性连接初始刚度的计算公式,根据角钢的塑性特性计算了半刚性连接的极限弯矩,进行了两类柱弱轴顶底角钢半刚性连接的抗弯试验,并利用三参数幂函数模型模拟了所研究的半刚性连接的弯矩-转角曲线.结果表明,模拟结果与试验结果吻合很好,文中提出的新型连接形式具有很好的抗弯能力.