排序方式: 共有4条查询结果,搜索用时 0 毫秒
1
1.
欧盟委员会于2005年12月22日向WTO通报了欧洲议会和理事会关于烟花爆竹和其他烟火制品(HS:3604)指令的提议,准备在2006年9~10月正式出台.拟议的指令将确立烟火制品投放市场必须满足的基本要求,将协调烟火制品的分类、使用的标准及相关的审批,以确保为制造商和进口商提供单一的市场,确保在产品安全领域产生重大效益.拟议的指令还将制定欧盟协调方法,以提供烟火制品的安全处理与使用信息,符合安全要求的制品加贴CE标志.该提议力图创立全面的、一致的法律框架,并引进最低安全要求,旨在达到提高对消费者和专业人员的整体保护水平、减少事故、协调不同成员国适用的安全要求,并确保烟花产品在欧盟自由流动之目的. 相似文献
2.
3.
一种改进的区域自动机构造方法 总被引:2,自引:0,他引:2
用时间自动机验证一个有穷状态实时系统的正确性,可归结为判定两个时间正则语言的包含问题,亦可归结为判定两个时间正则语言的交是否为空的问题。在判定一个时间正则语言是否为空时,先要将时间自动机转化为无时间的区域自动机。Alur和Dill给出的构造区域自动机的算法,存在许多不可达或虽可达但无用的状态。通过对时钟约束进行分析,在求时钟区域和时间后继的过程中,不断地将一些不可达或无用状态筛掉,使构造出的区域自动机更为优化,改进了Alur等人给出的算法。 相似文献
4.
1概述江苏公用宽带多媒体通信网(JSBN)已经建成,该网采用当今世界最先进的ATM技术和新一代因特网技术,是真正全数字化、高度综合化、宽带化的多媒体通信网,代表了当今通信领域的发展方向和最新技术成就。江苏省宽带多媒体通信网是一个集语音、数据、视频等为... 相似文献
1