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

语种

任何
中文

16426

外文

1

类型

任何
期刊

13562

图书

2154

学位论文

640

会议论文

70

标准

1

时间

任何
2019

437

2018

1109

2017

1055

2016

1187

2015

1011

2014

778

2013

752

2012

1122

2011

1131

2010

1088

2000-2009

5857

1990-1999

789

1949-1989

56

更多

收录

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

5542

中文核心期刊(北大)

4664

CSCD中国科学引文库(..

3730

CA化学文摘(美)

1294

EI工程索引(美)

884

CSSCI中文社科引文索..

547

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

更多

学科

任何
工业技术

12546

自动化技术、计算..

12302

无线电电子学、电..

125

轻工业、手工业

92

建筑科学

55

电工技术

9

机械、仪表工业

8

化学工业

7

一般工业技术

5

金属学与金属工艺

5

矿业工程

4

水利工程

4

冶金工业

2

能源与动力工程

1

经济

1191

经济计划与管理

711

财政、金融

487

农业经济

148

世界各国经济概况..

139

贸易经济

74

交通运输经济

34

工业经济

28

经济学

22

旅游经济

20

信息产业经济(总..

2

数理科学和化学

700

数学

685

物理学

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

更多

基金

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

2210

国家自然科学基金

2249

国家自然科学基金..

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

更多

刊种

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

699

计算机工程与应用

536

计算机应用与软件

432

计算机工程

359

计算机工程与设计

354

电脑知识与技术

343

计算机应用

311

计算机系统应用

268

计算机技术与发展

255

现代电子技术

241

计算机与现代化

215

计算机研究与发展

181

计算机时代

170

微型电脑应用

165

软件学报

162

软件导刊

158

计算机工程与科学

124

网络安全与数据治..

114

软件

101

智能计算机与应用

101

计算机与数字工程

99

中文信息学报

87

电子设计工程

86

科学技术与工程

85

网络安全技术与应..

76

数字技术与应用

75

计算机测量与控制

75

集成电路与嵌入式..

73

计算机集成制造系..

68

电脑与信息技术

62

数智技术研究与应..

58

电子学报

48

通信学报

48

微处理机

47

计算机科学与探索

43

电子技术与软件工..

42

中国科技信息

39

科技资讯

38

小型微型计算机系..

38

电子测试

37

江西教育

36

电脑与电信

36

统计与决策

35

实验室研究与探索

35

价值工程

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

南京大学

79

哈尔滨工业大学

78

苏州大学

75

山东大学

73

华南理工大学

69

广东工业大学

69

北京邮电大学

68

西安交通大学

68

北京航空航天大学

67

合肥工业大学

67

南京邮电大学

65

华东师范大学

64

武汉理工大学

64

上海大学

63

中国科学院大学

62

中山大学

59

西南交通大学

58

大连理工大学

56

哈尔滨工程大学

56

上海理工大学

55

天津大学

54

南京理工大学

52

东华大学

51

江南大学

51

福州大学

51

郑州大学

51

电子科技大学

51

西安电子科技大学

51

燕山大学

50

更多
检索结果：检索 null 返回 16420 结果。
排序：
 期刊 
基于Event-B的自动化模块组合方法研究
  • 作者：陈金鑫，苏雯 （ 上海大学计算机工程与科学学院 ）
  • 关键词：形式化方法；Event-B方法；模块化建模；自动化模块组合方法；模块调用；精化
  • 摘要： Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高组合效率,提出一种针对模型的自动化组合理论,并开发自动化组合工具原型。为在精化模型中逐步引入模块调用,改进PROG方法,开发自动精化工具原型。通过2个应用案例,验证了自动化组合工具能自动组合事件,自动精化工具能减少调用变量的数量,从而增强系统模型的可读性和可维护性。

  • 被引量：4

 期刊 
基于MVC架构的个人健康信息管理系统设计与实现
  • 作者：贾顺贺，陈建飞，陈古运，周熠，张胜 （ 南京邮电大学光电工程学院 ）
  • 关键词：个人健康信息；医疗健康服务；面向服务架构；SSH框架
  • 摘要： 随着健康生活观念越来越被人们重视,个人健康信息管理作为一个新型网络化医疗信息管理模式逐渐出现在人们的视野中。通过体系结构的分析研究,提出运用SSH框架设计并实现一种基于MVC架构的个人健康信息管理系统。研究管理系统的功能需求;研究由Struts、Spring、Hibernate集成的SSH框架技术实现MVC架构;研究单点登录的实现和改善。系统实现了视图、控制器与模型的分离,提高了系统的可复用性、扩展性和维护性。经过开发、测试和部署应用后,实践表明系统不仅满足了用户需求,同时做到了界面友善、运行稳定、效果良好。

  • 被引量：61

 期刊 
基于区域内存模型的空指针引用缺陷检测
  • 作者：董玉坤1,2，宫云战1，金大海1 （ 1北京邮电大学网络与交换技术国家重点实验室；2中国石油大学(华东)计算机与通信工程学院 ）
  • 关键词：空指针引用；内存模型；静态分析；函数摘要；缺陷检测
  • 摘要： 为了实现对C程序中空指针引用的充分检测,本文提出了一种基于区域内存模型的空指针引用缺陷检测方法.首先,提出了基于区域的符号化三值逻辑(Region-based Symbolic Three-Valued Logic,RSTVL),RSTVL能够描述C程序运行时内存中数据结构的形态信息与变量的存储状态,以及可寻址表达式间的各种关系;其次,给出了基于抽象语法树与函数摘要识别被引用指针方法;最后,结合基于RSTVL的数据流分析结果,将对被引用指针的检测转换为对相应区域的检测,给出了空指针引用缺陷检测的方法,通过函数摘要实现过程间的空指针引用缺陷检测.对比实验结果表明,本文方法在保证一定检测准确率的前提下,能够极大的减少空指针引用缺陷的漏报.

  • 被引量：14

 期刊 
C#实现基于Socket的信息教学系统设计
  • 作者：吕鹏辉，张起贵 （ 太原理工大学 ）
  • 关键词：信息技术；教学平台；Socket；TCP/IP通信；多线程；数据交换
  • 摘要： 为了给教师、学生以及家长带来更多学习便利,利用.NET的Winform框架和基于Socket的TCP/IP的通信模式及可扩展标记语言(XML)等搭建设计了基于C/S(Client/Server)多线程架构的信息教学平台。信息教学平台主要实现了两大功能:单机自测与联网学习。单机自测要求学生可在固定题库中选择题型自我练习;联网学习需要客户端和服务器端在同一局域网下通过Socket的TCP/IP的通信模式来进行数据交换,同时服务器端采用Microsoft Access数据库来存储学生信息并且可以直接以.xls文件导出学生的姓名、学号、成绩等信息。整个系统不论在各个模块之间的切换还是在客服两端数据交换的效率上都具有较高的鲁棒性。

  • 被引量：25

 期刊 
On Conformal Metrics with Constant Q-Curvature
  • 作者：Andrea Malchiodi （ Scuola Normale Superiore ）
  • 关键词：GEOMETRIC；PDES；VARIATIONAL；methods；MIN-MAX；SCHEMES
  • 摘要： We review some recent results in the literature concerning existence of conformal metrics with constant Q-curvature. The problem is rather similar to the classical Yamabe problem: however it is characterized by a fourth-order operator that might lack in general a maximum principle. For several years existence of geometrically admissible solutions was known only in particular cases. Recently, there...

  • 被引量：1

 期刊 
基于多维数据分析的高校图书馆采访改进
  • 作者：宋爱林1，朱云霞2，袁思本3 （ 1南京森林警察学院图书馆信息技术部；2南京邮电大学物联网学院网络工程系；3南京森林警察学院图书馆文献资源建设部 ）
  • 关键词：图书采访；多维度；流通数据；实证研究
  • 摘要： 传统图书采访较多基于图书馆员意志或简单的读者借阅反馈。为提高高校馆纸本图书的流通量,提出融合反馈思想的图书采访改进模式。通过对流通数据的多维度分析,总结读者借阅规律,验证图书采访改进工作成效,从供给侧着手,使图书采访更符合读者需求,提高服务效能。

  • 被引量：6

 期刊 
基于深度自动编码器的托攻击集成检测方法
  • 作者：郝耀军1,2，张付志2 （ 1忻州师范学院计算机系；2燕山大学信息科学与工程学院 ）
  • 关键词：协同过滤；托攻击；托攻击检测；深度稀疏自动编码器；项目时间流行度等级
  • 摘要： 在采用协同过滤技术的推荐系统中,恶意用户通过注入大量虚假概貌使系统的推荐结果产生偏离,达到其攻击目的。为了检测托攻击,根据用户的评分值或基于攻击时间的集中性假设,从不同视角提取攻击概貌的特征。但是,这些基于人工特征的检测方法严重依赖于特征工程的质量,而且人工提取的检测特征多限于特定类型的攻击,提取特征也需要较高的知识成本。针对这些问题,从用户评分项目的时间偏好信息入手,提出一种利用深度稀疏自动编码器自动提取检测特征的托攻击集成检测方法。利用小波变换将项目在不同时间间隔内的流行度设定为多个等级,对用户的评分数据预处理得到用户-项目时间流行度等级矩阵。然后,采用深度稀疏自动编码器对用户-项目时间流行度等级矩阵自动进行特征提取,得到用户评分模式的低层特征表达,消除了传统的人工特征工程。以SVM作为基分类器,在深度稀疏自动编码器的每层提取特征并进行攻击检测,生成最终的集成检测结果。在Netflix...

  • 被引量：5

 期刊 
一种基于RRT技术的面向对象软件测试方法
  • 作者：陈锦富，奚家祥，于敏杰，黄如兵，包骐豪 （ 江苏大学计算机科学与通信工程学院 ）
  • 关键词：面向对象软件测试；自适应随机测试；距离度量；测试用例结构；限制性随机测试
  • 摘要： 针对目前面向对象软件的测试方法较少且效率不高的问题,提出将基于ART(adaptive ran-dom testing)思想的限制性随机测试RRT(restricted random testing)应用到面向对象程序中的方法.分析了面向对象软件测试用例的结构,提出了测试用例包含动态部分和静态部分.确定测试用例之间的距离为动态部分和静态部分的距离和,并分别给出了这2个距离的计算公式.设计了基于RRT的测试原型系统,该原型系统主要的功能模块有类图录入模块、测试用例距离度量模块、基于RRT测试用例生成模块、结果分析模块.通过试验对比了文中方法与随机测试方法.结果表明,文中提出面向对象的RRT方法在发现第1个程序错误的测试中比随机测试方法减少了约50%的测试用例数量,且在发现测试用例的质量上也几乎与随机测试相同.文中提出的测试用例度量机制能够有效地对面向对象软件中的测试用例进行区分,基于RRT的...

  • 被引量：12

 期刊 
Research on community detection algorithm based on site topic similarity and topology
  • 作者：胡艺1，Li Zhengmin2，Chi Lejun1，Lin Jinxiu1 （ 1School of Computer Science and Technology,Harbin Institute of Technology；2National Computer Network Emergency Response Technical Team/Coordination Center of China ）
  • 关键词：拓扑学；算法；地点；类似；社区；精确性；试验性；偏差
  • 摘要： Considering the deviation in content of community detection resulting from the low accuracy of resource relevance,an algorithm based on the topology of sites and the similarity between their topics is proposed. With topic content factors fully considered,this algorithm can search for topically similar site clusters on the premise of inter-site topology. The experimental results show that the algor...
 期刊 
文件管理中一种新颖的冲突检测和解决方法
  • 作者：高丽萍1,2，陶长青1 （ 1上海理工大学光电信息与计算机工程学院；2复旦大学上海市数据科学重点实验室 ）
  • 关键词：文件管理；CRDT；冲突检测；冲突解决
  • 摘要： 随着云服务的快速发展,越来越多的应用软件被迁移到云端以提供更好的协作支持.而企业面对日渐增长的庞杂的文件,单人管理文件显得力不从心,提高文件管理的效率迫在眉睫.多人实时协同管理文件不仅可以提高文件管理效率,同时也可以清楚的了解同伴的意愿需求,提高用户的体验度.而实时的多人协同管理文件中面临的最大的挑战就是维护文件管理系统的一致性维护.传统的一致性维护方法通常是基于复杂的控制机制和转换函数来维护协作文本的一致性,这对于云环境下的协同管理不是很理想的.近年来,CRDT(Commutative Replicated Data Type)被提出作为协作文本编辑中的新的一致性维护机制,但鲜少将其应用到云环境和文件管理等场景下.本文提出了一种新的基于CRDT的冲突检测和解决方法,来维护文件协同管理的最终一致性.首先定义操作之间的关系,并提出了基于CRDT的冲突检测机制;其次,提出基于CRDT的冲突解决...

  • 被引量：7