有限自动机化合的一些结果

主要讨论了有限自动机的化合与化合前两个有限自动机的弱可逆性,严格延迟步数,弱逆以及线性的一些关系．     

关于投影变换的一个定理的改进与推广

对北京理工大学出版社出版、史荣昌先生所著《矩阵分析》中的定理3．4．3的充分性进行了讨论,给出了一个新结果,这个结果改进和推广了原定理的结论。     

改善AMR薄膜磁电阻传感器线性度的几种方法

在分析金属薄膜磁电阻传感器非线性产生原因的基础上,提出了几种设计AMR(各向异性磁电阻)薄膜磁电阻传感器时改善其线性度的方法.用直流磁控溅射方法制备了Ni80Fe20和Ni65Co35 AMR薄膜材料;用微加工工艺制做出了几种AMR传感器元件,并给出了测试结果.     

水电站库群优化调度的多次动态线性规划方法

本文以红水河梯级为例,研究了水电站库群优化调度的多次动态线性规划方法.以动态规划贝尔曼原理逆推为基础,进行面临时段决策时,利用线性化策略,构成一个线性规划问题来求解,以达到加快计算速度,节约计算机时的目的.在处理“维数灾”困难时,利用了多次动态规划的概念,即先以较大的网距划分网格来寻优,进一步在初优线的某一邻域内以较小的网距划分网格来寻优,以达到既满足精度要求,又避免了“维数灾”困难的目的,从而使所探讨方法在计算机时及存贮容量方面均有较好的改善.     

土石坝与地基地震反应分析的波动－剪切梁法

将水平成层粘弹性地基上的土石坝处理为一维问题，推导了体系相对于基岩的传递函数；建议了一个坝－基相互作用的简化分析方法．算例表明本方法简单实用；对工程初步设计，计算结果将提供有意义的参考价值．     

纳米测量机工作台导轨高精度误差分离原理

为了高精度分离与修正纳米测量机工作台直线度运动和角运动误差引起的阿贝误差,介绍了一种利用速度瞬时中心进行分离的方法,推导了工作台在任意时刻的速度瞬时中心坐标计算公式,根据该公式计算出由于直线度引起的工作台上任意测量点的坐标测量误差.从原理上设计了直线度误差分离与修正的实验方案,解决了传统阿贝误差分离与修正方法中以旋转中心为工作台中心点、阿贝臂长度计算不准确的问题.     

线性电路叠加定理的证明

线性电路必定满足叠加定理,满足叠加定理的电路必定是线性电路,但循环定义无助于识别线性电路和应用叠加定理。文章指出线性是线性系统输入信号与输出信号关系的一种描述,是齐次性与叠加性之和。线性电路元件是电流/电压关系特性符合线性系统输入/输出要求的电路元件,进一步可以分为自身电流与自身电压成线性关系的普通线性电路元件,和控制电压或电流与受控电压或电流成线性关系的受控线性电路元件。线性电路是由线性电路元件和独立源构成的电路,其中独立源被看做线性电路的输入（激励）,而电路中的任何电压和电流都被看做是线性电路的输出（响应）。最后根据线性概念及基尔霍夫定律,给出了叠加定理的证明。     

一类常系数线性时滞泛函微分方程的振动性

本文通过构造辅助函数,用分析的方法,定性地研究了一类超越代数方程解的形态,获得了一类泛函微分方程振动的准则,将线性泛函微分方程的振动理论由具正系数的泛函微分方程推广到具正负系数的泛函微分方程,在方法和内容上丰富了这一类泛函微分方程的振动理论．     

解二阶抛物型方程的一族高精度恒稳格式

对二阶抛物型方程构造了一族含参数高精度三层差分格式.当参数满足一定的条件时,差分格式绝对稳定,其局部截断误差阶数最高可达O(τ2+h4).适当地调节参数,可以得到一个七点显式差分格式和一个两层六点隐格式.数值例子表明,对稳定性所作的分析是正确的.     

一类二阶常系数非齐次线性微分方程特解的矩阵方法

讨论二阶常系数非齐次线性微分方程y'+py'+qy=eλxPm(x)的特解,首先用待定系数法设出特解中的多项式,然后将多项式的系数满足的等式用矩阵方程表示,得到了求系数的一个新的公式解,可以简单地求出特解.