BRST Resolution for the Principally Graded Wakimoto Module of $$\widehat{\mathfrak{s}\mathfrak{l}}_2 $$

BRST resolution is studied for the principally graded Wakimoto module of recently found in math.QA/0005203. The submodule structure is completely determined and irreducible representations can be obtained as the zero-th cohomology group.     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.     

A Five-term Exact Sequence for Opext of Crossed Modules in Lie Algebras

Extensions of crossed modules in Lie algebras with abelian kernel are studied, particularly backward and forward induced extensions and related properties. The set Opext((U, Q, ), (R, K, )) of congruence classes of extensions of (R, K, ) by (U, Q, ) is endowed with a K-vector space structure. This K-vector space appears in a five-term natural and exact sequence associated with an extension of crossed modules.2000 Mathematics Subject Classification: 17B56, 17B99, 18G99     

Product-trace-rings and a question of G. S. Garfinkel

It is an open question as to whether every left coherent ring satisfying the intersection property for finitely generated left ideals of is a right-product-trace-ring or not. is a right-product-trace-ring iff every product of trace-right--modules (= universally torsionless-right--modules) is a trace-right--module. This question is shown to have a negative answer. Furthermore, looking at all valuation domains, the complete product-trace-rings, the product-trace-rings and the product-content-rings are characterized.

     

Finite groups of matrices over group rings

We investigate certain finite subgroups of , where is a finite nilpotent group. Such a group gives rise to a -module; we study the characters of these modules to limit the structure of . We also exhibit some exotic subgroups .

     

远程机房电源控制系统设计

论述了在无人职守机房运用中,如何实现在远程控制机房内各计算机的电源开关。设计方案采用软硬件相结合,以ARM7TDMI内核的SEP3203嵌入式处理器为硬件核心,通过GPIO口控制外部继电器开关,实现弱电控制交流强电输出的开关切换。软件上以VC 编写守护进程,ASP制作网管界面,配合COM组件、Access数据库和TCP/IP协议,实现远程电源控制方案。     

基于MSC430F1121的跟踪系统设计

基于CC1020和TIMSP430F1121单片机警用无线跟踪系统,能随时随地跟踪人犯的活动范围,当人犯超出限定范围时,产生报警信号,同时启动电击程序;当超过限定时间,发出电击命令。该设计可用于人犯押送、看守和劳动监督等场合。该方案设计的系统具有体积小、低功耗、适合室内外使用。     

基于宽带的居家安全报警系统

主要研究了基于宽带的居家安全报警系统。本系统应用互联网通信技术,实现了远程控制,并在应用嵌入式网络模块zne-100 pt的基础上,简化了系统硬件部分电路的设计,方便了信号采集中心、控制中心等软件通讯部分的设计。该系统的模型已经研发成功并可靠运行,这表明本系统可以进行推广应用。该系统的应用将大大提高居家生活的安全水平。     

Python与Matlab混合语言编程

Python是一种简单、灵活、高效的脚本语言,他特别适合用于原型开发。简单介绍Python与Matlab的特点。针对这两种语言提出几种混合语言编程的方法,旨在结合Python与Matlab各自的优势,通过混合编程提高软件开发的效率。重点介绍了用Matlab COM生成器生成COM组件,并用Python调用该组件的方法。     

基于SPM3智能功率模块的永磁同步电机驱动电路设计

现代工业对高密度、高效率的伺服驱动系统有大量需求,功率驱动电路是其硬件基础.基于新型SPM3系列智能功率模块,设计了永磁同步电机用驱动电路.对功率器件热问题进行了损耗计算和热路计算.将所设计的电路应用于高性能工业缝纫机伺服控制系统取得了良好的效果.