采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

一种基于GTD模型和状态空间处理的运动目标超宽带散射中心提取方法

超宽带条件下散射中心的不同运动将对参数提取造成影响.基于GTD模型和状态空间处理,本文提出了一种针对运动目标的超宽带散射中心提取方法.该方法首先将超宽带条件下的目标GTD散射模型转化为状态空间方程,通过奇异值分解提取散射中心的径向距离和径向速度信息;然后由标准正交向量基降维表示散射中心在整个带宽上的类型参数信息,采用遍历方法和最小二范数准则求解出散射中心的类型参数信息;最后基于最小二乘法求解出散射中心的散射强度.文中同时给出了各参数估计的CR界.仿真结果验证了文中方法的有效性,该方法可同时提取散射中心径向距离、径向速度、散射强度和类型参数信息,从而有利于各散射中心的跟踪和整体目标的有效识别.     

三菱PLC的状态编程法在顺序控制系统中的应用

介绍使用三菱FX1N-40MR PLC实现机械动力头自动控制的程序设计,并以此归纳总结三菱FX系列PLC用于顺序控制系统时,采用状态编程法的优点及要点.     

一种基于模型优化自抗扰控制的新型定子磁链观测器

磁链观测是实现高性能转矩控制的基础.针对直接转矩控制系统低速时磁链观测精度差的问题,提出了一种基于模型优化自抗扰控制的新型定子磁链观测器,以定子磁链的频率响应函数为依据,根据其幅频和相频特性分析了磁链观测对电机参数变化的敏感性.分析结果表明,按照这种思路设计的定子观测器在不同的转速和负载条件下都能达到较为理想的观测精度...     

UML状态图的测试用例自动生成

现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析,并讨论了其对相关测试用例生成算法的影响;改进了UMLstatechart语义对伪状态的定义,对伪状态进行适当的转换,同时扩充现有算法对伪状态的支持;提出了一套可以处理伪状态的UML状态图平坦化算法以及相应的测试用例生成方法,并对实际应用效果进行了验证。     

浅谈Windows系统的防黑经验

第一、屏幕保护 在Windows中启用了屏幕保护之后,只要我们离开计算机（或者不操作计算机）的时间达到预设的时间,系统就会自动启动屏幕保护程序,而当用户移动鼠标或敲击键盘想返回正常工作状态时,系统就会打开一个密码确认框,只有输入正确的密码之后才能返回系统,不知道密码的用户将无法进入工作状态。     

巧妙设Hosts文件防范垃圾邮件与僵尸网络的攻击

尽管垃圾电子邮件最大的发送者McColo已经被关闭．但处于活跃状态的自动运行型木马（也叫做僵尸）数量还是处于持续增加的状态,初步估计速度大概是在每天30万左右。以下将介绍的是怎样预防木马以及在出现后怎样进行有效处理这两个方面。     

State feedback sliding mode control without chattering by constructing Hurwitz matrix for AUV movement

This paper presents a new method to eliminate the chattering of state feedback sliding mode control (SMC) law for the mobile control of an autonomous underwater vehicle (AUV) which is nonlinear and suffers from unknown disturbances system. SMC is a well-known nonlinear system control algorithm for its anti-disturbances capability, while the chattering on switch surface is one stiff question. To dissipate the well-known chattering of SMC, the switching manifold is proposed by presetting a Hurwitz matrix which is deducted from the state feedback matrix. Meanwhile, the best switching surface is achieved by use of eigenvalues of the Hurwitz matrix. The state feedback control parameters are not only applied to control the states of AUV but also connected with coefficients of switching surface. The convergence of the proposed control law is verified by Lyapunov function and the robust character is validated by the Matlab platform of one AUV model.     

上下文无关语言的可重复序列及其性质

通过分析下推自动机的运行规律和特点,提出上下文无关语言的可重复序列的概念,将其划分为平衡重复序列、增重复序列、减重复序列三类;研究了这三类可重复序列在下推自动机的状态转换图中的结构表现和性质,通过分析下推自动机状态转换图中标注回路与可重复序列之间的关系,给出求解可重复序列的计算方法;证明了不同类型的可重复序列对上下文无关语言性质的影响,利用可重复序列揭示了上下文无关语言的Pumping引理的本质特征,并给出正规语言判定的一个充分必要条件.