聚簇的分布式SVM算法优化

针对分层并行SVM算法采用完全随机划分方法生成的子样本集与原始样本集的分布情况存在偏差的问题,提出分布式k-means聚簇的导向随机划分方法。该方法并非将上一层的训练结果直接作为下一层的输入,而是使用k-means聚簇算法聚成下一层节点数N的不同簇,然后把每一簇样本再随机划分成N份,从每一簇中随机取出一份重新组合成下一层训练的N个子样本集,进而保证子样本集与原始样本集的分布情况具有相似性。结果表明,该方法既能有效提高学习能力,又能减少多次训练模型的抖动。     

CTCS-3级列控车载设备的形式化建模与验证

CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Petri网(CPN)建立车载设备的信息交互模型以及工作模式转换模型,使用ASK-CTL分支时序逻辑公式验证了模型的死标识、死锁以及分析工作模式下的系统行为等特性,验证构建的CPN模型符合系统规范要求的流程及规则,可为相关安全苛求系统的设计提供一定参考。     

基于对象模型的图形数据库技术

针对电力工程图纸给出了一种面向对象的图形数据库技术，阐述了面向对象图形数据库所应具备的主要特点及功能，讨论了面向对象图形数据库的体系结构及实现方法．     

Petri网在帧中继与X.25协议转换中的应用

提出了一种用Ｐｅｔｒｉ网研究两种协议转换的方法。在两个协议提供原语的基础上，利用Ｐｅｔｒｉ网丰富的描述特性建立转换模型，与用有限状态机建立转换模型相比，简化了过程。在Ｐｅｔｒｉ网的基础上，利用图论方法论证其正确性。最后，用这种方法分析了Ｘ２５与帧中继之间的协议转换，并建立转换模型。     

浅谈软件开发的面向对象技术

传统的面向数据、过程的软件设计方法，把数据和过程作为相互独立的实体，忽略了数据和程序间的内在联系．这样，在软件开发中对于不同的数据格式作同样的处理，或对不同的数据格式作不同的处理，都必需开发不同的程序，软件可共用的成分很少．因此，要进一步提高软件质量及软件生产率比较困难．面向对象和设计方法与传统的设计方法有本质的区别，该方法不仅使人们摆脱了具体的数据格式和过程的束缚，而且利用它所提供的对象和类的技术，在创建和组合可再用的软件成分时灵活方便．笔者简要介绍了面向对象方法的特点，并讨论了面向对象方法对软件质量及软件生产率的影响．     

面向对象的设计类专家系统建模方法研究

从面向对象的设计方法出发，对把该方法应用于设计类专家系统进行了研究。提出了此类专家系统建模的三步曲，并将该方法应用于面向对象的压铸模设计专家系统中。     

工业硅中杂质铁去除的理论分析

分析了硅中杂质的分凝特性,计算、讨论了在定向凝固条件下硅中铁的有效分凝系数 K_(fef)和凝固速度 f的关系,并用生产实践中铁在硅锭中的分布,验证了理论分析的可靠性。提出了用组合结晶器定向凝固技术去除工业硅中杂质铁的工艺方法。     

在色噪声系统中决定性方程鞍点附近的几率密度极小值

利用二维Fokker—Plack方程分析了色噪声系统,研究了在决定性方程的鞍点附近的几率密度的局域分布,并且发现:当色噪声有足够长的相关时间,而噪声强度处于不太强又不太弱的中间区域时,在鞍点的几率密度分布会出现极小值。     

带色彩地面激光雷达点云数据的匀光匀色方法

目前许多地面激光雷达(light detection and ranging,LiDAR)能够获取带有目标色彩信息的点云数据,利用这些数据,可以实现点云模型的精细纹理快速、自动化的生成.但因异站点云数据存在颜色差异,生成的纹理可视化效果并不理想.针对这一问题,根据色彩分量表达与空间坐标的相似性,提出了一种基于色彩坐标转换的点云匀光匀色方法.实验结果表明,异站点云颜色差异得到了较好的修正,生成的纹理效果佳.该方法不仅可用于地面LiDAR数据,对于其他来源的具有颜色信息的地面LiDAR点云数据也可据此进行带色彩点云数据的匀光匀色并生成精细纹理.     

一般对称群共轭类中几个问题的初步研究

证明了一般对称群的共轭类完全由n的着色划分来确定的结论,并计算了一般对称群中每个共轭类所含元素的个数。