管理员后台
全选
内蒙古财经大学学科服务平台(16420)
经济学(652)
管理学(1032)
理学(977)
工学(12496)
法学(186)
文学(565)
哲学(53)
教育学(467)
经济学(277)
财政学(96)
金融学(279)
经济贸易学(249)
管理科学与工程(245)
工商管理学(230)
农业经济管理(104)
公共管理(170)
图书情报(119)
物流管理与工程(30)
电子商务(104)
旅游管理(18)
统计学(318)
数学(606)
地理(270)
心理学(87)
法学(186)
政治学(53)
社会学(35)
民族学(3)
马克思主义理论(11)
计算机(12313)
环境科学与工程(91)
食品科学与工程(92)
中国语言文学(219)
外国语言文学(320)
新闻传播学(35)
哲学(53)
逻辑学(1)
宗教学(2)
教育学(409)
体育学(58)
导      航

语种

任何
中文

16419

外文

1

类型

任何
期刊

13555

图书

2154

学位论文

640

会议论文

70

标准

1

时间

任何
2019

437

2018

1108

2017

1055

2016

1186

2015

1011

2014

777

2013

752

2012

1121

2011

1130

2010

1088

2000-2009

5855

1990-1999

789

1949-1989

56

更多

收录

任何
统计源期刊(中信所)

5540

中文核心期刊(北大)

4661

CSCD中国科学引文库(..

3730

CA化学文摘(美)

1294

EI工程索引(美)

884

CSSCI中文社科引文索..

546

A类期刊

347

中文社会科学引文索引(C..

105

SCI科学引文索引(美)

70

国际开放获取期刊推荐名录

30

SSCI

1

PubMed/Medli..

1

更多

关键词

任何
程序设计

997

java语言

365

数据库

338

数据库管理系统

331

关系数据库

327

数据挖掘

252

c语言

244

高等学校

197

关系型数据库

187

android

174

关联规则

167

xml

165

java

159

关系数据库系统

155

多线程

113

嵌入式系统

102

linux

102

ajax

102

经济增长

96

基本知识

92

计算机网络

92

asp.net

92

软件工具

89

oracle

88

vc++

84

jsp

82

c#

80

web

78

应用程序

77

云计算

75

面向对象

72

vc

72

j2ee

70

数据库系统

70

算法

69

matlab

69

网络安全

66

web服务

66

二次开发

65

管理系统

64

数据结构

63

sql

61

表处理软件

61

人脸识别

60

var模型

59

协整检验

59

更多

学科

任何
工业技术

12539

自动化技术、计算..

12295

无线电电子学、电..

125

轻工业、手工业

92

建筑科学

55

电工技术

9

机械、仪表工业

8

化学工业

7

一般工业技术

5

金属学与金属工艺

5

矿业工程

4

水利工程

4

冶金工业

2

能源与动力工程

1

经济

1191

经济计划与管理

711

财政、金融

487

农业经济

148

世界各国经济概况..

139

贸易经济

74

交通运输经济

34

工业经济

28

经济学

22

旅游经济

20

信息产业经济(总..

2

数理科学和化学

699

数学

684

物理学

9

化学

4

力学

3

文化、科学、教育..

679

教育

441

信息与知识传播

160

体育

47

科学、科学研究

36

语言、文字

502

常用外国语

322

汉语

120

语言学

72

阿尔泰语系(突厥..

3

中国少数民族语言

1

美洲诸语言

1

政治、法律

294

法律(D9)

278

中国政治

11

政治理论

1

工人、农民、青年..

1

各国政治

1

外交、国际关系

1

天文学、地球科学

289

测绘学

270

地球物理学

7

大气科学(气象学..

5

海洋学

4

地质学

3

天文学

1

自然地理学

1

医药、卫生

131

预防医学、卫生学

104

特种医学

13

内科学

4

基础医学

3

临床医学

3

药学

2

一般理论

1

中国医学

1

肿瘤学

1

哲学、宗教

124

心理学

80

欧洲哲学

10

逻辑学(论理学)

7

伦理学(道德哲学..

7

哲学理论

6

中国哲学

3

非洲哲学

3

思维科学

2

美学

2

宗教

2

世界哲学

1

亚洲哲学

1

环境科学、安全科..

91

环境污染及其防治

29

环境质量评价与环..

21

废物处理与综合利..

18

环境科学基础理论

14

社会与环境

8

环境保护管理

1

灾害及其防治

1

安全科学

1

交通运输

35

公路运输

20

水路运输

9

铁路运输

5

综合运输

1

社会科学总论

33

管理学

14

统计学

13

社会学

4

人口学

2

文学

32

中国文学

30

文学理论

2

自然科学总论

27

系统科学

22

自然科学理论与方..

5

历史、地理

16

地理

13

世界史

1

中国史

1

文物考古

1

航空、航天

15

航空

11

航天(宇宙航行)

4

农业科学

13

农作物

4

农业工程

2

农学(农艺学)

2

畜牧、动物医学、..

2

植物保护

1

园艺

1

林业

1

军事

9

军事技术

5

世界军事

2

中国军事

2

生物科学

7

普通生物学

3

生物工程学(生物..

2

植物学

1

动物学

1

艺术

3

摄影艺术

1

工艺美术

1

马克思主义、列宁..

1

更多

作者

任何
郝忠孝

29

王伟

20

王勇

19

王磊

19

陈刚

19

李伟

18

李军

18

李斌

17

张磊

16

张斌

16

陈平

16

刘国华

16

张伟

14

王斌

14

刘斌

14

李健

14

李超

14

刘伟

13

李强

13

陈伟

13

李宁

13

陈亮

13

陈波

13

刘磊

13

刘晓辉

13

马志刚

13

马宗民

13

张涛

12

王鹏

12

王华

12

刘涛

12

刘波

12

李俊

12

石磊

12

王鑫

12

李建中

12

周国栋

12

王涛

11

张杰

11

王辉

11

张强

11

王浩

11

高丽萍

11

张大方

11

王军

10

刘勇

10

李平

10

李杰

10

王颖

10

更多

基金

任何
国家自然科学基金..

2209

国家自然科学基金

2248

国家自然科学基金..

13

国家自然科学基金..

9

国家杰出青年科学..

8

省市基金项目

1597

江苏省自然科学基..

71

广东省自然科学基..

54

浙江省自然科学基..

50

湖北省自然科学基..

42

山东省自然科学基..

42

福建省自然科学基..

36

北京市自然科学基..

33

安徽省自然科学基..

32

河北省自然科学基..

32

广东省科技计划基..

31

黑龙江省自然科学..

31

河南省科技攻关基..

30

江苏省高校自然科..

30

湖南省教育厅科学..

29

湖南省自然科学基..

29

广西自然科学基金

28

辽宁省自然科学基..

26

重庆市自然科学基..

24

陕西省自然科学基..

22

上海市自然科学基..

22

科技部国家科技计..

652

国家高技术研究发..

326

国家重点基础研究..

145

国家科技支撑计划

128

国家科技部博士后..

52

国家科技重大专项

42

国家科技攻关计划

5

“十一五”科技支..

3

科技部科研项目

3

国家火炬计划

3

国家科技部科技型..

2

国家软科学研究计..

2

国家星火计划

2

国家科技部创新基..

1

科技部公益性行业..

1

科技部基础性工作..

1

科技部科技基础性..

1

科技部星火计划项..

1

国家科技成果重点..

1

国家科技型中小企..

1

国家教育部基金

425

中央高校基本科研..

130

高等学校博士学科..

92

教育部人文社会科..

44

教育部新世纪优秀..

39

教育部人文社科规..

26

教育部科学技术研..

12

教育部人文社会科..

12

教育部人文社会科..

8

教育部人文社会科..

8

教育部人文社会科..

7

教育部重点实验室..

6

广东省教育部产学..

5

教育部长江学者和..

5

国家教育部留学回..

4

教育部春晖计划

4

教育部人文社会科..

4

全国教育科学规划

4

霍英东教育基金

3

教育部规划基金

3

教育部科技创新工..

3

国家社会科学基金..

167

国家社会科学基金

162

国家社会科学青年..

10

国家社会科学基金..

1

国家社会科学基金..

1

其他基金项目

104

国家留学基金

13

航空科学基金

11

电子信息产业发展..

9

武器装备预研基金

5

河南理工大学博士..

4

广西科学基金

4

广西大学科研基金

3

江苏大学高级人才..

3

重庆邮电大学自然..

3

南京理工大学科研..

3

安徽师范大学青年..

2

河南工业大学科研..

2

吉林大学基本科研..

2

陕西科技大学博士..

2

陕西科技大学研究..

2

上海海事大学校基..

2

华南农业大学校长..

2

北京理工大学基础..

1

福建农林大学青年..

1

广东工业大学博士..

1

国防部国防科技基..

21

国防基础科研基金

12

国防预研究基金

7

国防科技重点实验..

1

中国国防科技预研..

1

中国科学院基金项..

8

中国科学院知识创..

6

中国科学院科学基..

2

更多

刊种

任何
电脑编程技巧与维..

698

计算机工程与应用

536

计算机应用与软件

431

计算机工程

359

计算机工程与设计

354

电脑知识与技术

343

计算机应用

311

计算机系统应用

268

计算机技术与发展

255

现代电子技术

241

计算机与现代化

214

计算机研究与发展

181

计算机时代

170

微型电脑应用

165

软件学报

162

软件导刊

158

计算机工程与科学

124

网络安全与数据治..

114

软件

101

智能计算机与应用

101

计算机与数字工程

99

中文信息学报

87

电子设计工程

86

科学技术与工程

85

网络安全技术与应..

76

数字技术与应用

75

计算机测量与控制

75

集成电路与嵌入式..

73

计算机集成制造系..

68

电脑与信息技术

61

数智技术研究与应..

58

电子学报

48

通信学报

48

微处理机

47

计算机科学与探索

43

电子技术与软件工..

42

中国科技信息

39

科技资讯

38

小型微型计算机系..

38

电子测试

37

江西教育

36

电脑与电信

36

实验室研究与探索

35

价值工程

34

统计与决策

34

测绘通报

34

地理空间信息

33

科技创新导报

32

计算机与网络

32

通信技术

32

更多

作者单位

任何
中国科学院

203

武汉大学

155

上海交通大学

129

清华大学

128

中南大学

113

浙江大学

111

吉林大学

110

华中科技大学

110

南京航空航天大学

105

西北工业大学

105

中国科学技术大学

96

四川大学

96

东南大学

94

湖南大学

91

重庆大学

88

中国人民大学

87

同济大学

85

东北大学

84

北京大学

79

复旦大学

79

哈尔滨工业大学

78

南京大学

78

苏州大学

75

山东大学

73

华南理工大学

69

广东工业大学

69

北京邮电大学

68

西安交通大学

68

北京航空航天大学

67

合肥工业大学

66

南京邮电大学

65

华东师范大学

64

武汉理工大学

64

上海大学

63

中国科学院大学

62

中山大学

59

西南交通大学

58

大连理工大学

56

哈尔滨工程大学

56

上海理工大学

55

天津大学

54

南京理工大学

52

东华大学

51

江南大学

51

福州大学

51

郑州大学

51

电子科技大学

51

西安电子科技大学

51

燕山大学

50

更多
检索结果:检索 null 返回 16420 结果。
排序:
  • 作者:吴潇雪1,郑炜2,王培源2,王培甲2,樊宋宇21西北工业大学自动化学院;2西北工业大学软件与微电子学院 )
  • 关键词:测试用例生成;JDart;符号执行;优化策略
  • 摘要: 基于符号执行的测试用例生成方法,以其高可靠性得到了学术界和工业界广泛关注。然而,已有工具大都面向C或者C++程序,面向Java的符号执行工具发展相对较慢。JDart是表现较好的一款开源的面向Java的符号执行工具,但是对复杂数据类型比较数组却支持很弱,因此,在对JDart工具以及动态符号技术进行分析的基础上,通过对JDart测试用例生成能力和存在问题的深入剖析,针对数组处理进行改进,以提高生成测试用例的代码覆盖率,保证测试质量。最后,通过用三角形程序实例进行验证,结果表明,改进后的JDart工具能够完全探索函数中关于数组处理的所有路径。
  • 作者:张建伟1,2,王旭辉1,蔡增玉11郑州轻工业大学计算机与通信工程学院;2郑州轻工业大学软件学院 )
  • 关键词:内容中心网络;缓存决策;势能;分级缓存
  • 摘要: 针对内容中心网络CCN域内缓存策略所存在的一系列问题,提出了一种基于势能的缓存决策策略PECDS.该策略将物理学中“势能”的概念应用到网络拓扑中,为其中的内容以及节点赋予相应的势能,在保证整个CCN网络性能的前提下,实现内容的分级缓存,解决了CCN默认的TERC策略所导致的缓存内容冗余问题.仿真实验证明,相比于TERC以及ProbC,PECDS有效的提高了CCN网络缓存内容的多样性,降低了网络缓存内容的冗余度,进而减少了用户请求内容的跳数,提高了网络的缓存命中率.
  • 被引量:4

  • 作者:高丽萍1,2,游书伟11上海理工大学光电信息与计算机工程学院;2复旦大学上海数据科学重点实验室 )
  • 关键词:语义冲突;协同计算;协同编程;一致性维护
  • 摘要: 实时协同编程系统是协同交互应用的重要分支,该环境支持多个用户在任何时间任意地点并发的编辑共享的源代码文档.协同编程环境是一种特殊的协同文本编辑环境,该环境中共享的源代码文档既要满足语法一致性,也需符合语义一致性.语义不一致源于多个用户对相同的代码段或对存在依赖关系的代码段并发工作.本文深入分析了协同编程环境下语义冲突、动态依赖冲突问题及不完整的编辑操作导致的编辑错误,基于前人的研究,结合CAS(Compare And Swap)的并发控制思想,设计了实时协同环境下了语义冲突消解方法 ACAS(Automatic Compare And Swap),维护实时协同编程语义一致性.本文在Window s平台下,基于QT框架及SeaStar异步通信框架开发了实时协同编程的原型系统CoCode,并通过相关实验进一步的验证了ACAS(Automatic Compare And Sw ap)算法及相关控...
  • 被引量:2

  • 作者:孙伟娟,王宁 ( 北京交通大学计算机与信息技术学院 )
  • 关键词:实体top-k扩展;网络表格;分支限定;一致性匹配度;数据集成
  • 摘要: 现有的实体扩展技术返回单一结果,且只适用于扩展单个属性列,对于多属性列的实体扩展易产生实体不一致的问题。为此,提出2种实体top-k扩展算法。根据答案表之间的一致性匹配度,在众多网络表格中找到k个具有最高一致性支持度的答案表集合,以补充待扩展实体的缺失信息。实验结果表明,2种算法能够较好地实现实体的top-k扩展,并保持扩展结果的高一致性和高准确度。基于一致性匹配度的实体top-k扩展算法具有较高的多样性,而基于分支限界的实体top-k扩展算法在可信度方面有更好的表现。
  • 被引量:2

  • 作者:郝巍,伊鹏,江逸茗 ( 国家数字交换系统工程技术研究中心 )
  • 关键词:软件定义网络;流表项;规则冲突;编码压缩;冲突检测
  • 摘要: 软件定义网络架构中流表项的无意识性使攻击者可对其进行篡改,导致网络中出现规则冲突。针对现有规则冲突检测机制检测时间过长的问题,提出一种快速的规则冲突检测机制。通过压缩流表项,建立基于端口的规则拓扑,根据该拓扑计算端到端的可达性,从而快速检测网络中的规则冲突。仿真结果表明,在网络拓扑和流表项数量相同的条件下,相比现有的Netplumber检测机制,该机制的检测时间可降低约15%。
  • 被引量:8

  • 作者:文若晴1,2,马昂1,2,潘晓1,2,杨伟伟11石家庄铁道大学;2河北省高校人文社会科学重点研究基地(石家庄铁道大学) )
  • 关键词:签到轨迹;预处理;轨迹相似性;聚类;分层
  • 摘要: 随着基于位置的社交网络的发展,时空-文本等轨迹数据量呈指数式增长,与此同时数据低质的问题日益显著。高质的签到数据可以使研究人员更好地从中挖掘丰富且有意义的知识,因此为了更有效地使用签到大数据,数据预处理必不可少。签到数据具有冗余度高、同时签到、时空签到跨度大等低质问题,导致不能直接使用现有的数据预处理流程和方法。针对签到数据特性,提出一套具有针对性的数据预处理流程。通过平均化处理消除了签到轨迹中存在的同时签到数据;通过学习基于熵的时间戳间隔阈值划分签到轨迹,解决签到轨迹时间跨度大的问题;利用基于密度聚类的方法实现签到轨迹分层,解决空间跨度大的问题。实验采用真实的签到轨迹数据,从离群点和分层效果两个方法对预处理效果进行评价,实现不同空间粒度的签到轨迹分离预处理,为后续的轨迹分析与挖掘奠定基础。
  • 被引量:10

  • 作者:张伟1,王志杰21上海交通大学计算机科学与工程系;2中山大学数据科学与计算机学院 )
  • 关键词:时态大数据;分布式内存计算;时态连接;二级索引;分区方法;Spark框架
  • 摘要: 目前处理时态大数据连接操作多数运用分布式系统,但现有的分布式系统尚不能支持原生的时态连接查询,无法满足时态大数据低延迟和高吞吐量的处理需求。为此,提出一个基于Spark的二级索引内存解决方案。运用全局索引进行分布式分区的剪枝,使用局部时态索引进行分区内查询,提高数据检索效率。针对时态数据设计分区方法,以对全局剪枝进行优化。基于真实和合成数据集的实验结果表明,与基准方案相比,该方案可明显提高时态连接操作的处理效率。
  • 被引量:9

  • 作者:程传 ( 中原工学院计算机学院 )
  • 关键词:Spark GraphX;关键词提取;图排序;词语权重
  • 摘要: TextRank算法根据文本词语的位置关系构造图,应用图排序的算法计算出词语的权重,在计算过程中需要进行大量的迭代运算,在数据规模较大的时候,计算时间尤为可观.针对此问题,提出了一种基于Spark GraphX的关键词抽取方法,利用Spark GarpX所提供的分布式计算的图框架,将文本图数据分布式存储在不同的节点上,高效地实现了文本关键词的抽取.实验表明,本文中提出的基于Spark GraphX的关键词抽取方法,不仅计算时间短,抽取的关键词与人工标注的结果非常接近,具有一定的合理性.
  • 被引量:6

  • 作者:常欢,罗奇鸣,李薛剑,陈意云 ( 中国科学技术大学计算机科学与技术学院;中国科大先进技术研究院中国科大国创高可信软件工程中心 )
  • 关键词:程序验证;Hoare逻辑;内存模型;别名;栈区
  • 摘要: C语言中的指针导致C程序中会出现表达式别名的情况.在基于演绎推理的程序验证中,使用Hoare逻辑的赋值规则前必须消除断言中的别名.别名增加了程序验证的难度.本文根据C语言的语义提出了一种栈区内存模型,可以精确地跟踪栈区的多种类型的表达式,包括取地址、多级解引用、指针关系运算、结构体和数组等.基于上述内存模型,本文提出了一种判断别名的算法,使得验证工具在使用Hoare逻辑的赋值公理之前可以准确的消除断言中的别名.目前该模型已经在一个名为Safe-C验证器的程序验证工具中实现,并且成功验证了多例经典程序.
  • 被引量:2

  • 作者:庞伟,孙玉栋 ( 中国人民大学公共管理学院 )
  • 关键词:公共服务;财政分权;门限效应
  • 摘要: 相对于中央与地方,省以下财政分权对地区公共服务的影响更为直接,但是这种影响是非线性的。以省域内地市级以上政府财政自主度变异系数作为区域发展差异的代理变量,分析2004—2016年27个省份在不同发展差异程度下省以下财政分权对公共服务供给的门限效应。研究发现,区域发展差异水平在不同的门限值区间时,省以下财政收入分权对当地公共服务供给表现出完全不同的影响。而当省域内发展不平衡程度超过第三门限值以上时,只有财政支出指标会对公共服务供给产生显著影响。根据研究结论提出相应政策建议。
  • 被引量:16