Sp(4,K)的WEYL模分解

给出了G=Sp(4，K)时WEYL模的分解模式，给出了Sp(4，K)的WEYL模分解。     

半模范畴中Hom的左正合性

利用半模的差模定义了半模同态序列的正合，讨论了Hom函子的左正合性。     

常压蒸馏塔模拟分析

根据常减压炼油装置在线模拟分析与优化控制的需要，研究了常减压蒸馏塔模型建立及求解方法，设计开发成功该装置的严格在线模拟分析优化系统．结合实际工艺流程，通过研究分析原油常压蒸馏塔的结构特点，提出了模拟常压蒸馏装置的模块法收敛求解新策略，即把该装置分解为精馏、吸收、闪蒸等模块的流程组合，克服了现有模拟方法的局限性，可方便地将已有的数学模型、解算方法等成熟模块应用于常压塔的模拟分析，准确有效地进行装置的严格在线模拟与优化．     

3GPP系统全系列信息安全及其算法设计与应用

介绍了GSM／GPRS与3GPP系统安全体制的安全功能及其算法；研究了GSM／GPRS中A3／A8、AS／GEA算法的实现技术；给出了3GPP中AKA协议和空中接口安全算法的设计要求及其多种设计方案；并结合我国《商用密码管理条例》的要求，探讨了3GPP中保密性与完整性算法的国内应用的特殊化和国际标准化的问题。     

管子模的拟遗传自同态代数

证明了对管子模M，存在管子模N，使得M＋N的自同态代数End(M N)是拟遗传代数。对M是不可分解管子模的情况，刻划了N的不可分解直和项的个数的下界。     

基于DICOM医学图像软件工具包的设计和实现

DICOM(医学数字成像及通信)是PACS(图像存储与通信系统)网络内各系统互联的基础,也是用于统一各种数字化影像设备的图像格式和数据传输的标准.本文根据的开发经验,介绍了符合DICOM3.0标准的医学图像文件格式,并详细描述了设计DICOM软件工具包的实现过程.     

基于半导体致冷器数学模型的TEC制冷系统的效率估算

为了对半导体制冷系统的制冷效率进行估算，通过建立半导体致冷器(TEC)的数学模型，并结合机械连接形式的TEC制冷系统，给出了半导体制冷系统制冷效率的估算公式．     

正则地稳定环和模的稳定同构

设R是一个含幺结合环。如果任意两个稳定同构的有限生成投射R－模均是同构的，则称R是强Hermitian环；如果对任意正则元a,b∈R且aR bR=R,均存在y∈R使得a by可逆，则称R是正则地稳定环。本文证明了环R是强Hermitian环，当且仅当对任意自然数n有Mn(R)是正则地稳定环。还给出了正则地稳定环的一些性质和刻画。     

左Yetter-Drinfeld模范畴中的双Frobenius代数

考虑左Yetter—Drinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)．证明了左Yetter—Dfinfeld模范畴中的双Frobenius代数(A，φ，t，Ψ)的对偶(A，t，φ，Ψ*)也是左Yetter—Drinfeld模范畴中的双Frobenius代数．给出了右积分φ∈∫A^r,t∈∫A^r,模函数α和模元g的模和余模结构，也给出了Yetter—Drinfeld模范畴中的双Frobenius代数的Radford的对极Ψ^4公式．     

基于Windows CE的便携式售票机的开发

Windows CE是一个简洁的，高效率的多平台操作系统，它的模块化设计允许它对从掌上电脑到专用的工业控制器的用户电子设备进行定制、本文介绍了WindowsCE嵌入式操作系统的特点，并给出了WindowsCE应用于便携式售票机的具体实例。