Article(id=1241719218551444253, tenantId=1146029695717560320, journalId=1146032081894723586, issueId=1241719216169079576, articleNumber=null, orderNo=1, doi=, pmid=null, cstr=null, oa=null, hot=null, price=null, onlineType=0, articleFormat=0, articleType=null, articleTypeStr=research-article, receivedDate=null, receivedDateStr=null, revisedDate=null, revisedDateStr=null, acceptedDate=null, acceptedDateStr=null, onlineDate=1679587200000, onlineDateStr=2023-03-24, pubDate=1679241600000, pubDateStr=2023-03-20, doiRegisterDate=null, doiRegisterDateStr=null, onlineIssueDate=1679587200000, onlineIssueDateStr=2023-03-24, onlineJustAcceptDate=null, onlineJustAcceptDateStr=null, onlineFirstDate=null, onlineFirstDateStr=null, sourceXml=null, magXml=null, createTime=1773978531727, creator=sys-migrate, updateTime=1773978531727, updator=sys-migrate, issue=Issue{id=1241719216169079576, tenantId=1146029695717560320, journalId=1146032081894723586, year='2023', volume='2', issue='1', pageStart='5', pageEnd='143', issueExtLink='null', onlineDate='null', pubDate='1679241600000', pubDateStr='2023-03-20', beforeIssueId=null, nextIssueId=null, price=null, status=1, issueComplete=1, articleOrder=1, issueType=-1, specialIssue=1, createTime=1773978531159, creator='sys-migrate', updateTime=1774001248771, updator='13041195026', preIssue=null, nextIssue=null, articleTotal=null, ext={EN=IssueExt(id=1241814500781916967, tenantId=1146029695717560320, journalId=1146032081894723586, issueId=1241719216169079576, language=EN, specialIssueTitle=Science and Technology Foresight, coverIllustrator=null, specialIssueEditor=null, specialIssueAbout=null), CN=IssueExt(id=1241814500781916968, tenantId=1146029695717560320, journalId=1146032081894723586, issueId=1241719216169079576, language=CN, specialIssueTitle=形式化方法与复杂计算系统可信保障, coverIllustrator=null, specialIssueEditor=null, specialIssueAbout=null)}, issueFiles=null, downloadFileDto=null}, startPage=5, endPage=6, ext={EN=ArticleExt(id=1241719226159919857, articleId=1241719218551444253, tenantId=1146029695717560320, journalId=1146032081894723586, language=EN, title=null, columnId=null, journalTitle=Science and Technology Foresight, columnName=null, runingTitle=null, highlight=null, articleAbstract=null, authors=null, authorsList=null, authorCompany=null, correspAuthors=null, authorNote=null, correspAuthorsNote=null, copyrightStatement=null, copyrightOwner=null, extLink=null, articleAbsUrl=null, sourceXml=null, magXml=null, pdfUrl=null, pdf=null, pdfFileSize=null, pdfExtLink=null, richHtmlUrl=null, mobilePdfUrl=null, reviewReport=null, pdfFirstPage=null, abstractGraph=null, abstractGraphContent=null, abstractVideo=null, citation=null, cebUrl=null, magXmlContent=null, mapNumber=null, fund=null), CN=ArticleExt(id=1241719224796762913, articleId=1241719218551444253, tenantId=1146029695717560320, journalId=1146032081894723586, language=CN, title=迎接人机物融合泛在计算时代,提升关键软件技术创新与供给能力, columnId=1148708269222327001, journalTitle=前瞻科技, columnName=前瞻, runingTitle=null, highlight=null, articleAbstract=null, authors=null, authorsList=null, authorCompany=null, correspAuthors=null, authorNote=null, correspAuthorsNote=null, copyrightStatement=null, copyrightOwner=null, extLink=null, articleAbsUrl=null, sourceXml=PKNbWPOYiOu0gPD77kGUfQ==, magXml=eHxckzAfxMlyXI5qGzM4Yg==, pdfUrl=null, pdf=zIR74+16szWH87Knx5nHNw==, pdfFileSize=7075841, pdfExtLink=null, richHtmlUrl=null, mobilePdfUrl=null, reviewReport=null, pdfFirstPage=null, abstractGraph=null, abstractGraphContent=null, abstractVideo=null, citation=null, cebUrl=null, magXmlContent=LYlyAtu7mrYeKhSujrFrhQ==, mapNumber=null, fund=null)}, authors=[Author(id=1241719226549990134, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719218551444253, orderNo=0, firstName=null, middleName=null, lastName=null, nameCn=null, orcid=null, stid=null, country=null, authorPic=null, dead=0, email=null, emailSecond=null, emailThird=null, correspondingAuthor=0, authorType=1, ext={CN=AuthorExt(id=1241719226612904695, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719218551444253, authorId=1241719226549990134, language=CN, stringName=, firstName=null, middleName=null, lastName=null, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=null, address=null, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null)}, companyList=null)], keywords=null, refs=null, funds=null, companyList=null, figs=null, attaches=null, journal=Journal(id=1129340393107079197, delFlag=0, nameCn=前瞻科技, nameEn=Science and Technology Foresight, nameHistory1=null, nameHistory2=null, issn=2097-0781, eissn=, cn=10-1786/N, coden=null, periodic=2, language=CN, oaType=null, ccby=null, superviseOffice=null, ownerOffice=null, pubOffice=null, editorOffice=null, officeType=null, aims=null, clcCode=null, officeProv=null, officeCity=null, officeAddr=null, officeZip=null, officeEmail=null, officePhone=null, editDirector=null, officeDirector=null, officeDirectorPhone=null, officeStaffNum=null, officeEmpNum=null, coverPicUrl=ti95jJIJzXaf02YNe1UF2A==, journalPrice=null, startedYear=null, abbrevIsoEn=Sci Technol Fore, journalRemark=null, publicationField=null, createdTime=null, updatedTime=1788948782472, createdBy=null, updatedBy=13041195026, firstLetterCn=Q, firstLetterEn=Q, subjectCode=Multidisciplinary, subjectName=自然科学, subjectCodeEn=Multidisciplinary, subjectNameEn=null, picCn=ti95jJIJzXaf02YNe1UF2A==, picEn=cuGsq8KPhoqtfsQROuZvoQ==, jcr=null, cjcr=null, exts=[JournalExt(id=1304509001228641229, language=CN, name=前瞻科技, nameHistory1=null, nameHistory2=null, managedBy=中国科学技术协会, sponsoredBy=科技导报社, publishedBy=科技导报社, editorOffice=, officeProv=null, officeCity=null, officeAddr=, officeZip=, editDirector=包为民, officeDirector=null, officePhone=null, coverPicUrl=null, journalRemark=《前瞻科技》是由中国科学技术协会主管,科技导报社主办、出版的科技智库型自然科学综合类学术期刊,于2022年创刊。办刊宗旨:紧扣国家科技创新需求,联合全国学会和科技智库机构,汇聚战略科学家、主流智库学者,通过提供战略性、前瞻性、权威性的思想观点和政策建议,为科技管理者和科研管理者供给高质量决策参考。, submitArticleUrl=null, websiteUrl=http://www.qianzhankeji.cn/CN/2097-0781/home.shtml, createdTime=1788948782498, updatedTime=1788948782498, createdBy=13041195026, updatedBy=13041195026, submissionGuidelinesUrl=http://www.qianzhankeji.cn/CN/column/column7.shtml, submissionAuthorUrl=https://qzkjauthor.cast.org.cn/webm/, submissionEditorUrl=https://qzkjeditor.cast.org.cn/webm/, submissionReviewUrl=https://qzkjauthor.cast.org.cn/webm/, submissionCeEditorUrl=https://qzkjeditor.cast.org.cn/webm/, submissionAeEditorUrl=https://qzkjeditor.cast.org.cn/webm/, option={"copyright":""}), JournalExt(id=1304509001270584270, language=EN, name=Science and Technology Foresight, nameHistory1=null, nameHistory2=null, managedBy=China Association for Science and Technology, sponsoredBy=Science and Technology Review Publishing House, publishedBy=Science and Technology Review Publishing House, editorOffice=, officeProv=null, officeCity=null, officeAddr=, officeZip=, editDirector=BAO Weimin, officeDirector=null, officePhone=null, coverPicUrl=null, journalRemark=Science and Technology Foresight is a comprehensive academic journal in natural sciences with a focus on technology think tanks. It is dedicated to publishing reviews and commentaries on research findings related to major national strategic tasks, important areas at the forefront of technology, and key core technologies and aims to promote academic exchange, advance technological progress, and support the high-quality development of China’s economy and society. The regular sections include “Foresight”, “Review and Commentary”, “Focus”, “Forum”, “Culture”, and “Book Review”. Specifically, “Foresight” and “Review and Commentary” are fixed sections, while the others are variable., submitArticleUrl=null, websiteUrl=http://www.qianzhankeji.cn/EN/2097-0781/home.shtml, createdTime=1788948782508, updatedTime=1788948782508, createdBy=13041195026, updatedBy=13041195026, submissionGuidelinesUrl=http://www.qianzhankeji.cn/EN/column/column7.shtml, submissionAuthorUrl=https://qzkjauthor.manuscriptcloud.com/login, submissionEditorUrl=https://qzkjeditor.manuscriptcloud.com/login, submissionReviewUrl=https://qzkjauthor.manuscriptcloud.com/login, submissionCeEditorUrl=https://qzkjeditor.manuscriptcloud.com/login, submissionAeEditorUrl=https://qzkjeditor.manuscriptcloud.com/login, option={"copyright":""})], databaseList=null, tenantJournalId=1146032081894723586, websiteList=[Website(id=1148243202353652128, webName=null, webTitle=null, webDomain=null, webCopyrigh=null, webIpcNo=null, seoTitle=null, seoKeywords=null, seoDescription=null, tenantJournalId=null, journalId=1146032081894723586, journalNameCn=null, journalNameEn=null, grayFlag=null, tenantId=1146029695717560320, platformId=null, journalGroupId=null, journalGroupNameCn=null, journalGroupNameEn=null, type=1, domain=https://castjournals.cast.org.cn/joweb/qzkjold/CN, language=CHT, createTime=1751692112768, createBy=18614031015, updateTime=1776048748052, updateBy=18614031015, name=《前瞻科技》中文站点, tplId=1146099689490845704, title=前瞻科技, delFlag=0, indexPage=/home, props=[WebsiteProps(id=1148618977242275853, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1148243202353652128, code=articleTextType, value=kx, createTime=1751781704483, updateTime=1751781704483, creator=18614031015, updator=18614031015), WebsiteProps(id=1148618977217110026, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1148243202353652128, code=banner, value=null, createTime=1751781704477, updateTime=1751781704477, creator=18614031015, updator=18614031015), WebsiteProps(id=1148618977204527113, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1148243202353652128, code=logo, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic?fileId=skpCN5mVIzgEJbdUXu8/8A==, createTime=1751781704474, updateTime=1751781704474, creator=18614031015, updator=18614031015), WebsiteProps(id=1148618977233887244, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1148243202353652128, code=picServerUrl, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic, createTime=1751781704481, updateTime=1751781704481, creator=18614031015, updator=18614031015), WebsiteProps(id=1148618977225498635, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1148243202353652128, code=staticResourcePath, value=https://castjournals.cast.org.cn/joweb/cast_kjdb_cn_619/, createTime=1751781704479, updateTime=1751781704479, creator=18614031015, updator=18614031015)]), Website(id=1155894377965830154, webName=null, webTitle=null, webDomain=null, webCopyrigh=null, webIpcNo=null, seoTitle=null, seoKeywords=null, seoDescription=null, tenantJournalId=null, journalId=1146032081894723586, journalNameCn=null, journalNameEn=null, grayFlag=null, tenantId=1146029695717560320, platformId=null, journalGroupId=null, journalGroupNameCn=null, journalGroupNameEn=null, type=1, domain=https://castjournals.cast.org.cn/joweb/qzkjold/EN, language=CHT, createTime=1753516295187, createBy=18614031015, updateTime=1776048768686, updateBy=18614031015, name=《前瞻科技》英文站点, tplId=1146101810881728533, title=Science and Technology Foresight, delFlag=0, indexPage=/home, props=[WebsiteProps(id=1155894740970233959, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1155894377965830154, code=articleTextType, value=kx, createTime=1753516381733, updateTime=1753516381733, creator=18614031015, updator=18614031015), WebsiteProps(id=1155894740953456740, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1155894377965830154, code=banner, value=null, createTime=1753516381729, updateTime=1753516381729, creator=18614031015, updator=18614031015), WebsiteProps(id=1155894740945068131, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1155894377965830154, code=logo, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic?fileId=skpCN5mVIzgEJbdUXu8/8A==, createTime=1753516381727, updateTime=1753516381727, creator=18614031015, updator=18614031015), WebsiteProps(id=1155894740966039654, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1155894377965830154, code=picServerUrl, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic, createTime=1753516381732, updateTime=1753516381732, creator=18614031015, updator=18614031015), WebsiteProps(id=1155894740961845349, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1155894377965830154, code=staticResourcePath, value=https://castjournals.cast.org.cn/joweb/cast_kjdb_cn_619/, createTime=1753516381731, updateTime=1753516381731, creator=18614031015, updator=18614031015)]), Website(id=1246151820205146149, webName=null, webTitle=null, webDomain=null, webCopyrigh=null, webIpcNo=null, seoTitle=null, seoKeywords=null, seoDescription=null, tenantJournalId=null, journalId=1146032081894723586, journalNameCn=null, journalNameEn=null, grayFlag=null, tenantId=1146029695717560320, platformId=null, journalGroupId=null, journalGroupNameCn=null, journalGroupNameEn=null, type=1, domain=https://castjournals.cast.org.cn/joweb/qzkj/CN, language=CN, createTime=1775035346323, createBy=18614031015, updateTime=1776149900371, updateBy=18614031015, name=《前瞻科技》中文站点最新, tplId=1246420490248675410, title=前瞻科技, delFlag=0, indexPage=/home, props=[WebsiteProps(id=1246420037846848371, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=articleTextType, value=kx, createTime=1775099294387, updateTime=1775099294387, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037825876848, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=banner, value=null, createTime=1775099294382, updateTime=1775099294382, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037863625590, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=grayFlag, value=0, createTime=1775099294391, updateTime=1775099294391, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037817488239, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=logo, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic?fileId=skpCN5mVIzgEJbdUXu8/8A==, createTime=1775099294380, updateTime=1775099294380, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037876208504, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=minRunFlag, value=0, createTime=1775099294394, updateTime=1775099294394, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037838459762, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=picServerUrl, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic, createTime=1775099294385, updateTime=1775099294385, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037872014199, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=silenceFlag, value=0, createTime=1775099294393, updateTime=1775099294393, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037834265457, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=staticResourcePath, value=https://castjournals.cast.org.cn/joweb/cast_qzkj_cn_319/, createTime=1775099294384, updateTime=1775099294384, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037851042676, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=themeColor, value=null, createTime=1775099294388, updateTime=1775099294388, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420037859431285, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246151820205146149, code=themeStyle, value=null, createTime=1775099294390, updateTime=1775099294390, creator=18614031015, updator=18614031015)]), Website(id=1246404284338716725, webName=null, webTitle=null, webDomain=null, webCopyrigh=null, webIpcNo=null, seoTitle=null, seoKeywords=null, seoDescription=null, tenantJournalId=null, journalId=1146032081894723586, journalNameCn=null, journalNameEn=null, grayFlag=null, tenantId=1146029695717560320, platformId=null, journalGroupId=null, journalGroupNameCn=null, journalGroupNameEn=null, type=1, domain=https://castjournals.cast.org.cn/joweb/qzkj/EN, language=EN, createTime=1775095538466, createBy=18614031015, updateTime=1776333732508, updateBy=18614031015, name=《前瞻科技》英文站点最新, tplId=1246420682825945997, title=Science and Technology Foresight, delFlag=0, indexPage=/home, props=[WebsiteProps(id=1246420311713931340, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=articleTextType, value=kx, createTime=1775099359682, updateTime=1775099359682, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311692959817, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=banner, value=null, createTime=1775099359677, updateTime=1775099359677, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311734902863, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=grayFlag, value=0, createTime=1775099359687, updateTime=1775099359687, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311680376904, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=logo, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic?fileId=skpCN5mVIzgEJbdUXu8/8A==, createTime=1775099359674, updateTime=1775099359674, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311747485777, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=minRunFlag, value=0, createTime=1775099359690, updateTime=1775099359690, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311705542731, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=picServerUrl, value=https://castjournals.cast.org.cn/joweb/kjdb/CN/file/pic, createTime=1775099359680, updateTime=1775099359680, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311739097168, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=silenceFlag, value=0, createTime=1775099359688, updateTime=1775099359688, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311697154122, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=staticResourcePath, value=https://castjournals.cast.org.cn/joweb/cast_qzkj_cn_319/, createTime=1775099359678, updateTime=1775099359678, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311718125645, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=themeColor, value=null, createTime=1775099359683, updateTime=1775099359683, creator=18614031015, updator=18614031015), WebsiteProps(id=1246420311726514254, tenantId=1146029695717560320, journalId=null, journalGroupId=null, siteId=1246404284338716725, code=themeStyle, value=null, createTime=1775099359685, updateTime=1775099359685, creator=18614031015, updator=18614031015)])], journalTitle=前瞻科技, weixinUrl=null, journalUrl=null, iacademicId=null, status=1, seqNo=null, journalTitleEn=Science and Technology Foresight, journalPhotoCn=ti95jJIJzXaf02YNe1UF2A==, journalPhotoEn=cuGsq8KPhoqtfsQROuZvoQ==, journalFirstLetter=Q, journalRecommend=null, journalNew=null, journalCollection=null, jcrJf=null, cjcrJf=null, jcrJfStr=null, cjcrJfStr=null, submissionFirstDecision=null, sciSubjectClassification=null, casSubjectClassification=null, citeScore=null, totalCitationFrequency=null, icpCode=null, psCode=null, advertisingLicenseCode=null, copyrightInformation=null, country=null, option=, provinceCode=null, provinceName=null, collectFlag=false, interPubPlatform=, interPubPlatformUrl=null), detailUrlCn=https://castjournals.cast.org.cn/joweb/qzkj/CN/Y2023/V2/I1/5, detailUrlEn=https://castjournals.cast.org.cn/joweb/qzkj/EN/Y2023/V2/I1/5, pdfUrlCn=https://castjournals.cast.org.cn/joweb/qzkj/CN/PDF/Y2023/V2/I1/5, pdfUrlEn=https://castjournals.cast.org.cn/joweb/qzkj/EN/PDF/Y2023/V2/I1/5, aliStartDate=null, aliEndDate=null, collectionFlag=false, citedCount=null, citedUrl=null, previewStatus=0, delFlag=0, hasFullText=1, orderTime=1679241600000, fullTextJson=null, articleText=null, reference=null)
前瞻科技
| 前瞻
2023, 2(1): 5-6
迎接人机物融合泛在计算时代,提升关键软件技术创新与供给能力
全屏
作者信息
Affiliations
出版时间: 2023-03-20
doi:
文章导航
.
迎接人机物融合泛在计算时代,提升关键软件技术创新与供给能力.
前瞻科技,
2023
, 2
(1)
: 5
-6
.
.
Science and Technology Foresight,
2023
, 2
(1)
: 5
-6
.
近10年来,云计算、物联网、大数据、人工智能等信息领域技术浪潮风起云涌,推动信息世界、物理世界和人类社会日趋交叉融合,正在逐渐形成万物互联、人机交互、天地一体的泛在计算环境,从而催生人机物融合应用场景不断涌现。一方面,包括汽车、建筑、车间、企业、社区、园区、城市等在内的人机物融合应用场景孕育出一批人机物融合应用需求; 另一方面,这些人机物融合应用场景还各自汇聚了一批泛在软硬件异构资源系统,包括计算、网络、感知、数据、服务系统等,正如中国科学院院士吕建所说“应用场景就是计算机”。
面对这样的人机物融合应用场景,需要解决的问题和面临的挑战是:如何基于应用场景汇聚的泛在异构资源系统,高效、高质量、低成本地开发和演化计算系统,以满足人机物融合场景的应用需求。
2 形式化方法在计算系统可信保障中发挥的作用日趋突显
收起
在人机物融合泛在计算环境下,计算系统与人们日常生活的关系更加紧密,成为社会经济发展和国家安全的基础设施,为关键应用提供支撑服务。很多计算系统是安全攸关系统或者使命攸关系统。例如,在航空航天、核电、国防等关键领域,对系统的可信性要求越来越高。形式化方法基于严格数学,为设计、分析和验证计算系统提供规约、分析、验证和构造理论、方法和技术。复杂安全攸关系统实践表明,通过严格的规约、验证和设计,形式化方法不仅能发现或避免系统中存在的缺陷,提高系统的可靠性和安全性,而且能对系统的行为有深刻的理解和认识,在保证系统正确性的同时优化系统的性能,从而对保证基础设施软件和系统的可信、可用、高效发挥着重要作用。时至今日,形式化方法是设计和验证可信计算系统的重要途径,已经成为设计各种安全攸关系统国际标准和行业标准的必备关键技术与方法。
3 可信保障是提升关键软件技术创新与供给能力的重中之重
收起
在人机物融合泛在计算时代,软件是信息技术之魂、经济转型之擎、数字社会之基,提升关键软件技术创新和供给能力已成为新时代重要而又迫切的需求。当下,以ChatGPT为代表的生成式人工智能技术取得了重大突破,人类通过自然交互途径将可以直接得到机器的帮助,基于自然交互的人机协同编程正在成为现实。对于人类用自然语言描述的需求问题,机器可以提供预测的问题解决方案甚至参考代码,一方面大幅提高了编程的效率,另一方面也给代码可信保障带来了深重的压力和严峻的挑战。由于当前人工智能模型的不可解释性,机器预测的参考代码必须经过人的理解和确认,并判定其达到一定可信程度后方可使用,因此在软件实现阶段,人的工作将从以写代码为中心逐渐转移到以对代码的理解、分析、测试、验证等相关可信保障活动为中心,从而呈现出类似现在“开发运维一体化”的“开发验证一体化”现象。综上所述,可信保障也就成为当前提升关键软件技术创新与供给能力的重中之重,而形式化方法也必然在其中发挥积极而重要的作用。
《前瞻科技》2023年第1期出版形式化方法与复杂计算系统可信保障专刊,从复杂系统规约、分析与验证,芯片设计形式验证,系统软件形式验证,领域特定语言设计,软件运行时验证与监控,可信人工智能,信息安全,特定领域应用,以人为中心计算,以及国家自然科学基金委员会资助和政策等方面阐述国内外研究进展,关键技术分析和发展方向建议,以期为相关机构的研究和相关部门的科学决策提供参考,为促进关键软件技术创新发挥积极作用。
南京大学教授 
国防科技大学研究员 
中国科学院软件研究所研究员 
2023年第2卷第1期
PDF下载
1263
684
引用本文
BibTeX
文章信息
- 出版时间:2023-03-20
- 发布时间:2023-03-24
https://castjournals.cast.org.cn/joweb/qzkj/CN/1241719218551444253
引用本文
BibTeX
表12种不同金属材料的力学参数
科 Family | 属数 Number of genus | 种数 Number of species | 占总种数比例 Percentage of total species (%) | 属 Genus | 种数 Number of species | 占总种数比例 Percentage of total species (%) |
| 鹅膏菌科Amanitaceae | 2 | 11 | 5.26 | 鹅膏菌属 Amanita | 10 | 4.78 |
| 小菇科 Mycenaceae | 2 | 12 | 5.74 | 丝盖伞属 Inocybe | 5 | 2.39 |
| 多孔菌科 Polyporaceae | 8 | 14 | 6.70 | 蜡蘑属 Laccaria | 5 | 2.39 |
| 红菇科 Russulaceae | 3 | 23 | 11.00 | 小皮伞属 Marasmius | 6 | 2.87 |
| | | | | 小菇属 Mycena | 11 | 5.26 |
| | | | | 光柄菇属 Pluteus | 5 | 2.39 |
| | | | | 红菇属 Russula | 17 | 8.13 |
| | | | | 栓菌属 Trametes | 5 | 2.39 |
关闭全屏
- BibTeX
- EndNote
- RefWorks
- TxT