摘要：针对含有集总不确定项的非对称欠驱动无人艇(unmanned surface vehicle, USV)高精度轨迹跟踪控制问题,提出一种基于未知系统动态估计的滑模控制(sliding mode control,SMC)方法。集总不确定项由系统内部未建模动态和外界环境干扰造成。首先,设计未知系统动态估计器(unknown system dynamics estimator, USDE),精确重构集总不确定项,相比于干扰观测器和扩张状态观测器,未知系统动态观测器具有结构简单、参数少的特点;其次,由于传统滑模控制存在颤振现象,提出一种新的滑模控制方案以解决颤振现象,同时保证误差收敛精度;最后,采用Cybership Ⅱ实验模型进行仿真研究,仿真结果表明,所设计的控制方案可以有效解决含有未知干扰的欠驱动无人艇轨迹跟踪问题。

摘要：运用Delta变换的方法研究Delta域内含有控制器-执行器延时和传感器-控制器延时的采样系统最优减振控制律的设计问题.首先将时滞采样系统离散化,再利用系统转换方法和Delta算子将离散时滞系统转换为Delta域无时滞系统;然后通过求解Delta域Riccati代数方程和Delta域Stein矩阵方程得到前馈反馈最优减振控制律;最后运用仿真示例证明所设计的控制律能够有效补偿时滞及扰动对系统造成的影响.

摘要：运用内模原理研究线性系统的输出反馈扰动抑制问题.首先根据扰动的动态特性构造内模系统,将最优扰动抑制问题转化为等价的最优调节问题.然后通过构造降维状态观测器重构输出反馈中测量不到的部分状态变量;通过求解一组矩阵微分方程或矩阵方程得到次优控制律,利用控制律中的内模补偿项与外部扰动进行对消.最后采用海洋平台简化模型作仿真示例,将所设计的扰动抑制控制器与前馈反馈最优扰动抑制控制器作比较,证明所设计的控制器能够实现无静差的扰动抑制.

摘要：研究非线性受扰系统的扰动抑制问题.运用原点线性化方法,将非线性系统在原点线性化,对线性化后的系统根据内模原理设计扰动抑制控制器,通过所设计的扰动补偿项抵消扰动对系统的影响.运用仿真示例、通过前馈反馈和内模控制器作比较、验证所设计的控制器的有效性.

摘要：根据多项式理论,构造一种以Jacobi正交多项式作为隐层神经元激励函数的BP(back-propagation)神经网络模型.针对该网络,提出一种改进算法即隐层神经元数可快速确定的权值直接确定算法.首先介绍正交基函数和Jacobi多项式的定义,以及BP神经网络的基本原理.然后进行网络隐层数设计及其隐神经元数的确定,且设置各层连接权值、给出改进算法的步骤.最后,将其与传统矩阵迭代法和Levenberg-Marquardt训练算法进行比较.计算机实验结果表明,该算法具有比传统的BP迭代法更快的计算速度,并且能够达到更高的工作精度.

摘要：验证协同业务过程与参与组织期望需求的一致性是协同业务过程设计阶段需要解决的一个关键问题。基于模型检测技术提出一种需求一致性检测方法。通过扩展经典目标模型,提出需求依赖图来建模参与组织需求;引入并发操作符来提供一种通过组合业务过程构建协同业务过程方法,并定义了其执行语义以支持需求一致性验证;基于模型检测技术提出需求一致性验证框架。对协同制造中采购订单进行建模,并与现有典型方法进行对比分析,结果表明相对已有工作,所提方法能够更有效地对跨组织环境下需求一致性检测进行建模和分析。

摘要：对软件实施安全度量是开发安全的软件产品和实施软件安全改进的关键基础。基于Manadhata等(MANADHATA P K,TAN K M C,MAXION R A,et *** approach to measuring a system's attack surface,***:Carnegie Mellon University,2007;MANADHATA P K,WING J *** attack surface *** Transactions on Software Engineering,2011,37(3):371-386)提出的攻击面方法,结合信息熵理论,提出结合信息熵和攻击面的软件安全度量方法,可以有效地利用信息熵的计算方法对软件攻击面的各项资源进行威胁评估,从而提供具有针对性的威胁指标量化权值。在此基础之上,通过计算软件攻击面各项资源的指标值可以实现软件的安全度量。最后,通过具体的实例分析说明结合信息熵和攻击面的方法可以有效地应用于软件的安全开发过程和软件安全改进过程,为软件的安全设计开发指明可能存在的安全威胁,帮助提早避免软件产品中可能存在的漏洞;而对于已经开发完成待实施安全改进的软件则可以指出明确的改进方向。

摘要：针对大多数排序算法只考虑了记录本身的大小和记录相对位置,而忽略了记录内部特征,提出一种计算排序算法。通过分析记录本身的特征,快速计算出记录在目标数组中的索引值,从而达到排序的目的。该算法既减少了数据范围对数组排序的影响,又适应了有限小数的排序。实验结果表明,对于密度高、范围宽、特征位数多的大数组排序问题,该算法的性能优于基数排序、计数排序、静态排序等算法。

摘要：基于有效学习环境及多元智能理论,根据游戏化学习环境的理念特点,提出了对外汉语教育游戏设计模型,并详细阐述了设计步骤。其次,将该模型应用于一款对外汉语教育网络游戏——《东学记》的设计中,并探讨了教育游戏的设计特性、设计模型以及游戏内容如何与课程内容结合。最后,采用游戏引擎和C++语言开发了游戏。游戏的成功开发可以让玩家在虚拟的情境中完成各种任务,从而达到学习汉语和中国文化的教育目的,也为今后开发类似游戏产品提供了一定的借鉴作用。

摘要：随着工作流技术的发展,传统的软件系统都纷纷引入工作流过程模型解决手工公文流转。该文阐述了工作流的定义,结合工作流的特点和要求,设计了一种基于标记语言的工作流过程描述语言M_WPDL,该语言可以对工作流过程进行描述并转换为代码,可以广泛应用于工作流管理系统。