1) process algebra
安全进程代数
1.
A process algebraic approach to the modelling of information flow security is explained.
文章在安全进程代数理论框架内讨论信息流安全模型。
2) information security
安全安全
3) security
安全
1.
Innovate security management to guarantee survival and development of enterprises;
创新安全管理 保障企业生存发展
2.
Application of grey correlation analysis approach to the urban eco-security evaluation;
灰关联分析在城市生态安全评价中的应用
3.
Preliminary Study on the security of Backpacker Tourism in the remote countryside;
偏远农村地区背包旅游安全问题初步研究
4) safety
安全
1.
Enterprise Safety Education Training;
浅谈企业开展安全教育的培训
2.
Considerations on safety management of mechanics laboratory;
关于力学实验室安全管理的几点思考
3.
Fire safety of the ships for aids to navigation engineering;
浅谈航标船舶的消防安全
5) safty
安全
1.
Safty Design of Acrylic Ester Tank Area;
丙烯酸酯罐区的安全设计
2.
E-mail s Safty in distance Education;
谈远程教育中电子邮件的安全防范
6) Safe
安全
1.
To Establish "China Setup of Safe, Disaster Reduction andEmergency" Must be Enforced;
建立“中国安全减灾及应急体系”势在必行
2.
Raise worker quality and insure safe production;
提高矿工素质 确保安全生产
参考词条
补充资料：进程代数
进程代数
process algebra
1 incheng daishu进程代数(p一al罗bra)关于通信并发系统的代数理论的统称。 20世纪70年代后期，英国学者RMnner和C.A.R，H以叮e分别提出了通信系统演算和通信顺序进程，开创了用代数方法研究通信并发系统的先河。此后这一研究方向兴盛不衰，出现了众多类似而又相互区别的演算系统，如ACP(提出者J.A.Ber郎tra和J.W.K10p)，ATp(提出者M.H即n樱y)，Meije(提出者G.E劝udol，R.desi~)，LOTC6等，统称为进程代数。这些代数理论都使用通信，而不是共享存储，作为进程之间相互作用的基本手段，表现出面向分布式系统的特征。 在语法上，进程代数用一组算子作为进程的构件。算子的语义通常用结构化操作语义方法定义，这样进程就可看成是带标号的变迁系统。进程代数的一个显著特征是把并发性归结为非确定性，将并发执行的进程的行为看成是各单个进程的行为的所有可能的交错合成，即所谓交错语义。 进程代数研究的核心问题是进程的等价性，即在什么意义下两个进程的行为相同?在进程代数领域使用的最为广泛的等价关系有互模拟、测试等价、失败等价(参见通信顺序进程)等。对这些语义等价关系均建立了相应的公理系统。关于公理系统的研究不仅加深了对语义理论的理解，而且使得有可能对语义等价关系进行形式推理。 为了将进程代数的理论成果应用于解决实际问题，20世纪80年代后期出现了许多计算机支持工具。用这些工具可对进程的行为进行推理或模拟。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。