智能数据管理与分析技术专刊前言

数据管理与智能计算的深度融合已经成为大数据时代顺利前行的迫切需求.智能数据管理旨在“为数据增添智能”,是数据科学与技术的重要基石,更是大数据产业蓬勃发展的关键支撑.一方面,将新一代人工智能方法应用于先进数据管理技术,尝试探索和突破智能数据管理与分析的理论体系、技术方法及系统平台,已经成为数据管理领域的新兴研究方向;另一方面,研发面向人工智能的数据库基础软件,为新一代人工智能技术的研发和广泛应用提供海量数据的有效存储、查询、分析和挖掘等的系统支持,亦是国家科技创新的决定性因素.智能数据管理与分析领域日益得到学术界和工业界的普遍关注,其理论、技术和方法亟待深入地探索与思考.目前,针对智能数据管理与分析的研究仍然处于起步阶段,有很多需要研究的问题. 本专刊公开征文,共收到投稿38篇(包括第35届中国数据库学术会议(NDBC 2018)推荐的12篇高质量论文).其中,37篇论文通过了形式审查,内容涉及智能数据管理与分析技术和应用.特约编辑先后邀请了 70多位专家参与审稿工作,每篇投稿至少邀请2位专家进行评审.稿件经初审、复审、NDBC 2018会议宣读和终审4个阶段,历时5个月,最终有20篇论文入选本专刊.根据主题,这些论文可以分为4组.     

泛在嵌入式智能系统专题前言

目前,世界范围的科技革命和产业变革正在孕育兴起,一些重要科学问题和关键核心技术正在呈现革命性的突破先兆.同时,“万物智联”时代正在加速到来,IOT/CPS、AIOT 等蓬勃发展,以泛在感知、泛在互联、泛在智能为特征的各类智慧系统,以嵌入式系统为基础,与大数据、区块链、云计算呈现融合发展趋势.随着人工智能技术和嵌入式AI 芯片技术的发展,人工智能已经开始逐步向嵌入式系统迁移,尤其是伴随着机器人、无人机、无人车等智能设备的技术成熟,越来越多的应用系统需要在以边缘计算为主的嵌入式系统上实现.目前,嵌入式系统应用前景愈发广阔,如5G 通信、智能制造、智能电网、智能交通、国防军事、航空航天、智能网联汽车、数字医疗设备、机器人、智慧家庭、智能建筑等产业的创新发展都与嵌入式系统的技术发展息息相关. 本专题采取定向邀请和自由投稿相结合的方式,共收到 9 篇投稿,其中 8 篇通过了形式审查.特约编辑邀请了13 位领域专家参与审稿,每篇稿件至少邀请2 位专家进行评审,每篇稿件都经过2 轮审稿.共计6 篇稿件通过第1 轮评审,并在CCF 形式化方法专委会年度会议上进行了报告.经过第2 轮终审,最终有6 篇论文入选本专题.     

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

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

云计算安全研究专刊前言

随着信息技术的发展快速步入大数据时代,云计算作为推动信息技术实现按需供给、促进信息技术和数据资源充分利用的全新业态,已成为信息化发展过程中的重大变革和信息技术发展的必然趋势.然而,正是由于云计算模式所具有的一些特性,如云计算平台的服务外包和基础设施公有化特征、超大规模多租户资源共享特征、云计算环境的动态复杂性、云平台资源的高度集中性、云平台的开放性等,使得人们在享受云计算所提供的应用便利和成本低廉的同时,也逐渐意识到了其在诸多安全方面的全新挑战.新的计算模式需要新的安全保障技术、理论和方法来应对安全挑战,如在外包环境下如何实现用户数据安全防护、如何实现虚拟化技术的安全性、如何设计适合云计算环境的安全协议、如何构建一个安全可靠的云计算平台以及如何测试和评价云计算平台的安全性等.本专刊选题为“云计算安全研究”,力图反映我国学者在云计算安全领域的近期研究成果. 专刊公开征文仅限一轮,共征得投稿37篇.稿件几乎全部来自国家211大学或者中科院相关研究单位,质量相对较高.稿件内容涉及云计算安全理论、算法以及应用等诸多方面的研究内容.对于云计算环境,云数据以及云计算应用等方面的安全问题进行了深入的探讨,反映了我国学者近期对于云计算安全关注的主要方向.特约编辑先后邀请了40余位云计算安全及相关领域的专家参与审稿工作,每篇投稿邀请2位专家进行评审.稿件评审时间历经3个月,经初审、复审、云计算安全专题研讨会宣读和终审各个阶段,最终由软件学报编委会批准,决定19篇论文入选本专刊.纵观所收录的文章,它们的研究范围和内容可分为三个部分.     

《软件学报》网格计算专刊征文通知

本专刊瞄准与网格技术及其应用相关的基础性、前瞻性、战略性的重大理论和关键技术问题,以及网格技术与其他学科领域的交叉性,同时为了加强网格界和各应用领域专家之间的合作与交流,共同促进技术进步,推动网格技术在国民经济重大领域的应用普及,提高该领域信息化程度。本专刊面向全国征集论文,欢迎广大学者、专家、工程技术人员积极投稿,现将专刊论文征集的有关事项通知如下:专刊题目:网格计算特约编辑:金海(华中科技大学)、郑纬民(清华大学)一、征文范围1.网格基础理论研究主要包括网格核心协议和核心服务的研究,如服务管理、网格执行管理…     

面向持续软件工程的微服务架构技术专题前言

随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuous software engineering)由此被提出并迅速得到广泛的实践应用.微服务(microservice)架构作为一种全新的去中心化分布式架构,在软件架构层面成为适应持续软件工程发展的必然趋势,而领域驱动设计(domain-driven design,简称DDD)伴随着微服务架构的兴起也重新获得了业界的广泛关注,二者共同关注服务自顶向下的合理设计和分解.微服务架构与领域驱动设计共同支持实现现代软件系统的持续性特征.为了反映中国学者和实践者在求解以微服务架构为代表的持续软件工程所面临的架构难题和挑战过程中取得的理论、技术或实验方面的创新性、突破性的高水平研究成果,特设立此专题. 本专题采取公开征稿的方式,共收到19篇投稿并通过了形式审查.特约编辑邀请了20余位领域专家参与审稿,每篇稿件至少邀请2位评审专家并经过两轮审稿.共计10篇稿件通过第1轮评审,并在CCF中国软件大会上进行了报告.经过第2轮终审,最终有6篇论文入选本专题.其中, 论文“基于混沌工程的微服务韧性风险识别和分析”研究微服务架构系统的韧性风险识别问题,通过向系统引入随机环境扰动并观察服务性能的变化来寻找潜在韧性风险,向运维人员提供参考. 论文“面向微服务架构的开发组织适应性评估框架”通过系统化文献综述得出了使用微服务架构对组织产生的7个方面的影响,进一步提出了一个用于评估并提高开发组织对于微服务架构的适应性的评估框架. 论文“一种优化的数据流驱动的微服务化拆分方法”提出了一种自动化的微服务拆分与评估方法DFD-A,支持从数据收集分析、服务拆分到候选微服务架构评估的自动化设计过程,并实现了原型工具. 论文“一种监控系统的链路跟踪型日志数据的存储设计”基于开源的应用性能监控系统CAT,提出了一种针对tracing类型日志数据的存储设计方案,提升了存储效率和查询效率,并在美团点评线上系统中得到真实 应用. 论文“基于多源特征空间的微服务可维护性评估”提出了一种多源特征空间模型以统一表示软件维护过程中产生的多源数据.基于该模型提出了微服务代码可维护性度量,并实现了原型工具MicroEvaluator. 论文“多版本共存的微服务系统自适应演化方法”针对微服务系统中的多版本共存现象和用户/运维需求的变化,提出了最优化微服务系统演化方案的设计方法,实现了相应的编程框架以支持微服务系统自适应演化. 本专题面向持续软件工程和微服务架构的研究人员和工程实践人员,内容涵盖系统软件、软件工程等领域,反映了我国学者在以微服务架构为代表的持续软件工程方法、技术以及支持工具等方面的高水平研究成果.感谢《软件学报》编委会、中国计算机学会软件工程专委会与系统软件专委会对专题工作的指导和帮助,感谢专题全体评审专家及时、耐心、细致的评审工作,感谢踊跃投稿的所有作者.希望本专题能够对国内持续软件工程和微服务领域的科研工作有所促进.     

科技项目评审监测及行为智能分析研究与应用

评审专家作为评审环节的关键核心要素,很大程度上影响着评审结果的可行性和可信度,其评审水平直接影响着项目决策的科学性.文章研究了专家评审的监测及行为智能分析技术.以科技项目评审为重心,以系统监控及网络监视技术、大数据分析挖掘技术以及层次分析法等技术为基础,对专家的评审行为进行全程监测,对采集的监测数据进行实时智能分析,针...     

关于《软件学报》Internet环境下基于构件的软件理论与方法专刊再次征文通知

"Internet环境下基于构件的软件理论与方法"专刊主要关注在Internet动态开放环境下采用构件形式、自底向上构造软件(网构软件)的相关理论、方法与技术,已于2007年5月15日征稿结束,共收到100余篇稿件。经过审稿专家评审、特约编辑审查、编委会审定,认为其中虽然不乏质量较高的文章,但因征稿主题比较新,只有少部分来稿联系专刊主题比较紧密,其中达到一定质量的论文将修改后录用。有些论文     

会议论文评审系统的设计与实现

为集中、快速对大量在线提交的会议论文进行评审和管理,以全国数据库会议为背景,开发一个基于ASP．NET＋SQL Server的会议论文在线投稿和专家评审系统。通过论文在线提交、评审任务分配、专家评审3个主要模块,实现公平、合理、互操作性强的论文评审,有效解决以往在论文分配和管理上的一些难题,具有一定的参考意义。     

大数据时代软件工程专题前言

软件在人类社会生活中发挥着越来越重要的作用,软件工程研究软件系统构造、开发、运行、维护、演化的创新方法以提高效率和质量.从上世纪五六十年代起,软件工程经历了从结构化、到面向对象、到网络服务化的演进.软件工程研究内容和范围不断扩展,其应用和实践也不断延伸,正发展成为结合人工智能、社会计算、认知科学、数据科学与工程等多学科交叉的领域. 为及时反映我国学者在结合大数据技术的软件工程研究新进展,以及在大数据软件应用的开发方面的最新实践经验,“大数据时代的软件工程”专题围绕上述新兴热点问题,同时也兼顾经典问题的最新突破,征集本领域近期取得的原创性研究成果.专题的征文范围包括（但并不限于）面向特定领域的大数据应用开发、调试、部署及运行管理过程中的软件工程问题、软件工程数据质量问题、面向开源软件生态系统的数据分析、软件生命周期中的数据采集与分析、大规模群体协同的软件开发方法与平台环境、面向软件系统创新与产品线演化的模型、理论与工具、面向特定领域的大数据应用需求分析、用户行为数据收集与系统可用性分析、软件数据分析的代价与价值评估. 专题公开征文,共征得投稿22篇.特约编辑邀请了国内外在该领域有影响力的一组学者参与审稿工作,每篇投稿至少邀请2位专家进行初审.大部分稿件经过初审和复审两轮评审,部分稿件经过了两轮复审.通过初审的稿件还在NASAC 2016大会上进行了现场报告,作者现场回答了听众的问题,并听取了听众的修改建议.最终有13篇论文入选本专题.入选论文覆盖开源软件生态分析、软件分类检测与推荐、软件故障与缺陷预测、面向领域的大数据应用开发方法.     

IEEE机器人、智能系统和信号处理国际会议

2003年10月8日至11日在湖南省长沙市国际影视会展中心酒店举行了2003年IEEE机器人,智能系统和信号处理国际会议。这次会议由国防科技大学和香港中文大学智能感知系统联合研究中心主办,国家863计划机器人技术主题,IEEE香港机器人与自动化,自动控制系统联合分会协办。这里将会议的基本情况和所得的结论进行一下总结。一基本情况会议共收到从17国家和地区的近350篇投稿,其中海外投稿为120余篇。经过大会程序委员会严格审稿,录用了250篇论文,其中海外论文为90余篇。大会论文发表分6个小组进行。此外,邀请了7位世界著名专家就热门课题作专题…     

业务过程管理技术专题前言

"云物移大智"所代表的新兴信息技术,正在改变甚至颠覆社会组织的(传统)经营运作方式.全球化、虚拟化、网络化组织(包括企业)的业务过程管理变得日益复杂,给业务过程的柔性建模、高效调度、智能分析、合规控制等方面提出了一系列新的挑战.业务过程管理(business process management,简称BPM)致力创新企业业务过程管理、分析、控制和改进的系统化与结构化方法,其目标在于改进产品质量,提升服务水平,是现代信息系统的共性基础技术.     

面向领域的软件系统构造与质量保障专题前言

软件是推动新一代信息技术发展的驱动力.随着互联网、云计算、人工智能等技术的快速发展,软件与物联网、区块链、自动驾驶等众多领域的融合进一步加强,正引领并促进这些领域向数字化、智能化发展,为社会、经济的加速演进和创新发展带来了新的契机.因此,面向领域的软件技术不仅是软件领域,也是众多其他领域国内外学者的关注焦点和研究重点.与传统的软件系统相比,面向领域的软件系统(简称领域软件)带来了研究与应用上的新挑战.面对领域软件的特点和需求,如何有效地构造领域软件,实现领域应用的软件定义与智能化,如何通过验证、分析、测试等多种手段严格保障系统控制行为的正确性、实时性、协同性等重要质量特性,是一个重大挑战. 本专题采取自由投稿的方式,共收到37篇投稿,其中36篇通过了形式审查.特约编辑邀请了30位领域专家参与审稿,每篇稿件至少邀请2位专家进行评审,每篇稿件都经过两轮审稿.共计16篇稿件通过第1轮评审,并在CCF软件工程专业委员会、系统软件专业委员会、形式化方法专业委员会年会2020 CCF中国软件大会(Chinasoft)上进行了报告.经过第2轮终审,最终有10篇论文入选本专题.其中, 　　论文“基于反例确认的CPS不确定性模型校准”研究了CPS中不确定性模型的准确性问题,提出了一种基于反例确认的校准方法以提高不确定性模型的准确度并精化CPS系统模型的验证结果. 　　论文“安全关键异构软件混合建模及代码生成方法”提出了一种AADL和SDL的混合建模方法,支持以自底向上的方式对安全关键软件系统进行混合建模,并给出了面向多核处理器平台的代码自动生成方法. 　　论文“基于环境建模的物联网系统TAP规则生成方法”提出了一种基于环境建模的TAP规则生成方法,自动地基于环境模型从服务需求中推导系统行为,检测系统行为的完整性与一致性,并最后转换为TAP规则. 　　论文“区块链赋能的高效物联网数据激励共享方案”提出了一个高效的区块链物联网数据激励共享框架,利用分片技术构建能够并行处理数据共享交易的异步共识区,并在云/边缘服务器和分片异步共识区上部署高效的共识机制,从而提高数据共享交易的处理效率. 　　论文“时空轨迹数据驱动的自动驾驶场景元建模方法”提出一种面向自动驾驶领域的时空轨迹数据元建模方法以实现数据的统一、处理与重用,并基于自动驾驶安全场景建模语言ADSML讨论了如何使用ADSML实现场景实例化. 　　论文“基于深度学习的混合模糊测试方法”提出了一个基于深度学习将符号执行与模糊测试相结合的混合测试方法,并实现了相应的混合测试工具SmartFuSE. 　　论文“一种结构信息增强的代码修改自动转换方法”基于深度学习提出了一种结构信息增强的代码修改自动转换方法,增强了模型对代码的结构信息和依赖信息的捕获能力,从而提升了代码修改自动转换的准确性. 　　论文“融合代码与文档的软件功能特征挖掘方法”提出了一种融合代码与文档的软件功能特征挖掘方法.通过迭代挖掘软件源代码和以Stack Overflow讨论帖为代表的软件文档,自动提取开源软件的功能特征描述,并构造层次化的软件功能特征视图. 　　论文“基于偶然正确性概率的错误定位技术”通过对基于代码覆盖的错误定位技术中可疑度的计算方法进行修正,提出了一种错误定位技术,以消除偶然正确性现象对错误定位技术的影响. 　　论文“面向神经机器翻译系统的多粒度蜕变测试”提出了一种基于蜕变测试的多粒度测试框架,用于在没有参考译文的情况下评估神经机器翻译系统的翻译质量及其翻译鲁棒性. 　　本专题面向领域软件的研究人员和工程人员,内容涵盖领域软件的需求分析、设计与建模、开发与构造、测试与验证等领域,反映了我国学者在相关领域的高水平研究成果.感谢《软件学报》编委会、CCF软件工程专委会、系统软件专委会、形式化方法专委会对专题工作的指导和帮助,感谢专题全体评审专家及时、耐心、细致的评审工作,感谢踊跃投稿的所有作者.希望本专题能够对领域软件的科研工作有所促进.     

智能制造系统基于数据驱动的车间实时调度

智能制造系统采用大量先进的信息技术,为车间实时调度提供技术基础.各类信息技术在生产制造过程中的广泛应用使得制造系统积累了大量与生产调度相关的数据,因此,通过利用历史生产调度数据和智能装备收集到的实时生产数据,建立基于数据驱动的生产实时调度方法成为新型制造环境下实现高效调度的新思路.针对智能制造环境下的混合流水车间实时调度问题,提出基于BP神经网络的数据驱动的实时调度方法,从历史近优的调度方案中提取用于调度知识挖掘的样本数据,通过BP神经网络训练学习获取生产系统状态与调度规则的映射关系网络,并将其应用于生产在线实时调度.数值实验表明,所提出的方法优于固定单一调度规则,在不同的调度性能指标下其效果均稳定且良好.     

Altair 2012 HyperWorks技术大会成功举行

2012年9月20—21日,Altair 2012 HyperWorks技术大会在上海锦江汤臣洲际大酒店成功举行.本次大会以"仿真驱动创新,智能引领决策"为主题,共汇聚来自汽车、航空航天、铁道、重型机械、船舶、电子、建筑等多个行业的400多位嘉宾参会.大会征集到近200篇论文,经过论文评委会评审,最终收录165篇高质量的技术论文,内容涵盖前后处理平台HyperMesh&HyperView,求解器技术RADIOSS,AcuSolve和MotionSolve等,优化技术OptiStruct与HyperStudy,以及制造工艺技术、工业设计和二次开发等,其中,16篇论文被评为优秀论文。     

第二届全国智能控制专家讨论会征文通知

第二届全国智能控制专家讨论会征文通知第二届全国智能控制专家讨论会定于１９９４年８月１１—１４日在北京清华大学召开。本次会议将邀请智能控制的有关专家与会，并拟举办智能自动化系统及相关技术展览会．欢迎各方面研究工作者踊跃投稿，参加会议交流。录用论文将编印...     

信息物理系统软件设计自动化专题前言

为了更精确地认识与改造世界，新一代的嵌入式系统必须将计算世界与物理世界作为紧密交互的整体进行认知，实现集计算、通信与控制于一体的深度融合的理论体系与技术框架，即信息物理系统（cyber-physical systems，简称CPS）.与传统嵌入式系统不同，CPS充分考虑了计算部件与物理环境的深度融合，通过将设备智能化连接，实现物理环境系统与计算系统之间精确感知与高效协同.基于CPS理念设计出来的计算设备可以根据具体任务需求自适应地调整与配置计算逻辑，精确智能地获取外部物理环境信息并做出针对性的实时反应，完成安全可靠的控制服务，从而实现物理世界与信息世界的有机统一.
随着人们对信息技术质量要求的不断提高，CPS迅速在众多安全攸关领域得以部署承担关键任务.从远程精准医疗到智能轨道交通，从无人驾驶到航空航天，从智慧城市到智能制造，无处不见CPS的身影.虽然CPS在众多领域获得成功，然而由于其涉及多维时空约束、异构物理/计算进程交互、运行环境不确定等因素，CPS设计复杂度极高.在缺乏设计自动化方法与技术的情况下，CPS开发周期长且质量难于保证.日益复杂的CPS设计与实现在给产业界与学术界带来巨大挑战的同时，也创造了大量新的机遇，CPS设计自动化目前已成为国际相关研究领域的关注与研究热点.
本专题采取自由投稿的方式，共收到14篇投稿.特约编辑邀请了30余位领域专家参与审稿，每篇稿件至少邀请3位专家进行评审，每篇录用稿件都经过至少3轮审稿.14篇稿件中共计10篇稿件通过第1轮评审，8篇稿件通过第2轮评审，并在CCF软件工程专业委员会、系统软件专业委员会年会全国软件与应用学术会议NASAC2019会议上进行了报告.经过第3轮终审及少数稿件的第4轮复审后，最终有6篇论文入选本专题.
《基于SHML的CPS行为建模及仿真》提出了一种面向CPS领域的建模及仿真方法，设计并实现了一个集成的面向CPS行为的建模与仿真平台，为CPS的建模及仿真提供了一种有效的方法及工具支撑.
《垂悬指针检测与防御方法》针对复杂系统软件中广泛出现的悬垂指针问题进行研究，提出了一种名为DangDone的垂悬指针防御方法，通过在编译时的程序转换来定位潜在的垂悬指针并防御use-after-free或double-free漏洞.
《自主机器人多智能体软件架构及伴随行为机制》提出了基于多智能体的自主机器人控制软件软件架构，以及基于相应架构的伴随行为机制.该工作基于分步规划和动态决策的思想设计并实现了相应自主决策算法DAAB，并在相应仿真环境和实际机器人环境上进行了案例分析.
《轨道交通联锁领域特定语言的形式化》基于轨道交通联锁系统中故障的随机性和行为实时性的特点，提出了基于建立随机混成系统模型来仿真、预测轨道交通连锁系统的方法.该方法在实际联锁系统进行实例研究，并在UPPAAL-SMC平台上进行了事故模型的预测分析.
《基于AADL的失效概率分配及安全性评估方法》综合考虑AADL架构的层次化设计、模型复杂度和构件失效造成影响的严重程度，针对安全关键系统提出基于AADL的失效概率分配方法，以应对安全性评估过程中如何分配失效概率的问题.相关技术在飞控CPS系统上进行了实例研究.
《马尔可夫信息物理系统拒绝服务攻击安全控制》研究了马尔可夫跳变信息物理系统在模态依赖拒绝服务（DoS）攻击下的安全控制问题.提出了一种新颖的模态依赖事件触发策略来减少网络资源消耗.
本专题面向信息物理系统的研究人员和工程人员，内容涵盖系统建模、系统架构、可信保障等领域，反映了我国学者在相关领域的高水平研究成果.感谢《软件学报》编委会、CCF软件工程专委会、系统软件专委会对专题工作的指导和帮助，感谢专题全体评审专家及时、耐心、细致的评审工作，感谢踊跃投稿的所有作者.希望本专题能够对形式化方法的科研工作有所促进.
专刊特约编辑、北航计算机学院刘超教授在专刊的筹划阶段分享了大量宝贵的经验，并在征稿、审稿等环节做了大量的工作，使得专刊实施过程得以顺利开展.然而，在本专刊即将完成之际，刘超老师却因病永远离开了我们.刘老师睿智、谦逊、渊博、平和，为推动我国软件工程事业发展做出了重要贡献，我们借此表达深深的怀念和敬意.
     

第三届全国服务计算会议暨2012年中国计算机学会服务计算学术会议

(CCF NCSC 2012)2012年8月16-18日,中国西安由中国计算机学会主办、中国计算机学会服务计算专业委员会和西安交通大学承办的2012年第三届中国计算机学会服务计算学术会议(2012 CCF National Conference on Service Computing)将于2012年8月16-18日在古都西安举行.会议现面向全国范围征集论文,诚邀服务计算、云计算、物联网和信息安全等相关领域的技术与工程人员踊跃投稿、参加会议.届时,还将邀请国内外著名专家到会作专题报告,邀请相关企业展示他们的最新技术成果.     

基于智能感知的综合水务管理平台设计

智慧水务是数字城市建设的重要内容之一,文章根据工程需要,运用物联网、大数据、互联网等技术,设计开发了综合水务管理平台,通过水环境的智能感知、智能调度、智能服务和决策支持,形成基础稳固、业务融合、资源集约、保障有力的现代水环境管理信息化体系.     

网络开通公告

《控制理论与应用》(中、英文刊)网站经调试现正式开通.新的网址为http://jcta.alljournals.ac.cn.2008年开始,作者投稿、专家评审、编辑管理及读者阅览均在新网站上在线进行.如果您在使用过程中遇到问题,欢迎反馈给编辑部.对《控制理论与应用》中、英文刊有什么意见和建议,欢迎批评指正.