检索结果-南通市图书馆

创新空间认知的前置条件、响应过程与核心要素

在线全文

学校读者我要写书评

暂无评论

城市发展研究 2020年第3期27卷 109-116页

作者：郭锐樊杰中国科学院科技战略咨询研究院中国科学院区域可持续发展分析与模拟重点实验室中国科学院地理科学与资源研究所

中国创新的特质不限于且最关键的不在于技术创新,而是中国特色的创新理论和制度创新。对理论创新、制度创新的重视,是科学认知中国创新空间的重要前提条件,将对空间创新理论体系的架构、培育、打造和引领起到重要作用。创新是复杂的社... 详细信息

中国创新的特质不限于且最关键的不在于技术创新,而是中国特色的创新理论和制度创新。对理论创新、制度创新的重视,是科学认知中国创新空间的重要前提条件,将对空间创新理论体系的架构、培育、打造和引领起到重要作用。创新是复杂的社会系统,创新过程在空间的配置规律因人、因事、因时、因地而异。研究发现,在一定阶段,创新作用于区域的响应过程一般表现为"外围"较"中心"更快的增长格局;长时间尺度下创新会在某个阶段产生空间收敛的现象;空间对人(才)在创新过程中的暴露度有所差异,人(才)的创新空间指向是创新空间研究的立足点和主线,人居环境、收入和文化是创新人才在宏观区位选择方面的三大因素;创新"流"节点的功能层级、节点形成的交流平台以及基本公共服务的品质构成了创新人才在中微观区位指向的核心要素。最后提出未来应重点关注和思考的四个方面问题:一是创新活动的不同形式,二是创新空间形态的表达,三是创新空间尺度的转化,四是创新空间与其他空间的关系。

关键词：创新空间前置条件核心要素空间指向理论创新制度创新

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Z规格说明的前置条件的简化

软件学报 1997年第9期8卷 709-715页

作者：缪淮扣上海大学计算机科学系上海201800

在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过... 详细信息

在软件方法学中，形式方法越来越受到人们的重视，并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查，本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件，给出了一个用于简化前置条件的算法，该算法可自动产生简化过程的证据．

关键词：形式方法规格说明前置条件 Z语言软件开发

两型农业生产体系桥接的前置条件及其抗阻因素

在线全文

学校读者我要写书评

暂无评论

求索 2011年第1期 51-53页

作者：周建华乌东峰长沙理工大学经济与管理学院副教授博士湖南长沙410114 湖南省社会科学院

两型农业生产体系为现代农业高级阶段新命题。实现两型农业生产体系目标,需一定的前置环境条件。落后生产方式的内源缺环,传统经营观念的生态缺乏,科技体系的匹配缺失,政策制度的"政府失灵",成为两型农业生产体系政略抗阻因素。应大力... 详细信息

两型农业生产体系为现代农业高级阶段新命题。实现两型农业生产体系目标,需一定的前置环境条件。落后生产方式的内源缺环,传统经营观念的生态缺乏,科技体系的匹配缺失,政策制度的"政府失灵",成为两型农业生产体系政略抗阻因素。应大力发展循环农业,提高农民经营素质,构建两型农业科技支撑体系和政策支持体系。

关键词：两型农业生产体系新命题前置条件抗阻因素

在线全文

学校读者我要写书评

暂无评论

软件测试用例生成中的前置条件分析

计算机应用研究 2007年第3期24卷 103-105页

作者：付剑平陆民燕阮镰北京航空航天大学工程系统工程系北京100083

在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。

关键词：前置条件测试用例测试用例生成测试用例自动生成

在线全文

学校读者我要写书评

暂无评论

职业规划:新教师园本培训的前置条件

上海教育科研 2011年第5期 94-95页

作者：张炜炜浙江师范大学教育系 310058 浙江省舟山市定海区教师进修学校 316000

随着国家对学前教育的日益重视,未来几年将有大批的幼儿园新教师踏上工作岗位,为提高幼儿园园本培训的实效性,本文认为职业规划是新教师园本培训不可或缺的前置条件,并从幼儿园新教师职业规划制定的依据、流程、内容以及基于职业规划的... 详细信息

随着国家对学前教育的日益重视,未来几年将有大批的幼儿园新教师踏上工作岗位,为提高幼儿园园本培训的实效性,本文认为职业规划是新教师园本培训不可或缺的前置条件,并从幼儿园新教师职业规划制定的依据、流程、内容以及基于职业规划的新教师园本培训内容的构建四方面进行了阐述。

关键词：教师专业发展职业规划新教师园本培训前置条件

重心前置条件下的思想政治课教学——以《政治生活》第六课第三框为例

在线全文

学校读者我要写书评

暂无评论

中学政治教学参考 2016年第6期 17-18页

作者：侯沛成江苏省连云港高级中学

传统教学方式一般遵循＂课前预习-课中学习-课后复习＂的教学流程,这种教学模式的重心在＂课中学习＂和＂课后复习＂,可称之为＂重心后置学习＂。＂重心后置学习＂最大的问题是学生的学习一直处于被动状态,课前预习是教师布置的,课堂学... 详细信息

传统教学方式一般遵循＂课前预习-课中学习-课后复习＂的教学流程,这种教学模式的重心在＂课中学习＂和＂课后复习＂,可称之为＂重心后置学习＂。＂重心后置学习＂最大的问题是学生的学习一直处于被动状态,课前预习是教师布置的,课堂学习基本是教师表演、学生听,课后复习则是学生按教师的要求完成作业。长此以往,学生兴趣丧失,学习效果下降。

关键词：政治课教学教学流程政治生活前置条件思考性课堂教学情感态度政治课堂复习巩固多媒体展示

改版更需做好提前量——从《攀枝花晚报》看媒体改版的前置条件

在线全文

学校读者我要写书评

暂无评论

新闻界 2013年第13期 59-60页

作者：曹习斌攀枝花日报社攀枝花晚报

作为平面媒体来说，改版是一门“必修课”，必须做到常变常新，才能不断适应市场的变化和读者的需求。同时，改版也是一把“双刃剑”，如果不作精心的准备和策划，就存在一定的风险性。因此，只有充分做好前置条件，在思想观念、机制体... 详细信息

作为平面媒体来说，改版是一门“必修课”，必须做到常变常新，才能不断适应市场的变化和读者的需求。同时，改版也是一把“双刃剑”，如果不作精心的准备和策划，就存在一定的风险性。因此，只有充分做好前置条件，在思想观念、机制体制和方案制定上做好提前量，才能最大程度地提高改版的成功率。

关键词：前置条件平面媒体提前量改版攀枝花晚报 “双刃剑” 思想观念

在线全文

学校读者我要写书评

暂无评论

纳税争议行政复议前置条件质疑

商场现代化 2008年第22期 257-258页

作者：刘庆国北方民族大学法学院

行政复议是解决纳税争议的必经程序,税收征收管理法规定的先行缴纳或解缴税款及滞纳金或者提供相应的担保的复议前置条件,有违法律的平等、公平原则,不利于纳税人合法权益的保护,不利于行政复议制度的救济功能和监督功能的实现,应当予... 详细信息

行政复议是解决纳税争议的必经程序,税收征收管理法规定的先行缴纳或解缴税款及滞纳金或者提供相应的担保的复议前置条件,有违法律的平等、公平原则,不利于纳税人合法权益的保护,不利于行政复议制度的救济功能和监督功能的实现,应当予以废止。

关键词：行政复议纳税争议前置条件

在线全文

学校读者我要写书评

暂无评论

API前置条件挖掘系统的设计与实现

API前置条件挖掘系统的设计与实现

作者：吴耀明南京大学

学位级别：硕士

随着当今社会的信息化和智能化的发展,软件系统的规模日益增大,导致构建软件系统的代码越来越复杂。现在很多软件系统的实现依赖于已有的类库,这些类库提供的应用程序接口(Application Programming Interface,API)可以帮助提高软件开发... 详细信息

随着当今社会的信息化和智能化的发展,软件系统的规模日益增大,导致构建软件系统的代码越来越复杂。现在很多软件系统的实现依赖于已有的类库,这些类库提供的应用程序接口(Application Programming Interface,API)可以帮助提高软件开发人员的开发效率。为了正确地使用API,软件工程师需要获取API的详细说明信息。在API的详细说明信息中,调用API之前需要满足的条件称为API前置条件。人工获取API前置条件十分困难,原因包括:1)API数量巨大;2)受限于审核人员的业务水平和对API的熟悉程度;3)API文档可能不全面。现在有很多开源项目,而且API被广泛使用于其中,所以可以从开源代码中挖掘API的前置条件。本文研究如何生成库函数API使用的前置条件,主要研究内容为由三个模块组成的一个用于挖掘前置条件的系统,这三个模块包括:1)从海量代码中挖掘API的前置条件;2)从API源代码中抽取API的前置条件;3)从API文档中抽取API的前置条件。通过综合三个模块的提取结果,得到API前置条件。从技术层面上来讲,本文将综合程序分析技术、数据挖掘和自然语言处理技术来获取API的前置条件。通过本文开发的系统所提取的API库函数的前置条件,有如下作用:1)为软件工程师在编码和测试阶段快速提供API调用前需要满足的条件判断,减少查阅API文档所耗费的时间;2)减少由于未满足API调用前所需要的条件判断所引发的软件缺陷;3)用于检测API文档中可能存在的缺陷。通过对比挖掘出的条件与API文档中对API描述的前置条件,可以检测出API文档中对API前置条件的错误的描述或不精确的描述。API文档中的缺陷会使得开发人员不能准确地使用API。通过本文的研究,能提高软件工程师的工作效率,提高软件项目的可靠性,同时为API性质挖掘提供一种全新的思路。

关键词：软件工程程序分析 API 前置条件数据挖掘