面向对象的设计特征与实现语言

在管理信息系统的开发以及分布式数据库系统的设计中，已开始使用面向对象的技术．本文论述了面向对象的设计特征，介绍了用于面向对象设计的各种实现语言，并着重分析了各种实现语言支特面向对象设计的能力．     

坦克红外特征控制技术评述

坦克红外特征控制对于提高坦克的战场生存能力具有重要意义。控制的主要方法有遮障、表面处理、外形技术、主动冷却、总体设计等。坦克红外特征的控制必须与其他波段，特别是射频波段的特性控制兼容。遮障和低发射率涂料是现役坦克红外特征控制的主要措施。而对未来的主战坦克，设计应是减少其系统特性的重要途径。     

Bergman－Weil积分公式的拓广

本文把Ｃｎ空间中著名的Ｂｅｒｇｍａｎ－Ｗｅｉｌ公式拓广到一类具有低维解析待征流形的微分多面体域上，从而获得在一类非解析的多面体域上建立具有全纯核的全纯函数的积分表示式．     

Brauer第24问题的推广

本文对Ｂｒａｕｅｒ第２４问题［１］作了推广．利用Ｄａｄｅ关于循环块的理论得到如下结果：设Ｇ是有限群，Ｐ是Ｇ的循环Ｓｙｌｏｗｐ子群．设｜Ｐ｜＝ｐａ，ａ为正整数．令Ｐｉ为Ｐ中唯一的ｐｉ阶子群，１ｉａ．则｜Ｃｌ（Ｇ）｜＝｜Ｃｌ（ＮＧ（Ｐｉ））｜的充分必要条件为ＰｉＧ．     

特征标高度为0具有例外权的不可约H(2r,n)-模

本文主要利用广义限制李代数的概念研究不可约H(2r,n)-模,确定了特征标高度为0,并且具有例外权(-w)k(k=0,1,2,…,r)的极大向量的不可约H(2r,n)-模.     

多重差分分析法

在本文中，我们给出一种同时利用多个差分特征的方法，该方法与原来的差分方法相比在一定情况下可减少成功攻击密码算法所需的数据量。尽管我们的计算局发于ＤＥＳ－型分组算法，但一般地，该方法也能应用于其他一些类型的分组算法的攻击，只要该分组算法受差分分析的威胁。     

θ*r,s,t-图与唯一2-列表染色图的特征化

如果一个图G存在一个k-列表安排使得G具有一个唯一列表染色,则称 G是唯一列表可染色图,简称UkLC图．我们称图G具有M(k)性质当且仅当G不 是UkLC图．本文在借鉴θr,s,t-图概念的基础上引入θr,s,t-图的定义,并证明:除了 r=s=t=2以外,θr,s,t-图都是U2LC图．利用如上结果我们给出M．Mahdian and E．S．Mahmoodian对U2LC图所作特征化的一个简单证明．     

某类一阶非线性双曲型方程的Cauchy问题

本文考虑一类具实际物理背景的一阶非线性双曲型方程，证明了解的存在唯一及正则性。