Article(id=1241719342551847388, tenantId=1146029695717560320, journalId=1146032081894723586, issueId=1241719216169079576, articleNumber=null, orderNo=11, doi=10.3981/j.issn.2097-0781.2023.01.010, pmid=null, cstr=null, oa=null, hot=null, price=null, onlineType=0, articleFormat=0, articleType=null, articleTypeStr=research-article, receivedDate=1671897600000, receivedDateStr=2022-12-25, revisedDate=1675267200000, revisedDateStr=2023-02-02, acceptedDate=null, acceptedDateStr=null, onlineDate=1679932800000, onlineDateStr=2023-03-28, pubDate=1679241600000, pubDateStr=2023-03-20, doiRegisterDate=null, doiRegisterDateStr=null, onlineIssueDate=1679932800000, onlineIssueDateStr=2023-03-28, onlineJustAcceptDate=null, onlineJustAcceptDateStr=null, onlineFirstDate=null, onlineFirstDateStr=null, sourceXml=null, magXml=null, createTime=1773978561291, creator=sys-migrate, updateTime=1773978561291, 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='null', 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, 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}, startPage=132, endPage=140, ext={EN=ArticleExt(id=1241719347228504255, articleId=1241719342551847388, tenantId=1146029695717560320, journalId=1146032081894723586, language=EN, title=Fund Applications and Fundings in Formal Methods Under National Natural Science Foundation of China, columnId=1149656489310208610, journalTitle=Science and Technology Foresight, columnName=Review and Commentary, runingTitle=null, highlight=null, articleAbstract=
This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China (NSFC). Then, it describes and analyzes the major research plan and major projects of NSFC related to formal methods. After that, the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.
, correspAuthors=Guozheng WU, authorNote=null, correspAuthorsNote=
†
, 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, authorCompany=null, fund=null, authors=null, authorsList=Ting CHEN, Guozheng WU, Zhe LIU, Geguang PU, Ruizhen ZHAO, Ke LIU), CN=ArticleExt(id=1241719347081703614, articleId=1241719342551847388, tenantId=1146029695717560320, journalId=1146032081894723586, language=CN, title=NSFC形式化方法领域基金项目申请资助情况分析, columnId=1148708266483446458, journalTitle=前瞻科技, columnName=综述与述评, runingTitle=null, highlight=null, articleAbstract=
针对历年来国家自然科学基金委员会（NSFC）在形式化方法领域各类型基金申请和资助情况进行统计和分析，并对涉及的重大研究计划和重大项目予以重点阐述和分析，最后对NSFC“十四五”发展规划中涉及形式化方法的部分予以解读。
, correspAuthors=吴国政, authorNote=null, correspAuthorsNote=
†
, copyrightStatement=null, copyrightOwner=null, extLink=null, articleAbsUrl=null, sourceXml=zXK0+tMll0CpyjulLrSVZg==, magXml=m3VVwrip255P3WaBtnrZhw==, pdfUrl=null, pdf=nFpTs62DSBOewvc9QDgWgw==, pdfFileSize=2257284, pdfExtLink=null, richHtmlUrl=null, mobilePdfUrl=null, reviewReport=null, pdfFirstPage=null, abstractGraph=kqRS3z7mlHUyGICgScWmbw==, abstractGraphContent=null, abstractVideo=null, citation=null, cebUrl=null, magXmlContent=xFMq1M6bQLkFa278sLpTGg==, mapNumber=null, authorCompany=null, fund=null, authors=
, authorsList=陈厅, 吴国政, 刘哲, 蒲戈光, 赵瑞珍, 刘克)}, authors=[Author(id=1241719357470986752, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, orderNo=0, firstName=null, middleName=null, lastName=null, nameCn=null, orcid=null, stid=null, country=null, authorPic=null, dead=0, email=chenting@nsfc.gov.cn, emailSecond=null, emailThird=null, correspondingAuthor=0, authorType=1, ext={EN=AuthorExt(id=1241719357567455747, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719357470986752, language=EN, stringName=Ting CHEN, firstName=Ting, middleName=null, lastName=CHEN, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, 2, address=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China
2. School of Computer Science and Engineering (School of Cybersecurity), University of Electronic Science and Technology of China, Chengdu 611731, China, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null), CN=AuthorExt(id=1241719357647147524, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719357470986752, language=CN, stringName=陈厅, firstName=null, middleName=null, lastName=null, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, 2, address=1.国家自然科学基金委员会信息科学部，北京 100083
2.电子科技大学计算机科学与工程学院（网络空间安全学院），成都 611731, bio={"img":"ygGUqr8AZmkp7e/KSCN8xA==","content":"
陈厅，教授，国家自然科学基金委员会信息科学部二处流动项目主任。主要研究方向为网络安全。电子信箱：chenting@nsfc.gov.cn。
"}, bioImg=ygGUqr8AZmkp7e/KSCN8xA==, bioContent=
陈厅，教授，国家自然科学基金委员会信息科学部二处流动项目主任。主要研究方向为网络安全。电子信箱：chenting@nsfc.gov.cn。
, aboutCorrespAuthor=null)}, companyList=[AuthorCompany(id=1241719357131248115, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357143831028, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China), AuthorCompanyExt(id=1241719357160608245, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1.国家自然科学基金委员会信息科学部，北京 100083)]), AuthorCompany(id=1241719357223522806, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357236105719, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357223522806, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=2. School of Computer Science and Engineering (School of Cybersecurity), University of Electronic Science and Technology of China, Chengdu 611731, China), AuthorCompanyExt(id=1241719357244494328, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357223522806, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=2.电子科技大学计算机科学与工程学院（网络空间安全学院），成都 611731)])]), Author(id=1241719357714256390, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, orderNo=1, firstName=null, middleName=null, lastName=null, nameCn=null, orcid=null, stid=null, country=null, authorPic=null, dead=0, email=wugz@nsfc.gov.cn, emailSecond=null, emailThird=null, correspondingAuthor=1, authorType=1, ext={EN=AuthorExt(id=1241719359203234312, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719357714256390, language=EN, stringName=Guozheng WU, firstName=Guozheng, middleName=null, lastName=WU, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, †, address=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null), CN=AuthorExt(id=1241719359274537481, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719357714256390, language=CN, stringName=吴国政, firstName=null, middleName=null, lastName=null, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, †, address=1.国家自然科学基金委员会信息科学部，北京 100083, bio={"img":"LCLZK/sqP5O9nis0JDxTJA==","content":"
吴国政，研究员，国家自然科学基金委员会信息科学部二处处长。主要研究方向为人工智能、信息安全。电子信箱：wugz@nsfc.gov.cn。
"}, bioImg=LCLZK/sqP5O9nis0JDxTJA==, bioContent=
吴国政，研究员，国家自然科学基金委员会信息科学部二处处长。主要研究方向为人工智能、信息安全。电子信箱：wugz@nsfc.gov.cn。
, aboutCorrespAuthor=null)}, companyList=[AuthorCompany(id=1241719357131248115, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357143831028, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China), AuthorCompanyExt(id=1241719357160608245, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1.国家自然科学基金委员会信息科学部，北京 100083)])]), Author(id=1241719359396172299, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, orderNo=2, 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={EN=AuthorExt(id=1241719359480058381, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719359396172299, language=EN, stringName=Zhe LIU, firstName=Zhe, middleName=null, lastName=LIU, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
3, address=3. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null), CN=AuthorExt(id=1241719359551361550, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719359396172299, language=CN, stringName=刘哲, firstName=null, middleName=null, lastName=null, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
3, address=3.南京航空航天大学计算机科学与技术学院，南京 210016, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null)}, companyList=[AuthorCompany(id=1241719357324186105, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357336769018, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357324186105, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=3. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China), AuthorCompanyExt(id=1241719357340963323, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357324186105, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=3.南京航空航天大学计算机科学与技术学院，南京 210016)])]), Author(id=1241719359664607760, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, orderNo=3, 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={EN=AuthorExt(id=1241719359748493842, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719359664607760, language=EN, stringName=Geguang PU, firstName=Geguang, middleName=null, lastName=PU, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
4, address=4. Software Engineering Institute, East China Normal University, Shanghai 200062, China, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null), CN=AuthorExt(id=1241719359819797011, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719359664607760, language=CN, stringName=蒲戈光, firstName=null, middleName=null, lastName=null, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
4, address=4.华东师范大学软件工程学院，上海 200062, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null)}, companyList=[AuthorCompany(id=1241719357395489276, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357403877885, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357395489276, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=4. Software Engineering Institute, East China Normal University, Shanghai 200062, China), AuthorCompanyExt(id=1241719357412266494, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357395489276, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=4.华东师范大学软件工程学院，上海 200062)])]), Author(id=1241719359891100182, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, orderNo=4, 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={EN=AuthorExt(id=1241719359966597656, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719359891100182, language=EN, stringName=Ruizhen ZHAO, firstName=Ruizhen, middleName=null, lastName=ZHAO, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, address=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null), CN=AuthorExt(id=1241719360054678041, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719359891100182, language=CN, stringName=赵瑞珍, firstName=null, middleName=null, lastName=null, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, address=1.国家自然科学基金委员会信息科学部，北京 100083, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null)}, companyList=[AuthorCompany(id=1241719357131248115, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357143831028, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China), AuthorCompanyExt(id=1241719357160608245, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1.国家自然科学基金委员会信息科学部，北京 100083)])]), Author(id=1241719360163729947, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, orderNo=5, 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={EN=AuthorExt(id=1241719360260198941, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719360163729947, language=EN, stringName=Ke LIU, firstName=Ke, middleName=null, lastName=LIU, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, address=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null), CN=AuthorExt(id=1241719360335696414, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, authorId=1241719360163729947, language=CN, stringName=刘克, firstName=null, middleName=null, lastName=null, prefix=null, suffix=null, authorComment=null, nameInitials=null, affiliation=null, department=null, xref=
1, address=1.国家自然科学基金委员会信息科学部，北京 100083, bio=null, bioImg=null, bioContent=null, aboutCorrespAuthor=null)}, companyList=[AuthorCompany(id=1241719357131248115, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357143831028, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China), AuthorCompanyExt(id=1241719357160608245, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1.国家自然科学基金委员会信息科学部，北京 100083)])])], keywords=[Keyword(id=1241719360507662879, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, orderNo=1, keyword=NSFC), Keyword(id=1241719360583160352, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, orderNo=2, keyword=formal methods), Keyword(id=1241719360675435041, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, orderNo=3, keyword=funding), Keyword(id=1241719360750932514, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, orderNo=4, keyword=14th Five-Year Plan), Keyword(id=1241719360826429987, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, orderNo=1, keyword=国家自然科学基金委员会), Keyword(id=1241719360906121764, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, orderNo=2, keyword=形式化方法), Keyword(id=1241719360990007845, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, orderNo=3, keyword=资助), Keyword(id=1241719361065505318, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, orderNo=4, keyword=“十四五”规划)], refs=[Reference(id=1241719364228010555, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2021, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://baike.baidu.com/item/形式化方法/4298196, language=null, rfNumber=[1], rfOrder=0, authorNames=null, journalName=形式化方法, refType=null, unstructuredReference=百度百科.
形式化方法[EB/OL]. (
2021-12-08)[2022-10-09]. https://baike.baidu.com/item/形式化方法/4298196., articleTitle=null, refAbstract=null), Reference(id=1241719364299313724, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2022, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://www.nsfc.gov.cn/publish/portal0/tab1152/, language=null, rfNumber=[2], rfOrder=1, authorNames=null, journalName=2022项目指南, refType=null, unstructuredReference=国家自然科学基金委员会.
2022项目指南[R/OL]. (
2022-01-19)[2022-03-04]. https://www.nsfc.gov.cn/publish/portal0/tab1152/., articleTitle=null, refAbstract=null), Reference(id=1241719364358033981, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2014, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://www.nsfc.gov.cn/publish/portal0/tab442/info61592.htm, language=null, rfNumber=[3], rfOrder=2, authorNames=null, journalName=“可信软件基础研究”重大研究计划2014年度项目指南, refType=null, unstructuredReference=国家自然科学基金委员会.
“可信软件基础研究”重大研究计划2014年度项目指南[R/OL]. (
2014-07-22)[2022-07-24]. https://www.nsfc.gov.cn/publish/portal0/tab442/info61592.htm., articleTitle=null, refAbstract=null), Reference(id=1241719364433531454, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2005, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://www.nsfc.gov.cn/publish/portal0/tab442/info62563.htm, language=null, rfNumber=[4], rfOrder=3, authorNames=null, journalName=国家自然科学基金委员会关于发布《网络与信息安全》重大研究计划2005年度项目指南及申请注意事项的通告, refType=null, unstructuredReference=国家自然科学基金委员会.
国家自然科学基金委员会关于发布《网络与信息安全》重大研究计划2005年度项目指南及申请注意事项的通告[R/OL]. (
2005-05-30)[2022-08-29]. https://www.nsfc.gov.cn/publish/portal0/tab442/info62563.htm., articleTitle=null, refAbstract=null), Reference(id=1241719364492251711, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2002, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://www.nsfc.gov.cn/nsfc/cen/xmzn/its/008.htm, language=null, rfNumber=[5], rfOrder=4, authorNames=null, journalName=国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》2002项目申请指南, refType=null, unstructuredReference=国家自然科学基金委员会.
国家自然科学基金重大研究计划《半导体集成化芯片系统基础研究》2002项目申请指南[R/OL]. (
2002-01-01)[2022-09-10]. https://www.nsfc.gov.cn/nsfc/cen/xmzn/its/008.htm., articleTitle=null, refAbstract=null), Reference(id=1241719364555166272, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2003, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://www.nsfc.gov.cn/publish/portal0/tab442/info62648.htm, language=null, rfNumber=[6], rfOrder=5, authorNames=null, journalName=国家自然科学基金委员会关于发布《以网络为基础的科学活动环境研究》重大研究计划2003年度项目申请指南的通告, refType=null, unstructuredReference=国家自然科学基金委员会.
国家自然科学基金委员会关于发布《以网络为基础的科学活动环境研究》重大研究计划2003年度项目申请指南的通告[R/OL]. (
2003-11-14)[2022-10-17]. https://www.nsfc.gov.cn/publish/portal0/tab442/info62648.htm., articleTitle=null, refAbstract=null), Reference(id=1241719364613886529, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2021, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://www.nsfc.gov.cn/publish/portal0/tab442/info81561.htm, language=null, rfNumber=[7], rfOrder=6, authorNames=null, journalName=国家自然科学基金委员会关于发布“十四五”第一批重大项目指南及申请注意事项的通告, refType=null, unstructuredReference=国家自然科学基金委员会.
国家自然科学基金委员会关于发布“十四五”第一批重大项目指南及申请注意事项的通告[R/OL]. (
2021-08-05)[2022-08-18]. https://www.nsfc.gov.cn/publish/portal0/tab442/info81561.htm., articleTitle=null, refAbstract=null), Reference(id=1241719364685189698, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, doi=null, pmid=null, pmcid=null, year=2022, volume=null, issue=null, pageStart=null, pageEnd=null, url=https://www.nsfc.gov.cn/publish/portal0/tab1392/, language=null, rfNumber=[8], rfOrder=7, authorNames=null, journalName=国家自然科学基金“十四五”发展规划, refType=null, unstructuredReference=国家自然科学基金委员会.
国家自然科学基金“十四五”发展规划[R/OL]. (
2022-11-11)[2022-11-20]. https://www.nsfc.gov.cn/publish/portal0/tab1392/., articleTitle=null, refAbstract=null)], funds=null, companyList=[AuthorCompany(id=1241719357131248115, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357143831028, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1. Department of Information Science, National Natural Science Foundation of China, Beijing 100083, China), AuthorCompanyExt(id=1241719357160608245, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357131248115, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=1.国家自然科学基金委员会信息科学部，北京 100083)]), AuthorCompany(id=1241719357223522806, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357236105719, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357223522806, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=2. School of Computer Science and Engineering (School of Cybersecurity), University of Electronic Science and Technology of China, Chengdu 611731, China), AuthorCompanyExt(id=1241719357244494328, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357223522806, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=2.电子科技大学计算机科学与工程学院（网络空间安全学院），成都 611731)]), AuthorCompany(id=1241719357324186105, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357336769018, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357324186105, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=3. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China), AuthorCompanyExt(id=1241719357340963323, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357324186105, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=3.南京航空航天大学计算机科学与技术学院，南京 210016)]), AuthorCompany(id=1241719357395489276, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, xref=null, ext=[AuthorCompanyExt(id=1241719357403877885, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357395489276, language=EN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=4. Software Engineering Institute, East China Normal University, Shanghai 200062, China), AuthorCompanyExt(id=1241719357412266494, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, companyId=1241719357395489276, language=CN, country=null, province=null, city=null, postcode=null, companyName=null, departmentName=null, remark=4.华东师范大学软件工程学院，上海 200062)])], figs=[ArticleFig(id=1241719361174557223, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=Z2R2VYMOrvQTQAugBCjxuw==, figureFileBig=kqRS3z7mlHUyGICgScWmbw==, tableContent=null), ArticleFig(id=1241719361245860392, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=图1, caption=
面上项目资助数量随时间变化情况, figureFileSmall=Z2R2VYMOrvQTQAugBCjxuw==, figureFileBig=kqRS3z7mlHUyGICgScWmbw==, tableContent=null), ArticleFig(id=1241719361417826857, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=Lx1c0zrcsv9IVudrUfla2A==, figureFileBig=wYKpW2T+SjfGnlQp/U/vhg==, tableContent=null), ArticleFig(id=1241719361501712938, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=图2, caption=
青年科学基金项目资助数量随时间变化情况, figureFileSmall=Lx1c0zrcsv9IVudrUfla2A==, figureFileBig=wYKpW2T+SjfGnlQp/U/vhg==, tableContent=null), ArticleFig(id=1241719361619153451, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 关键词 | 项目名称匹配 | 项目关键词匹配 | 去重后 | 总项目 |
| 申请数量 | 资助数量 | 申请数量 | 资助数量 | 申请数量 | 资助数量 | 申请数量 | 资助数量 |
| 形式化方法 | 121 | 27 | 454 | 71 | 522 | 90 | 1599 | 377 |
| 程序验证 | 43 | 11 | 124 | 37 | 140 | 42 |
| 模型检测 | 218 | 59 | 500 | 123 | 534 | 131 |
| 约束求解 | 51 | 15 | 123 | 38 | 138 | 43 |
| 定理证明 | 38 | 11 | 188 | 42 | 188 | 42 |
| 程序合成 | 2 | 1 | 21 | 6 | 21 | 6 |
| 程序综合 | 2 | 1 | 8 | 3 | 8 | 3 |
| 可满足性 | 79 | 20 | 147 | 37 | 155 | 41 |
| 安全攸关系统 | 11 | 2 | 11 | 3 | 17 | 4 |
| 并发系统 | 28 | 9 | 27 | 9 | 40 | 11 |
| 概率程序设计 | 0 | 0 | 1 | 1 | 1 | 1 |
), ArticleFig(id=1241719361694650924, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表1, caption=
NSFC在形式化方法领域项目申请和资助数量 单位：个
, figureFileSmall=null, figureFileBig=null, tableContent=
| 关键词 | 项目名称匹配 | 项目关键词匹配 | 去重后 | 总项目 |
| 申请数量 | 资助数量 | 申请数量 | 资助数量 | 申请数量 | 资助数量 | 申请数量 | 资助数量 |
| 形式化方法 | 121 | 27 | 454 | 71 | 522 | 90 | 1599 | 377 |
| 程序验证 | 43 | 11 | 124 | 37 | 140 | 42 |
| 模型检测 | 218 | 59 | 500 | 123 | 534 | 131 |
| 约束求解 | 51 | 15 | 123 | 38 | 138 | 43 |
| 定理证明 | 38 | 11 | 188 | 42 | 188 | 42 |
| 程序合成 | 2 | 1 | 21 | 6 | 21 | 6 |
| 程序综合 | 2 | 1 | 8 | 3 | 8 | 3 |
| 可满足性 | 79 | 20 | 147 | 37 | 155 | 41 |
| 安全攸关系统 | 11 | 2 | 11 | 3 | 17 | 4 |
| 并发系统 | 28 | 9 | 27 | 9 | 40 | 11 |
| 概率程序设计 | 0 | 0 | 1 | 1 | 1 | 1 |
), ArticleFig(id=1241719361761759789, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 项目类型 | 申请数量/个 | 资助数量/个 | 资助率/% | 资助经费/万元 |
| 创新研究群体项目 | 5 | 2 | 40.0 | 2540.00 |
| 重大研究计划项目 | 52 | 10 | 19.2 | 2791.00 |
| 重大项目 | 3 | 2 | 66.7 | 1475.00 |
| 国家杰出青年科学基金项目 | 36 | 4 | 11.1 | 520.00 |
| 优秀青年科学基金项目 | 45 | 3 | 6.7 | 420.00 |
| 重点项目 | 23 | 10 | 43.5 | 2203.00 |
| 联合基金项目 | 24 | 3 | 12.5 | 362.00 |
| 面上项目 | 708 | 157 | 22.2 | 6868.50 |
| 青年科学基金项目 | 498 | 124 | 24.9 | 2733.60 |
| 地区科学基金项目 | 131 | 25 | 19.1 | 916.00 |
| 数学天元基金项目 | 8 | 3 | 37.5 | 8.50 |
| 合作类项目 | 48 | 17 | 35.4 | 818.53 |
| 其他项目 | 18 | 14 | 77.8 | 422.00 |
), ArticleFig(id=1241719361833062958, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表2, caption=
NSFC在形式化方法领域各类型项目申请和资助情况
, figureFileSmall=null, figureFileBig=null, tableContent=
| 项目类型 | 申请数量/个 | 资助数量/个 | 资助率/% | 资助经费/万元 |
| 创新研究群体项目 | 5 | 2 | 40.0 | 2540.00 |
| 重大研究计划项目 | 52 | 10 | 19.2 | 2791.00 |
| 重大项目 | 3 | 2 | 66.7 | 1475.00 |
| 国家杰出青年科学基金项目 | 36 | 4 | 11.1 | 520.00 |
| 优秀青年科学基金项目 | 45 | 3 | 6.7 | 420.00 |
| 重点项目 | 23 | 10 | 43.5 | 2203.00 |
| 联合基金项目 | 24 | 3 | 12.5 | 362.00 |
| 面上项目 | 708 | 157 | 22.2 | 6868.50 |
| 青年科学基金项目 | 498 | 124 | 24.9 | 2733.60 |
| 地区科学基金项目 | 131 | 25 | 19.1 | 916.00 |
| 数学天元基金项目 | 8 | 3 | 37.5 | 8.50 |
| 合作类项目 | 48 | 17 | 35.4 | 818.53 |
| 其他项目 | 18 | 14 | 77.8 | 422.00 |
), ArticleFig(id=1241719361904366127, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 申请代码 | 资助数量/个 | 占比/% |
| F0201 | 71 | 45.2 |
| F0203 | 27 | 17.2 |
| F0209 | 7 | 4.5 |
| F0204 | 6 | 3.8 |
| A0602 | 5 | 3.2 |
), ArticleFig(id=1241719361971474992, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表3, caption=
面上项目资助数量排名前5的代码
, figureFileSmall=null, figureFileBig=null, tableContent=
| 申请代码 | 资助数量/个 | 占比/% |
| F0201 | 71 | 45.2 |
| F0203 | 27 | 17.2 |
| F0209 | 7 | 4.5 |
| F0204 | 6 | 3.8 |
| A0602 | 5 | 3.2 |
), ArticleFig(id=1241719362034389553, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 依托单位 | 资助数量/个 | 占比/% |
| 中国科学院软件研究所 | 19 | 12.1 |
| 清华大学 | 16 | 10.2 |
| 华东师范大学 | 8 | 5.1 |
| 西安电子科技大学 | 7 | 4.5 |
| 中山大学 | 7 | 4.5 |
), ArticleFig(id=1241719362101498418, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表4, caption=
面上项目资助数量排名前5的依托单位
, figureFileSmall=null, figureFileBig=null, tableContent=
| 依托单位 | 资助数量/个 | 占比/% |
| 中国科学院软件研究所 | 19 | 12.1 |
| 清华大学 | 16 | 10.2 |
| 华东师范大学 | 8 | 5.1 |
| 西安电子科技大学 | 7 | 4.5 |
| 中山大学 | 7 | 4.5 |
), ArticleFig(id=1241719362235716147, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 申请代码 | 资助数量/个 | 占比/% |
| F0201 | 48 | 38.7 |
| F0203 | 26 | 21.0 |
| F0209 | 8 | 6.5 |
| F06 | 5 | 4.0 |
| F0601 | 5 | 4.0 |
), ArticleFig(id=1241719363678556724, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表5, caption=
青年科学基金项目资助数量排名前5的代码
, figureFileSmall=null, figureFileBig=null, tableContent=
| 申请代码 | 资助数量/个 | 占比/% |
| F0201 | 48 | 38.7 |
| F0203 | 26 | 21.0 |
| F0209 | 8 | 6.5 |
| F06 | 5 | 4.0 |
| F0601 | 5 | 4.0 |
), ArticleFig(id=1241719363762442805, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 依托单位 | 资助数量/个 | 占比/% |
| 中国科学院软件研究所 | 13 | 10.5 |
| 华东师范大学 | 8 | 6.5 |
| 西安电子科技大学 | 7 | 5.7 |
| 上海交通大学 | 5 | 4.0 |
| 南京大学 | 4 | 3.2 |
), ArticleFig(id=1241719363863106102, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表6, caption=
青年科学基金项目资助数量排名前5的依托单位
, figureFileSmall=null, figureFileBig=null, tableContent=
| 依托单位 | 资助数量/个 | 占比/% |
| 中国科学院软件研究所 | 13 | 10.5 |
| 华东师范大学 | 8 | 6.5 |
| 西安电子科技大学 | 7 | 5.7 |
| 上海交通大学 | 5 | 4.0 |
| 南京大学 | 4 | 3.2 |
), ArticleFig(id=1241719363926020663, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 申请代码 | 资助数量/个 | 占比/% |
| F0201 | 13 | 52 |
| F0203 | 7 | 28 |
| F0211 | 1 | 4 |
| F06 | 1 | 4 |
| F0601 | 1 | 4 |
), ArticleFig(id=1241719363984740920, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表7, caption=
地区科学基金项目资助数量排名前5的代码
, figureFileSmall=null, figureFileBig=null, tableContent=
| 申请代码 | 资助数量/个 | 占比/% |
| F0201 | 13 | 52 |
| F0203 | 7 | 28 |
| F0211 | 1 | 4 |
| F06 | 1 | 4 |
| F0601 | 1 | 4 |
), ArticleFig(id=1241719364064432697, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=EN, label=null, caption=null, figureFileSmall=null, figureFileBig=null, tableContent=
| 重大研究计划项目名称 | 子类型 | 申请数量/个 | 资助数量/个 | 资助率/% | 资助金额/万元 |
| 可信软件基础研究 | 集成项目 | 2 | 1 | 50.0 | 2000 |
| 重点支持项目 | 10 | 3 | 30.0 | 580 |
| 培育项目 | 27 | 2 | 7.4 | 100 |
| 小计 | 39 | 6 | 15.4 | 2680 |
| 网络与信息安全 | 面上项目 | 10 | 3 | 30.0 | 81 |
| 半导体集成化芯片系统基础研究 | 面上项目 | 2 | 1 | 50.0 | 30 |
| 以网络为基础的科学活动环境研究 | 面上项目 | 1 | 0 | 0 | 0 |
| 总计 | 52 | 10 | 19.2 | 2791 |
), ArticleFig(id=1241719364127347258, tenantId=1146029695717560320, journalId=1146032081894723586, articleId=1241719342551847388, language=CN, label=表8, caption=
NSFC在形式化方法领域重大研究计划项目申请与资助情况
, figureFileSmall=null, figureFileBig=null, tableContent=
| 重大研究计划项目名称 | 子类型 | 申请数量/个 | 资助数量/个 | 资助率/% | 资助金额/万元 |
| 可信软件基础研究 | 集成项目 | 2 | 1 | 50.0 | 2000 |
| 重点支持项目 | 10 | 3 | 30.0 | 580 |
| 培育项目 | 27 | 2 | 7.4 | 100 |
| 小计 | 39 | 6 | 15.4 | 2680 |
| 网络与信息安全 | 面上项目 | 10 | 3 | 30.0 | 81 |
| 半导体集成化芯片系统基础研究 | 面上项目 | 2 | 1 | 50.0 | 30 |
| 以网络为基础的科学活动环境研究 | 面上项目 | 1 | 0 | 0 | 0 |
| 总计 | 52 | 10 | 19.2 | 2791 |
)], 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=1757931223825, createdBy=null, updatedBy=15831073675, firstLetterCn=S, firstLetterEn=S, subjectCode=Natural Sciences, subjectName=自然科学, subjectCodeEn=Natural Sciences, subjectNameEn=null, picCn=ti95jJIJzXaf02YNe1UF2A==, picEn=cuGsq8KPhoqtfsQROuZvoQ==, jcr=null, cjcr=null, exts=[JournalExt(id=1174411930946125939, language=CN, name=前瞻科技, nameHistory1=null, nameHistory2=null, managedBy=, sponsoredBy=, publishedBy=, editorOffice=, officeProv=null, officeCity=null, officeAddr=, officeZip=, editDirector=null, officeDirector=null, officePhone=null, coverPicUrl=null, journalRemark=, submitArticleUrl=null, websiteUrl=http://www.qianzhankeji.cn/CN/2097-0781/home.shtml, createdTime=1757931223856, updatedTime=1757931223856, createdBy=15831073675, updatedBy=15831073675, 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=1174411931076149364, language=EN, name=Science and Technology Foresight, nameHistory1=null, nameHistory2=null, managedBy=, sponsoredBy=, publishedBy=, editorOffice=, officeProv=null, officeCity=null, officeAddr=, officeZip=, editDirector=null, officeDirector=null, officePhone=null, coverPicUrl=null, journalRemark=, submitArticleUrl=null, websiteUrl=http://www.qianzhankeji.cn/EN/2097-0781/home.shtml, createdTime=1757931223887, updatedTime=1757931223887, createdBy=15831073675, updatedBy=15831073675, 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/qzkj/CN, language=CN, createTime=1751692112768, createBy=18614031015, updateTime=1753516254852, 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/qzkj/EN, language=EN, createTime=1753516295187, createBy=18614031015, updateTime=1753516295187, 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)])], journalTitle=前瞻科技, weixinUrl=null, journalUrl=null, iacademicId=null, status=0, seqNo=null, journalTitleEn=Science and Technology Foresight, journalPhotoCn=ti95jJIJzXaf02YNe1UF2A==, journalPhotoEn=cuGsq8KPhoqtfsQROuZvoQ==, journalFirstLetter=S, 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), detailUrlCn=https://castjournals.cast.org.cn/joweb/qzkj/CN/10.3981/j.issn.2097-0781.2023.01.010, detailUrlEn=https://castjournals.cast.org.cn/joweb/qzkj/EN/10.3981/j.issn.2097-0781.2023.01.010, pdfUrlCn=https://castjournals.cast.org.cn/joweb/qzkj/CN/PDF/10.3981/j.issn.2097-0781.2023.01.010, pdfUrlEn=https://castjournals.cast.org.cn/joweb/qzkj/EN/PDF/10.3981/j.issn.2097-0781.2023.01.010, aliStartDate=null, aliEndDate=null, collectionFlag=false, citedCount=null, citedUrl=null, reference=null)
PDF Download
Full
2097
1148
Close Full
