作  者

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号

全  文

不  限

  • 不  限
  • 1915年
  • 1949年
  • 1979年

不  限

  • 不  限
  • 1979年
  • 1949年
  • 1915年
  • 全  文
  • 主  题
  • 篇  名
  • 关键词
  • 作  者
  • 作者单位
  • 摘  要
  • 参考文献
  • 基  金
  • 文献来源
  • 发表时间
  • 中图分类号
手机远见搜索 |设置
  • 关闭历史记录
  • 打开历史纪录
  • 清除历史记录
引用
筛选:
文献类型 文献类型
学科分类 学科分类
发表年度 发表年度
作者 作者
机构 机构
基金 基金
研究层次 研究层次
排序:
显示:
CNKI为你找到相关结果

借金融云之力构建智慧城市和国际金融中心  CNKI文献

智慧城市建设是加快推进上海实施"创新驱动、转型发展"战略的重要手段。本文在简要介绍上海推进智慧城市建设三年行动计划的基本目标以及云计算专项重点内容基础上,论述了构建金融云的重要意义、技术关键、...

邵志清 《上海金融学院学报》 2012年01期 期刊

关键词: 金融 / 云计算 / 智慧城市

下载(312)| 被引(0)

“两化”深度融合 点亮“智慧城市”  CNKI文献

2011年是我国"十二五"规划的开局之年。在未来5年中,上海调整优化产业机构,需要加快培育发展战略性新兴产业,积极发展新一代信息技术产业,建设高性能宽带信息网,加快实现"三网融合",促进物联网示...

邵志清 《上海信息化》 2011年04期 期刊

关键词: 智慧城市 / 十二五 / 云计算 / 深度融合

下载(236)| 被引(0)

加强社会信用体系建设  CNKI文献

近年来我国社会信用体系建设在取得积极进展的同时,依然存在与经济发展水平、社会发展阶段不匹配、不协调的问题。调研组从国家和上海市信用制度建设、信用平台建设、信用产品应用推进、市场发展等方面调查研究,并提出...

邵志清 朱国萍... 《上海人大月刊》 2014年11期 期刊

关键词: 社会信用体系建设 / 信用服务 / 信用产品 / 公共信用信息

下载(147)| 被引(2)

上海市信息产业发展现状及思考  CNKI文献

经过多年持续不断的努力,上海市信息产业发展迅速,已成为上海最重要的支柱产业之一。其中,IC、软件、通信等产业在全国占有举足轻重的地位。与此同时,随着信息产业向更宽更广更深领域渗透,也面临着诸多问题和挑战,需要...

邵志清 《上海信息化》 2009年03期 期刊

关键词: 上海市 / 信息产业 / 信息产品 / 制造业

下载(153)| 被引(1)

《2014上海车联网产业发展研究报告》序  CNKI文献

车联网是通过利用装载车辆上有感知能力的电子设备进行数据采集,以信息通信技术为手段,实现车与车、车与人、车与路互联互通;通过智能处理技术对采集的数据进行有效利用,对车辆提供导航、救援、管控等综合性服务。车联...

邵志清 《软件产业与工程》 2015年01期 期刊

关键词: 车联网 / 通信网络 / 上海 / 汽车电子

下载(82)| 被引(1)

履职忠勤襄盛业 尽心奋勉启新程  CNKI文献

我是第十一、十二、十三届全国人大代表,很多人都把我称为老代表,这当然没有错,毕竟是三届连任,参加全国人代会有十多年了。但我更愿意把自己看成是一个新代表。因为在每一届全国人大代表履职过程中间会面临很多新的形...

邵志清 《上海人大月刊》 2018年03期 期刊

关键词: 人大代表 / 能源互联网 / 事后监管 / 无罪推定

下载(8)| 被引(0)

建筑模型设计与制作过程中的德育渗透  CNKI文献

劳动实践课是为中学生开设的一门集实践性、技能性、创新性、养成性为一体的主要课程。经过长期的实践活动,最大的感受是学生通过参加劳动实践活动,能学到知识,学到技能,得到劳动体验与乐趣,尝试自己独立设计制作的成...

邵志清 《现代教育科学(中学教师)》 2015年03期 期刊

关键词: 德育渗透 / 实践活动 / 建筑模型 / 制作过程

下载(16)| 被引(1)

发力上海高端软件 打造产业加速引擎  CNKI文献

"十五"、"十一五"期间,中国软件产业迎来了高速增长的"黄金十年",其中高端软件更是成为熠熠生辉的新星。国务院在《关于加快培育和发展战略性新兴产业的决定》中,明确指出重点培育和发...

邵志清 《上海信息化》 2012年07期 期刊

关键词: 高端软件 / 领域 / 创新 / 上海市

下载(24)| 被引(0)

英国可持续发展经济增长指标简介  CNKI文献

从可持续发展基本原则和理念出发,一个国家或一个地区的可持续发展指标体系反映的应该是国家或该地区社会—经济—资源—环境复合系统内四大子系统的发展水平与现状,以及四大子系统间协调状态。可持续发展指标是监督和...

邵志清 李京霖 《首都经济》 2002年10期 期刊

关键词: 经济增长指标 / 可持续性发展 / 可持续发展指标体系 / 英国

下载(135)| 被引(1)

基于重写的成批归纳证明技术  CNKI文献

1引言归纳法是刻划软硬件行为和性质的一种重要方法,归纳证明的自动化始终是一个研究热点.近二十年来,涌现出了大批证明方法和实验系统.这些成果大致可分为两类:第一类方法使用项结构上的显式归纳论证,其典型工...

邵志清 孙永强... 《计算机学报》 1999年05期 期刊

关键词: 等式 / 归纳法 / 证明方法 / 计算方法

下载(53)| 被引(1)

多举措推进民族品牌振兴工作  CNKI文献

我国在近现代工业化过程中形成的一些知名老品牌,是继承民族产业和商业文化的重要载体,在一定程度也上是我国经济硬实力与文化软实力的结晶,不仅能激发民族自豪感,而且对新时期我国的经济持续增长具有积极意义。因此,...

邵志清 《中国发展》 2014年04期 期刊

关键词: 企业品牌建设 / 专项 / 品牌运作 / 职业经理人

下载(18)| 被引(0)

信息服务业——上海新经济增长点  CNKI文献

尽管2009年面对国内外经济形势波动、国际金融危机等不利局面,但是上海信息服务业以高新技术产业化为契机,不断推动结构调整和自主创新,积极拓展国内外市场,产业总体保持了稳定较快增长。

邵志清 《软件和信息服务》 2010年03期 期刊

关键词: 信息服务业 / 信息服务产业 / 信息产业 / 新经济增长点

下载(18)| 被引(1)

HTML 5 Canvas技术在工程流程图中的研究与应用  CNKI文献

基于HTML 5Canvas技术研究并实现了一个新型在线流程图协作绘制平台,其优势主要有:数据集中存储在云端,方便共享与协作;可自由定制任务节点的元信息,为节点增加绑定附件的功能;支持创建流程图模板,使用户可以"一...

成舟 邵志清... 《华东理工大学学报(自然科学版)》 2015年02期 期刊

关键词: 流程图 / 元信息 / HTML / 5

下载(212)| 被引(16)

建立于谓词逻辑上的递归程序及其操作语义  CNKI文献

对于递归程序的操作语义,常用的刻划方法是引入无定义值ω,再定义函数的ω延拓和平坦偏序等概念,导入转移关系和计算序列。本文采用优先处理某些项的原则避免引入ω,从而直接根据谓词逻辑的基底的解释引进计算序列,并...

邵志清 《软件学报》 1991年04期 期刊

关键词: 递归程序 / 语法 / 定义 / 函数

下载(43)| 被引(0)

履职为改革贡献自己一份力  CNKI文献

我是一名连任的全国人大代表,2014年已经是第七个履职年头了,对如何当好人大代表已有了一定的经验和感受。2014这一年正值我们国家全面深化改革的开局之年,我深深感到人民对我们代表的期待更加殷切,自己的使命更加光荣...

邵志清 《中国人大》 2015年03期 期刊

关键词: 履职 / 群众 / 全国人大代表 / 社会信用体系建设

下载(4)| 被引(0)

重写系统中解决发散现象的扩充技术  CNKI文献

本文介绍和提出用于解决发散问题的各种基于保守扩充技术的方法。我们特别地用实例证明了这几种新方法可以对带AC算子的重写系统进行归纳完备化。

邵志清 冯培雄... 《计算机应用与软件》 2000年03期 期刊

关键词: 重写系统 / 扩充 / 归纳 / 完备化

下载(16)| 被引(0)

Deciding Quasi-Reducibility Using Witnessed Test ...  CNKI文献

DecidingQuasi-ReducibilityUsingWitnessedTestSetsSHAOZhiqing(邵志清);SUNYongqiang(孙永强),SONGGuoxin(宋国新)an...

邵志清 孙永强... 《Journal of Computer Science and Technology》 1999年02期 期刊

关键词: test / set / quasi-reducibility / witness

下载(18)| 被引(1)

GRADIENT MEASUREMENTS OF METHANE FLUX IN LIN'AN RICE P...  CNKI文献

From July to September of 1990,CH_4 flux measurements were made in Lin'an rice paddies using gradient profiletechniques.Some characteristics of the turbulence structure under the stable condition...

邵志清 李兴生... 《Acta Meteorologica Sinica》 1995年02期 期刊

关键词: methane / flux / gradient / profile

下载(11)| 被引(0)

A Standard Model-Theoretic Approach to Operational Sem...  CNKI文献

In this paper we try to introduce a new approach to operational semantics of recursive programsby using ideas in the“priority method”which is a fundamental tool in Recursion Theory.In lieu ofmodell...

邵志清 《Journal of Computer Science and Technology》 1993年02期 期刊

关键词: Operational / semantics / recursive / program

下载(12)| 被引(0)

BCYB代数的第二和第三同构定理  CNKI文献

引入了BCYB代数的生成理想和生成代数的概念,导出了BCYB代数的第二和第三同构定理,从而为BCYB代数的应用作好了准备。

邵志清 《华东化工学院学报》 1992年01期 期刊

关键词: 代数 / 理想 / 同态 / 同构

下载(12)| 被引(0)

学术研究指数分析(近十年)详情>>

  • 发文趋势

热门学者(按发文篇数排行)

相关机构

轻松读懂《孙子兵法》