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%的终端用户受访者目前正在使用云或者是在部署云战略。备份和灾难恢复即服务是云领域发展速度较快的一个细分市场,托管服务提供商及其客户正     

Robust graph coloring based on the matrix semi-tensor product with application to examination timetabling

This paper investigates the robust graph coloring problem with application to a kind of examination timetabling by using the matrix semi-tensor product, and presents a number of new results and algorithms. First, using the matrix semi-tensor product, the robust graph coloring is expressed into a kind of optimization problem taking in an algebraic form of matrices, based on which an algorithm is designed to find all the most robust coloring schemes for any simple graph. Second, an equivalent problem of robust graph coloring is studied, and a necessary and sufficient condition is proposed, from which a new algorithm to find all the most robust coloring schemes is established. Third, a kind of examination timetabling is discussed by using the obtained results, and a method to design a practicable timetabling scheme is presented. Finally, the effectiveness of the results/algorithms presented in this paper is shown by two illustrative examples.     

戏剧翻译之目的论视角

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

一个充分下降的共轭梯度法

共轭梯度法是优化方法中最常用的方法之一,适于解决大规模问题,因此有着广泛的应用.针对无约束优化问题,基于搜索方向的选择,提出了一个新的共轭梯度法,该算法在每一次迭代过程中,均可保证搜索方向的充分下降性,并在弱的wolfe条件下,证明了算法的全局收敛性,数值结果表明了算法的可行性与有效性.     

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

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

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

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