说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 文件安全性
1)  documentation security,file security
文件安全性
2)  file security
文件安全性,文件保密
3)  file security
文件安全
4)  unsafe file
不安全文件
5)  software safety
软件安全性
1.
In this paper,it establishes a Petri Nets model for interlocking software safety requirement based on analyzing the fault tree model presented in Reference 1,5 and6.
文章在分析文献[1][5][6]的联锁软件安全性需求故障树模型的基础上建立了联锁软件安全性需求的Petri网模型,提出了一种基于十字链表的Petri网的存储结构,给出了一种求解割集的算法实现;接着简述了安全性测试用例的自动生成方法;最后给出了该方法在HJ04A系统联锁软件安全性测试中的应用。
2.
This paper introduces software safety, and its analyzing technique with Petri nets, analyzes the software design of missile safety system based on Petri nets system model with the converse reachable figsretrospect method and the key state.
介绍了软件安全性和基于Petri网软件安全性分析技术。
6)  safety of E-mail
邮件安全性
补充资料:《乏燃料管理安全和放射性废物管理安全联合公约》


《乏燃料管理安全和放射性废物管理安全联合公约》
Joint Convention on the Safety of Spent Fuel Management and on the Safety of Radioac-tion Waste Management

  代卜Oronl一00 GuonJ一Anquon he Fongshex一ng Fe一wLJ GLJanllAnquon Llonhe Gongyue《乏燃料管理安全和放射性废物管理安全联合公约》(了访”tC加祖ventlon胡th£SafetyojSPent Fuel Mana岁ment and on th‘Safet少of尺。己~t姗WasteManageme力t)加强乏嫩料和放封性度物管理安全方面的一项鼓励性国际公约。1997年9月5日通过,1997年9月29日开放供签署。截至1999年3月10日,已有39个国家签署,6个国家交存了批准书。但按该公约规定,需得到25个国家批准,而且其中要包括15个拥有运行的核电厂的国家才能生效,因而目前尚未生效。 《公约》的目的是,通过加强缔约国的管理和国际合作,包括适当时与安全有关的技术合作,以在世界范围内实现和保持高安全水平的乏嫩料和放射性废物管理;确保在乏嫩料和放射性废物管理的一切阶段都有预防潜在危害的有效措施,保护个人、社会和环境免受电离辐射的有害影响;防止有辐射后果的事故发生,一旦发生尽可能地减轻其后果。 《公约》适用于民用核反应堆运行产生的乏燃料的管理安全以及民事应用产生的放射性废物的管理安全,但为后处理而在其设施中保存的乏燃料除外。对于军用或国防计划所产生的乏燃料和放射性废物,则仅当其被永久转为民用计划时才适用。 《公约》强调,确保乏嫩料和放射性废物管理安全的最终责任在于对应这些材料拥有管辖权的国家身上。 缔约国的主要义务为:应在其国家法律框架内通过立法、管理和行政的措施以及其他必要的步骤,确保在乏嫌料和放射性废物管理的所有阶段都能充分保护个人、社会和环境不受到辐射的伤害.就履约所采取的措施向缔约方审评会议提交报告。《公约》还对这类物质的踌越国界运翰做了规定。 中国派代表参加了《公约》的制订和审议工作,由于对其中关于放射性废物跨境运输的条款有保留,故未签署本公约。
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条