基于Android平台简易即时通讯的研究与设计

论文简单介绍Android平台的特性,主要阐述了基于Android平台简易即时通讯(IM)的作用和功能以及实现方法。     

可信计算平台AIK证书的生成研究与实现

可信平台模块（Trusted Platform Module,TPM）是可信计算的核心,为建立可信终端提供了可信根。在可信平台模块中管理着5种不同类型的密钥,AIK是这些密钥中较为重要的一种。在对AIK的生成原理进行深入研究与分析的基础上,利用OpenSSL的开源密码算法搭建隐私CA,模拟了PCA颁发AIK证书的过程。     

基于Moodle的计算机网络课程教学平台的构建与应用

随着多媒体和网络技术的广泛普及与应用,网络教学与课堂教学有机结合正在成为高校一种新的教学模式.文章论述了课堂教学与网络教学相结合的必要性,介绍了Moodle平台的特点和功能,构建了基于Moodle的计算机网络课程教学平台,提出了网络教学平台与课堂教学的整合模型.     

基于无线传感器网络的可重构监测仪器设计

为解决无线传感器网络(WSN)中监测仪器通用性较差的问题,将可重构虚拟仪器技术与WSN相结合,运用Visual studio编程软件开发了一套适应传感器网络特性的多功能监测仪器平台.该仪器不仅能兼容多种节点,便于网络功能扩展,而且能够根据不同测量任务的需求,通过更换软构件实现不同的监测功能.最后搭建了面向矿井提升机机房设备的无线仪器平台,实现了仪器系统的在线动态重构.     

模糊控制在光电稳定平台跟踪控制中的应用

对光电稳定平台中的跟踪环控制系统提出了一种基于遗传算法的模糊控制策略,简要介绍了模糊变量的选择、模糊机的建立以及最优比例调节因子的获取方法,最后通过仿真验证了该方法的有效性。     

面向产业链协同商务平台的权限控制模型研究*

分析了产业链企业间协作关系和支持产业链企业间业务协同商务平台的特点,建立了面向动态联盟的四级授权控制模型,对联盟授权管理、企业按联盟协作类别的权限继承管理、企业部门授权管理和部门内具体操作人员的授权管理进行了研究,提出了产业链协同商务平台权限控制算法,并在汽车产业链协同商务平台权限管理中进行了应用验证。     

海洋平台灰预测和支持向量机的逆控制

导管架式海洋平台在随机波浪等外载荷作用下极易产生有害振动,且其动力响应具有极强的非线性和时变性,采用被动控制方法和基于精确数学模型的主动控制方法控制海洋平台的有害振动很难达到理想的控制效果.结合灰预测和支持向量机的优点,提出了基于灰预测和支持向量机的自适应逆控制方法,并将其与动态刚度阵法相结合应用于导管架式海洋平台的振动主动控制中.数值算例分析表明,该控制方法可有效地控制波浪和风载荷作用下引起导管架式平台的有害振动,并能解决由于控制信号传输等原因引起的时滞问题.     

海洋废弃平台桩基拆除绳锯机控制系统研发

海洋废弃平台拆除过程中需要切断桩基,水下绳锯机是一种安全环保的桩基切割工具．介绍了绳锯机的工作原理,提出了控制系统的总体结构,设计了控制系统的硬件和软件,实验表明此控制系统能够使绳锯机安全、稳定的工作．     

可信模块隐私保护的自证明签密方案

提出可信模块间安全通信的一种高效的基于自证明公钥的签密方案IDTSC,它可以抵抗不诚实CA的消息伪造攻击和共谋攻击,且中间人在获得密文后如果没有接收方密钥则无法知道和验证密文的签密者和接收者,实现密文的匿名性。给出了系统模型并证明了其安全性,包括语义安全性、不可伪造性、密文匿名性和不诚实CA的可追踪性。方案可应用于要求身份隐藏和身份隐私保护的安全传输环境。与其它相似方案比较,IDTSC方案有更强的安全性和更高的计算效率。     

基于ASL的模型驱动架构测试方法

针对模型驱动架构（MDA）下的软件开发方法中测试启动比较晚、难以发现隐藏在模型中的缺陷及UML模型描述缺乏精确语义等问题,提出了基于ASL的模型测试方法：从UML模型出发,将动作规约语言（ASL）运用于平台无关模型（PIM）上建立测试模型。给出了ASL语句在MDA过程中的工作原理、平台无关模型的建立过程、测试用例建立的步骤、测试执行的实施过程,最后结合实例,在UML图的基础上运用ASL对测试环境进行构建,并创建了系统的测试用例,对模型及业务逻辑进行了测试。实验结果表明,提出的基于ASL的模型测试方法既能利用模型驱动对复杂的测试用例进行简化和抽象,又能在软件生存期早期揭示软件的缺陷,防止缺陷随着软件开发过程的进行而被放大。