检索结果-内蒙古大学图书馆

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

567 篇 会议
522 篇 期刊文献

馆藏范围

1,089 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

756 篇 工学
- 592 篇 计算机科学与技术...
- 517 篇 软件工程
- 153 篇 信息与通信工程
- 86 篇 控制科学与工程
- 77 篇 生物工程
- 67 篇 生物医学工程（可授...
- 57 篇 机械工程
- 53 篇 电子科学与技术（可...
- 50 篇 化学工程与技术
- 44 篇 光学工程
- 41 篇 电气工程
- 26 篇 仪器科学与技术
- 23 篇 交通运输工程
- 22 篇 航空宇航科学与技...
- 19 篇 土木工程
- 14 篇 建筑学
- 13 篇 动力工程及工程热...
419 篇 理学
- 295 篇 数学
- 95 篇 生物学
- 72 篇 统计学（可授理学、...
- 57 篇 物理学
- 51 篇 化学
- 29 篇 系统科学
253 篇 管理学
- 136 篇 管理科学与工程(可...
- 120 篇 图书情报与档案管...
- 39 篇 工商管理
43 篇 医学
- 35 篇 临床医学
- 28 篇 基础医学(可授医学...
- 24 篇 药学(可授医学、理...
19 篇 农学
17 篇 法学
- 15 篇 社会学
7 篇 经济学
6 篇 教育学
4 篇 艺术学
3 篇 文学
2 篇 军事学

主题

64 篇 computer science
57 篇 educational inst...
50 篇 knowledge engine...
50 篇 laboratories
50 篇 educational tech...
39 篇 data mining
27 篇 computer science...
24 篇 ontology
21 篇 image segmentati...
21 篇 semantics
20 篇 feature extracti...
16 篇 genetic algorith...
15 篇 deep learning
14 篇 ontologies
14 篇 topology
13 篇 reinforcement le...
13 篇 clustering algor...
11 篇 support vector m...
11 篇 recommender syst...
11 篇 neural networks

机构

471 篇 college of compu...
273 篇 key laboratory o...
84 篇 key laboratory o...
44 篇 college of softw...
41 篇 key laboratory o...
35 篇 key laboratory o...
32 篇 college of compu...
29 篇 school of artifi...
24 篇 jilin university...
20 篇 jilin university...
19 篇 key laboratory o...
19 篇 key laboratory o...
17 篇 school of comput...
17 篇 key laboratory o...
16 篇 jilin university...
15 篇 key laboratory o...
15 篇 department of co...
15 篇 key laboratory o...
14 篇 key laboratory o...
14 篇 the college of c...

作者

45 篇 yang bo
35 篇 liang yanchun
34 篇 sun geng
31 篇 ouyang dantong
28 篇 dantong ouyang
28 篇 li xiongfei
26 篇 li ximing
25 篇 ouyang jihong
24 篇 yanchun liang
23 篇 niyato dusit
23 篇 bo yang
22 篇 liu dayou
22 篇 yanheng liu
22 篇 liu yanheng
21 篇 li jiahui
20 篇 da-you liu
19 篇 guan renchu
19 篇 zuo wanli
19 篇 dayou liu
18 篇 chen haipeng

语言

1,022 篇 英文
47 篇 其他
20 篇 中文

检索条件"机构=Key Laboratory of Symbolic Computation and Knowledge Engineering for Ministry of Education"

共 1089 条记录，以下是871-880 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Heuristics propositional extension rule method

Heuristics propositional extension rule method

引用

2009 4th International Conference on Innovative Computing, Information and Control, ICICIC 2009

作者： Wu, Xia Yu, Haihong Li, Ying College of Computer Science and Technology Jilin University 130012 Changchun China Key Laboratory of Symbolic Computation and Knowledge Engineer Ministry of Education 130012 Changchun China

ISBN: (纸本)9780769538730

Theorem proving based on the extension rule is a new reasoning method. Based on the extension rule algorithm RIER, this paper presents a more efficient algorithm HRIER, which uses the heuristic strategy to guide the choosing of restricted searching space. The experiment results show HRIER improves the efficiency a lot , meanwhile it keeps the essence characteristic of extension rule method, namely it is still potentially a complementary method to resolution based methods. © 2009 IEEE.

关键词： Heuristic methods

来源：评论

学校读者我要写书评

暂无评论

In-vehicle information system based on Linux with IPV6

In-vehicle information system based on Linux with IPV6

引用

作者： Qu, Liangdong Liu, Yanheng Wei, De Yu, Xuegang College of Computer Science and Technology Jilin University ChangchunJilin130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University ChangchunJilin130012 China

ISBN: (纸本)9780791802977

Designed and implemented an in-vehicle information system based on Linux with IPv6. There were three modules in this system included CDMA connection module based IPv6 applications, NAT/firewall based on IPtables/Netfilter, and display module based on miniGUI. We could use CDMA connection module to send the GPS and the CAN bus data to the remote servers, and the firewall based on IPtables/Netfilter could provide some rules to protect the system against attack. It was also designed to support the inter-vehicle users to visit internet through the system based on NAT module. The GPS module could get GPS information from GPS receiver. A touch-screen was used to display the information of GPS and CAN bus by the display module.

关键词： Information use

来源：评论

学校读者我要写书评

暂无评论

Extended pawlak's flow graphs and information theory

Extended pawlak's flow graphs and information theory

引用

作者： Liu, Huawen Sun, Jigui Zhang, Huijie Liu, Lei College of Computer Science and Technique Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China Department of Computer Science Northeast Normal University Changchun 130021 China

ISBN: (纸本)3642020968

Flow graph is an effective and graphical tool of knowledge representation and analysis. It explores dependent relation between knowledge in the form of information flow quantity. However, the quantity of flow can not exactly represent the functional dependency between knowledge. In this paper, we firstly present an extended flow graph using concrete information flow, and then give its interpretation under the framework of information theory. Subsequently, an extended flow graph generation algorithm based on the significance of attribute is proposed in virtue of mutual information. In addition, for the purpose of avoiding over-fitting and reducing store space, a reduction method about this extension using information metric has also been developed. © 2009 Springer Berlin Heidelberg.

关键词： Decision theory

来源：评论

学校读者我要写书评

暂无评论

A new framework for accessing trusted network

A new framework for accessing trusted network

引用

2nd International Conference on Intelligent Networks and Intelligent Systems, ICINIS 2009

作者： Wang, Jian Liu, Yanheng Jia, Xiangpeng Liu, Xiaomin College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun 130012 China Chinamobile Shenyang Branch Corporation Shenyang 110011 China

ISBN: (纸本)9780769538525

Trusted Network Connect (TNC), whose goal is to improve network security from source, now has become hot topic in security domain. We proposed a new access model for the terminals without meeting the requirements in TNC specifications. Also we discussed the work flow and communication process of presented model. Simulations show that the feasibility of the presented model used in the scenario where terminals fall short of network demand can pass the access authentication of network with TNC specifications. © 2009 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Semantic Web Service Modeling and Composition Based on Description Logic Rule

Semantic Web Service Modeling and Composition Based on Descr...

引用

International Conference on Information Technology and Computer Science, ITCS

作者： Sipei Liu Dayou Liu Hong Qi College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

One kind of semantic Web service modeling and composition method based on description logic (DL) rule is introduced in this paper. We use DL rule to figure out the hyponymy relationship between concepts of domain ontology and model Web service functional semantic of ServiceProfile, and define service DL rule to describe semantic matching of atomic Web service. Furthermore, we propose DL rule chain to describe semantic Web service composition, and prove that its semantic is corresponding to a new DL rule. Moreover, we give DL rule chain finding algorithm and WSR matching algorithm to find the composition result. Finally, we generate a dataset to test two algorithms above and show perfect execution efficiency.

关键词： Semantic Web Web services Ontologies Logic functions Computer science Meteorological radar Testing Information technology educational institutions educational technology

来源：评论

学校读者我要写书评

暂无评论

An Approach to Accelerate Diagnosis by Isomorphic Determining

An Approach to Accelerate Diagnosis by Isomorphic Determinin...

引用

International Conference on Information engineering and Computer Science (ICIECS)

作者： Xiaoyu Wang Dantong Ouyang Yuxuan Feng Jian Zhao College of Computer Science & Technology Key Laboratory Symbolic Computation and Knowledge engineering Ministry of Education Jilin University Changchun China

When diagnosing dynamic system represented as discrete-event systems, it needs to find what happened to the systems from observations. The behavior of system could be represented by automaton model. The diagnostic task consists in determining the models compatible with the observations, but the global computation which is needed in synchronization costs exponential time. In this paper we propose a new method to simplify the automaton by isomorphic determining. The cost of computation will be significantly cut down by merging the automatons with the same structure, and the time-complexity of the diagnosis process could be reduced by the method.

关键词： Acceleration Automata Discrete event systems educational institutions Computer science Laboratories knowledge engineering Costs computational efficiency Merging

来源：评论

学校读者我要写书评

暂无评论

Automatic Integration of Deep Web Query Interfaces Based on Ontology

Automatic Integration of Deep Web Query Interfaces Based on ...

引用

International Conference on Computer Sciences and Convergence Information Technology (ICCIT)

作者： Ying Wang Tao Peng Wanli Zuo Fengling He College of Computer Science and Technology Ministry of Education Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Changchun China

ISBN: (纸本)9781424452446

Query interface is used to formulate queries to receive needed data from web databases in deep web. In order to access domain-specific databases, the most important step is to construct an integration interface that allows uniform access to disparate relevant sources. Therefore, this paper proposes a novel method of integrating query interfaces based on ontology in deep web. Firstly, make full use of the complex relationships which are provided by ontology, and find the semantic relationships between attributes. Then, record the matching relationships and matching frequencies into a mapping table to reserve the structure and the order of attributes. Lastly, extract these concepts from ontology as integration interface attributes which are matched with corresponding attribute labels from local interfaces, and descend order in accordance with the matching frequencies to get an integration interface. Experiment result shows that this method has dramatically improved the matching precision of query interfaces.

关键词： Deep Web Ontology Interface integration Mapping table

来源：评论

学校读者我要写书评

暂无评论

K-Means on Commodity GPUs with CUDA

K-Means on Commodity GPUs with CUDA

引用

Computer Science and Information engineering, CSIE, WRI World Congress on FLAGGED

作者： Bai Hong-tao He Li-li Ouyang Dan-tong Li Zhan-shan Li He Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University China Jilin University Changchun Jilin CN

K-means algorithm is one of the most famous unsupervised clustering algorithms. Many theoretical improvements for the performance of original algorithms have been put forward, while almost all of them are based on single instruction single data (SISD) architecture processors (GPUs), which partly ignored the inherent paralleled characteristic of the algorithms. In this paper, a novel single instruction multiple data (SIMD) architecture processors (GPUs) based k-means algorithm is proposed. In this algorithm, in order to accelerate compute-intensive portions of traditional k-means, both data objects assignment and k-centroids recalculation are offloaded to the GPU in parallel. We have implemented this GPU-based k-means on the newest generation GPU with compute unified device architecture(CUDA). The numerical experiments demonstrated that the speed of GPU-based k-means could reach as high as 40 times of the CPU-based k-means.

关键词： Hardware Yarn Clustering algorithms Computer architecture Kernel Concurrent computing Graphics Computer science Helium Acceleration

来源：评论

学校读者我要写书评

暂无评论

Service Community Model for Web Service Composition

Service Community Model for Web Service Composition

引用

International Workshop on Intelligent Systems and Applications, ISA

作者： Si-Pei Liu Da-You Liu Yao-Fu Cao Hong Qi College of Computer Science and Technology Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

In this paper, we introduce two concepts of service semantic relation and semantic relation chain to figure out service composition relation and sequentially service composition. For parallel service composition, we propose Web service community (WSC) model which corresponding to a Split+Join structure, So we introduce a kind of divide and conquer method to convert parallel service composition into sequentially service composition based on WSC chains and which can solve sequential and parallel service composition problems in an agreement way. Finally, a parallel composition example illustrations the execution process of our method.

关键词： Web services Ontologies Automation Artificial intelligence Merging educational institutions Computer science educational technology Laboratories knowledge engineering

来源：评论

学校读者我要写书评

暂无评论

Automatic Deep Web Query Results Extraction Based on Tag Trees

Automatic Deep Web Query Results Extraction Based on Tag Tre...

引用

International Symposium on computational Intelligence and Design, ISCID

作者： Ying Xie Wanli Zuo Fengling He Ying Wang College of Computer Science and Technology Jilin University Changchun China Key Laboratory of Symbolic of Computation and Knowledge Engineering Ministry of Education China

Automatic deep Web query results extraction is a key step of deep Web query results processing. Extracting the query results correctly is the precondition and guarantee of realizing semantic annotation and data integration. In this paper, a simple method for extracting deep Web query results automatically based on tag trees is proposed according to the features of deep Web query results page. The method first builds a tag tree of the given result page. Then finds minimal data regions in the tag tree from top to down, and extracts data records included by them. The experiment has shown that the method is effective.

关键词： Data mining HTML Web pages computational intelligence educational institutions Computer science educational technology Laboratories knowledge engineering Computer science education

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共109页 << < 84 85 86 87 88 89 90 91 92 93 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：