作  者

不  限

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

不  限

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

全  文

不  限

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

不  限

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

相关路径静态分析中协同式逆向推理方法  CNKI文献

相关路径生成,是程序动态分析中的一种重要方法.通过对目标执行路径的获取和分析来生成与其相关的近邻执行路径,在程序行为特征分析、编译优化和调试等研究方向有重要的作用.现有的方法主要通过改变路径节点序列来生成...

郭曦 王盼 《软件学报》 2015年01期 期刊

关键词: 逆向分析 / 近邻路径 / 最弱前置条件 / 符号执行

下载(243)| 被引(5)

以脱铝赤泥-脱铝粉煤灰为原料制备硬硅钙石  CNKI文献

以脱铝赤泥和脱铝粉煤灰为原料,采用水热法制备硬硅钙石,考察原料配比、液固比及反应时间对硬硅钙石生成及形貌的影响。结果表明:在220℃、钙硅比为1.0时,脱铝粉煤灰掺入量的增加、液固比的提高和反应时间的延长均促进...

郭曦 马淑花... 《中国有色金属学报》 2015年02期 期刊

关键词: 硬硅钙石 / 脱铝赤泥 / 脱铝粉煤灰 / 晶须

下载(362)| 被引(7)

基于k近邻最弱前置条件的程序多路径验证方法  CNKI文献

程序多路径验证方法是对软件性质进行发掘的重要方法之一,现有的验证方法主要通过求解路径条件或者自动构造不同的输入来触发生成不同的路径,从而分析程序中潜在的安全问题,但存在对路径条件不加选择地进行多路径扩展...

郭曦 王盼... 《计算机学报》 2015年11期 期刊

关键词: 程序验证 / 静态分析 / 最弱前置条件 / 符号执行

下载(247)| 被引(7)

日本第四次修订《食品、农业和农村基本法》及启示  CNKI文献

日本政府2015年推出了《食品、农业和农村基本法》的第四次修订,以保证粮食供应和食品安全;推动集约化农业经营,保障农业收入稳定;推动农产品出口和农业技术创新;改善补贴政策,稳定农村人口作为下一阶段日本兴农政策的...

郭曦 齐皓天... 《中国人口·资源与环境》 2016年07期 期刊

智慧城市建设模式研究  CNKI文献

物联网、宽带网络、云计算等技术的发展,为城市信息化的建设提供了有效手段。建设智慧城市是人类城市发展史上具有深刻意义的变革,未来数十年将是智慧地球、智慧国家、智慧城市崛起和发展的战略机遇期。本文以智慧城市...

郭曦 吴险峰 《测绘科学技术学报》 2013年03期 期刊

关键词: 智慧城市 / 物联网 / 云计算 / 建设模式

下载(1126)| 被引(24)

角膜塑形镜治疗青少年近视的远期效果  CNKI文献

目的观察角膜塑形镜治疗青少年近视7年的效果。设计回顾性病例系列。研究对象30例青少年近视患者。方法对2000-2005年间在北医眼视光学研究中心验配角膜塑形镜且连续配戴7年及以上并可按时复查的30例(60眼)患者,使用综...

郭曦 杨丽娜... 《眼科》 2012年06期 期刊

关键词: 近视眼 / 角膜塑形术 / 青少年

下载(1035)| 被引(64)

基于精准营销理论的包头钢铁(集团)公司无缝钢管产品国际...  CNKI文献

钢铁产业是现代工业发展的“粮食”,是基础支柱性产业。随着我国经济水平的快速发展和腾飞,宏观经济的不确定性给钢铁工业的发展也带来了不确定因素,有市场危机但同时也是契机。如何才能让包头钢铁(集团)公司(以...

郭曦 导师:侯淑霞 内蒙古财经大学 2014-06-01 硕士论文

关键词: 钢铁行业 / 国际市场 / 营销策略 / 包钢(集团)公司

下载(405)| 被引(4)

基于G/S模式的数字旅游工程及其评估技术研究  CNKI文献

随着“数字地球”从概念模型走向应用,“数字地球”提出的诸多设想已变成现实,并已极大的方便了公众生活。旅游是以地球为依托的领域,公众是旅游的主体,将“数字地球”服务大众的理念应用到旅游中,建立数字旅游工程,可...

郭曦 导师:苗放 成都理工大学 2010-06-10 博士论文

关键词: G/S模式 / 数字旅游工程 / 空间信息服务 / 数字地球

下载(955)| 被引(33)

产业集群竞争力影响因素的层次分析——基于国家级经济开发...  CNKI文献

集群作为介于企业与市场之间的中间态组织形式对区域经济发展起着重要的作用。测评和提高产业集群竞争力有着理论与现实的重大意义。本文综合国内外研究成果,提出了适应国情的集群竞争力分层次框架。文章将集群竞争力...

郭曦 郝蕾 《南开经济研究》 2005年04期 期刊

关键词: 产业集群 / 集群竞争力 / 政策

下载(4339)| 被引(106)

智慧城市评估体系的研究与构建  CNKI文献

智慧城市是一项复杂的系统工程,不仅需要规划、建设、运营管理,而且还需要评估、优化调整等环节来保证智慧城市建设的前瞻性、合理性、有效性和高效性。针对目前国内智慧城市建设过程中存在盲目建设、实际效果不显著等...

郭曦 吴险峰 《计算机工程与科学》 2013年09期 期刊

关键词: 智慧城市 / 要素 / 评估体系 / 评价指标

下载(777)| 被引(15)

基于高分辨率遥感的流域级地质灾害信息管理研究  CNKI文献

简要分析了地质灾害调查、监测、预警和救援等阶段对高分辨率遥感数据的需求;针对高分辨率遥感技术在地质灾害领域日益广泛的应用,地质灾害信息将呈现海量、异构和多元化等发展趋势,以地质灾害的区域特征为依据,从流域...

郭曦 冷小鹏... 《遥感技术与应用》 2014年06期 期刊

关键词: 高分辨率遥感 / 编码体系 / 流域尺度 / 地质灾害点

下载(265)| 被引(4)

中国智能楼宇产业发展报告(一)  CNKI文献

智能楼宇的发展从来与房地产业息息相关,其发展状况也可以说是中国房地产业的真实写照。从1984年在美国康涅狄格州哈特福德市中世界上第一个智能楼宇的产生,随着中国上个世纪90年代房地产市场的繁荣,智能楼宇开始进入...

郭曦 《中国公共安全》 2013年06期 期刊

关键词: 智能楼宇 / 安全防范 / 市场规模 / 建筑

下载(534)| 被引(15)

基于G/S模式架构的数字旅游服务平台研究  CNKI文献

空间信息技术的迅速发展使空间信息融入数字旅游成为可能,G/S模式是一种新型的空间信息网络服务模式,在研究数字旅游服务平台框架体系的基础上,研究并提出一种利用G/S模式架构数字旅游服务平台的方法和实现思路。最后...

郭曦 苗放... 《遥感技术与应用》 2009年04期 期刊

关键词: 数字旅游 / G/S模式 / 框架体系 / 数字旅游服务平台

下载(463)| 被引(41)

我国房地产去库存面临的问题及解决路径  CNKI文献

当前,结构升级调整已经成为房地产业的重要任务,其中房地产去库存又是重中之重。房地产去库存需要统筹规划、精准施策,要正确认识我国房地产业的特殊性。为解决我国房地产去库存的问题,文章提出应重拳清理整顿房地产业...

郭曦 《改革与战略》 2017年11期 期刊

关键词: 房地产 / 去库存 / 结构调整

下载(450)| 被引(5)

网带式畜禽粪便固液分离技术及设备研究  CNKI文献

随着畜禽养殖业集约化程度的提高和生产规模的不断扩大,数量巨大的畜禽废物与日俱增,不少养殖场将粪便随地堆积或将污水任意排放,对环境已造成严重的污染。其实,畜禽粪便既是污染源,又是有价值的有机资源,它包括农作物...

郭曦 导师:白林 四川农业大学 2012-12-01 硕士论文

关键词: 畜禽粪便 / 固液分离 / 设备优化设计 / 可靠性

下载(479)| 被引(4)

新三板中小企业融资效率研究  CNKI文献

中小企业已经成为在经济新常态下转变经济结构的驱动力,然而,我国中小企业的发展仍存在融资难问题。随着新三板市场的建立和不断扩容,我国中小企业的融资途径得到了拓宽,一定程度缓解了融资难的问题。新三板市场的发展...

郭曦 导师:朱超 首都经济贸易大学 2018-06-30 硕士论文

关键词: 新三板 / 中小企业 / 融资效率 / 分层制度

下载(822)| 被引(1)

儿童题材动画角色造型设计研究与应用  CNKI文献

随着动画产业的蓬勃发展以及社会各界对儿童成长的越发关注,儿童题材动画层出不穷,但是真正可以打动儿童的动画却鲜于面世。而角色造型则是决定一部动画好坏的关键因素。笔者认为应当从儿童的真实感受和儿童题材动画的...

郭曦 导师:尹文 东南大学 2014-10-01 硕士论文

关键词: 儿童题材动画 / 角色造型 / 儿童心理 / 亲和力

下载(188)| 被引(2)

房地产投资信托(REITs)风险规制法律问题研究  CNKI文献

房地产投资信托(REITs)作为一种新型的投融资工具,自2003年引入我国以来,发展日趋迅猛,备受投资者关注。然而,我国REITs的发展时间短,相关政策法规不健全,目前面临着较为严重的内、外部风险。因此,有必要加强对REITs风...

郭曦 导师:符启林 暨南大学 2008-05-21 硕士论文

基于谓词抽象的测试用例约简生成方法  CNKI文献

针对大规模软件系统状态迁移数量庞大,容易导致状态空间爆炸的问题,提出一种基于谓词抽象的测试用例约简生成方法,该方法依据给定的谓词集合对软件系统的状态空间进行等价类划分,通过状态集合之间的映射得到约简的抽象...

郭曦 张焕国 《通信学报》 2012年03期 期刊

关键词: 谓词抽象 / 状态约简 / 等价类划分 / 测试用例生成

下载(167)| 被引(12)

4种中药多糖对小鼠脾淋巴细胞增殖的影响  CNKI文献

本试验旨在研究黄芪多糖(APS)、芦荟多糖(AP)、银耳多糖(TFPS)、黑木耳多糖(AAP)4种中药多糖对小鼠脾淋巴细胞增殖的影响。将4种多糖体外作用于小鼠脾淋巴细胞;采用MTT法测细胞增殖活性。结果显示,与对照组相比较,4种...

郭曦 王继宏... 《中国兽医杂志》 2011年08期 期刊

关键词: 多糖 / 脾淋巴细胞 / 免疫增强

下载(420)| 被引(20)

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

  • 发文趋势

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

相关机构

时间的形状