搜索筛选:
搜索耗时0.0841秒,为你在为你在102,285,761篇论文里面共找到 18 篇相符的论文内容
发布年度:
[期刊论文] 作者：蒲戈光,
来源：华东师范大学学报：教育科学版 年份：2017
历史学家尤瓦尔？赫拉利在其畅销著作《人类简史》中把人类社会的发展总结为三大革命：认知革命、农业革命与科学革命.五百年前开始的科学革命,起源于人类承认自己的无知,并用科......
[期刊论文] 作者：蒲戈光,,
来源：中国教育网络 年份：2017
1956年,人工智能概念的诞生。人工智能是我们能够自动地去感知这个世界,能够自动地学习知识、自动地去思考,能够自动地判定一个事情,能够自动地做决策,人工智能将是一场革命...
[学位论文] 作者：蒲戈光,
来源：北京大学 年份：2005
本文研究了软硬件协同设计中的性能和资源问题，包括系统的资源和时间估计，软硬件划分的性能优化问题等，并把软件形式化方法应用于这个领域，取得了一些成果。 有了描述系统功能......
[期刊论文] 作者：郭建,蒲戈光,
来源：计算机教育 年份：2021
基于嵌入式系统设计课程知识点多、硬件型号繁多、结构差异、软件与硬件结合紧密的特点,分析理论教学与实践教学中的问题、主动学习与被动学习的关系,提出半翻转课堂、立体化...
[期刊论文] 作者：郭建,蒲戈光,缪炜恺,
来源：计算机教育 年份：2021
针对嵌入式专业教学中线上与线下学习的关系,提出线上线下相结合的半翻转课堂混合教学法,并针对理论和实践学习的特点分别给出半翻转课堂的理论和实践教学系统,介绍以过程考核为基础的混合教学考核方法,通过一堂教学案例阐述如何将半翻转课堂混合教学法应用于线......
[期刊论文] 作者：郭建,蒲戈光,缪炜恺,
来源：计算机教育 年份：2021
针对嵌入式专业教学中线上与线下学习的关系,提出线上线下相结合的半翻转课堂混合教学法,并针对理论和实践学习的特点分别给出半翻转课堂的理论和实践教学系统,介绍以过程考...
[期刊论文] 作者：张丽芸,蒲戈光,王政,李建文,,
来源：计算机应用研究 年份：2013
设计航天控制系统是一个复杂的过程,涉及需求设计、编码、测试等一系列的流程,若能在需求设计阶段发现错误,那么能减少不少的工作量。针对这一问题,提出了一种分析控制软件需求的方法和一个名为SP-ARDL的建模语言,并制作了一套SPARDL工具。SPARDL可以描述周期性......
[会议论文] 作者：肖浩;周镭;平静;王政;蒲戈光;,
来源：第一届全国服务计算学术会议 年份：2010
Web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅...
[期刊论文] 作者：胡潇洒,张越岭,李建文,蒲戈光,张敏,
来源：计算机工程与科学 年份：2018
布尔公式的最小纠正集MCS是子句的集合。对于一个不可满足公式,移除MCS后,所得到的新公式可满足。任一MCS中的子句保留在公式中,所得到的新公式不可满足。通过求解MCS并调整...
[期刊论文] 作者：丁佐华,JeffSanders,江明月,张娜,蒲戈光,
来源：计算机学报 年份：2014
提出一种基于GCL语言生成程序测试用例的形式化方法．程序的语义为测试用例的生成提供了基本框架，而由Hoare等人提供的规则保证了用例的正确性．作者的这种方法可被认为是一种严格......
[期刊论文] 作者：乔磊,杨孟飞,谭彦亮,蒲戈光,杨桦,,
来源：软件学报 年份：2017
内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、...
[期刊论文] 作者：黄怿豪,冯劲草,郑寒月,缪炜恺,蒲戈光,
来源：计算机工程与科学 年份：2019
嵌入式控制软件是现代航空飞行器的核心部件之一。构建软件需求的形式化规约精确地刻画人们对软件期望的功能和运行场景,是确保此类安全攸关软件质量的根本途径。在工业界,形...
[期刊论文] 作者：朱永新, 徐子望, 鲁白, 褚君浩, 蒲戈光, 邹昊, 吴晓,
来源：华东师范大学学报(教育科学版) 年份：2017
人工智能正以超出人们预想的速度发展。2017年"两会"首次将人工智能写入政府工作报告,人工智能发展上升为国家战略。人工智能如何引领各行各业发展趋势?在教育领域将产生...
[期刊论文] 作者：何积丰, 单志广, 王戟, 蒲戈光, 房毓菲, 刘克, 赵瑞,
来源：中国科学基金 年份：2004
本文介绍了"可信软件基础研究"重大研究计划的立项背景、总体科学目标、总体布局、实施思路及总体完成情况,并从建设可信软件开发资源共享与服务平台、设立"智能化软件可信的...
[期刊论文] 作者：陈玉祥,蒲戈光,綦艳霞,陈铭松,王政,陈朝晖,顾斌,,
来源：计算机应用研究 年份：2013
针对周期控制系统的时序一致性进行研究,提出基于SPARDL(space aircraft description language)的模型和程序一致性测试方法,通过模型抽取获取模式迁移图和控制流程图,通过程序插桩获取程序执行路径,实现了自动检测周期控制系统中的模式迁移和模块调用的一致性,......
[期刊论文] 作者：何积丰, 单志广, 王戟, 蒲戈光, 房毓菲, 刘克, 赵瑞珍,,
来源：中国科学基金 年份：2018
...
[期刊论文] 作者：王尚,冯劲草,诸嘉逸,黄怿豪,郑寒月,徐想容,缪炜恺,张翔,蒲戈光,,
来源：计算机学报 年份：2020
嵌入式控制软件是当前诸多控制系统的核心部件.各类安全攸关系统,例如轨道交通系统、航空航天系统和核电控制系统等,其内嵌的控制软件的功能是否正确、安全直接关系到人们的...
[会议论文] 作者：王千祥,张健,谢涛,张路,熊英飞,陈雨亭,陈振邦,卜磊,陈立前,梁彬,江贺,李征,李戈,彭鑫,钟浩,董威,贾向阳,马菲菲,蒲戈光,刘烃,刘辉,
来源：CCF2015-2016中国计算机科学技术发展报告会 年份：2016
软件分析是软件生命周期中许多活动(分析、设计、实现、测试、维护等)的基础,也是软件领域长期稳定的研究内容.本文首先对软件分析进行概述,然后结合近5～10年来发表的学术文章...
相关搜索：
