非阶化Witt型李代数的广义Verma模

构造了非阶化Witt型单李代数W [G]上的一类广义Verma模V(N), 并讨论了此类模的可约性.     

Loop代数的有限维不可约模的导子

设G是有限维复单李代数,A=C[t±1],GA: =G CA是loop代数.设a是非零复数,M是有限维不可约G-模,则Ma: =M是不可约GA-模, 其中xf(t)在Ma上的作用为xf(t)·v=f(a)xv.首先证明,若李代数L的有限维模都完全可约,那么L的有限维模的导子都是内导子.接着利用有限维复单李代数的有限维模都完全可约这一性质,计算GA-模Ma的导子.证明了当且仅当M是G的伴随模时,Ma存在外导子,这也说明了loop代数的有限维模不是完全可约的.     

关于无限维李代数的两个注记

在第1个注记中,给出了秩为2的不定型 Kac-Moody 代数的根系的一个几何刻划.在第2个注记中,证明了一类完全可约模仅有有限个不可约分支.     

仿射Nappi-Witten代数的虚Whittaker模

利用Heisenberg代数的Whittaker模在仿射Nappi-Witten代数上定义了一类新模,称为虚Whittaker模,并且证明了该类模在一定条件下是个不可约模.     

李代数W[G]的自同构群与Verma模

设F是特征0的域,G是它的加法子群,相应于F和群G,定义一类李代数W[G].在本文里,李代数W[G]的自同构群与Verma模的可约性得到仔细地研究.其中自同构群的确定主要依赖于一些特殊自同构的构造,而Verma模的可约性完全取决于W[G]中元I0的作用是否为零.     

一类无限维Lie代数的不可约模

研究无限维Lie代数的结构和表示是Lie代数的主要课题,无限维Lie代数的不可约模是具体的一类表示.采用构造法给出了一类无限维Lie代数G的忠实模,同时给出此模为不可约模的一个充要条件,然后用反证法与基元素检验法证明该结果.此结果对研究无限维Lie代数的性质与表示有一定意义.     

一类Hopf代数的不可约可裂迹模

研究一类有限维Hopf代数X_q(A_2),回顾了X_q(A_2)的定义和PBW基,然后计算X_q(A_2)的积分,并给出了X_q(A_2)上有限维不可约模中的可裂迹模。     

三角代数上的一类非线性可交换映射

运用矩阵分块方法研究三角代数上的一类非线性可交换映射: 模线性可交换映射. 刻画了此类映射的具体形式, 给出了三角代数上模线性可交换映射是真可交换映射的充分条件, 并证明了套代数上的每个模线性可交换映射都是真可交换映射.     

一类有限光滑的线性拟周期系统的可约化性

考虑一类有重特征值的有限光滑线性拟周期系统的可约化性问题.假设系数矩阵的b阶偏导数的连续模满足积分有限的条件,这个条件比H9lder连续要弱一些,其中3r+1b∈Z.于是,在非共振条件和非退化条件下,对绝大多数充分小的ε,通过一个拟周期同胚变换,系统可约化为一个常系数方程.     

SP—内射模的若干性质

设R是环、I是R的任意小右理想,称M为右SP-内射模,如果I到M的任意同态都可以扩张为R到M的同态.本文研究了SP-内射模的性质,得到了SP-内射模的等价刻画:M是SP-内射模的充要条件是任意小右理想aR到M的同态α是一个左乘.;M是SP-内射模的充要条件是对于任意a∈J,有IMr(a)=Ma,这里J是R的Jacobson根.证明了SP-内射模的任意直积、任意直和仍是SP-内射模;无零因子环上的SP-内射模的和、商模是SP-内射模.给出了SP-内射模是小内射模的一个必要条件.还运用SP-内射模刻画了一类半本原环.     

几类遗传代数的刻划

研究了特殊代数模对几类遗传代数的刻划,作为直接射模、直内射模的自然推广,引入X-直投射模、X-直内射模的概念,并用它们完备地刻划了域F上的遗传代数A,将遗传代数A的用特殊模刻划的一些结果部分地推广到M-遗传代数,最后讨论了遗传代数与M-遗传代数、L-遗传代数之间的关系。     

关于投射模的一个刻划

讨论了文献「１」中给出的关于投射模的刻划的一个命题，举出反例说明这个命题不成立，并个性部分条件得到某些关于投射模的新刻划。     

LabVIEW环境下Word格式测试报告生成模块开发及应用

开发了一组基于LabVIEW的Word格式测试报告生成模块,介绍了报告生成模块的构成和各模块的功能,能够完成文档的打开和创建及文本、表格和图片的添加,文档的保存及关闭等,对主要模块的实现原理做了详细的阐述.通过实例说明了测试报告的生成流程和实现方法,实现了测试报告的自动生成.实践表明,Word格式测试报告生成模块能够满足测试系统的要求,实现了系统的测试管理功能.     

Dedekind环的刻划

利用直内射模，直投射模，可除模和非挠模给出Dedekind环的若干等价条件，并给出交换整环成为Dedekind环的几个充分条件。     

FCG-投射模和FCGP-环

一个左R－模RA称为FCG－投射模，如果对于任一有限余生成模RM，A是M-投射的。环R称为FCGP－环，如果任一FCG－投射R－模都为投射模。给出了FCG－投射模的等价条件，并用FCG－投射模刻画了左V－环和半单环。讨论了FCGP－环的性质和等价条件，得出了R为半单环当且仅当R为左V－环且为FCGP－环，GCGP－环是Morita不变的。     

强冲击2A12铝板产生等离子体对逻辑芯片模块的电磁毁伤

为研究强冲击2A12铝板产生等离子体对逻辑芯片模块的电磁毁伤效应,分别以航天控制系统中常用的CD54ACT32和CD74HC4075逻辑芯片模块为研究对象,利用二级轻气炮加载系统、朗缪尔三探针诊断系统和逻辑芯片模块逻辑状态的测试系统,开展了6组给定实验条件和方位角下弹丸高速撞击2A12铝板产生等离子体对逻辑芯片模块的毁伤效应实验,得到了等离子体电子温度和电子密度随时间的变化并通过实验数据拟合给出了电子温度及电子密度随时间变化的函数关系式.实验结果表明：在相同弹丸入射角度、相近撞击速度条件下高速撞击2A12铝板产生的等离子体造成了TTL电平信号CD54ACT32逻辑芯片模块的暂态毁伤和永久毁伤;等离子体对CMOS电平信号CD74HC4075只产生了暂态毁伤.证明了给定实验条件下CMOS逻辑芯片模块在抗等离子体毁伤方面强于TTL逻辑芯片模块.     

Docking process on hybrid self-reconfigurable modular robots

A novel hybrid self-reconfigurable modular robot is designed to finish the morphing action from line shape to hexagon shape.The robot is composed of many basic modules,each of which consists of a master module and a slave module in the shape of triangular prism.There are four connection ports on each basic module.For the master module there are two holes on each connection port,and for the slave one there are two pegs on each connection.The docking process between two neighboring basic modules is analyzed with a peg-in-hole mechanical structure.A small motion' s method is presented and the contact forces are derived.According to the force/moment,the pose of a motion module should be adjusted to make two neighboring modules align and finish the docking process.Finally,a simulation of 3 basic modules is shown to finish the morphing and docking process effectively.The system can finish the morphing task from the line shape to the hexagon shape.     

Gorenstein内射模

Gorenstein内射模是Gorenstein同调代数中最基本的三大模类之一。文章利用经典同调代数中基础的方法,证明Gorenstein内射模类的性质,得到Gorenstein内射模类是内射预解子范畴的结果。     

功率模块的研制

本文阐述了功率模块(Power Modules)的结构原理、特性参数及特点,同时对高绝缘、良导热系统进行了实验研究。结果表明,所研制的MKT-90系列晶闸管模块在指定条件下,实现额定值长期运行是可行的。