期刊文献+
共找到414篇文章
< 1 2 21 >
每页显示 20 50 100
北京市人口、资源、环境与经济协调发展的多目标规划模型 被引量:57
1
作者 魏一鸣 曾嵘 +3 位作者 范英 蔡宪唐 徐伟宣 傅小锋 《系统工程理论与实践》 EI CSCD 北大核心 2002年第2期74-83,共10页
人口、资源、环境和经济之间的相互作用构成了一个动态开放的复杂系统 .本文以北京市为例 ,采用北京市的历史统计数据 ,开展了人口、资源、环境和经济协调发展实证研究 ,建立了人口、资源、环境和经济协调发展的非线性多目标模型 .以模... 人口、资源、环境和经济之间的相互作用构成了一个动态开放的复杂系统 .本文以北京市为例 ,采用北京市的历史统计数据 ,开展了人口、资源、环境和经济协调发展实证研究 ,建立了人口、资源、环境和经济协调发展的非线性多目标模型 .以模型计算结果为依据 ,给出了相关的政策建议 .结果表明 ,该模型可较好地反映各子系统协调发展的制衡关系 。 展开更多
关键词 人口 资源 环境 经济协调发展 多目标规划模型 可持续发展 北京
原文传递
形式化方法概貌 被引量:85
2
作者 王戟 詹乃军 +1 位作者 冯新宇 刘志明 《软件学报》 EI CSCD 北大核心 2019年第1期33-61,共29页
形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性. 展开更多
关键词 形式化方法 形式规约 形式验证 程序设计方法学 软件开发
下载PDF
国内外青少年编程教育的发展现状、研究热点及启示——兼论智能时代我国编程教育的实施策略 被引量:75
3
作者 孙丹 李艳 《远程教育杂志》 CSSCI 北大核心 2019年第3期47-60,共14页
智能技术的快速发展预示着一个全新时代的到来,世界各国均试图抢占人工智能时代的教育发展先机,青少年编程教育更是寄托着国家未来的希望。基于此,梳理典型的青少年编程语言与平台、代表性国家的青少年编程教育实践及青少年编程教育研... 智能技术的快速发展预示着一个全新时代的到来,世界各国均试图抢占人工智能时代的教育发展先机,青少年编程教育更是寄托着国家未来的希望。基于此,梳理典型的青少年编程语言与平台、代表性国家的青少年编程教育实践及青少年编程教育研究热点,可以使广大研究者更好地了解世界范围内青少年编程教育的实践与研究现状。研究发现,以美国、澳大利亚、英国、欧盟为代表的国家及地区,均已将编程能力的培养落实到国家政策,根据青少年不同学习阶段制定相应的学习内容,并将编程教育充分融入校内课程。同时,国内外青少年编程教育研究热点同异并存,主要集中于研究编程对青少年计算思维等高阶思维能力的影响,编程融入中小学各学科发展,编程对亲子关系以及学生心理效能的影响,编程与创客教育的整合以及性别对青少年编程学习的影响等领域。相较而言,我国青少年编程教育的起步稍晚,国内青少年编程教育具有以行业为主导,校内编程教育尚未成体系,相关研究侧重价值探讨、追随国际热点等特点。从当前的国内外青少年编程教育现状及对研究热点的分析来看,我国青少年编程教育需要改善现有的实践策略,即加快编程教育领域的课程标准和内容制定;确保编程教育在中小学及相关校外机构的实施;加强中小学编程教育的师资培养和在职培训;开展真实情境下的青少年编程教育的实证研究。 展开更多
关键词 青少年 编程教育 发展现状 研究热点 实践策略
下载PDF
Visual Prolog智能集成开发环境评述 被引量:23
4
作者 雷英杰 邢清华 +1 位作者 孙金萍 张雷 《空军工程大学学报(自然科学版)》 CSCD 2002年第5期39-43,共5页
VisualProlog是国际上已经广泛流行的功能强大的通用智能化应用集成开发环境。本文全面评述其功能特点 ,包括VisualProlog的由来与发展、可视化开发环境、可视化编程接口、语言与编译器、运行环境等。
关键词 智能集成开发环境 VISUAL PROLOG 人工智能 逻辑程序设计 可视化开发环境 可视化编程接口
下载PDF
乡村策划:寻找乡村触媒 被引量:31
5
作者 翟辉 《西部人居环境学刊》 2016年第2期15-17,共3页
针对近期乡村规划和乡村建设中普遍存在的照搬城市规划理念、不切实际、实效性弱等问题,借鉴建筑策划和城市触媒的相关研究成果,试图通过强调乡村触媒找寻乡村策划,寻求一条适合乡村自身"系列发展"需求的、可以激发乡村活力的... 针对近期乡村规划和乡村建设中普遍存在的照搬城市规划理念、不切实际、实效性弱等问题,借鉴建筑策划和城市触媒的相关研究成果,试图通过强调乡村触媒找寻乡村策划,寻求一条适合乡村自身"系列发展"需求的、可以激发乡村活力的、"反规划"的乡村建设之路:强调触媒的乡村建设应该基于一村一策的、过程调适的策划和界定,而非"八股"的、终结版的规划和设计。 展开更多
关键词 乡村策划 乡村触媒 乡村建设 价值分析
下载PDF
对我国建筑策划发展的分析与思考 被引量:16
6
作者 张维 梁思思 《建筑学报》 北大核心 2006年第11期85-87,共3页
通过对我国建筑策划十余年的发展历程的回顾,对其发展特点和操作主体的职责进行了分析,并就当前建筑策划面临若干的问题进行了初步的探讨。
关键词 建筑策划 发展 分析 思考
原文传递
基于Edgecam的礼品雕刻自动编程系统开发 被引量:17
7
作者 李铁钢 《制造技术与机床》 北大核心 2015年第2期29-31,共3页
针对礼品雕刻的加工问题,研究自动化的程序编制方法。首先,基于Edgecam软件提出了雕刻的智能化编程方法,而后,论述了软件设计、图形建模、坐标变换和特征编程等关键技术,利用PCI等二次开发语言编制了程序,最后以某博物馆的雕刻加工实例... 针对礼品雕刻的加工问题,研究自动化的程序编制方法。首先,基于Edgecam软件提出了雕刻的智能化编程方法,而后,论述了软件设计、图形建模、坐标变换和特征编程等关键技术,利用PCI等二次开发语言编制了程序,最后以某博物馆的雕刻加工实例测试了方法的有效性,实现了雕刻设计和制造的智能化和快速化,为其他机床的智能编程提供了借鉴作用。 展开更多
关键词 雕刻加工 自动编程 EDGECAM 二次开发 PCI
下载PDF
单片机课程教学改革探讨 被引量:17
8
作者 汪万维 《武汉大学学报(理学版)》 CAS CSCD 北大核心 2012年第S2期95-97,共3页
分析了目前单片机课程教学中采用的教学方法和考核方式所存在的问题,提出了新的教学改革方案,目的是培养学生硬件系统设计能力及快速程序开发能力,提高学生利用单片机解决实际生活中一些问题的能力,以适应创新人才体系教育的需要.
关键词 单片机 教学改革 程序开发
原文传递
树立全新教学理念,建设C语言程序设计课程 被引量:16
9
作者 陈朔鹰 李凤霞 赵丰年 《北京理工大学学报(社会科学版)》 2007年第S1期85-88,共4页
程序设计语言作为计算机基础教育的核心内容之一,已经成为高等院校理工类学生的公共基础课程。多年来,通过教学方式和手段的变革、教学内容和教材建设、构建网络教学支撑平台等,树立了“以学生为根本,以能力培养为核心”的教学指导思想... 程序设计语言作为计算机基础教育的核心内容之一,已经成为高等院校理工类学生的公共基础课程。多年来,通过教学方式和手段的变革、教学内容和教材建设、构建网络教学支撑平台等,树立了“以学生为根本,以能力培养为核心”的教学指导思想,形成了“分层教学与课外讲座相结合、自主学习与检查控制相结合、平时考察与开放考试相结合”的教学形式;通过先进的网络教学支撑平台,加强了对学生学习过程的有效监控,实现了教师与学生的及时交流与沟通,探索出一条切实可行、卓有成效的教学之路。 展开更多
关键词 程序设计课程 基础教学 网络教学支撑平台 课程建设
下载PDF
太行山丘陵区观光农业区域规划与发展模式构想——以河北省为例 被引量:15
10
作者 路丽 刘金铜 +1 位作者 李红军 王建江 《中国生态农业学报》 CAS CSCD 2005年第1期192-194,共3页
简析了太行山丘陵区发展观光农业的区位、客源市场、农业资源和旅游资源优势 ,提出该区开发观光农业的规划和发展模式构想。该区观光农业宜以远、中、近 3个观光农业地带和凉城~易县、满城~顺平、阜平、平山~灵寿、鹿泉~赞皇、临城... 简析了太行山丘陵区发展观光农业的区位、客源市场、农业资源和旅游资源优势 ,提出该区开发观光农业的规划和发展模式构想。该区观光农业宜以远、中、近 3个观光农业地带和凉城~易县、满城~顺平、阜平、平山~灵寿、鹿泉~赞皇、临城~邢台、涉县~磁县 7个布局规划 ,其对应的发展模式主要基于自然景观、农业产业和人文景观。 展开更多
关键词 太行山丘陵区 观光农业 区域规划 发展模式 河北
下载PDF
不同编程语言对计算机应用软件开发的影响研究 被引量:15
11
作者 周公平 《无线互联科技》 2017年第15期44-45,共2页
计算机软件有许多不同的编程语言,常见的有C语言,C++,Java等语言。不同编程语言有着其特殊的优点,功能也各不相同,在不同计算机软件的开发中需要使用相应的编程语言。因此,软件开发人员需要具备较好的编程语言知识,才能够在软件开发中... 计算机软件有许多不同的编程语言,常见的有C语言,C++,Java等语言。不同编程语言有着其特殊的优点,功能也各不相同,在不同计算机软件的开发中需要使用相应的编程语言。因此,软件开发人员需要具备较好的编程语言知识,才能够在软件开发中选择适用性较高的编程语言,才能够保障软件开发的顺利进行。文章主要针对不同编程语言对计算机应用软件开发的影响展开分析。 展开更多
关键词 编程语言 计算机应用软件 软件开发
下载PDF
日本的环境经济政策及其对我国的借鉴作用 被引量:12
12
作者 李永东 路杨 《现代日本经济》 CSSCI 2007年第6期12-16,共5页
日本环境与经济双向优化发展模式为世界瞩目,完善的环境经济政策体系和执行保障体系完美结合是其主要原因。日本环境经济政策具有环境整治的立法手段与经济手段并重,着眼资源长期利用、注重循环经济发展等方面的特点。日本环境经济政策... 日本环境与经济双向优化发展模式为世界瞩目,完善的环境经济政策体系和执行保障体系完美结合是其主要原因。日本环境经济政策具有环境整治的立法手段与经济手段并重,着眼资源长期利用、注重循环经济发展等方面的特点。日本环境经济政策对我国的主要借鉴作用是:强化环境治理立法和执法,建立环境质量管理监督体系;科学分析环境价值,建立环境事故损失补偿机制;充分发挥公共财政作用,大力扶持环保产业发展;在环境经济政策中充分反映民意,充分借助民间力量推行环境经济政策;在经济社会发展规划中增加环境规划,使环境质量改善与经济快速增长相协调。 展开更多
关键词 日本 环境经济 环境价值 环境规划 可持续发展
下载PDF
ACM/ICPC与可持续发展的IT人才培养方式实践 被引量:14
13
作者 陈湘骥 刘才兴 徐东风 《计算机教育》 2009年第20期6-9,共4页
本文针对目前一般院校在参加ACM/ICPC(国际大学生程序设计竞赛)中普遍遇到的问题,结合华南农业大学的相关实践,阐述了竞教结合的人才培养方式以及可持续发展的思路与做法。
关键词 程序设计竞赛 人才培养 可持续发展
下载PDF
编程真的能促进儿童的个体发展吗?--基于28项实验和准实验研究的元分析 被引量:12
14
作者 孙立会 胡琳琳 《华东师范大学学报(教育科学版)》 CSSCI 北大核心 2021年第11期45-58,共14页
编程作为儿童面向未来、适应未来并改造未来的基本素养,不断得到各界的关注与重视,但其究竟到底有多少教育价值,众多学者开展了大量的实验及准实验研究,但研究结果却不尽相同。“编程能否真正促进儿童的个体发展”这一问题仍处在左右摇... 编程作为儿童面向未来、适应未来并改造未来的基本素养,不断得到各界的关注与重视,但其究竟到底有多少教育价值,众多学者开展了大量的实验及准实验研究,但研究结果却不尽相同。“编程能否真正促进儿童的个体发展”这一问题仍处在左右摇摆的学术争议之中。基于此,本研究采用元分析方法,对国外28项编程影响儿童个体发展的实验与准实验研究进行量化分析。研究发现:(1)整体而言,纳入研究的合并效应量为0.61,处于中等偏上水平,表明编程可以积极正向地促进儿童的个体发展;(2)具体来看,编程能够显著地积极促进学生的认知发展、行为发展以及情感发展;(3)与小学及学前相比,编程在中学阶段对儿童个体发展的作用效果更突出;(4)与中期和长期编程活动相比,短期编程活动对儿童个体发展的促进作用更为显著;(5)编程教育在小规模样本中对儿童个体发展的作用效果相较于中、大规模样本更大;(6)不同编程形式的作用效果不同,其中不插电编程对儿童个体发展的作用更为显著。期望上述研究发现能为我国未来儿童编程的研究与实践提供借鉴。 展开更多
关键词 儿童编程 个体发展 元分析 效应量
下载PDF
C#与MATLAB混合编程在内弹道设计中的应用 被引量:11
15
作者 柯彪 高跃飞 +1 位作者 罗炳华 徐凤军 《弹箭与制导学报》 CSCD 北大核心 2013年第5期129-132,共4页
为解决一般内弹道软件功能单一、人机交互差、不易集成等问题,利用C#与MATLAB混合编程技术,开发了以经典内弹道模型为基础适用于简单形状火药、多孔火药、混合装药及钝感火药的内弹道设计计算软件,可以进一步开发集成以改进型内弹道模... 为解决一般内弹道软件功能单一、人机交互差、不易集成等问题,利用C#与MATLAB混合编程技术,开发了以经典内弹道模型为基础适用于简单形状火药、多孔火药、混合装药及钝感火药的内弹道设计计算软件,可以进一步开发集成以改进型内弹道模型和两相流内弹道模型为基础的内弹道设计计算模块。同时,此混合编程技术可以在外弹道、身管、反后坐装置等火炮设计计算中推广应用,具有很好的通用性和扩展性。 展开更多
关键词 C# MATLAB 混合编程 内弹道 软件开发
下载PDF
太原市高新开发区土地利用优化配置研究 被引量:11
16
作者 刘勇 苏超 徐小明 《中国土地科学》 CSSCI 北大核心 2013年第10期16-23,F0002,共9页
研究目的:提出山西省太原市高新区土地利用优化配置建议,探讨开发区土地资源利用的优化配置机制。研究方法:在分析土地利用结构的基础上,结合太原市高新技术产业及社会经济发展需求和规划控制指标,建立线性规划模型求解土地利用结构的... 研究目的:提出山西省太原市高新区土地利用优化配置建议,探讨开发区土地资源利用的优化配置机制。研究方法:在分析土地利用结构的基础上,结合太原市高新技术产业及社会经济发展需求和规划控制指标,建立线性规划模型求解土地利用结构的优化值,并借助CA-Markov模型求出2015年高新区土地资源利用结构的空间优化结果。研究结果:太原市高新区南部地区的农用地和其他用地主要开发为工商金融用地和居住用地,绿地、道路用地和林地也有扩大。研究结论:线性规划结合CA-Markov模型的方法,能较好地解决土地资源的优化配置问题。 展开更多
关键词 土地利用 优化配置机制 线性规划 CA—Markov模型 开发区
下载PDF
基于HNC系统编程指令的扩展开发 被引量:11
17
作者 詹华西 李艳华 《组合机床与自动化加工技术》 2007年第11期83-85,共3页
基于开放式华中HNC数控系统的宏编程处理经验,利用系统变量保存的模态数据以及宏子程序调用时的传值技术,由普通用户根据待扩展开发指令功能的需要定制参数后,按照参数项及数控加工要求合理设计算法,嵌入到系统源码文件中即可实现二次... 基于开放式华中HNC数控系统的宏编程处理经验,利用系统变量保存的模态数据以及宏子程序调用时的传值技术,由普通用户根据待扩展开发指令功能的需要定制参数后,按照参数项及数控加工要求合理设计算法,嵌入到系统源码文件中即可实现二次开发。文章以一个固定循环指令实现阵列孔加工为例,介绍了数控编程指令功能扩展的二次开发技术。并充分利用系统源码功能,简化了算法,经实际使用验证效果良好。 展开更多
关键词 宏编程 阵列钻孔 二次开发
下载PDF
面向电极加工的数控自动编程系统的开发 被引量:10
18
作者 杨晓琴 陶建华 +1 位作者 刘晓初 朱明英 《机床与液压》 北大核心 2011年第6期12-15,共4页
针对PowerMILL加工电极模型时存在的编程效率低、重复劳动多、编程质量参差不齐、优秀编程工艺不易保存等问题,应用PowerMILL的二次开发接口技术以及宏录制功能,建立了关系完善的系统数据库和独立性强的系统功能模块,在VB.NET环境... 针对PowerMILL加工电极模型时存在的编程效率低、重复劳动多、编程质量参差不齐、优秀编程工艺不易保存等问题,应用PowerMILL的二次开发接口技术以及宏录制功能,建立了关系完善的系统数据库和独立性强的系统功能模块,在VB.NET环境下,创建了能够保存优秀编程经验、完成高质量编程的数控自动编程系统。试验结果表明:该系统能将编程效率提高2—2.5倍,节省了大量编程时间,同时有效地避免了编程资源的流失。 展开更多
关键词 POWERMILL软件 电极 数控编程 二次开发
下载PDF
城市居住区的环境绿化与可持续发展 被引量:4
19
作者 宋万胜 《黑龙江工程学院学报》 CAS 2002年第3期18-20,共3页
居住区的绿化环境影响着居住区的环境规划质量,反映着一个城市的风貌,是城市居民的基本居住要求。本文结合我国国情和城市建设发展趋势,重点论述了居住环境绿化的重要意义,提出了居住区环境绿化及可持续发展应注意的问题和有关措施,对... 居住区的绿化环境影响着居住区的环境规划质量,反映着一个城市的风貌,是城市居民的基本居住要求。本文结合我国国情和城市建设发展趋势,重点论述了居住环境绿化的重要意义,提出了居住区环境绿化及可持续发展应注意的问题和有关措施,对城市规划和居住区开发建设工作具有一定的指导意义。 展开更多
关键词 环境绿化 城市规划 居住区 绿地规划 绿化覆盖率 可持续发展
下载PDF
工业机器人通用图形化编程软件的研究 被引量:9
20
作者 李煜卉 彭勇刚 《机电工程》 CAS 2016年第4期502-506,共5页
针对工业机器人控制软件中传统文本编程方式带来的操作难度大和通用性不够的问题,对图形化编程方式进行了研究,将XML技术和图形界面实现技术应用到编程软件中,提出了一种图形化编程软件方案,包括软件总体设计思路及实现方法;通过对工业... 针对工业机器人控制软件中传统文本编程方式带来的操作难度大和通用性不够的问题,对图形化编程方式进行了研究,将XML技术和图形界面实现技术应用到编程软件中,提出了一种图形化编程软件方案,包括软件总体设计思路及实现方法;通过对工业机器人通用操作的参数分析,建立了通用操作到图标式任务的转换关系,且将图标式任务转换为下方解释器能够识别的中间文件;通过设计用于表示机器人操作的图标的数据结构以及搭建能够自行跟踪用户所有操作并且具有自结构性(本身包含顺序和父子信息)的编辑器,实现了图标式任务的绘制以及记录;定义了与图标数据结构相对应的节点,采取同样具有自结构性的中间文件对图形任务进行了保存,最后生成了逻辑正确、数据无误且能够被下方解释器识别的文件。研究结果表明,用户通过拖曳和连线进行图形化编程,降低了编程难度,同时生成的文件可移植性高,提高了软件通用性。 展开更多
关键词 工业机器人 图形化编程 数据结构 插件开发 通用性
下载PDF
上一页 1 2 21 下一页 到第
使用帮助 返回顶部