关于科技体制改革与科技发展面临的六大难题——在华北五省、区、市科委主任联席会上的发言

当前,我国最大的战略任务莫过于加快实现两个根本性的转变,这也越来越成为全社会和全民族的共同呼声。两个转变的关键,首先是第一个转变。因为有什么样的体制和机制,就会有什么样的增长方式,这已为无数事实所证明。     

25年的参与和贡献——纪念新中国恢复联合国席位25周年

联合国正在越来越多地介入国际生活的各个方面,也越来越频繁地通过各种媒体进入人们的视野。相对于这个最大的国际组织所发挥的作用,我们对它的了解、研究和认识还都比较肤浅。值此中国恢复联合国合法席位25周年的时候,中国联合国协会和本刊联合推出“认识联合国”专栏,约请我国驻联合国各机构工作人员及联合国问题研究专家撰文,经常地向读者介绍有关联合国的知识和活动,介绍我国在联合国的作用,评说联合国热点问题。这个栏目对联合国的介绍将是具有权威性的。——编者     

避讳絮语

避讳絮语李建信进讳有两义，一属语言运用问题，一届历史文化问题，本文只从历史文比这个角度讨论，它的含义应是：封建时代为了维护等级制度的尊严；说话或写文章时回避国君的名字，不直接说出或写出而用其它字代替或缺笔写，逐渐发展到进皇妻、皇子的名字，避权贵的名字...     

士燮与儒学在交趾的传播

东汉末年三国初期，天下扰乱。士燮统治交趾期间，社会稳定，政治清明，崇文重教，中原士人纷纷前往避难，一时之间，交趾人文荟萃，文风鼎盛，有力地促进了儒学在交趾地区的传播。     

超级抗体可自由穿越细胞壁

加拿大温哥华InNexus生物技术公司称：采用一种能够粘贴到细胞内部目标(而不仅仅只作用于其表面)的超级抗体，可能会产生一系列治疗疾病的新方法。     

基于约束构造算法的密码协议安全性分析

基于形式化方法开发自动分析工具是密码协议安全性分析的一种有效的方法，然而，由于密码协议参与主体的任意性、消息运算复杂性和运行的并发性，密码协议的安全性分析是高度计算复杂性的难题。基于最近提出的密码协议代数（CPA）模型，采用代数方法描述密码协议活动，精简密码协议描述，提出一个高效的密码协议安全性自动分析算法。该算法通过泛多项式方程求解技术，减少密码协议安全性分析过程中产生的冗余状态数量，并可提供在无限状态空间运行的协议安全性分析。根据该算法，实现了一个密码协议自动分析系统ACT-SPA，应用该系统分析了二十多个密码协议，结果显示系统显著提高了运行效率，并发现了新的密码协议攻击。