一类pq2阶群的自同构群

得到了如下定理:设p,q是奇素数,且q相似文献   

混合热阻条件下广义热机的最优构型及其性能

研究了有限热源条件下工质与热源间传热规律服从混合热阻形式时热机的有限时间热力学性能，讨论了循环的最优构型及最优功率与效率间的优化关系，所得结果对实际热机的设计工作具有一定的指导作用。     

不耐烦等待信元的优先权排队

研究具有两类信元的带优先权的M／M／1排队系统，两类信元到达为相互独立泊松过程，两类信元分别在各自有限的缓冲区中排队，第一类信元较第二类信元具有强占优先权，同时第一类信元是不耐烦的．笔者采用矩阵分析的方法给出了两类信元各自的稳态分布，并作了相应的性能分析。     

纳米铜杆拉伸变形的分子动力学模拟和有限变形表征

用分子动力学方法模拟纳米铜杆的拉伸过程，用有限变形列式表征纳米杆单向拉伸屈服前的应力和应变．结果表明：铜单晶纳米杆屈服前的最大弹性应变约为0．11；用有限变形应力、应变表征变形过程和材料性质与通常名义应力、应变表征相比有明显不同；纳米杆泊松比随应变增加而减弱，并从物理上解释了这一现象的原因。     

有限群的某些数量关系

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

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

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

双解析函数的齐次Riemann边值问题关于边界曲线摄动的稳定性

讨论了当区域边界L发生微小的光滑摄动时，双解析函数的齐次Riemann边值问题的解的稳定性，并给出误差估计．     

遥感专家分类系统在滇西北植被信息提取中的应用试验研究

 选取滇西北香格里拉县的大中甸乡作为试验区,基于GPS定位调查对试验区典型覆盖地物的遥感多光谱信息进行测定与分析理解,集成GIS功能进行地形模型的变量处理,利用ERDASIMAGINE遥感专家分类系统模块,探索对试验区主要植被类型进行智能提取的知识库设计与分类组织实施.初步探索结果表明.相对于仅仅基于遥感光谱信息的传统分类方法,由于专家系统技术可以组织多变量参与分类信息提取,并通过专家综合分析进行灵活多变的规则知识库设计,还可根据区域特征与环境资源管理需要对专家分类过程实行反复调试的功能,因此,专家系统技术在自然环境复杂多样的云南山区植被信息提取中具有较为突出的先进性和实用性.对于试验结果,可通过适当的规则修改调整,将有关技术方法应用推广到其它广大山区.     

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

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

基于活动对象的面向对象测试策略研究

提出基于活动对象的面向对象测试策略，给出三种覆盖标准，用以处理由面向对象新特性带来的问题。其中，所有定义-使用对覆盖标准主要用于指导测试设计者设计验证对象生存期的动态行为的测试用例；所有绑定覆盖标准主要用于解决继承和多态问题，以及执行了哪个绑定；所有交互覆盖标准主要用于解决方法间的数据共享问题。