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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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

分类表

所选分类

>> <<

限定检索结果

文献类型

428 篇 期刊文献
400 篇 会议

馆藏范围

828 篇 电子文献
0 种 纸本馆藏

日期分布

学科分类号

576 篇 工学
- 462 篇 计算机科学与技术...
- 381 篇 软件工程
- 128 篇 信息与通信工程
- 82 篇 控制科学与工程
- 60 篇 生物工程
- 45 篇 生物医学工程（可授...
- 41 篇 电子科学与技术（可...
- 40 篇 机械工程
- 36 篇 电气工程
- 33 篇 化学工程与技术
- 29 篇 光学工程
- 22 篇 航空宇航科学与技...
- 17 篇 交通运输工程
- 16 篇 仪器科学与技术
- 13 篇 动力工程及工程热...
- 12 篇 土木工程
300 篇 理学
- 214 篇 数学
- 69 篇 生物学
- 51 篇 统计学（可授理学、...
- 42 篇 物理学
- 33 篇 化学
- 24 篇 系统科学
192 篇 管理学
- 103 篇 管理科学与工程(可...
- 88 篇 图书情报与档案管...
- 31 篇 工商管理
31 篇 医学
- 23 篇 临床医学
- 18 篇 基础医学(可授医学...
- 16 篇 药学(可授医学、理...
- 10 篇 公共卫生与预防医...
12 篇 法学
- 10 篇 社会学
9 篇 农学
5 篇 经济学
3 篇 教育学
3 篇 艺术学
2 篇 文学
1 篇 军事学

主题

48 篇 computer science
41 篇 educational inst...
39 篇 laboratories
39 篇 educational tech...
36 篇 knowledge engine...
23 篇 computer science...
21 篇 data mining
14 篇 reinforcement le...
13 篇 semantics
13 篇 feature extracti...
12 篇 image segmentati...
12 篇 contrastive lear...
11 篇 ontologies
10 篇 deep learning
10 篇 authentication
9 篇 recommender syst...
9 篇 topology
9 篇 training
8 篇 sun
8 篇 computational mo...

机构

399 篇 college of compu...
288 篇 key laboratory o...
84 篇 key laboratory o...
43 篇 key laboratory o...
36 篇 key laboratory o...
33 篇 college of softw...
31 篇 college of compu...
24 篇 jilin university...
23 篇 school of artifi...
20 篇 jilin university...
19 篇 jilin university...
19 篇 key laboratory o...
19 篇 key laboratory o...
16 篇 school of comput...
15 篇 key laboratory o...
14 篇 key laboratory o...
14 篇 college of compu...
14 篇 the college of c...
11 篇 college of softw...
11 篇 key laboratory o...

作者

39 篇 yang bo
35 篇 sun geng
28 篇 li ximing
25 篇 ouyang jihong
24 篇 niyato dusit
23 篇 dantong ouyang
22 篇 yanheng liu
22 篇 li jiahui
21 篇 liu dayou
21 篇 chen haipeng
21 篇 bo yang
20 篇 liu yanheng
20 篇 li xiongfei
19 篇 ouyang dantong
19 篇 huang lan
18 篇 dayou liu
17 篇 guan renchu
17 篇 wang jiacheng
16 篇 wang jian
16 篇 zhang chunxu

语言

733 篇 英文
79 篇 其他
16 篇 中文

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

共 828 条记录，以下是801-810 订阅

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

详细简洁

排序：

A design of product configuration manager based on weight constraint parameter value in manufacture

A design of product configuration manager based on weight co...

引用

5th International Conference on Control and Automation, ICCA'05

作者： Li, Niya Liu, Dayou Zhang, Jian College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University China

ISBN: (纸本)0780391381

The configuration problem in manufacture is more complicated than most other fields. Therefore, the design of modeling and reasoning module for product configuration manager in manufacture is very important and complex. It is just what is mainly discussed in this paper. A framework of PCM in manufacture is put forward according to the Expert System theories, and a series of formalized knowledge representations and a data-driven graph control strategy for the PCM are provided. In the knowledge representations, the weight constraint is defined to distinguish the origins of the parameter value. It can be used to simplify the consistency check and effectivity check of the parameter. Furthermore, the search space of the configuration problem can be also easily compressed. The control strategy strengthens the real-time interaction between the user and the PCM so as to decompose the reasoning process. The reasoning process of the control strategy is described in detail by the configuration reasoning graph which is defined in this paper. © 2005 IEEE.

关键词： Flexible manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

A PKI-based lightweight workflow model

A PKI-based lightweight workflow model

引用

5th International Conference on Control and Automation, ICCA'05

作者： Zhang, Jian Sun, Jigui Li, Niya Hu, Chengquan Li, Zehai College of Computer Science and Technology Jilin University Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education China

ISBN: (纸本)0780391381

The workflow model is the abstract expression of the workflow or the business process. Following the WfMC reference model, a PKI-based lightweight workflow model named as PBLW is put forward in this paper. The framework of PBLW is proposed. Based on the time constraint directed graph, the workflow theory model in formalization is described in detail, and the time constraint problems are discussed in order to enhance the time management ability of the workflow model. Furthermore, in order to express the complicated secure access control constraint of the workflow, a conditioned RBAC model based on PKI technology is presented, according to the traditional RBAC security access control model. Finally, the workflow engine driven algorithms for the workflow instance are given. By the actual inspection and users' feedback, it proves that this model can express the basic requirements of a majority of the process applications. © 2005 IEEE.

关键词： Electronic document identification systems

来源：评论

学校读者我要写书评

暂无评论

Operational semantics of ambient calculus

Operational semantics of ambient calculus

引用

SOSE 2005: IEEE International Workshop on Service-Oriented System engineering

作者： Zhang, Jing Jin, Ying Guo, De-Gui Liu, Lei Jin, Cheng-Zhi Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education of P.R.China Juin University Changchun 130012 China

ISBN: (纸本)0769524389

Mobile ambients is a process calculus for modeling mobile agents in wide-area networks. It has important theoretical and practical values in studying concurrent and mobile computation as well as the security of interactive systems. In this paper a frame structure is given for Mobile Ambients. First we introduce the concept of ambient calculus frame. Then we propose a construction method for translating an ambient definition into the frame definition, a transformation function is given based on the method. Next the movement and interaction of the code are discussed based on the frame structure. Finally an operating semantics is developed basing on the frame structure, an example of a frame and its execution are given. Introducing frame structure for ambient calculus is an attempt to provide languages support for asynchronous, distributed, and mobile programming. The ideas and methods in this paper can also be applied to other calculi with concurrency and mobility. © 2005 IEEE.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

A study on parallel semantics of constraint logic rograms

A study on parallel semantics of constraint logic rograms

引用

International Conference on Machine Learning and Cybernetics, ICMLC 2005

作者： Sun, Ji.-Gui Zhang, Yong-Gang College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory for Symbolic Computation and Knowledge Engineering Ministry of Education Changchun 130012 China

ISBN: (纸本)078039092X

This paper presents two parallel semantics of constraint logic programs: multiset answer constraint semantics and game semantics, which differ entirely from the traditional semantics. When giving the first semantics, it adopts the s-semantics approach, whose aim is to find notions of models which really capture the operational semantics. And it defines the program equivalence based on multiset answer constraint. Then it investigates the game semantics and proves that it is consistent with traditional operational semantics. On the basis of these two semantics, programmers can comprehend the programs deeply and develop more sound parallel constraint logic programming systems. Finally, it gives the conclusions and future work. © 2005 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Mining attributes' sequential patterns for error identification in data set

Mining attributes' sequential patterns for error identificat...

引用

International Conference on Machine Learning and Cybernetics, ICMLC 2005

作者： Liu, Ya-Bo Liu, Da-You College of Computer Science and Technology Jilin University Changchun 130012 China Key Laboratory of Symbolic Computation and Knowledge Engineering Ministry of Education Jilin University Changchun 130012 China

ISBN: (纸本)078039092X

It is well recognized that sequential pattern mining plays an essential role in many scientific and business domains. In this paper, a new extension of sequential pattern, attributes' sequential pattern, is proposed. An attributes' sequential pattern is a sequence of attributes, whose values commonly occur in ascending order over data set. After each record in data set is transformed into an attributes' sequence according to their ordinal values, attributes' sequential patterns can be mined by means of mining sequential patterns. But our work is different from sequential pattern mining. One use of attributes' sequential patterns is to identify possible errors in data set for data cleaning, in which the values of attributes break the attributes' sequential patterns which most of the data conform to. Experiments verify the high efficiency of the method presented. © 2005 IEEE.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Information flow security for interactive systems

引用

International Conference on Embedded and Ubiquitous Computing, EUC 2005

作者： Jin, Ying Liu, Lei Zheng, Xiao-Juan Key Laboratory of Symbolic Computation and Knowledge Engineering Jilin University Ministry of Education of P.R. China Changchun 130012 China Software College Northeast Normal University Changchun 130117 China

ISBN: (纸本)3540308075

The use of the Internet raises serious behavioural issues regarding, for example, security and the interaction among agents that may travel across links. Model-building such interactive systems is one of the biggest current challenges in computer science. A general model, action calculi, has been introduced by Robin Milner to unify the various emerging disciplines of interactive behaviour. In this paper action calculi is used as an abstraction of interactive systems and information flow security properties of such systems are studied. At first an information flow analysis for static action calculi is presented to predict how data will flow both along and inside actions and its correctness is proved;Next basing on the result of the analysis information security properties of both static and dynamic action calculi are discussed;Finally a general relationship are established between the static notation of information flow security and the dynamic one. © IFIP International Federation for Information Processing 2005.

关键词： Interactive computer systems

来源：评论

学校读者我要写书评

暂无评论

A Distributed Q-Learning Algorithm for Multi-Agent Team Coordination

A Distributed Q-Learning Algorithm for Multi-Agent Team Coor...

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Jing Huang Bo Yang Da-You Liu Key Laboratory of Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

Q-learning is an effective model-free reinforcement learning algorithm. However, Q-learning is centralized and competent only for single agent learning but not multi-agent learning because in later case the size of state-action space is huge and will grow exponentially with the number of agents increasing. In the paper we present a distributed Q-learning algorithm to solving this problem. In our algorithm, the tasks of learning optimal action policy are distributed to each agent in team but not a central agent. In order to reduce the size of action-state space of multi-agent team we introduce a state-action space sharing strategy of agent team, through which one agent in team can use the states already explored by other agents before and need not take time to explore these states again. Additionally, our algorithm has the ability to allocate sub-goals dynamically among agents according to environment changing, which can make agent team coordinate more efficiently. Experiments show the efficiency of our algorithm when it is applied to the benchmark problem of predator-prey pursuit game, also called pursuit game, in which a team of predators coordinate to capture a prey.

关键词： Machine learning algorithms Pursuit algorithms Multiagent systems educational institutions Computer science educational technology Laboratories knowledge engineering Computer science education Learning systems

来源：评论

学校读者我要写书评

暂无评论

Reasoning about ceteris paribus preference with constraint hierarchy framework

Reasoning about ceteris paribus preference with constraint h...

引用

International Conference on Machine Learning and Cybernetics (ICMLC)

作者： Yong-Gang Zhang Ji-Gui Sun Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education Jilin University Changchun China

CP-networks provide a convenient means for expressing preferences in reasoning, but it is not good at handling preferences with hard constraints. The paper proposes a new approach, which transforms the CP-network with hard constraints into one constraint hierarchy, therefore one could process preferences and constraints in a single formalism with fruitful constraint solving algorithms. Furthermore, illustrates it with some examples, proves that the transformation preserves the ceteris paribus property and presents some complexity results. Finally compares it with related work and concludes the paper.

关键词： Artificial intelligence Graphical models Bayesian methods Sun educational institutions Computer science educational technology Laboratories knowledge engineering Computer science education

来源：评论

学校读者我要写书评

暂无评论

A DYNAMIC CONSTRAINT SOLVING SCHEME FOR SEMI ON-LINE SCHEDULING PROBLEMS

A DYNAMIC CONSTRAINT SOLVING SCHEME FOR SEMI ON-LINE SCHEDUL...

引用

IFIP TC12 WG12.5-Second IFIP Conference on Artificial Intelligence Applications and Innovations(AIAI2005)

作者： Juyang Zhang Jigui Sun Yonggang Zhang College of Computer Science & Technology Jiiin University Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education

Most of real-life scheduling problems are semi on-line scheduling,where we do not know all the time variables of jobs in ***,solving such dynamic problems is a hot topic of research in Constraint *** this paper we analyze the constraints in the semi on-line scheduling problems and introduce the concept of monotonic about constraints which appear in general dynamic constraint *** designed a generic dynamic constraint solving algorithm for solving the scheduling *** give an example of its application to semi on-line discrete resource-constrained scheduling problem(ship-loading problem).

关键词： Scheduling Semi On-line Constraint Solving Monotonic

来源：评论

学校读者我要写书评

暂无评论

Consistency check between behaviour models

Consistency check between behaviour models

引用

International Symposium on Communications and Information Technologies (ISCIT)

作者： Hongyuan Wang Tie Feng Jiachen Zhang Ke Zhang Key Laboratory Symbolic Computation and Knowledge Engineering of Ministry of Education College of Computer Science and Technology Jilin University Changchun China

In UML, a modeling language popularly used to describe models at different abstraction levels, sequence diagram and statechart are both used to represent systems' behavior models. A consistency problem may arise due to the fact that sequence diagram represent interactive behavior of all objects, whereas statechart represent the complete behavior of one specific object. This paper proposes an approach checking the consistency between sequence diagrams and state diagrams. In our approach, statechart is formalized using finite state processes and sequence diagram is represented using messages trace. An existing tool LTSA is used to support our method.

关键词： Object oriented modeling Unified modeling language Laboratories knowledge engineering Computer science education Systems engineering education educational institutions Computer science educational technology Software design

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共83页 << < 74 75 76 77 78 79 80 81 82 83 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：