退化C0半群的扰动

讨论多值线性算子A生成的退化C0半群在线性算子B下的扰动问题，在退化C0半群的生成定理的基础上，本文对于B为单值有界，相对A有界，以及B为多值线性算子的情况分别给出了A在B下的扰动A B生成退化C0半群的条件。     

基于隧道的IP组播访问技术及其应用

UMTP是一种能使未接入组播网络但支持组播应用的单台主机透明访问组播网络的协议。本文主要介绍了UMTP的基本原理，最后使用已经实现了UMTP的应用程序在未接入组播网络的主机与组播网络之间建立了UDP隧道。     

模拟线性电路中故障元件存在范围的确定

为了简化模拟线性电路故障诊断定位阶段的工作量，提出了1种确定故障元件存在范围的方法.即在十分现实的K故障假设下，确定能代表电路所有元件并给出在K故障假设下的故障诊断方程的唯一解的1组元件--最优可测试元件组，使故障定位工作只局限于该组元件，而不必对电路所有元件进行.该方法构成了故障定位的第一步，且与故障定位方法无关.方法基于电路的可测试值计算和规范式不确定性组的确定，它在可测试性与不确定性组概念中具有严格的理论基础，其可测试性计算可直接从参数类型故障诊断技术中推得.     

利用Skolem序列构作图Km+2\Km的图设计

首先应用Skolem序列及Langford序列等直接构作了图G4=K6\K4的2个无穷类图设计,进而将这2个构作方法推广到更广泛的图类Gm=Km 2\Km上,给出了Gm-GD(2(2m 1)t 1)与Gm-GD(2(2m 1)t)的直接构造.其中m与t为任意正整数(前者中m奇且t≡2，3（mod4)的情形除外）。     

形式Peano算术的Gödel不完备性定理的一个简单证明

给出了形式Peano算术的Godel不完备性定理的一个简单证明.     

有限群的某些数量关系

在有限单群分类过程中，其阶恰包含3个素因子的群，即所谓K3-群构成了一类需要单独进行处理的单群类．利用Sylow定理和G1auberman正规p-补定理分别对两类阶具有3个素因子的群：p^2qr和p^3qr阶群进行了讨论，在一定条件下证明了它们都是非可换单群，即K3-群，并且分别同构于A5和L(2，7)．     

有限信念集上修正的一种方法

讨论了信念集是有限子句集时的信念修正方法，首先给出了一阶逻辑上求所有极小不协调子集的一个过程，证明了该过程的正确性，讨论了由所有极小不协调的子集来实现信念修正的方法，介绍了我们开发的信念修正的原型系统，最后和相关工作进行了比较。     

关于有限群可解的几个定理

讨论有限群的特殊极大子群的θ—子群偶对该群可解性的影响，得出几个充要条件.     

基于椭圆曲线密码体制的有向组密钥数字签名

0　引　　言普通的数字签名,任何人只要获得签名就可验证签名的有效性。为了使特定的接收者才能验证签名的有效性,通常可采用对签名加密传送或利用不可否认签名对接收者进行签名验证控制。但这一方面会增加运算量,一方面需要进行交互式验证从而使得安全性降低。文[1]提出了有向     

合肥盆地东部朱巷组X射线衍射分析及其油气意义

对取自合肥盆地大桥凹陷内下白垩统朱巷组(K1Z)21个泥岩样粘土矿物进行X射线衍射分析,定量研究表明,伊利石结晶度值均大于0.42,一般为0.42～0.75。伊利石/蒙皂石混层比有5个样品小于50.00%,其余为50.20%～70.10%,蒙皂石转化从无序间层到部分有序间层,反映地表处朱巷组处于成岩作用中-早期阶段,有机质成熟度处于成熟-未成熟阶段,没有进入埋藏变质。结合钻井Ro资料及地球物理资料,揭示朱巷组埋深大于3000m,预测深埋地下的朱巷组烃源岩已进入生油门限。