RSL相关论文
职责分离(Separation of Duty,soD)是防止欺骗和错误的一种基本手段.在基于角色的访问控制系统中,通过实现不同的职责分离原则来达......
数值天气预报是当今气象预报不可缺少的重要工具,它的发展使气象预报成为了一个和超级计算机以及并行计算关系密切的领域.该论文从......
随着面向对象技术的发展，软件开发对复用的利用是越来越充分。其中，软件模式便是一个很好的复用方式。软件模式对复用分析和设计的经......
上期介绍了AAFA(美国服装与鞋业协会,American Apparel & Footwear Association)于2010年3月发布的最新RSL(受限物质清单,Restrict......
本文简要介绍了网格和Globus,Globus的系统结构和资源分配;用户可以根据RSL描述来发出任务请求并交给GRAM处理;重点介绍了资源描述......
介绍了网格资源分配管理,探讨了网格资源分配管理的关键技术,最后得出了一个在并行系统中的网格资源分配管理的模型。......
二噁英和呋哺是两种化学物质大类的名称，被AAFA列入限用清单的二吧英和呋喃都是多卤代（氯、澳）二吧英和多卤代（氯、溴）苯并呋喃类化合物......
在当前校园信息化建设过程中，数据的处理规模逐渐增大。在对网格计算工具集GT4的数据管理进行了深入研究和分析后，将其中现有的一些......
This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,va......
继2007年6月推出首版《限用物质清单》（Restricted Substances List，简称RSL，下同）之后，仅仅过了7个月时间，AAFA于2008年2月推出了RSL第......
在数字馈线保护中,利用线路故障前后零序测量导纳及其电导的特点,来判断馈线是否发生故障,具有较高的保护精度和可靠性.设计了RSL......
随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为......
衣田专精于水性印花胶浆的研发与制造，全面推出衣田牌椭圆机印弹性浆料，该浆料通过NIKE禁用物质RSL测试，符合品牌禁用物质RSL规范。主......
随着技术改造的逐步深入,烟草行业对电控系统网络稳定性和可靠性的要求日益提高,对变频器的性能也提出了更高的要求。目前,罗克韦......
文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协......
将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程......
导读:蓝牙技术由于其具有低功耗、可靠、低延迟等优势,并可通过配对及生成密钥保障其安全性,因而可用于实现汽车短距离无线联接,安......
介绍了有害物质零排放联盟（ZDHC）的出台背景及新版的ZDHC联合路线图,分析了ZDHC新推出制造业限用物质清单（MRSL）的基本理念及其不足。......
丝氨酸蛋白酶抑制剂(serine proteinase inhibitor,Serpin)亚家族SERPIN B是第二个大的Serpin亚家族,也被称为卵清蛋白样丝氨酸蛋......
<正> 环绕声制作形式的出现,的确为录音制作人员又提供了更广阔的制作空间。虽说,5.1环绕声制作里也借鉴、延续了很多双声道立体声......
西安获德联合杭州锐冠自动化、恒力,开发了一款高性能全自动检测线HD-FDY-I化纤丝饼外观检测系统,能够满足化纤行业严苛要求及工业......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
在RSL形式语言的基础上扩充了时间描述机制,使其能够描述协议的实时性;并且根据该语言的特点,提出了一种面向对象的FSM模型(OOFSM)......
随着软件开发技术和开发平台的不断发展，面向对象的软件设计技术和实现技术已经成为主流。新产生的编程语言也无一不是面向对象的。......
音乐对学生情操的陶冶、审美能力的培养是除了美术之外其他学科无法取代的.所以,作为高中音乐教师,我们要不断更新对音乐的认识,改......
本文列举了ZDHC的MRSL,同时与REACH已发布的SVHC、2002年至2014年Oeko-Tex Standard100历年增添的有害物质以及AAFA的RSL进行对比......
NCV-RSL10是通过蓝牙5认证并符合车规的系统单芯片(SoC),具有极高的安全性和可靠性,用于汽车无匙进入、信息娱乐控制、主动安全和......
皮革行业是一个传统行业,本文将概述化学品在皮革行业的使用以及鉴定不同工序中使用的不同种类和数量的化学品。近年来,大家对化学......
UML(Unified Modeling Language)作为事实上的面向对象建模标准语言，它的复杂性和庞大性是不可避免的，但是它也包括了大量的具有模糊......
不知道喜爱看电影的朋友和笔者是否一样,从小到大都看过许多精彩的动作电影,当中就有不少含有竞速元素的,而笔者也是从这些电影中,......
开展了污泥堆肥中功能菌株筛选的研究,分别以污泥堆肥物料中的各种大分子有机物为目标底物,筛选各自的降解菌株,通过初筛和复筛(酶......
本文介绍了形式化方法中B方法和RAISE方法,从软件开发生命周期的角度对B语言和RSL进行了比较,归纳了这两种形式化语言的异同和各自......
协议形式化描述是协议工程的核心,对于协议的开发起到基础作用.首先对协议形式化描述技术进行了综述,然后着重研究了两种协议形式......
<正> 由中国农业工程研究设计院设计,上海市新力机械厂制造的RSL-Ⅰ型气化炉,用作茶叶烘干机的配套炉灶,经浙江临安县横畈茶厂于今......
