Matrix expression and reachability analysis of finite automata

In this paper,we propose a matrix-based approach for finite automata and then study the reachability conditions.Both the deterministic and nordeterministic automata are expressed in matrix forms,and th...     

传统零售企业下一步转型方向

近几年零售企业在国内大环境的推动下不断发展,企业的信息化建设也提到了一个相当的高度,不少连锁企业已经把信息化建设作为一个实现企业战略目标的必要条件。由于竞争加剧,连锁零售企业不断扩张,导致商圈重叠,消费者选择的余地越来越大。粗放式地了解消费者需求,对消费者需求的响应速度慢,已经难以再获得     

iPad视频转换 断网也能流畅看电影

New iPad大屏幕适合干什么?看高清电影是很多朋友不约而同的选择,过去总是苦于没有适合的设备来观看1080P高清视频,现在有了New iPad自然是非高清不看了。目前各大热门视频网站纷纷推出了iPad客户端应用方便iPad用户在线点播电影、电视剧、综艺节目、新闻资讯等热门视频观看,不过连接Wifi是必要条件,如果在没有网络的情况下想要用iPad看电影怎么办?那也不怕,使用专门     

浅谈预分解窑系统的用风

众所周知,风、煤、料、窑速的合理控制是稳定窑炉热工制度,生产优质高产熟料的关键。根据预分解窑特点,系统用风不仅要为煤粉充分燃烧提供足够氧气;尚需满足物料在预热预分解系统中悬浮所必须的风量风速;还要利用好冷却熟料经热交换后的高温空气回窑和炉助燃。从用风功能上,以预分解窑系统为基础划分为一次、二次和三次风;从燃烧器供风分为煤风、外风、内风及中心风(四通道时);以利用冷却机冷却风分为窑用二次风、炉用三次风和余风(或用于低温余热发电)。本文通过对窑系统三股风的分析,探讨合理用风问题。1一次风一次风定义为“用于将燃料喷…     

打破提供云服务的障碍

正今天,云备份即服务仍然是一个热门的话题,托管服务提供商(MSP)现在正向越来越多的客户提供云服务。根据ESG最近一项对云的分析指出,60%的终端用户受访者目前正在使用云或者是在部署云战略。备份和灾难恢复即服务是云领域发展速度较快的一个细分市场,托管服务提供商及其客户正     

戏剧翻译之目的论视角

长期以来,戏剧翻译被等同于其他文学形式的翻译,＂对等＂＂忠实＂＂信＂成为衡量其成功与否的唯一标准。然而,戏剧不同于诗歌和小说等文学形式,它更加关注言语传递的即时性、舞台表演性和交际性。因此,一部戏剧译本成功与否应该以是否达到了上述目的和翻译是否充分来作为其衡量标准,在这方面,目的论为其提供了较好的理论研究视角。     

板料形状、压料筋的设置对汽车覆盖件成形中起皱和未充分拉深的影响

在汽车覆盖件成形工艺中,无论是对外观还是对功能的要求,起皱和未充分拉深问题是不允许出现的,因此对起皱和未充分拉深问题的预测和防止显得非常重要的。采用数值模拟技术可以在模具设计初期预测产品的几何形状,从而优化工艺参数以便获得高质量的成品。文章以eta/DYNAFORM有限元分析软件为平台,采用弹-塑性有限元法对DDQS钢进行数值模拟,得出相应的FLD曲线、起皱和未充分拉深区域。重点探讨了板料形状和压料筋的设置对起皱和未充分拉深区域的影响,得出了较好的解决方案。     

一种基于密度的不确定数据离群点检测算法

不确定数据普遍存在于如移动计算、RFID技术和传感器网络等大量应用之中.由于不确定数据的离群点检测算法可以提高服务质量,提出一种基于密度的不确定数据离群检测算法RLOF.该算法引入一种R2-tree结构,有效降低了计算局部离群因子时的时间复杂度,同时降低了不确定数据集中的数据更新成本以及海量数据维护成本.理论分析和实验结果充分证明了该算法是有效可行的.     

线性时滞系统稳定的充分必要条件

提出一个新的线性时滞系统稳定的充分必要条件,与以前的结论不同的是,我们的结论的表达形式更容易数值计算。开发相应的二种收敛算法,解决系统时滞独立稳定判断和时滞相关稳定的时滞界估计。本文给出范数有界不确定性时,系统稳定的充分条件。文末给出的数值实例证明本文结果降低计算复杂度,改进了时滞估计保守性。     

Dynamic disturbance rejection controllers for neutral time delay systems with application to a central heating system

In the present paper the problem of disturbance rejection of single input-single output neutral time delay systems with multiple measurable disturbances is solved via dynamic controllers. In particular, the general form of the controller matrices is presented, while the necessary and sufficient conditions for the controller to be realizable are offered. The proposed technique is applied to a test case neutral time delay central heating system. In particular, the nonlinear model of the plant and its linearized approximation are presented. Based on the linearized model, a two-stage controller is designed in order to regulate the room temperature and the boiler effluent temperature. The performance of the closed loop system is investigated through computational experiments.