A constructive approach to minimal realization problem of 2D systems

Unlike in the 1D case, it is not always possible to find a minimal state-space realization for a 2D system except for some particular categories. The purpose of this paper is to explore a constructive approach to the minimal Roesser model realization problem for a class of 2D systems which does not belong to the clarified categories. As one of the main results, a constructive realization procedure is first proposed. Based on the proposed procedure, sufficient conditions and explicit construction for minimal realizations of the considered 2D systems are shown. In addition, possible variations and applications of the obtained results are discussed and illustrative examples are presented.     

每时美色

尽管金融风暴一再告诫我们要悲伤、忧愁加克制．仿佛我们就该活在黑色的压抑之下？然而看2009年最新季的美容产品情况并不如大家想象的那么糟,水果色和纯度极高的亮色让人看了跃跃欲试。就色彩学而言,颜色的选择是双向性的．既表现出了自己的个人喜好、心理状态．亦能在一定范围内传染给每一个人。约翰内斯·伊顿（Johannes Eaton）在他的《色彩艺术》中说．     

移动家具

一部分设计师们开始从立体几何的拆解重组中找寻灵感“巧练魔术”使家具在静置和使用状态之间自由转变。折叠变形、组合.这些造型设计的常用方法依然可以衍生出新意。设计师对家具的定位有所改变．     

EM算法研究与应用

引入了可处理缺失数据的EM算法.EM算法是一种迭代算法,每一次迭代都能保证似然函数值增加,并且收敛到一个局部极大值.对EM算法的基本原理和实施步骤进行了分析.算法的命名,是因为算法的每一迭代包括两步:第一步求期望(Expectation Step),称为E步;第二步求极大值(Maximization Step),称为M步.EM算法主要用来计算基于不完全数据的极大似然估计.在此基础上,把EM算法融合到状态空间模型的参数估计问题.给出了基于Kalman平滑和算法的线性状态空问模型参数估计方法.     

基于状态转换图同构求解的等价性验证算法

文中提出了一种基于状态转换图同构求解的时序电路等价性验证算法.算法将两时序电路的等价性问题转化为验证相应状态转换图的同构性.首先将初始状态对匹配为待验证对,然后采用递归的方法验证以初始状态对的下一状态对为初始状态的子状态转换图是否同构,从而得到时序电路是否等价的信息.若两状态转换图同构,则两图中的状态均可--配对为待验证状态对,即所有的代验证状态对均为等价状态对.该方法可以有效地克服算法级描述到底层实现之间跨度太大的问题.     

新装系统 驱动安装傻瓜化

当你新装或重新安装了Windows操作系统后,并不能马上很好地进入工作状态,因为也许还有某些硬件的驱动程序没有安装到位。如果你没有随机的驱动光盘,那么你需要先去寻找和安装各类设备的驱动程序。在这种情况下,大家常用的办法是先用人工鉴别或软件检测的办法确定硬件的型号,然后下载安装相应的驱动程序,但这种方法效率不高。现在有一个好工具向你推荐,这个工具可以让你将电脑驱动安装工作一次搞定,它就是多特驱动程序智能选择工具。     

多媒体驰骋在英语课堂

多媒体辅助英语教学是一种高效率的现代化教学手段,它具有"光、声、色、形、动画"等多种特点,它让学生在学习中始终保持兴奋、愉悦、渴求上进的心理状态,对学生主体性的发挥,创新意识和探索精神的培养有着事半功倍之效.     

基于多类别支持向量机的城市交通网络模式分类研究

在网络层次上进行区域交通信号控制、交通分配和路径诱导是缓解交通堵塞的有效途径之一。为进一步提高城市交通网络分类检测的准确性,将支持向量机（Support Vector Machine）应用于交通事件的模式分类研究。通过提出一种基于多类别支持向量机的交通模式分类方法,设计了适合该检测系统的网络结构。仿真结果表明：相对于其他算法,城市交通网络的状态可分为数量有限且不同类型的模式,并且这些模式不断重复出现,当系统识别出网络处于某种模式时,就可参照事先确定的优化参数及策略进行交通控制和诱导,以缓解交通拥塞,提高交通系统的运行效率。该网络结构对于小样本数据具有检测率高、误报率低的优点,完全适用于城市交通的模式分类,同时也存在不足之处,指出了今后进一步研究的方向。     

一种基于Mealy自动机的策略监控模型

策略监控是完善策略管理系统、提高系统可靠性,并为第三方审计提供依据的有效途径之一。对策略整个生命周期中的状态进行了划分,引入Mealy自动机,对整个状态转换过程进行了建模,明确了监控对象及分析依据,从而实现了对策略状态的宏观监控,即通过合法性判定算法对策略进行的操作进行判定。最后,通过对自动机模型及判定算法的程序实现与性能测试可以看出,该算法能够及时有效地对事件数据进行处理响应。     

二级倒立摆的建模与MATLAB仿真

通过对二级倒立摆结构构成及平衡控制问题的分析,给出基于牛顿力学定律的数学建模方法,并应用二次型最优控制理论实现二级倒立摆控制。根据MATLAB仿真结果表明,建模方法可行,采用二次型最优控制对系统进行控制,能满足控制系统稳定性、鲁棒性要求。