物联网的机遇与挑战

作为未来的发展趋势之一,物联网将在各个方面决定未来世界和人类社会的发展方向。由于物联网的发展还处于起步阶段,人们对这一领域的了解往往不够全面,甚至存在一些误区。因此,通过介绍物联网的发展史和相关基本概念,希望使读者能够对这一全新领域有一个全面准确的认识。同时对当前物联网发展中存在的困难进行了比较系统的分析,指出了今后的发展方向。     

2018物联网安全专题前言

随着物联网应用的广泛普及以及支撑技术的不断发展,其安全问题也愈发严重。物联网带来新的安全问题不仅会给广大用户和企业带来严重的损失,还会威胁国家安全与社会稳定。同时物联网设备的异构性、通信的复杂性等问题也给广大科技工作者提出了大量的挑战性研究课题。物联网安全问题已经引起了学术界越来越多的重视,国内外学者开展了大量研究,也取得了许多不错的研究成果。值此之际,《计算机研究与发展》特别推出“物联网安全专辑”专题,总结物联网安全领域的热点问题和现状,并展现了物联网安全领域的重大科技成果,将有力推动我国网络空间安全的科学研究和工程应用。本期专题收录的论文涵盖了物联网网络与系统安全、应用与服务安全等内容,多篇论文都展现出了很强的创新性,代表了当今国内物联网安全领域的研究热点和水平。     

Petri网研究：机遇与挑战

本文是文［２］的姐妹篇，以国际动态为背景展示研究工作可以取得成就的方面，也试图就好面临的难点进行建设性的讨论。     

物联网技术——感知中国的机遇与挑战

一、物联网的背景 1、物联网时代将带来全球第三次信息化浪潮 2、物联网时代将带来的改变 从信息化到智能化的变革,给人留出了“好莱坞科幻式”的想像空间     

未来：机遇与挑战齐飞

近两年来,随着互联网泡沫的崩溃,全球IT产业普遍陷入低迷,唯有中国IT产业仍旧保持着比较高的增长速度。无疑,这样的发展势头是值得人们兴奋和鼓舞的,同时,也从一个侧面表明,在信息产业的全球化大潮中,我国较好的把握住了机遇、规避了风险。但是,如果说中国IT产业在全球化潮流中已经把握了主动,已经胜券在握,也未免有些盲目乐观。 居安思危,不容沾沾自喜 事实上,IT产业的全球化发展趋势带给我们的不仅是机遇,与之并存的还有巨大的挑战。面对既有成绩的取得,整个产业界还不能过于乐观,还要时刻保持居安思危的心态,因为现有成绩的取得,距离中国信息产业的发展目标尚有很长的一段路要走。按照“十五”期间我国信息产业的发展战略目(?)     

优青专题前言

优秀青年科学基金(“优青基金”)是国家自然科学基金委员会2012年起设立的一类人才项目,主要支持在基础研究方面已取得较好成绩的青年学者自主选择研究方向开展创新研究,至今已经资助了5期。为了集中介绍这些优秀青年学者的研究成果,本刊推出了“优青专题”系列,并已于2015年和2016年出版了两个专辑,本期是该系列的第三个专辑,共13篇文章。与前两次专辑一样,本专辑并不专注于介绍计算机科学技术领域某个特定方向的研究和发展状况,而是为优青基金获得者提供展示他们（及其合作者）研究成果、传播相关知识的综合平台,同时可以使得有关读者通过该专辑了解我国这一层次研究人员的研究状况及相关领域发展的趋势。我们希望本系列专辑的出版能为作者、读者提供一个开放的交流平台,促进计算机科学技术领域的研究、开发、教育和前沿知识的传播。     

优青专题前言

我们高兴地向读者推出本期“优青专辑”,展示在国家自然科学基金优秀青年科学基金项目（“优青基金”）资助下取得的部分成果。优青基金是国家自然科学基金委员会从2012年起设立的一类人才项目,主要支持在基础研究方面已取得较好成绩的青年学者自主选择研究方向开展创新研究,促进青年科学技术人才的快速成长,培养一批有望进入世界科技前沿的优秀学术骨干。截止到我们组织这期专辑的时候,计算机学科共有三批39位（包括4位女性）青年学者得到了优青基金资助,研究方向几乎涉及了计算机学科所有重要研究领域（尽量从数量上看分布还不够均衡）。优青基金获得者表现出很高的学术素养,令人欣喜不已,倍感我国科技事业后继有人。本专辑得到优青基金获得者的积极响应和赐稿。经过专家评审,我们选择13篇文章在这里刊载。与其它专辑有所不同,本专辑的文章并未限定在某个特定研究领域,而是涉及计算机科学技术中比较宽泛的研究内容,包括互联网、无线网络、数据中心、人工智能与模式识别、图像处理、可靠性与容错、、大数据和知识库技术等,既有对具体创新成果的介绍,也有对重要研究方向的分析和综述,色彩纷呈。     

自适应Web站点：挑战与机遇

1 引言万维网(World Wide Web)已经成为信息传播、交流与共享的主要媒体。在全球Web站点数目迅速增长的同时,各个Web站点的信息量及其复杂度也在迅速上升,包含成千上万个网页与超链接是很平常的。由于以下的因素,数据密集型Web站点的设计与管理也变得越来越困难:     

SaaS：机遇大于挑战

SaaS是Software—as—a-service（软件即服务）的简称,随着互联网的深入和应用软件的成熟,SaaS模式已经成为一种发展趋势。IDC的研究报告预测,2009年的亚太区（不含日本）IT市场虽然面临了挑战,但是SaaS市场仍然会有重大的发展。     

绿色低碳机器学习研究与应用专题前言

<正>近年来,随着学术界与工业界在机器学习和人工智能领域投入越来越多的关注,相关技术获得飞速发展,机器学习已经被应用到社会生活的方方面面,并产生巨大社会价值.在“生成式人工智能”“元宇宙”等科技概念越来越受欢迎的今天,机器学习面临的数据量不断增长、模型规模逐步扩大,因而对计算能力的需求也在持续增长,导致了机器学习系统能耗的上涨.我国于2020年提出“双碳”目标,逐步引导绿色技术创新,实现经济增长和生态平衡的综合效益.面向“双碳”目标,如何高效使用数据和优化计算资源变得尤为关键.     

2019密码学与智能安全研究专题前言

依托于云计算、物联网、大数据技术的发展,自动驾驶、人脸识别、智能家居等人工智能技术快速进入了人们的视野,并成为先进科技社会化应用的代表和社会热点．但是,安全问题却为这些技术的广泛应用提出了严峻挑战,没有强大的自主可控安全技术的支撑,人工智能带来的也许不仅仅是便利,更可能是灾难．安全问题可以说是人工智能走向大规模应用的瓶颈和一个关键问题．而作为解决安全问题的核心技术———密码学,如何适应人工智能安全的需要是另一个关键问题．依托于云计算、物联网、大数据技术的发展,自动驾驶、人脸识别、智能家居等人工智能技术快速进入了人们的视野,并成为先进科技社会化应用的代表和社会热点．但是,安全问题却为这些技术的广泛应用提出了严峻挑战,没有强大的自主可控安全技术的支撑,人工智能带来的也许不仅仅是便利,更可能是灾难．安全问题可以说是人工智能走向大规模应用的瓶颈和一个关键问题．而作为解决安全问题的核心技术———密码学,如何适应人工智能安全的需要是另一个关键问题．
      为推动我国学者在智能安全领域的研究,为人工智能的现实应用提供理论与技术支撑,及时报道我国学者在智能安全理论与技术方面的最新研究成果,«计算机研究与发展»和我们共同策划和组织了“密码学与智能安全研究”专题．本期专题通过公开征文共收到９９篇普通投稿,４篇特邀投稿,分别在多个方面阐述了智能安全研究领域具有重要意义的研究成果．本专题严格按照该刊审稿要求进行,特约编委先后邀请了近百位相关领域的专家参与评审,每篇论文邀请至少３~４位专家进行评审,历经初审、复审、终审等阶段,整个流程历经一个半月,最终本专题共精选录用文章２６篇 (含４篇特邀稿件)．这２６篇文章分别涵盖了智能密码算法、智能隐私保护、智能系统安全等研究内容,在一定程度上反映了当前国内各单位在智能安全研究领域的主要研究方向．由于刊物单期容量所限,本专题分别刊登在２０１９年第１０期和第１１期,智能系统安全相关的７篇文章将在第１１期刊登．     

数据安全与智能隐私保护研究专题前言

随着大数据、云计算和物联网技术的蓬勃发展,人工智能已广泛渗透到科学研究、数字经济、健康与医疗卫生等各大领域,给人类生产生活带来了极大的便利.机器学习的模型训练和推理预测都依赖于大规模数据集,而这些数据中可能包含着用户的敏感或隐私信息.针对人工智能中日益加剧的数据安全与隐私保护需求,国内外学者获得了一系列重要研究成果.然而,如何在保护用户数据安全的同时,实现人工智能技术的高可用性和高效性仍然是学术界和工业界广泛关注的具有挑战性的研究课题.为进一步推动我国学者在数据安全与智能隐私保护领域的研究,及时报道我国学者在数据安全与智能隐私保护方面的最新研究成果,我们组织策划了“数据安全与智能隐私保护研究”专题.本专题通过公开征文共收到2篇特邀投稿和78篇普通投稿,论文分别从多个方面阐述了数据安全理论基础与应用及智能隐私保护关键支撑技术研究领域具有重要意义的研究成果.本专题的审稿严格按照《计算机研究与发展》期刊的审稿要求进行,特邀编委先后邀请了近百位相关领域的专家参与评审,每篇论文邀请至少3~4位专家进行评审,历经初审、复审、终审等阶段,整个流程历经一个半月,最终共录用文章20篇（含2篇特邀稿件）.这20篇文章分别涵盖数据安全、智能隐私保护等研究内容,在一定程度上反映了当前国内各单位在数据安全与智能隐私保护领域的主要研究方向.由于刊物单期容量所限,本专题将刊登在2022年第10期（16篇）和第11期（4篇）.     

形式化方法与应用专题前言

形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效. 本专刊主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入到评审阶段.每篇稿件经过2位专家的评审,有16篇进入到复审阶段并在第一届全国形式化方法与应用会议（FMAC 2016）上宣读,最后有13篇文章通过终审被收录到本专刊.     

形式化方法与应用专题前言

计算机科学的发展主要涉及硬件和软件的发展,而软、硬件发展的核心问题之一是如何保证它们是安全可靠的.如今,硬件性能变得越来越高,运算速度也越来越快,体系结构、软件的功能也更加复杂,如何开发可靠的软、硬件系统,是计算机科学发展面临的巨大挑战.特别是现在计算机系统广泛应用于许多安全攸关系统中,如高速列车控制系统、航空航天控制...     

形式化方法与应用专题前言

形式化方法是采用数学方法,对复杂计算机系统建立严格语法与语义规范的系统设计与验证方法,常用于复杂动态系统的需求规约、模型设计和属性验证,在计算机硬件设计、软件系统构造、控制系统模型设计与分析、通信系统协议验证和程序代码合成等方面得到了成功的应用.近年来,在深度学习、区块链、量子计算、物理信息融合系统等新兴领域,形式化方法也逐步应用和适配,对提升系统的安全性和可靠性起到了极大的促进作用.     

基于搜索的软件工程研究专题前言

软件工程自1968年提出以来,一直是提高软件开发效率、保障软件质量的有效手段.软件的发展及内涵被归纳为3个空间:平台空间、认知空间和问题空间,相应地,软件工程发展也从传统的模式化转向知识化和智能化.基于搜索的软件工程(search based software engineering,简称SBSE)是传统软件工程和智能计算(intelligent computing)交叉的新兴研究领域,从问题的解空间出发,采用智能计算领域的元启发式搜索优化算法解决软件     

云网融合专题前言

随着云计算的快速发展与５G时代的到来,网络业务的需求日益复杂化,如何满足工业互联网、车联网等新型业务的需求,进而充分保障用户的性能体验？现有云计算与网络的架构相互独立,无法协同应对未来应用的挑战,云网协同并走向深度融合是必然趋势,也将助力互联网与我国新基建的发展．近年来,随着诸多新技术的诞生或成熟,如SDN、虚拟网络、可编程网络、SDGWAN、分段路由及智能IP等,使得云网融合成为满足未来网络应用需求的有效技术途径．