There is a very thin line， they say， between the sublime1 and the ridiculous. I never really thought about it， until one da......

基于进程代数的CSP方法是一种重要的形式化协议分析验证方法。本文首先简单介绍了CSP相关理论，并以NSPK协议为例系统概述了安全协议......

...

《闯入者》是王小帅＂三线建设＂题材电影的第三部,通过这几部影片的积累,三线建设的历史可能进入更多观众视野。片名＂闯入者＂可作多种解......

通过对非法入侵的概念、来源地分析，本文就铁路TMIS正在使用的Solaris系统的固有弱点进行讨论，并提出了相应的解决办法。......

开关电源由于其在体积、重量、功率密度、效率等方面的诸多优点,已经被广泛地应用于工业、国防、家用电器等各个领域。随着开关电......

Initiation is an ever- lasting literary theme. This novel has long been typically assumed as a detective story by many r......

With the development of radioactive beam facilities,studies concerning the shell evolution of unstable nuclei have recen......