管理员后台
全选
内蒙古财经大学学科服务平台(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 返回 16427 结果。
排序：
 期刊 
一种基于二部图和节点角色划分的社交网络推荐方案
  • 作者：肖云鹏，刘瀚松，刘宴兵 （ 重庆邮电大学网络与信息安全技术重庆市工程实验室 ）
  • 关键词：社交网络；二部图；角色划分；个体推荐
  • 摘要： 针对现有社交网络用户推荐方案中大规模网络个体相似性计算复杂度高以及个体节点无差异对待的问题,本文提出一种基于二部图和节点角色划分的推荐方案.首先,通过划分重叠群体简化原生社交网络结构,并进一步构建群体-个体二部图模型;其次,通过群体-个体二部图所反映的拓扑特征,结合节点自身属性特征,对个体进行角色划分,提出一种基于群体-个体二部图的角色划分模型;最后,针对大规模网络中计算个体相似性复杂度高的问题,构建基于角色差异下的个体-个体二部图模型,实现层次化、个性化的推荐.实验表明,该方案适用于对社交网络中兴趣广泛度存在差异的个体间进行好友推荐,并在较小规模的二部图上生成目标个体推荐列表,降低了计算个体相似性的复杂度.

  • 被引量：7

 期刊 
面向微服务系统的运行时部署优化
  • 作者：徐琛杰，周翔，彭鑫，赵文耘 （ 复旦大学软件学院；上海市数据科学重点实验室(复旦大学) ）
  • 关键词：微服务；可视化；监控；自动伸缩；自适应
  • 摘要： 传统云计算环境下的自动伸缩工具根据预先设定的条件为所有资源过少的微服务增加实例,所有资源过多的微服务减少实例,从而调节微服务占有的资源量。当集群资源不足时,这些工具可以动态地向集群中添加新服务器。但在集群资源固定且有限的场景下,这些工具无法向集群中添加新服务器,进而当集群资源不足时,将无法如期调节微服务实例数量。此外,这些工具需要为每个微服务单独配置伸缩方案,因此不适用于集群资源固定且有限的场景。针对以上问题,提出一个基于MAPE(Monitor,Analyze,Plan,Execute)环路的自适应部署优化方法。在集群资源固定且有限的场景下,根据各个微服务实例的资源使用情况、微服务调用链及集群资源使用情况,选出一组微服务进行动态伸缩,以达到降低平均响应时间的效果。实现一个面向微服务系统的运行时监控及部署优化工具,并进行仿真实验。实验验证了在集群资源固定且有限的场景下部署优化方法的有效性。

  • 被引量：34

 期刊 
一种随机化的软件模型生成方法
  • 作者：何啸1,2,3，李文峰1，张天3，麻志毅2，邵维忠2，胡长军1 （ 1北京科技大学计算机与通信工程学院；2高可信软件技术教育部重点实验室(北京大学)；3计算机软件新技术国家重点实验室(南京大学) ）
  • 关键词：模型生成；模型转换；性能测试；随机测试；模型驱动工程
  • 摘要： 模型转换是模型驱动开发的核心技术.当要把模型转换用于工业生产时,其性能成为影响这一技术成败的关键因素之一.为了测试模型转换程序的性能,需要能够快速地生成一组具有较大规模的模型数据用于作为测试的输入数据.提出一种随机化的模型生成方法,该方法能够根据元模型的定义以及用户输入的约束条件随机且正确地生成模型文件.实验结果表明:该方法与其他方法相比,具有更好的生成效率,从而更适合支持模型转换的性能测试.

  • 被引量：6

 期刊 
基于电子病历的患者相似性分析综述
  • 作者：贾峥1，宗瑞杰2，段会龙1，李昊旻3,4 （ 1浙江大学生物医学工程与仪器科学学院；2青岛市中心血站；3浙江大学医学院附属儿童医院；4浙江大学转化医学研究院 ）
  • 关键词：患者相似性；电子病历；个性化诊疗；数据挖掘
  • 摘要： 预测患者未来的健康状态具有重要社会意义和科学价值。医疗大数据的积累为通过数据挖掘和分析来获得预测模型,或建立预测方法提供新的基础。患者相似性分析基于普适的患者间距离评估,从大量临床实践数据中获取疾病发展的普遍规律,从而为使用通用的计算机辅助临床决策支持框架、达到个性化诊疗提供了可能。目前该技术已在癌症、内分泌疾病、心脏疾病等大量领域得到初步的验证,并成为医学人工智能技术向临床转化最重要的一个方向。首先综述患者相似性分析的理论基础和研究进展,详细阐述患者相似性分析的一般性计算框架,讨论其中所涉及的大量关键技术,如数据预处理、降维、计算概念间距离和构建相似组等,以期为国内同行提供关于该领域研究的最新进展。同时指出目前患者相似性的研究还存在问题和挑战,为国内开展相关研究提供参考。

  • 被引量：26

 期刊 
常用循环摘要的自动生成方法及其应用
  • 作者：翟娟1,2，汤震浩1,3，李彬1,3，赵建华1,3，李宣东1,3 （ 1计算机软件新技术国家重点实验室(南京大学)；2南京大学软件学院；3南京大学计算机科学与技术系 ）
  • 关键词：循环摘要；循环不变式；前置条件；后置条件；程序验证
  • 摘要： 采用形式化方法证明软件的正确性,是保障软件可靠性的有效方法.而对循环语句的分析与验证,是形式化证明中的关键,对循环语句的处理一直是程序分析与验证中的一个难点问题.提出使用循环语句修改的内存和这些内存中存放的新值来描述循环语句的执行效果,并将该执行效果定义为循环摘要.同时,提出一种自动生成循环摘要的方法,可以为操作常用数据结构的循环自动生成循环摘要,包含嵌套循环.此外,基于循环摘要,可以自动生成循环语句的规约,包括循环不变式、循环的前置条件以及循环的后置条件.已经实现了自动生成循环摘要以及循环规约的方法,并将它们集成到验证工具Accumulator中.实验结果表明,该方法可以有效地生成循环摘要,并生成多种类型的规约,从而辅助软件程序的形式化证明,提高验证的自动化程度和效率,减轻验证人员的负担.

  • 被引量：5

 期刊 
酿酒酵母戊糖转运蛋白及C6/C5共代谢菌株的研究进展
  • 作者：汪城墙1,2，李洪兴3,2，徐丽丽3，沈煜2，侯进2，鲍晓明3,2 （ 1山东农业大学生命科学学院山东省农业微生物重点实验室；2山东大学生命学院微生物技术国家重点实验室；3齐鲁工业大学生物工程学院山东省微生物工程重点实验室 ）
  • 关键词：糖转运蛋白；戊糖；代谢工程；纤维素乙醇；芽殖酵母
  • 摘要： 充分利用木质纤维素中的糖分是提高以此类生物质为原料生产二代燃料乙醇经济盈利性的基本要求,也是实现其他生物基化学品规模化生产的基础。传统的乙醇生产微生物酿酒酵母Saccharomyces cerevisiae具有独特的生产性能及内在优势,是备受关注的底盘细胞,但其不能有效地利用戊糖。利用代谢工程、合成生物学策略,对二代燃料乙醇生产专用酿酒酵母的精准构制持续研究了30余年,已明显改善了其对木糖/葡萄糖的乙醇共发酵能力。近年来关注点集中在早期忽略的限速步骤即糖转运环节的研究上,以期实现不同糖分各行其道、高效专一性转运蛋白各行其责的二代燃料乙醇生产特种酿酒酵母所需的糖转运理想状态。文中主要综述了酿酒酵母戊糖转运蛋白的研究进展,及酿酒酵母的木糖和L-阿拉伯糖代谢工程的研究现状。

  • 被引量：10

 期刊 
应用软件运行日志的收集与服务处理框架
  • 作者：张骁1,2，应时1,2，张韬3 （ 1武汉大学软件工程国家重点实验室；2武汉大学计算机学院；3中国移动通信集团湖北有限公司 ）
  • 关键词：日志数据；框架；收集处理；分布式收集；多层次数据存储；查询服务
  • 摘要： 随着现代计算机系统的规模和复杂性不断增大,其运行日志的数量也不断增多,但是由于日志数据的规模巨大、内容杂乱,用户查看日志数据具有一定的困难,因此对应用软件运行日志进行有效收集与处理具有重要意义。提出了一种应用软件运行日志的收集与服务处理框架,利用分布式收集策略对日志数据收集,定义了一种多层次数据存储结构对日志数据进行存储,并向用户提供日志数据查询服务。通过对某综合减灾系统的日志数据分析验证了提出的日志数据收集与服务处理框架的实用性,并与传统的日志收集分析软件ELK和Chukwa进行了对比。

  • 被引量：26

 期刊 
PHP程序污点型漏洞静态检测方法
  • 作者：麻荣宽，魏强，武泽慧 （ 解放军信息工程大学 ）
  • 关键词：抽象解析树；控制流图；污点型漏洞；路径遍历；污点分析
  • 摘要： 针对基于PHP语言开发的Web应用程序产生的污点型漏洞,提出一种静态代码分析检测的方法。提出的生成控制流图的算法,基于PHP内置函数解析PHP程序,生成抽象解析树,进而生成控制流图;对内置特征、入口点和敏感点进行建模,精确分析数据流;提出基于有效路径的污点分析方法,提高了分析的准确性,实现了基于变量回溯的路径遍历算法。实现了该方法的原型系统,并对两个广泛使用的PHP应用程序进行测试,发现了6个未公开漏洞和11个已公开漏洞,证明了该系统具有较强的漏洞检测能力。

  • 被引量：19

 期刊 
一种符号执行制导的循环内界分析方法
  • 作者：赵祖威1,2，冯世宁3,4，汤恩义1,2，陈鑫1，李宣东1,2，潘敏学1,2，赵晨1,2 （ 1南京大学软件新技术国家重点实验室；2南京大学软件学院；3南瑞集团公司(国网电力科学研究院)；4国电南瑞科技股份有限公司 ）
  • 关键词：循环边界分析；符号执行；软件测试
  • 摘要： 循环是计算机中重要的复杂程序结构.很多应用场景要求静态分析循环可能达到的最大迭代次数,即循环边界(Loop Bound).对应技术在文献中被称为循环边界分析(Loop Bound Analysis).现有的循环边界分析均使用保守方式进行外界分析,即产生略高于循环边界的近似值.基于这一现状,本文提出了一种自动地循环内界分析方法,产生略低于循环边界的近似值.当用户综合利用外界与内界分析,能将循环边界值约束到一个统计区间,从而能对分析结果获得更为完整的认识.本文基于循环条件制导的符号执行(Symbolic Execution)技术实现了循环内界分析,该技术的本质在于它能够利用符号执行符号化推导程序执行约束的特点,准确求解循环在程序所有合法输入条件下的边界值,并由生成的测试用例来保证该边界值一定可达(即保证是循环内界).本文对符号执行制导技术进行了优化,并在多组已有研究采用的基准用例集上进行了实例...

  • 被引量：4

 期刊 
以教学为业：大学教学型教师发展的理据与制度构想
  • 作者：李永刚 （ 天津大学教育学院教育科学研究中心 ）
  • 关键词：教学型教师；教学学术；教学能力；专业发展
  • 摘要： 以教学为主业的大学教师发展所面临的困境,很大程度上是由于传统教学与科研关系认识论的影响。在教师个体层面,是否直接从事研究与知识传授内容之间并无必然联系,知识传授只是大学教学的一部分;科学研究过度的专业化与精力投入对教学有负面影响,教师与学者二者的风格与气质并不相同,好学者未必是好教师。从历史源起来看,教学型教师曾是古典大学教师的主要形态,在学术工作日益专业化的今天,大学对教学型教师的需求再次显现。教学型教师的发展需要构建稳固、明确的职业发展通道;提高职业准入门槛;加强教师开展教育教学研究、相关教学主题综述性研究的学术能力;健全教师教学专业发展支持体系;建立多元主体、多样化内容的评价体系。

  • 被引量：7