关于Shannon—Mcmillan定理的进一步研究

通过引进有限字母集上任意信源相对于非齐次马氏链的熵密度偏差和平均随机条件熵的概念,得出了在意信源的相对熵密度与相对于非齐次马氏链的平均随机条件熵之间的随机偏差不等式。     

一种高效并行存储方案—LR—XOR

提出了一种并行存储方法 ,即LR XOR斜排存储方法 ,它可以并行存取许多常用数据访问模式 ,对图象处理、数值分析、信号处理等科学与工程计算问题可以更好地发挥出处理单元的最大潜能 .这种方法对处理单元访问数据的主存地址采用异或运算来产生并行存储模块号 ,具有地址运算简单、易于硬件实现等优点 .     

π-演算的符号迁移图及其早互模拟验证算法

提出符号迁移图作为π－演算进程直观而高效的表示模型,并给出了符号迁移图我种版本的早操作语义,在此基础上定义了相应版本的早互模拟和观察同余。同时引入了符号观察图和符号同余图以及τ－循环和τ－边消去定理。最后给出了关于强／弱早互模拟等价和早观察同余的符号验证算法,并证明了其正确性。     

π-演算观察等价的推理系统

提出带递归π－演算观察等价的推理系统,并证明了在受卫递归有穷控制子集上的完备性。该系统由推理规则和等式公理两部分组成,其断言采用条件等式的形式,直接刻画了进程项之间的符号互模拟关系。     

新型高功率因数三相AC—DC变换器的研究

提出一种新型高功率因数三相AC－DC变换器,由一个同步变压器（LIT）、两个三相二极管整流器、一个脉冲宽度调制（PWM）DC－DC变换器组成,输入变换器的交流电流频率固定且不连续,排除了三次、五次、七次谐波。通过LIT和平衡电抗器的电流是高频的,变压器可用小铁芯,分析了其电路拓扑结构、工作原理、并给出实验结果。     

基于SHT-8A/PCI型语音卡的电话数字录音系统的设计与实现

介绍了采用SHT—8A／PCI型电话语音卡的电话数字录音系统的设计和实现，并对录音系统中常用的两种方法——查询法和多线程法进行了分析和比较．     

菲涅耳衍射在标度－距离变换下的相似性

已有研究表明菲涅耳衍射图样在单纯的标度变换或距离变换下均无相似性,本文则进而指出在标度－距离同时变换下,菲涅耳衍射具有相似性,并讨论了这一性质在理论与实践中的意义和应用.     

带三阶粘性项的高维广义KdV—Burgers型方程组的整体解

考虑了一类带三阶粘性项的高维广义ＫｄＶ－Ｂｕｒｇｅｒｓ型方程组的周期边值问题和初值问题，利用先验估计及Ｇａｌｅｒｋｉｎ方法，证明了所论问题整体解的存在性、唯一性和正则性。     

带α—取代酯基的不饱和羧酸酯的碘诱导环化反应

在实验中使用了气相色谱，核磁共振氢谱及高子辨识快原子轰击质谱跟踪了带α－取代酯基（羧酯基和磷酯基）的不饱和羧酸酯的碘诱导环化反应，提出一个新的中间体的概念和相应的反应机理，并根据该机理对反应条件作了改变，首次合成了带有α－取代酯基的不饱和羧酸酯的内酯化产物。