正则半群上的强同余

证明了正则半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-强同余对及其相互关系,由此给出正则半群上任一强同余的结构,并证明了强同余格和强同余对的集合之间一一对应.     

微重力落管法制备Nd_(60)Al_(10)Fe_(20)Co_(10)非晶薄片的磁性能研究

采用微重力落管法制得了Nd6 0 Al1 0 Fe2 0 Co1 0 非晶薄片 .利用X衍射 (XRD)分析了Nd6 0 Al1 0 Fe2 0 Co1 0 非晶薄片的结构特征 .用振动样品磁强计 (VSM)研究了其磁性能 .结果表明微重力落管法制得的非晶薄片具有硬磁性 ,与快速非平衡凝固(如甩带法 )试样的XRD相比 ,尽管其曲线还是较为典型的非晶相漫散衍射峰 ,但已有少量的不规则的类似晶化的突起小峰 ,表明该非晶片中已经有微量晶态合金或者细小晶粒析出 ,初步分析可能是生成了类似于亚稳A1 相的短程有序原子团簇或者是较大尺寸的纳米晶 ,这种短程有序原子团簇或纳米晶是Nd6 0 Al1 0 Fe2 0 Co1 0 非晶薄片显示硬磁性的主要原因     

微重力落管法制备Nd60Al10Fe20Co10非晶薄片的磁性能研究

采用微重力落管法制得了Nd60AltoFRoCoto非晶薄片,利用X衍射(XRD)分析了Nd50Al10Fe2OCo20非晶薄片的结构特征,用振动样品磁强计(VSM)研究了其磁性能．结果表明微重力落管法制得的非晶薄片具有硬磁性，与快速非平衡凝固(如甩带法)试样的XRD相比．尽管其曲线还是较为典型的非品相漫敞衍射峰，但已有少量的不规则的类似晶化的突起小峰，表明该非晶片中已经有微量品态合金或者细小品粒析出．初步分析可能是生成了类似于亚稳A1相的短程有序原子团簇或者足较大尺寸的纳米晶，这种短程有序原子团簇或纳米晶是Nd60Al10Fe20Co10非品薄片显示硬磁性的主要原因。     

关于弱逆半群上最大幂等元分离同余和群同余的注记

给出了文献（四川师范大学学报（自然科学版），2001，24（3）：219－223．）中关于弱逆半群上最大幂等元分离同余和群同余主要结论的刻画及证明的一些更正和简化。     

强可收缩半群

设S为半群 ,H为S的子半群 ,称H是S的一个缩回 ,若存在满同态 φ :S→H满足 φ｜H =1H(H上的恒等映射 ) ,称半群S是强可收缩的 ,若S的每个子半群都是S的一个缩回 .首先证明了群G为强可收缩半群的充要条件为G是一族初等Abel群的限制直积 ,接着得到完全单半群S强可收缩的充要条件是S G× (I×Λ) ,其中G为强可收缩群 ,I×Λ是矩形带 .还证明了一个半格是强可收缩半群的充要条件是它为局部有限树 .在这些结论的基础上最后得到一个半群是强可收缩半群的完整刻划 .     

单相直接AC-AC变换器的实现与分析

针对传统AC－DC－AC交换存在的缺陷，采用高频调制直接AC－AC变换技术，实现了两种不同结构的单相AC－AC直接变换器，对其特点和仿真结果进行了分析，并探讨了应用前景。     

分布式决策支持系统中模型聚结与选择

讨论了分布式决策支持系统中模型聚结与选择问题，构造了一种用于模型选择的评价函数，设计了一种用于分布式环境下模型聚结与选择的黑板结构，提出了一种优化模型选择的方法。     

由已知幅度谱及部分采样点恢复信号与采样频率的关系

恢复信号所需的已知采样点数占信号总长度的比例Ｐ与采样频率有关，在一定条件 下，提高采样频率，可使Ｐ远小于三分之一。已知的采样点可不限于从信号的第一点开 始，也不限于是一段连续的采样点。本文的研究结果扩大了信号重构方法的应用范围。 试验例子的计算机计算结果与理论分析相符。     

内缀强码的一个刻画

称码ＣＡ＋为强码，若对任意ｘ，ｙ，ｚ∈Ａ＊，（ｉ）ｘ，ｙｚ∈Ｃ蕴含ｙｘｚ∈Ｃ＋且（ｉ）ｙｘｚ∈Ｃ＋与ｘ∈Ｃ＋蕴含ｙｚ∈Ｃ＊；称码ＣＡ＋为内缀码，若ｘ∈Ｃ且ｙｘｚ∈Ｃ蕴含ｙｚ＝１．本文证明：ＣＡ＋为内缀强码的充要条件是对Ｃ的字母表ＡＣＡ有正整数ｋ，使Ｃ＝ＡｋＣ．此结论是对Ｃ．Ｍ．Ｒｅｉｓ类似结论的补充，亦是Ｈ．Ｊ．Ｓｈｙｒ关于有限强码同样结论的推广     

面向路由器的分布式实时操作系统HEROS

分布式实时操作系统是高性能分布式路由器的控制核心。为了保证路由器系统的整体性能和安全性 ,设计并实现了实时分布式操作系统 (highly efficient router operat-ing system ,HEROS)。 HEROS基于微内核体系结构 ,其多任务内核实现了基于优先级的抢先式调度 ,高效率的任务间同步和通信原语 ,实时的中断处理和高效的内存管理机制。为了更好地服务于分布式路由器体系结构 ,HEROS实现了一种基于消息传递的分布式任务通信机制和面向网络协议的高性能的缓冲管理机制。基于 HEROS的高性能安全路由器原型系统已经设计完成