信标可控性定义及问题

死锁是资源分配系统中极不希望出现的现象,目前死锁控制的一个重要的方法是信标控制法,信标控制法的基础是信标可控性的定义.对于普通Petri网,已有一个完善的信标可控性定义,而对于一般Petri网,这方面的工作还需改进和完善.近年来,学者们针对一般Petri 网及其子类提出了不少信标可控性定义,但这些定义并不完善,仍有大量的问题亟待解决.首先回顾了文献中的各个信标可控性定义,提出了两个新的信标可控性定义,然后从可控性定义的宽松程度、应用范围以及等价性等方面分析比较了现有的信标可控性定义优缺点.最后给出了今后的研究方向.     

探析黏土动画的艺术魅力

粘土动画作为定格动画的一个分支,它由逐帧拍摄制作而成。包括了脚本创意、分镜头画稿、角色设定和制作、道具场景制作、拍摄、合成等过程。粘土动画作品可以堪称是动画中的艺术品。因为粘土动画在前期制作过程中,大多依靠手工制作,手工制作决定了粘土动画具有原始、淳朴、色彩丰富、立体、自然、梦幻般的艺术特色。     

8000kVA超大容量高压感应调压器的试制

1前言近年来,随着我国工业化的发展,以及企业生产规模的不断扩大,对于超大容量感应调压器用以满足大容量电动机各项试验需求的厂家越来越多。我公司于2005年为佳木斯电机厂成功试制了一台TSJA-8000-Y,10kV蛐650V～13kV型用于电动机试验的感应调压器。到目前为止,该产品仍是全国成功运行的最大容量高压感应调压器。     

用调压器构成的可调负载

1背景 当今,越来越多的科研机构、高校或其他电气企业在科学研究、技术开发和试验中均需要用到交流可调负载。这些电气研发试验中心为了研究产品的各种特性,需要模拟仿真各种负载条件,必然要用各式各样的负载来考核产品的性能。有的要并联,有的要串联;有的要调节负载性质（阻性、感性和容性等）;有的要调节负载大小;     

离散事件系统框架下信息物理系统攻击问题综述

信息物理系统(cyber physical system, CPS)由受控对象、传感器、执行器、监控器和通信网络组成,通信网络的使用增加了信息物理系统面临外部攻击的风险.鉴于此,综述基于离散事件系统框架处理信息物理系统攻击问题的相关研究工作.首先对信息物理系统进行简要介绍;然后对信息物理系统中的攻击进行分类;最后重点阐述信息物理系统中攻击策略的设计、攻击的检测与防御以及攻击鲁棒性监控器设计的研究现状.     

双轴正交单相感应调压器的运行分析

正上世纪五十年代由上海电压调整器厂何明光研发的单相感应调压器生产至今,所有中国产出的这项产品在内部的电路结构都带上了一个短路绕组。在此类调压器调压过程中调节角β在0°β180°范围内,这个短路绕组起到了抑制横轴漏磁通的作用,减少了负载时的漏磁     

农机新技术推广存在的问题及探索

农机新技术的推广,大大提升农作效率,持续推进农村经济的健康可持续发展。这些年农机化推广进程的发展中,地方上确实取得不小的成绩。但是也暴露诸多要解决的问题:宣传教育不到位,对新技术应用的认知度不够;推广机构不健全,制约农机推广工作开展进程;农民信息化水平低,对新技术的接受能力差;基础设施相对落后,体现不出农机使用的优势。针对出现的这些问题,我们要积极革新探索出路,由此而做出论述,在问题分析的基础上,提出了如下调整措施:做好农机新技术推广的宣传教育,让民众真正感受到使用农机新技术带来的便利;健全完善农机新技术推广体系,优化资源配置,切实做好农机新技术推广;促进土地节约化经营,为农机使用创造条件;注意提升民众整体素质,为农机推广奠定基础     

用“一分为三”的方法实施超大容量单相变压器的负载短路及温升试验

介绍了超大容量超高电压单相变压器“一分为三”的试验方法及相应技术经济效果。     

探索古老而神秘的逐格动画艺术特色

粘土动画是定格动画制作方法中的一种,是一种很悠久的动画表现手法,它利用视觉暂留原理将被摄物体通过逐针摆拍的动画制作方式使被拍摄对象连续运动假象的摄影技术。逐格动画已经作为电影特殊视觉效果的一种表现手段,并且以这种特殊的艺术门类存在。     

S3PR网的严格极小信标计算方法

Petri网作为一种新兴的数学建模工具,被广泛地应用于各类制造系统中．现有的死锁预防控制策略大多采用对极小信标添加控制库所来达到死锁预防的目的．因此,严格极小信标在柔性制造系统的死锁预防中占据极其重要的地位．对于一类含有资源的简单资源顺序进程网(S³PR),笔者首先定义了一类特殊库所,通过分析特殊库所和环资源子集的关系,提出判定环资源子集对应的信标是否为严格极小信标的定理,基于判定定理有效求解出严格极小信标．实验结果表明,该方法可以快速地计算出S³PR网中的严格极小信标．