有限群的某些数量关系

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

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

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

B/S模式智能考试系统的研究与设计

文章给出的考试系统模型采用浏览器/服务器模式，提供了用户信息管理、试题库信息管理、在线联机考试和公共站点管理四大功能模块，具有强大的试题库建设管理、智能组卷、综合智能评价和学习指导等功能，学科通用性强，是改革传统考试形式和实现考试系统智能化控制的一种新的探索。     

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

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

内存数据库查询优化

基于一种广泛接受的内存数据库系统基本概念及内存数据库中的SB-树索引结构，提出了更方便关系代数操作的SB^*-树．在此基础上，提出了优化的关系代数操作的实现算法．根据这些算法和关系代数等价定理，给出了对关系代数查询树进行逻辑优化的规则，并证明了逻辑优化的正确性．最后给出了代价评估模型，实验表明提出的内存数据库查询优化算法相对于传统的优化算法具有更好的时间及空间性能．     

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

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

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

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

群的s*-拟正规性及其性质

称群G的子群H为G的s^-拟正规子群，如果G中存在p-Sylow子群与H可换，其中p为|G|的任意素数因子．本讨论了s^-拟正规子群的性质并给出一个群为可解群的一些条件．     

t2阶Kirkman三连系的构造

提出了t2阶Kirkman三连系的构造方法,阐明了t2阶Kirkman三连系构造的基本理论,介绍了9×9阶Kirkman三连系构造的过程.     

第二积分中值定理“中间点”渐近值的进一步完善

本文通过引入Ｂｅｔａ函数，用统一的方法继续探讨了第二积分中值定理“中间点”的一些渐近性质，得出一系列新结论，作为本文的结论在相当大幅度上推广和概括了文（１－６）的重要结论。