2-幂零性的一个判别

证明如下有限群的2-幂零性的一个判别：假设P是有限群的G的一个Sylow 2-子群.如果对于P∩G^2-N中每个阶为2或4的元素x,其中G2-N是G的2-幂零剩余,〈x〉在NG（P）中正规,则G是2-幂零群.由主要定理的证明,如下的结果成立：令P∈Syl2（G）,如果NG（P）是2-幂零的并且对所有的x∈P（P∩G^2-N）,〈x〉△P,则G是2-幂零的.     

Earthworm-like micro robot based on electromagnetic driver

According to the principle of bionics, a prototype of the earthworm-like micro robot was developed and manufactured for entering the small tube. Based on the process of the action and mechanics analysis, the controller was designed. This micro robot with 6mm diameter was driven directly by three electromagnetic linear drivers. Mobile cells were joined with two degree-of-freedom joint and the whole body was flexible and soft. The driving force reached 10.8g in normal working condition. The direction of movement and the angle of imaging can be controlled by the shape memory alloy （SMA）. The driving force, velocity and movement of micro robot in flexural tube were tested through experiments, which indicated that the driving force was in proportion to the range of frequency, and the micro robot could current, and the velocity reached a maximum in certain move in the thin tube flexibly.     

面向计算机辅助翻译的民航规章术语库词性规则研究

当前主流计算机辅助翻译系统(CAT)借助翻译记忆(TM)和术语库(TB)提高翻译效率。翻译记忆以自然句为主要匹配单位,需要整句相似或重复,匹配难度大。与之相比,术语库以词块为匹配单位,较为灵活,可弥补翻译记忆的缺陷。术语库的构建涉及术语自动提取,需要参考特定文本类型中高频语块的词性规则。文章使用n-gram提取英语民航规章文本的复现语块,探究不同词项长度和复现频数下高频语块的词性组合特征;并将其与文学文本进行对比。研究发现,在英语民航规章文本中,适用于计算机辅助翻译系统术语库的复现语块以名词短语为主,与文学文本存在显著差异。     

有限群的π—弱拟正规子群Ⅰ

引进π 拟正规性的推广概念π 弱拟正规性 .有限群G的子群K称为在G中π 弱拟正规 ,若K同G的每个Sylowπ 子群可换 .探讨了π 弱拟正规子群的一些性质 ,给出了一些实例和实事 ,比较详细地比较了有限群的π 拟正规子群和π 弱拟正规子群 ,说明π 弱拟正规子群概念是π 拟正规子群概念的真正推广 ,得到了极大子群皆π 弱拟正规的有限群类的分类定理 .     

仿生机器鱼的尾部运动分析与控制

提出了一种自主避障的仿生机器鱼,给出仿生机器鱼的整体结构设计和尾部结构设计,并对仿生鱼的内部连接进行了描述.在仿生机器鱼的结构设计的基础上对仿生机器鱼的尾部运动进行了详细的分析.分析了仿生机器鱼在避障时尾部摆动与障碍物之间的关系.制定了鱼尾在避障过程中的摆动规则,从而使仿生鱼在避障时尾部不与障碍物有碰撞.通过仿真实验验证了其有效性.     

基于.NET技术的学生管理系统的设计与实现

学生信息管理系统是一个教育单位不可缺少的部分,能够为用户提供充足的信息和快捷的查询手段.本文阐述了Microsoft Visual Basic.NET可视化开发软件工具下分析、设计、开发学生信息管理系统的过程且基本上成功地实现了学生信息管理系统的设计要求.该系统具有学生信息管理、成绩管理、班级管理、课程管理、系统管理等功能.基本上满足用户在学校信息管理方面的需求,用户界面友好.     

关联维数在汽轮机故障诊断中的应用

在汽轮机轴系典型故障模拟试验的基础上,对故障信号的关联维数进行了计算研究.采用G-P算法分别计算了故障信号的时域波形及小波高频重构波形的关联维数,采用自相关函数法确定延迟时间.计算结果表明,对原始信号进行高频重构后再计算关联维数,可以达到突出故障信息,增大关联维数对故障的区分度的目的,此关联维数可以作为汽轮机故障诊断的定量指标.     

溅射氩气压强对AZO薄膜光电性能的影响

采用磁控溅射方法在玻璃村底上制备出了Al掺杂ZnO(AZO)薄膜,研究了溅射过程中不同置气压强对薄膜光学、电学和微结构等方面性能的影响.XRD测试结果表明,所制备的薄膜均具有呈c轴择优取向的纤锌矿结构.当氩气压强为0.3Pa时AZO薄膜的电阻率降至2.77×10-3Ωcm,可见光平均透过率为93%.     

多特征自适应融合的CamShift算法与ROS跟随小车实现

针对传统的具有色彩特征的CamShift算法可以在弱干扰场景中实现良好的跟随,但在光线明显变化或相似颜色干扰的复杂场景中跟踪性能较差的劣势,采用颜色、纹理和边缘特征进行自适应融合的方法来提高算法的抗干扰能力,并通过目标框的尺寸限定和概率密度图的修正进一步提高算法在复杂场景下跟随的稳定性.分别使用机器人操作系统(robot oper-ating system,ROS)跟随小车对优化后的改进算法进行验证,结果证明了该改进算法在光线明显变化或相似颜色干扰的复杂场景下相比于传统的算法具有更高的鲁棒性、跟随精度以及良好的跟随性能.     

基于相似度的加权复杂网络社区发现方法

针对加权复杂网络中的社区结构发现问题,本文定义基于权重关系的相似度,并在此基础上定义了节点中心度和归属度,改进GN算法的模块度评价函数,提出一种基于相似度的中心聚类算法(SCC).该算法通过计算节点间的相似度,选取合理的中心度大的节点作为社区中心节点,最后基于节点归属度来聚集从而形成社区;同时,提出了用相似度代替边介数的改进GN算法SGN.通过理论分析,并在数据集上进行实验验证,结果表明SCC算法与WGN算法、SGN算法相比,速度和精度上均有较大改善.同时与I2C算法相比,社区的划分有效性更好.