广义Pascal矩阵代数结构及性质

研究了３类广义Pascl阵：φn(p,q)、Ωn(p,q)和ψn(p,q)，不但指出φn(p,q)与Ωn(p,q)可以分解为特殊矩阵的乘积以及φn(p,q)对矩阵乘法的封闭性，而且讨论了此３类矩阵的相互联系以及ψn(p,q)中所含的有趣行列式；最后，得到Ωn(p,q)的对角化与一类广义Fibonacci序列具有紧密的联系 。     

用划分序列构造时序机核实序列的方法

任何既约的、强联结的时序机 ,必存在核实序列 .若该机存在区分序列 ,构造其核实序列的方法已经形成 ;但是 ,若该机不存在区分序列 ,需寻求构造其核实序列的方法 .作者从时序机的状态表出发 ,定义了划分序列 ,并针对无区分序列的时序机 ,提出了利用划分序列构造时序机核实序列的一种方法 .该方法中求划分序列部分建立在时序机的矩阵模型上 ,易于工程实现     

弱椭圆方程的解及应用

利用二阶偏微分方程的弱解理论和狄氏型理论，证明了Ｌ＾２（Ｒ＾ｄ，ｄｘ）中的弱椭圆方程测度值解的存在性。     

一类Fibonacci,Lucas序列的倒数和

建立了Ｆｉｂｏｎａｃｃｉ，Ｌｕｃａｓ序列的一类倒数和，推广了Ｊｅｎｎｉｎｇｓ的结果。     

适合于实现的鲁棒通讯方法

由Ｐａｒｌｉｔｚ Ｕ和Ｅｒｇｅｚｉｎｅｒ Ｓ提出的鲁棒通讯方法要求发射器和接收器产生完全相同的混沌序列，这在实现上是有困难的。本文改善了这一方法。改善后的方法不仅对外噪声是鲁棒的，而且适合于实现。     

微处理器测试图形采集程序自动编程系统的设计

提出了微处理器ＭＰ测试图形采集程序自动编程系统的一种设计方案，系统在读入测试开发人员对ＭＰ的描述后，能自动建立ＭＰ的抽象模型并产生直接在Ｓ－１０测试仪上运行的ＦＡＣＴＯＲ语言ＭＰ测试图形采集程序．     

正则锥的一个充要条件

借助Mazur定理,给出正则锥的一个充要条件,即P为一正则锥当且仅当P为一正规且弱正则锥.     

An型完备例外序列的个数

利用垂直范畴与倾斜理论，给出计算Ａｎ型完备例外序列个数的归纳公式．     

关于双峰映射语言的一个定理

研究了双峰映射（即有两个临界点的连续映射）生成的语言，证明了该类语言的一个基本定理，用它可以简化语言复杂性的研究。