首页 > 最新文献

Education and Computing最新文献

英文 中文
Introductory education in computer science 计算机科学入门教育
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(05)80083-4
A. Nico Habermann

There is room for improvement in the way introductory computer science is taught. In general, most of the available time is spent on teaching programming language syntax and very little on studying examples of good programs. The assertion approach to program verification has in practice resulted in a technique that resembles assembly code programming of more than 30 years ago. This practice has also encouraged the view that each new program is an invention that must be developed from scratch. In addition, the student's attention is largely directed towards the how of the technique and hardly towards learning the proven facts. In this paper, it is argued that the introduction to programming can be improved in several ways: by starting with a systems view that encourages students to study good examples and to reuse existing programs, by judging program quality relative to similar programs and program abstractions, and by building up a coherent body of knowledge that students can apply in program design and implementation.

计算机科学入门的教学方式还有改进的余地。一般来说,大部分可用的时间都花在教授编程语言语法上,而很少花在研究好的程序示例上。程序验证的断言方法在实践中产生了一种类似于30多年前的汇编代码编程的技术。这种做法也鼓励了这样一种观点,即每个新程序都是必须从头开始开发的发明。此外,学生的注意力主要集中在如何使用技术上,而不是学习已证实的事实。在本文中,作者认为程序设计的介绍可以通过几种方式改进:从鼓励学生学习好的例子和重用现有程序的系统观点开始,通过与类似程序和程序抽象相比较来判断程序质量,并通过建立一个学生可以在程序设计和实现中应用的连贯的知识体系。
{"title":"Introductory education in computer science","authors":"A. Nico Habermann","doi":"10.1016/S0167-9287(05)80083-4","DOIUrl":"10.1016/S0167-9287(05)80083-4","url":null,"abstract":"<div><p>There is room for improvement in the way introductory computer science is taught. In general, most of the available time is spent on teaching programming language syntax and very little on studying examples of good programs. The assertion approach to program verification has in practice resulted in a technique that resembles assembly code programming of more than 30 years ago. This practice has also encouraged the view that each new program is an invention that must be developed from scratch. In addition, the student's attention is largely directed towards the <em>how</em> of the technique and hardly towards learning the proven facts. In this paper, it is argued that the introduction to programming can be improved in several ways: by starting with a systems view that encourages students to study good examples and to reuse existing programs, by judging program quality relative to similar programs and program abstractions, and by building up a coherent body of knowledge that students can apply in program design and implementation.</p></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 1","pages":"Pages 73-86"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(05)80083-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78469847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Evolution of curriculum development: Curriculum 68 and its successors 课程发展的演变:课程68及其后继者
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(05)80079-2
William F. Atchison
{"title":"Evolution of curriculum development: Curriculum 68 and its successors","authors":"William F. Atchison","doi":"10.1016/S0167-9287(05)80079-2","DOIUrl":"10.1016/S0167-9287(05)80079-2","url":null,"abstract":"","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 1","pages":"Pages 19-21"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(05)80079-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80585737","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The print-project in the Netherlands 荷兰的印刷项目
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(09)90007-3
Willem Broere, Henk Derks, Louis Peeters

PRINT, the PRoject for Implementation of New Technologies in the Netherlands stands for an integrated conception supplying computers, standardization of software and training/counselling.

The project focuses on the introduction of computers in 9500 schools for Primary and Special Education over a period of four years, from September 1990 until December 1994.

The important points of action for PRINT are:

  • (1)

    the development of training-courses for schools,

  • (2)

    the development of courseware for existing methods of pupil training,

  • (3)

    the construction of a regional support structure in order to “back-up” the introduction,

  • (4)

    the development of a suitable advisory and information system.

PRINT,即荷兰实施新技术项目,代表提供计算机、软件标准化和培训/咨询的综合概念。该项目的重点是在1990年9月至1994年12月的四年期间内,在9500所小学和特殊教育学校引进电脑。PRINT的重要行动要点是:(1)为学校开发培训课程,(2)为现有的学生培训方法开发课件,(3)建立区域支持结构以“支持”引进,(4)开发适当的咨询和信息系统。
{"title":"The print-project in the Netherlands","authors":"Willem Broere,&nbsp;Henk Derks,&nbsp;Louis Peeters","doi":"10.1016/S0167-9287(09)90007-3","DOIUrl":"10.1016/S0167-9287(09)90007-3","url":null,"abstract":"<div><p>PRINT, the PRoject for Implementation of New Technologies in the Netherlands stands for an integrated conception supplying computers, standardization of software and training/counselling.</p><p>The project focuses on the introduction of computers in 9500 schools for Primary and Special Education over a period of four years, from September 1990 until December 1994.</p><p>The important points of action for PRINT are:</p><ul><li><span>(1)</span><span><p>the development of training-courses for schools,</p></span></li><li><span>(2)</span><span><p>the development of courseware for existing methods of pupil training,</p></span></li><li><span>(3)</span><span><p>the construction of a regional support structure in order to “back-up” the introduction,</p></span></li><li><span>(4)</span><span><p>the development of a suitable advisory and information system.</p></span></li></ul></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 3","pages":"Pages 191-198"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(09)90007-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86518006","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(05)80091-3
Peter Frogbrook
{"title":"","authors":"Peter Frogbrook","doi":"10.1016/S0167-9287(05)80091-3","DOIUrl":"10.1016/S0167-9287(05)80091-3","url":null,"abstract":"","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 1","pages":"Pages 137-138"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(05)80091-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83622316","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multimedia package to introduce computer in the classroom: An experience lived by Belgian and Canadian teachers 多媒体课件将电脑引入课堂:比利时和加拿大教师的亲身经历
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(09)90022-X
B. Charlier

This contribution concerns the conference topic “What kind of support do teachers need when introducing computers in their classrooms?” In this short report, I shall describe the results of a research carried out concurrently by teachers and researchers in Belgium and in Quebec (Canada). Our principal aim was to analyze the adaptation and integration processes of a multimedia package created to help teachers to introduce computers in their classrooms: an “Ensemble Didactique d'Intégration Pédagogique de L'Ordinateur” (edipo) [2].

The analyses allow us to describe:

  • -

    Conditions to implement this kind of computer-based pedagogical environment in primary schools.

  • -

    How teachers have managed their environment.

This report will relate the analyses realized by the team of teachers and researchers.

这篇文章涉及会议的主题“教师在课堂上引入计算机时需要什么样的支持?”在这个简短的报告中,我将介绍比利时和魁北克(加拿大)的教师和研究人员同时进行的一项研究的结果。我们的主要目的是分析为帮助教师在课堂上介绍计算机而创建的多媒体包的适应和整合过程:“Ensemble Didactique d' intacgration psamdagogique de L'Ordinateur”(edipo)[2]。分析允许我们描述:-在小学实施这种基于计算机的教学环境的条件。-教师如何管理他们的环境。本报告将涉及教师和研究人员团队所进行的分析。
{"title":"Multimedia package to introduce computer in the classroom: An experience lived by Belgian and Canadian teachers","authors":"B. Charlier","doi":"10.1016/S0167-9287(09)90022-X","DOIUrl":"10.1016/S0167-9287(09)90022-X","url":null,"abstract":"<div><p>This contribution concerns the conference topic “What kind of support do teachers need when introducing computers in their classrooms?” In this short report, I shall describe the results of a research carried out concurrently by teachers and researchers in Belgium and in Quebec (Canada). Our principal aim was to analyze the adaptation and integration processes of a multimedia package created to help teachers to introduce computers in their classrooms: an “Ensemble Didactique d'Intégration Pédagogique de L'Ordinateur” (<span>edipo</span>) [2].</p><p>The analyses allow us to describe:</p><ul><li><span>-</span><span><p>Conditions to implement this kind of computer-based pedagogical environment in primary schools.</p></span></li><li><span>-</span><span><p>How teachers have managed their environment.</p></span></li></ul><p>This report will relate the analyses realized by the team of teachers and researchers.</p></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 3","pages":"Pages 305-308"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(09)90022-X","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86051408","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Software engineering and computer science: the impending split? 软件工程和计算机科学:即将分裂?
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(05)80087-1
Norman E. Gibbs

A tension is emerging in academia between those who view computing as a science and those who view computing as an emerging engineering discipline. By the year 2000, computing may separate into two academic disciplines, software engineering and computer science, paralleling the split of computer science from mathematics in the late 1960s and early 1970s. Educators must recognize the true needs of the practitioner community, or risk fragmenting and weakening the still new and rapidly evolving field of computing. Actions today will determine if computing will compete with or be subsumed by software engineering, rather than complement it.

学术界出现了一种矛盾,一方认为计算是一门科学,另一方认为计算是一门新兴的工程学科。到2000年,计算机可能会分成两个学科,软件工程和计算机科学,与20世纪60年代末和70年代初计算机科学从数学中分离出来的情况类似。教育工作者必须认识到从业者群体的真正需求,否则就有可能分裂和削弱仍然是新的和快速发展的计算领域。今天的行动将决定计算是与软件工程竞争还是被软件工程纳入,而不是补充软件工程。
{"title":"Software engineering and computer science: the impending split?","authors":"Norman E. Gibbs","doi":"10.1016/S0167-9287(05)80087-1","DOIUrl":"10.1016/S0167-9287(05)80087-1","url":null,"abstract":"<div><p>A tension is emerging in academia between those who view computing as a science and those who view computing as an emerging engineering discipline. By the year 2000, computing may separate into two academic disciplines, software engineering and computer science, paralleling the split of computer science from mathematics in the late 1960s and early 1970s. Educators must recognize the true needs of the practitioner community, or risk fragmenting and weakening the still new and rapidly evolving field of computing. Actions today will determine if computing will compete with or be subsumed by software engineering, rather than complement it.</p></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 1","pages":"Pages 111-117"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(05)80087-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73724207","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
Recent evolution of the introductory curriculum in computing 计算机入门课程的最新发展
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(05)80081-0
Allen B. Tucker, David K. Garnick

This paper traces the evolution of the first courses in undergraduate programs over the last twelve years. We identify fundamental weaknesses in the present sequence, and propose strengthening the introductory curriculum, using a breadth-first approach that integrates theoretical material.

本文追溯了过去十二年来本科课程第一门课程的演变。我们确定了当前序列中的基本弱点,并建议加强入门课程,使用整合理论材料的广度优先方法。
{"title":"Recent evolution of the introductory curriculum in computing","authors":"Allen B. Tucker,&nbsp;David K. Garnick","doi":"10.1016/S0167-9287(05)80081-0","DOIUrl":"10.1016/S0167-9287(05)80081-0","url":null,"abstract":"<div><p>This paper traces the evolution of the first courses in undergraduate programs over the last twelve years. We identify fundamental weaknesses in the present sequence, and propose strengthening the introductory curriculum, using a breadth-first approach that integrates theoretical material.</p></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 1","pages":"Pages 43-60"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(05)80081-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77133190","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Teacher education in Logo-based environments: A handbook for teacher trainers 基于标志的环境中的教师教育:教师培训人员手册
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(09)90021-8
M.M.A. Valcke
{"title":"Teacher education in Logo-based environments: A handbook for teacher trainers","authors":"M.M.A. Valcke","doi":"10.1016/S0167-9287(09)90021-8","DOIUrl":"10.1016/S0167-9287(09)90021-8","url":null,"abstract":"","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 3","pages":"Pages 293-304"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(09)90021-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76216029","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
The importance of information system studies in the university curriculum 信息系统研究在大学课程中的重要性
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(05)80090-1
Richard A. Buckingham

Emphasis is placed on the failure to devote sufficient resources to the study of information systems and the engineering of information systems, bringing computer technology to bear on the organization and management of modern society. Universities and like institutions have a growing responsibility to train information system engineers (and their academic counterparts), training which is at least as urgent as that of computer scientists. A brief account is included of progress in the UK.

重点是未能投入足够的资源来研究信息系统和信息系统工程,将计算机技术应用于现代社会的组织和管理。大学和类似的机构在培训信息系统工程师(以及他们的学术同行)方面负有越来越大的责任,这种培训至少与计算机科学家的培训一样紧迫。简要介绍了英国的进展情况。
{"title":"The importance of information system studies in the university curriculum","authors":"Richard A. Buckingham","doi":"10.1016/S0167-9287(05)80090-1","DOIUrl":"10.1016/S0167-9287(05)80090-1","url":null,"abstract":"<div><p>Emphasis is placed on the failure to devote sufficient resources to the study of information systems and the engineering of information systems, bringing computer technology to bear on the organization and management of modern society. Universities and like institutions have a growing responsibility to train information system engineers (and their academic counterparts), training which is at least as urgent as that of computer scientists. A brief account is included of progress in the UK.</p></div>","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 1","pages":"Pages 133-135"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(05)80090-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80080123","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Informatics curricula for the 1990s 90年代的信息学课程
Pub Date : 1991-01-01 DOI: 10.1016/S0167-9287(05)80077-9
David Gries, Bernard Levrat , Peter Wegner
{"title":"Informatics curricula for the 1990s","authors":"David Gries,&nbsp;Bernard Levrat ,&nbsp;Peter Wegner","doi":"10.1016/S0167-9287(05)80077-9","DOIUrl":"10.1016/S0167-9287(05)80077-9","url":null,"abstract":"","PeriodicalId":100393,"journal":{"name":"Education and Computing","volume":"7 1","pages":"Pages 3-8"},"PeriodicalIF":0.0,"publicationDate":"1991-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/S0167-9287(05)80077-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87867522","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
期刊
Education and Computing
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1