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

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

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

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

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

一类泛函边值问题正解的存在性

讨论方程u″ a(t)f(u)=0在边界条件u’(0)=u(b)-u(a)，u(1)=∫α^βu(ξ）dξ下正解的存在性，给出了该问题至少存在一个正解的存在性定理．     

Gauss型函数方程和平均值特征

针对Lehmer平均值和Stolarsky平均值分别探讨了Gauss型函数方程的求解，并且给出了这些平均值新的特征．     

基于半导体致冷器数学模型的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应用于便携式售票机的具体实例。