安全支付协议的设计与验证研究

安全支付协议是实现电子商务在线支付的关键。目前缺乏同时支持电子商品和实物商品的在线支付协议,基于此,该文给出了一种同时支持这两类商品交易的安全支付协议,最后使用SMV工具对协议的原子性进行了分析并验证了其可行性。     

基于IFIX的选矿生产SCADA系统的实现

在阐述选矿控制系统中HMI的设计要求的基础上,确定了选用iFix组态软件做HMI的设计。具体介绍了SCADA系统的HMI实现方法,通过实践论述了iFix使整个自动化系统更加灵活、可靠,选用iFix极大地提高了投资回报率,降低了生产成本。     

三相电压型逆变器的一种非线性复合控制策略研究

为了减少在三相电压型逆变器系统中应用精确线性化时选择反馈增益矩阵参数的随机性,提出将精确线性化方法和反步法结合起来应用于此系统中.首先根据非线性微分几何理论,验证了该系统仿射非线性模型满足2输入2输出系统精确线性化的条件.经过非线性坐标变换得到系统的参数严格反馈形式模型,再根据反步法的设计步骤,逐步设计虚拟控制相量和中间控制相量,使系统的状态分量具有渐近稳定性,从而得到原非线性系统的控制模型.最后通过实验验证了该复合控制策略的可行性.     

Conceptual Modeling Method of Simulation System Based on OMCM

针对仿真系统概念模型开发中存在的模型重用性不高和缺乏管理等问题,提出了元概念模型(Meta Conceptual Model,MCM)的概念,以实现更高层次上的概念模型抽象.将本体思想引入MCM的设计中,提出了基于本体的元概念模型(Ontology-based MCM,OMCM)概念,并给出了OMCM的层次结构和建模方法.通过将OMCM和概念模型进行映射,实现了基于OMCM的概念模型建模.最后,将该方法应用于装备保障仿真系统概念模型的建模中,起到了很好的效果.     

光纤振动传感系统相位调制模块的嵌入式设计

针对光纤振动传感系统测试与标定环节缺乏便携式振动信号驱动装置的问题,设计了一款基于FreeRTOS和STemWin嵌入式系统的压电陶瓷相位调制模块.该模块使用STM32嵌入式微控制器,结合H桥功率驱动对信号进行功率放大.利用FreeRTOS嵌入式操作系统进行多任务功能部件开发,并设计了STemWin人机交互界面.随后搭建分布式光纤振动传感系统对嵌入式相位调制模块进行测试,结果表明该模块可实现驱动信号频率、占空比、输出极性和电压的调节,并可在总长为11.769km的传感光纤上对冲击信号进行实时采集,且振动信号定位误差在41m以内,从而可满足各类光纤振动传感系统在长距离不同位置处进行振动测试与标定的需求.     

P2P僵尸控制行为识别技术研究

传统僵尸程序依赖于集中控制,P2P僵尸的传播和控制方式都是分布式的,使其更具隐蔽性和健壮性.本文通过分析P2P僵尸的特征,对其控制行为进行了较为深入的研究.首先,阐述了控制流相似性的概念并对其做出合理量化;其次,利用皮尔逊序列假设检验法来识别P2P僵尸控制行为;最后,通过自动分类技术来进行二次判定,以完成自动检测.实验和数据分析表明该方法能够有效的识别校园网内P2P僵尸的控制行为,与相关的方法相比,误报显著降低.     

多粒子群协同进化算法

针对遗传算法收敛速度慢且易于陷入局部最优,而微粒群算法存在早熟的现象,提出了一种多粒子群协同进化算法,在多个粒子群协同进化的同时,通过构建基因库,使较劣的粒子根据基因库进行遗传操作,用4个基准函数进行实验表明,算法MPSOE3性能明显优于基本PSO算法,最后对该算法进行了推广,给出了一种基于计算智能的多群协同进化模型。     

基于动态网格的移动对象索引

在移动对象数据库中,移动对象的数量可能会经常变化,这就给索引技术提出了新的挑战。移动对象索引技术的效率是移动对象数据库的一个重要研究课题。为了防止数据库由于移动对象数量的变化而导致性能锐减,本文在网格文件索引的基础上提出了一种动态网格索引技术。通过实验比较显示,它相对于静态索引具有更好的适应性。     

基于可分离性判据的自适应加权纹理图像分割*

进行自适应加权,以提高可分离性好的特征在分类中所起的作用,使加权后的特征具有更好的分类效果。实验表明,该方法的分割结果比未加权的效果要好。     

基于气浮台的小卫星姿态控制全物理仿真实验系统

设计了一套用于小卫星姿态控制全物理仿真的新型实验系统;该系统基于滑台式气浮台,采用回转中心与质心重合方法解决了气浮台力矩平衡难题;设计了独立的供气和供电系统,对供气、供电、星载计算机、执行机构和敏感器等分系统进行了设计,满足卫星控制全物理仿真要求,采用CAN总线技术和串口技术实现了星上部件之间以及地面站对其遥测遥控的通讯,并以双边极限环控制法为例,进行了卫星姿态控制全物理仿真实验,结果证明了该系统仿真结果精确,在小卫星仿真测试中具有实用价值。