重大科技基础设施内涵演进与发展分析

重大科技基础设施是大科学时代的标志,是产生重大原创性、引领性成果的关键支撑,已经成为国家科技竞争力的象征和创新格局演化的重要变量.新一轮科技革命正孕育兴起,要加快重大科技基础设施布局建设,催生重大科学发现和关键技术突破,牢牢把握创新主动权,增强自主创新能力,推动科研范式升级和组织方式变革,实现科技自立自强成为国家发展的战略支撑,为建设世界科技强国厚植科技创新根基.     

中非经贸合作下非洲基础设施建设的现状与挑战——以亚吉铁路建设为例

在分析非洲基础设施建设现状和特点的基础上,通过亚吉铁路建设的案例研究,探讨了中非经贸合作下非洲基础设施建设的成功效应和存在的主要问题,得出中国标准缺乏国际认可、中非双方存在文化冲突、对非“全产业链”与投融资需要强化和产业结构相似的结论。同时,对未来中非经贸合作下非洲基础设施建设的发展从消除文化差异、提高合作层次、加强投融资、改进中国标准、明确合作区发展定位、后疫情时代加快构建更紧密的中非命运共同体和加强产能合作并发挥产能优势等角度提出可行性建议。     

基于串空间模型的认证测试方法

串空间模型认证测试方法是定理证明安全协议分析法中最具有代表性的一类.利用串空间模型理论对Needham-Schroeder(N-S)公钥协议中中间人攻击问题进行形式化分析与设计,并对其进行证明.与原有技术相比,该方法更为形式化,协议分析人员可以很方便地进行手动分析,并且更有利于协议分析自动化工具的实现.     

昆山发展现代物流产业初探

现代物流产业是社会化大生产和网络经济发展的产物在经济全球化和信息化的推动下，21世纪将成为世界经济迎来现代物流产业高速发展的时代：而昆山是一座以外向型经济为主导的新兴工商城市，截止2003年，全市引进54个国家和地区的，3500多家跨国公司，国际资本达180亿美元。2003年全市完成进出口总额139.25亿美元，成为江苏省第一个进出口总额突破100亿美元的县级市，昆山外贸依存度达到268％。昆山出口加工区2003年出口加工区进出口业务达到58．71亿美元。     

基于能力的IT基础设施评价和规划方法

IT基础设施是IT组合的基础, 其在组织范围内为IT应用和核心业务提供可靠的共享服务.IT基础设施能力关系到企业战略及BPR的成功与否,已经成为企业战略选择的一部分,甚至是企业的一种潜在的核心能力.IT基础设施与企业战略之间的对应是战略对应的一个基本问题.文章提出了基于能力的 IT基础设施评价和规划方法,并建立了基于能力的 IT基础设施评价模型和规划模型.     

西部基础设施融资创新：一个PPP模式视角

西部开发，基础设施建设先行。但目前西部地区不仅基础设施非常落后，且面临着十分棘手的基础设施建设融资困境。PPP模式是有效地吸引国内外民营资本参与西部基础设施建设的创新途径，应在西部基础设施建设融资中推广应用PPP模式。     

西部十二省市区2002年距离2020年全面小康的差距——设施与环境主要指标的比较

要在2020年实现全面小康的发展目标，必须注重基础设施的建设和加强环境保护。西部各省市区近年来做了大量的工作，取得了显著的成绩，但与2020年全面小康标准相比较，还有较大差距。     

信息安全与数学科学

随着互联网、计算机和通信技术的飞速发展,全球正步入信息化时代.每天有海量信息在互联网上传输,其中不乏有大量涉及政治、经济、金融及人们生活的敏感信息.     

2001年上海市区县信息化建设部分重点项目工程

2001年2月，闸北区在全市中心城区率先建成覆盖区委、区府、区人大、区政协及全区各部门的政务光纤宽带网络。该网络的建成，使闸北区信息化基础设施建设迈上了新台阶，同时也标志着闸北区三级宽带政务信息应用系统的开发建设正式启动。     

一个门限RSA密码体制

传统的门限RSA密码体制由于都是在环Zψ（n )上进行的，而会遇到固有的困难；Zψ（n ）不是域且ψ（n）必须保密，提出了一个新的门限RSA密码体制，通过数学变换克服了以上的困难，并且对它的安全性进行了简要分析。