期刊文献+
共找到92篇文章
< 1 2 5 >
每页显示 20 50 100
皮革工业面临的REACH条款与挑战 被引量:20
1
作者 Alois G.Puntener 刘鹏杰(译) 《中国皮革》 CAS 北大核心 2010年第1期23-25,共3页
REACH是欧盟关于化学品注册、评估、授权和限制的制度。于2007年6月1日正式生效。为了保护环境和人类的健康,避免人们受到化学品的伤害,REACH法规从原来的立法基础上进一步提高了对人类的保护。介绍了REACH法规的背景信息以及对皮革工... REACH是欧盟关于化学品注册、评估、授权和限制的制度。于2007年6月1日正式生效。为了保护环境和人类的健康,避免人们受到化学品的伤害,REACH法规从原来的立法基础上进一步提高了对人类的保护。介绍了REACH法规的背景信息以及对皮革工业的一些可行性建议,有利于皮革行业能够在REACH法规实行后同样能够与欧洲国家保持或建立业务往来。 展开更多
关键词 欧盟 REACH 欧盟化学署 下游用户 物质信息交换论坛 安全数据表 限制物质名单 高度关注物质列表
下载PDF
基于特定领域构件库系统中刻面分类模式的研究 被引量:12
2
作者 高强 张晓明 边小凡 《计算机工程与应用》 CSCD 北大核心 2003年第30期82-84,87,共4页
随着基于构件的软件开发CBD(component-basedSoftwaredevelopment)技术的快速发展,出现了以构件库为中心,更好地支持构件重用的发展趋势,构件的分类和检索技术成为软件重用组织十分关注的问题。该文主要针对构件的刻面分类技术加以研究... 随着基于构件的软件开发CBD(component-basedSoftwaredevelopment)技术的快速发展,出现了以构件库为中心,更好地支持构件重用的发展趋势,构件的分类和检索技术成为软件重用组织十分关注的问题。该文主要针对构件的刻面分类技术加以研究,提出了有效的原则和方法,并实际应用到特定领域构件库系统刻面分类模式的制定。 展开更多
关键词 构件 分类 刻面 刻面 分类模式 构件库
下载PDF
丝氨酸蛋白酶抑制剂B亚家族 被引量:3
3
作者 樊静 《生命的化学》 CAS CSCD 2003年第4期275-276,共2页
丝氨酸蛋白酶抑制剂(serine proteinase inhibitor,Serpin)亚家族SERPIN B是第二个大的Serpin亚家族,也被称为卵清蛋白样丝氨酸蛋白酶抑制剂,在人类,至今已发现有13个序列高度同源的成员,在原生动物,植物,及病毒中也发现了SERPIN B亚家... 丝氨酸蛋白酶抑制剂(serine proteinase inhibitor,Serpin)亚家族SERPIN B是第二个大的Serpin亚家族,也被称为卵清蛋白样丝氨酸蛋白酶抑制剂,在人类,至今已发现有13个序列高度同源的成员,在原生动物,植物,及病毒中也发现了SERPIN B亚家族的成员。SERPIN B亚家族成员基因位于6p25和18q21,其表达产物构象与其他Serpin亚家族成员存在3点不同:(1)缺乏可剪切的疏水性分泌信号序列和其他信号序列模体。(2)蛋白质结构中的螺旋C与螺旋D之间的环可能是其发挥某些特定功能的模体。(3)SERPIN B亚家族成员缺乏羧基端的延伸序列。大多数SERPIN B蛋白在细胞内产生作用,定位于细胞质或细胞质和细胞核之中,其作用广泛,参与了许多基本的生命活动,例如纤溶,炎症反应,细胞迁移,细胞分化,调亡等。同其他Serpin一样,SERPIN B也是通过一种成为自杀性底物的机制发挥其作用的。 展开更多
关键词 SERPIN B rsl 自杀性底物抑制机制
下载PDF
CSP和RSL应用于协议形式化描述的研究 被引量:3
4
作者 贾若宇 赵保华 +1 位作者 屈玉贵 顾翔 《计算机应用》 CSCD 北大核心 2003年第1期10-12,共3页
文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后... 文中用一种新的形式化描述语言RSL来描述网络协议,采用通信顺序进程CSP为模型。该模型基于进程代数,能用严密的代数演算方法验证协议性质。文中对CSP模型和RSL语言作了时间的扩充,并且给出了从CSP模型到RSL语言的转换步骤及规则。最后给出了一个TFTP的实例来说明RSL语言在协议描述上的适用性。 展开更多
关键词 CSP rsl 协议形式化描述 网络协议 通信协议 计算机网络
下载PDF
用RSL描述网格资源分配 被引量:2
5
作者 郭绍忠 黄永忠 陈新 《信息工程大学学报》 2003年第3期4-6,共3页
本文简要介绍了网格和Globus,Globus的系统结构和资源分配;用户可以根据RSL描述来发出任务请求并交给GRAM处理;重点介绍了资源描述语言RSL,RSL语法、标记和属性。最后用修正的BNF描述了RSL的语法和标记规则。
关键词 网格 GLOBUS 资源分配管理GRAM rsl
下载PDF
形式化的软件测试模型研究 被引量:3
6
作者 赖祥伟 张为群 +1 位作者 邱玉辉 周彦晖 《计算机科学》 CSCD 北大核心 2004年第11期169-173,共5页
传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需... 传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。 展开更多
关键词 软件测试模型 测试用例 形式化方法 描述语言 rsl 自动生成 软件设计 实验结论 阶段 传统方法
下载PDF
一种基于RSL的协议形式化描述技术的研究 被引量:5
7
作者 赵静 屈玉贵 赵保华 《计算机科学》 CSCD 北大核心 2003年第1期97-98,共2页
This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of p... This paper presents a formal technique of protocols based on RSL,which can efficiently connect the formaldescription ,validation,implementation and testing of protocols. It mainly discusses the formal description of protocolsbased on RSL,and also provides an algorithm about this. Finally,taking the protocol AB as an example,a formal de-scription based on RSL is given. 展开更多
关键词 rsl 形式化描述技术 通信协议 协议工程学 计算机网络
下载PDF
Assessment of Pesticide Contamination in Cidade Dos Meninos, Rio de Janeiro, Brazil, Using Regional Screening Levels (RSL)
8
作者 Deiwid Ferreira Gomes Nilce Ortiz Sabine Neusatz Guilhen 《Journal of Environmental Protection》 2023年第11期889-902,共14页
In the mid-20th century, the Malaria Institute in Brazil researched hexachlorocyclohexane (HCH), dichlorodiphenyltrichloroethane (DDT), and other organochlorines in Cidade dos Meninos, Rio de Janeiro, Brazil. After Ma... In the mid-20th century, the Malaria Institute in Brazil researched hexachlorocyclohexane (HCH), dichlorodiphenyltrichloroethane (DDT), and other organochlorines in Cidade dos Meninos, Rio de Janeiro, Brazil. After Malaria Institute closure, there was a 200-ton stock of chemicals compounds abandoned without any surveillance, which led to massive contamination of the nearby community by carcinogenic organochlorines. This article presents a new review of the Cidade dos Meninos’ case, analyzing the HCH and DDT contamination using a Haddon Matrix and Regional Screening Levels (RSL). 展开更多
关键词 ORGANOCHLORINES DDT HCH Cidade Dos Meninos CONTAMINATION Environmental Chemistry Haddon Matrix rsl
下载PDF
零序导纳法馈线接地保护的研究 被引量:6
9
作者 薛永强 邵玉槐 刘宝勤 《太原理工大学学报》 CAS 2002年第4期396-399,共4页
在数字馈线保护中 ,利用线路故障前后零序测量导纳及其电导的特点 ,来判断馈线是否发生故障 ,具有较高的保护精度和可靠性。设计了
关键词 零序导纳法 馈线接地保护 配电网 小电流接地系统 单片机 电力系统 rsl
下载PDF
软件形式化开发方法的选择策略研究 被引量:3
10
作者 彭成 王盼卿 《电子设计工程》 2014年第15期30-32,36,共4页
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法 RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的... 随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法 RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。 展开更多
关键词 形式化 开发方法 选择策略
下载PDF
RSL在协议形式化描述中的应用研究 被引量:3
11
作者 顾翔 邱建林 蒋峥峥 《计算机应用》 CSCD 北大核心 2007年第9期2236-2238,共3页
将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比... 将RSL引入协议工程,探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制,讨论了基于两类基本模型(状态模型和进程模型)的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比,扩充后的RSL描述能力强,描述手段灵活,能更有效地支持验证、测试等后续阶段的工作。 展开更多
关键词 协议工程 形式化描述 rsl
下载PDF
美国AAFA的RSL解读(上) 被引量:5
12
作者 王建平 吴岚 朱雯喆 《纺织导报》 CAS 北大核心 2009年第6期95-99,共5页
继2007年6月推出首版《限用物质清单》(Restricted Substances List,简称RSL,下同)之后,仅仅过了7个月时间,AAFA于2008年2月推出了RSL第二版。除了少量版式上的调整,新版RSL在技术内容上并无实质性的变化。2008年7月,AAFA推出了... 继2007年6月推出首版《限用物质清单》(Restricted Substances List,简称RSL,下同)之后,仅仅过了7个月时间,AAFA于2008年2月推出了RSL第二版。除了少量版式上的调整,新版RSL在技术内容上并无实质性的变化。2008年7月,AAFA推出了其RSL第三版。这次改版,主要是在引用法规、技术内容勘误和限用物质增删等方面作了少量的调整。 展开更多
关键词 rsl 解读 美国 技术内容 LIST 第二版 第三版 物质
下载PDF
RSL:基于Rough Set的表示语言 被引量:1
13
作者 周育健 王珏 《软件学报》 EI CSCD 北大核心 1997年第8期569-576,共8页
本文绘出了一种基于RoughSet理论的表示语言—RSL,该语言包括面向应用与面向研究两部分.应用部分主要服务于对信息表进行分析与处理的用户,研究部分则主要是为研究RoughSet及利用RoughSet理论构造更复杂算法的研究者所设计.鉴于Rough... 本文绘出了一种基于RoughSet理论的表示语言—RSL,该语言包括面向应用与面向研究两部分.应用部分主要服务于对信息表进行分析与处理的用户,研究部分则主要是为研究RoughSet及利用RoughSet理论构造更复杂算法的研究者所设计.鉴于RoughSet理论中求最小约简的过程是NP完全问题,为了使RSL表示语言可以分析与处理规模更大的信息表,本文还为RSL表示语言设计了一个新的对求取最小约简而言的领域独立的近似算法. 展开更多
关键词 决策分析 表示语言 rsl 人工智能
下载PDF
近期有关纺织化学品重要限用法规评述 被引量:2
14
作者 陈荣圻 《染料与染色》 CAS 2014年第4期12-22,共11页
本文列举了ZDHC的MRSL,同时与REACH已发布的SVHC、2002年至2014年Oeko-Tex Standard100历年增添的有害物质以及AAFA的RSL进行对比。给染料厂家提出了建议。
关键词 ZDHC Mrsl SVHC OEKO-TEX 100 rsl 重要环保法规 标准检测方法
下载PDF
RSL应用于协议形式化描述的研究
15
作者 赵静 屈玉贵 赵保华 《小型微型计算机系统》 CSCD 北大核心 2004年第3期447-450,共4页
在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问... 在 RSL 形式语言的基础上扩充了时间描述机制 ,使其能够描述协议的实时性 ;并且根据该语言的特点 ,提出了一种面向对象的 FSM模型 (OOFSM) ,该模型将面向对象技术与 FSM相结合 ,既可以有效地解决当构造复杂协议时 FSM所面临的状态爆炸问题 ,又可以使所描述的协议具有可重用性、可组装性且易于维护 ;最后给出了一个实例说明 OOFSM的建模过程 ,并用扩充的 展开更多
关键词 形式化描述 rsl 形式描述语言 面向对象 FSM 时间描述机制 通信协议
下载PDF
校园网格中数据复制和传输管理的研究
16
作者 张会霞 田卫萍 徐清宇 《电脑开发与应用》 2007年第10期49-51,共3页
在当前校园信息化建设过程中,数据的处理规模逐渐增大。在对网格计算工具集GT4的数据管理进行了深入研究和分析后,将其中现有的一些机制RSL和GridFTP应用于校园网格的数据管理中,力求实现数据复制和传输的透明、高效、方便,最终实现资... 在当前校园信息化建设过程中,数据的处理规模逐渐增大。在对网格计算工具集GT4的数据管理进行了深入研究和分析后,将其中现有的一些机制RSL和GridFTP应用于校园网格的数据管理中,力求实现数据复制和传输的透明、高效、方便,最终实现资源的合理利用和全面共享。 展开更多
关键词 数据传输 数据复制 rsl GRIDFTP
下载PDF
ZDHC的联合路线图与AAFA的限用物质清单 被引量:1
17
作者 陆雅芳 王建平 吴岚 《染整技术》 CAS 北大核心 2015年第6期46-49,共4页
介绍了有害物质零排放联盟(ZDHC)的出台背景及新版的ZDHC联合路线图,分析了ZDHC新推出制造业限用物质清单(MRSL)的基本理念及其不足。鉴于在全球市场和中国经济中的重要地位,中国纺织服装业必须重视和积极参与ZDHC的联合路线图,顺应市... 介绍了有害物质零排放联盟(ZDHC)的出台背景及新版的ZDHC联合路线图,分析了ZDHC新推出制造业限用物质清单(MRSL)的基本理念及其不足。鉴于在全球市场和中国经济中的重要地位,中国纺织服装业必须重视和积极参与ZDHC的联合路线图,顺应市场、法规和社会的发展。还介绍了美国服饰和鞋类协会(AAFA)的新版RSL并与ZDHC的MRSL和REACH法规作了比较。 展开更多
关键词 ZDHC ZDHC联合路线图 AAFA rsl
下载PDF
On Semi RSL10蓝牙5多协议无线片上系统(SoC)解决方案
18
《世界电子元器件》 2018年第10期50-52,共3页
On Semi公司的RSL10是包含了内置天线,无线电和所需所有无源器件的系统封装器件(SIP),获得蓝牙特别兴趣小组(SIG)认证,无需任何额外的射频(RF)设计考量,大大减少了上市时间和开发成本,可实现每秒2兆位(Mbps)的速度与业界最低功耗,深度... On Semi公司的RSL10是包含了内置天线,无线电和所需所有无源器件的系统封装器件(SIP),获得蓝牙特别兴趣小组(SIG)认证,无需任何额外的射频(RF)设计考量,大大减少了上市时间和开发成本,可实现每秒2兆位(Mbps)的速度与业界最低功耗,深度睡眠模式下的功耗仅62.5纳瓦(nW),峰值接收功耗仅7毫瓦(mW),主要用IoT边沿节点应用兵。 展开更多
关键词 rsl On SEMI rsl10 SOC
下载PDF
形式语言B与RSL的比较
19
作者 张宏 邹盛荣 《电脑知识与技术》 2008年第S2期115-116,共2页
本文介绍了形式化方法中B方法和RAISE方法,从软件开发生命周期的角度对B语言和RSL进行了比较,归纳了这两种形式化语言的异同和各自的适用范围。
关键词 B rsl 形式化方法 异同
下载PDF
Weathering Processes on Martian Craters: Implications on Recurring Slope Lineae and the Location of Liquid Water
20
作者 Pablo Garcia-Chevesich Eduardo Bendek +5 位作者 Roberto Pizarro Rodrigo Valdes-Pineda David Gonzalez Horacio Bown Eduardo Martínez Luis Gonzalez 《Open Journal of Modern Hydrology》 2017年第4期245-256,共12页
Recent attention has been put into recurring slope lineae (RSL), after the discovery that water is present in them. It is assumed that RSL are due to flowing water. However, even though that might be the case, the gen... Recent attention has been put into recurring slope lineae (RSL), after the discovery that water is present in them. It is assumed that RSL are due to flowing water. However, even though that might be the case, the general characteristics of RSL as well as their seasonal and spatial distribution in Mars, and their occurrence within craters, suggest that RSL correspond to the weathering of frozen aquifers, which coincides with slope stability processes occurring in impact craters and scree slopes from Earth. In this study, we associated RSL with similar weathering processes occurring on impact craters and hydrogeological processes occurring on Earth (including ice, water, and wind erosion and natural aquifer recharge processes). We were able to create a conceptual model on how RSL develop, why are they found mostly in mid latitudes around craters, why are they present in more frequency in one side of crates in high latitudes, and why are there more RSL in the Martian southern hemisphere. Considering the whole hydrogeological processes occurring in craters that experience RSL, we were able to predict where large quantities of liquid water are most likely to be present in the red planet. 展开更多
关键词 MARS Recurring SLOPE Lineae (rsl) WEATHERING Processes CRATERS GROUNDWATER
下载PDF
上一页 1 2 5 下一页 到第
使用帮助 返回顶部