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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

491 篇 会议
13 篇 期刊文献
7 册 图书

馆藏范围

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

日期分布

学科分类号

320 篇 工学
- 241 篇 计算机科学与技术...
- 176 篇 软件工程
- 95 篇 电气工程
- 29 篇 控制科学与工程
- 21 篇 机械工程
- 18 篇 信息与通信工程
- 14 篇 生物医学工程（可授...
- 14 篇 生物工程
- 10 篇 电子科学与技术（可...
- 8 篇 材料科学与工程（可...
- 6 篇 核科学与技术
- 5 篇 石油与天然气工程
- 4 篇 仪器科学与技术
- 4 篇 交通运输工程
- 2 篇 光学工程
- 2 篇 建筑学
61 篇 理学
- 29 篇 数学
- 14 篇 物理学
- 14 篇 生物学
- 6 篇 系统科学
- 4 篇 统计学（可授理学、...
28 篇 管理学
- 17 篇 管理科学与工程(可...
- 8 篇 图书情报与档案管...
- 6 篇 工商管理
- 3 篇 公共管理
12 篇 农学
- 12 篇 作物学
5 篇 医学
4 篇 法学
- 2 篇 法学
- 2 篇 社会学
3 篇 经济学
- 3 篇 应用经济学
2 篇 教育学
- 2 篇 教育学
1 篇 文学

主题

48 篇 programming
38 篇 logic gates
31 篇 logic programmin...
28 篇 programming prof...
28 篇 software enginee...
25 篇 linear programmi...
23 篇 software
15 篇 computational mo...
14 篇 java
14 篇 logic
14 篇 probabilistic lo...
12 篇 computer program...
11 篇 optimization
11 篇 detectors
11 篇 dynamic programm...
11 篇 testing
10 篇 object oriented ...
10 篇 fuzzy logic
10 篇 parallel program...
10 篇 data models

机构

3 篇 nasa ames resear...
3 篇 george mason uni...
3 篇 carnegie mellon ...
3 篇 stillman school ...
3 篇 imperial coll lo...
2 篇 mayo fdn rochest...
2 篇 iran univ sci & ...
2 篇 univ copenhagen ...
2 篇 chalmers univers...
2 篇 university of fe...
2 篇 school of comput...
2 篇 ludwig maximilia...
2 篇 texas tech unive...
2 篇 tu wien austria
2 篇 graz university ...
2 篇 katholieke univ ...
2 篇 graduate school ...
2 篇 zagazig universi...
2 篇 iran university ...
2 篇 agh university o...

作者

5 篇 toni francesca
4 篇 azzolini damiano
4 篇 gupta gopal
3 篇 hanbong lee
3 篇 gavanelli marco
3 篇 riguzzi fabrizio
3 篇 eiter thomas
3 篇 coblenz michael
3 篇 satoh ken
3 篇 džeroski sašo
2 篇 lucarini stephen
2 篇 thevapalan andre
2 篇 liu yanhong a.
2 篇 m.a. farahat
2 篇 lavrac nada
2 篇 v. kodaganallur
2 篇 rose emma
2 篇 osaka naotoshi
2 篇 radoslaw klimek
2 篇 gebser martin

语言

506 篇 英文
5 篇 其他

检索条件"任意字段=39th International Conference on Logic Programming"

共 511 条记录，以下是491-500 订阅

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

详细简洁

排序：

Generating structured implementation schemes from UML sequence diagrams

Generating structured implementation schemes from UML sequen...

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： P. Selonen T. Systa K. Koskimies Software Systems Laboratory Tampere University of Technology Tampere Finland

In the Unified Modeling Language (UML), a use case describes a particular functionality a system can perform by interacting with outside actors. A realization of a use case can be given as a set of sequence diagrams. the paper discusses how to generate structured implementation schemes represented as pseudocode from a set of sequence diagrams in UML. the proposed approach can be applied to any set of sequence diagrams, allowing the user to view the implementations of operation bodies as implied by this set of sequence diagrams, and to merge the different views into a single implementation scheme that can be used as a starting point for the actual implementation. We show how these techniques can be exploited in a UML-based CASE environment by augmenting an automatically generated class diagram with UML notes describing implementation schemes for individual operations. the described techniques have been implemented in a real CASE environment.

关键词： Unified modeling language Object oriented modeling Computer aided software engineering programming Software systems Laboratories Computer industry Software standards Standards development Collaboration

来源：评论

学校读者我要写书评

暂无评论

Natural-language processing support for developing policy-governed software systems

Natural-language processing support for developing policy-go...

引用

Technology of Object-Oriented Languages and Systems (TOOLS)

作者： J.B. Michael V.L. Ong N.C. Rowe Department of Computer Science Naval Postgraduate School Monterrey CA USA

Organizations are policy-driven entities. Policy bases can be very large and the relationships between policies can be complex. In addition, policy can change on a frequent basis. Checking for gaps in policy or analyzing the ramifications of changing policy is necessary to both identify and rectify gaps or unintended policy prior to the policy base being refined into requirements for a system. A policy workbench is an integrated set of computer based tools for developing, reasoning about, and maintaining policy. A workbench takes as input a computationally equivalent form of policy statements. We have developed a prototype of a tool that maps natural language policy statements to an equivalent computational form. the authors describe the architecture of a natural language input-processing tool (NLIPT). It has an extractor, which generates a meaning list representative of the natural language input; an index-term generator, which identifies the key terms used to index relevant policy schema in the policy base; a structural modeler, which structures a schema for input; and a logic modeler, which maps the schema to an equivalent logical form. We experimented with a prototype of the extractor which successfully parsed a sample of ninety-nine Naval Postgraduate School security policy statements with ninety-six percent accuracy.

关键词： Software systems Natural languages Prototypes Information security Computer science Marine vehicles logic Java Virtual machining Information systems

来源：评论

学校读者我要写书评

暂无评论

A combined approach to high-level synthesis for dynamically reconfigurable systems 10th

引用

10th international conference on Field-Programmable logic and Applications, FPL 2000

作者： Zhang, Xue-Jie Ng, Kam-Wing Luk, Wayne Department of Computer Science and Engineering The Chinese University of Hong Kong ShatinNT Hong Kong Department of Computing Imperial College 180 Queen’s gate LondonSW7 2BZ United Kingdom

ISBN: (纸本)3540678999

In this paper, two complementary design models and related synthesis techniques are combined to capture behavioral and structural information in modelling and synthesizing a dynamically reconfigurable system. the proposed formulation is achieved by using finite domain constraints and related constraint-solving techniques offered by constraint logic programming. Our formulation represents operation-level temporal constraints and dynamic resource constraints in a unified model. Different synthesis tasks, such as temporal partitioning, scheduling and dynamic module allocation can be modelled in this framework, enabling the discovery of an optimal or near optimal solutions. Experiments have been carried out using a prototype of the high-level synthesis system implemented in CHIP, a constraint logic programming system. Current experimental results show that our approach can provide promising synthesis results in terms of the synthesis time and the number of reconfigurations. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Constraint programming

来源：评论

学校读者我要写书评

暂无评论

An efficient algorithm for control action sequences in FMS using dynamic programming

An efficient algorithm for control action sequences in FMS u...

引用

SICE Annual conference

作者： Jae Won Choi Jae Weon Choi Pusan National University Kumjeong-ku KR

ISBN: (纸本)078039805X

Although a flexible manufacturing system (FMS) is an efficient automated manufacturing system, a fatal deadlock makes the system wait for resources forever. To keep the system live, proper controls are necessary. there have been some suggestions for avoiding deadlocks. We propose an efficient algorithm for control action sequences using dynamic programming for avoiding deadlocks which occur frequently in FMSs. the proposed algorithm guarantees that it could avoid the deadlock completely and make planning for manufacturing products optimal.

关键词： Flexible manufacturing systems Dynamic programming

来源：评论

学校读者我要写书评

暂无评论

A new framework for discovering knowledge from two-dimensional structured data using layout formal graph system 11th

引用

11th international conference on Algorithmic Learning theory (ALT 2000)

作者： Uchida, T Itokawa, Y Shoudai, T Miyahara, T Nakamura, Y Hiroshima City Univ Fac Informat Sci Hiroshima 7313194 Japan Kyushu Univ 39 Dept Informat Kasuga Fukuoka 8168580 Japan

ISBN: (纸本)3540412379

We present a new framework for discovering knowledge from two-dimensional structured data by using Inductive logic programming. Two-dimensional graph structured data such as image or map data are widely used for representing relations and distances between various objects. First, we define a layout term graph suited for representing two-dimensional graph structured data. A layout term graph is a pattern consisting of variables and two-dimensional graph structures. Moreover, we propose Layout Formal Graph System (LFGS) as a new logic programming system having a layout term graph as a term. LFGS directly deals with graphs having positional relations just like first order terms. Second, we show that LFGS is more powerful than Layout Graph Grammar, which is a generating system consisting of a context-free graph grammar and positional relations. this indicates that LFGS has the richness and advantage of representing knowledge about two-dimensional structured data. Finally, we design a knowledge discovery system, which uses LFGS as a knowledge representation language and refutably inductive inference as a learning method. In order to give a theoretical foundation of our knowledge discovery system, we give the set of weakly reducing LEGS programs which is a sufficiently large hypothesis space of LFGS programs and show that the hypothesis space is refutably inferable from complete data.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Optimal control strategy for high jump based on complementarity modeling

Optimal control strategy for high jump based on complementar...

引用

IEEE conference on Decision and Control

作者： T. Yokozawa S. Hara M. Ishikawa Tokyo Institute of Technology Japan

ISBN: (纸本)0780366387

this paper proposes an optimal control strategy for a jumping robot system based on the complementarity modeling. We consider a variable constraint jumping system consisting of a robot part and an environment (catapult) part. Such a system can be efficiently modeled as a complementarity system, in the sense that the discontinuous phenomena such as collision or separation are handled in a unified framework. First, we give a simple criterion to judge the contact/taking-off condition based on the complementarity modeling. Next, we formulate an optimal control problem to maximize the peak height in a jump and give a numerical solution; due to the pre-specified input limitation, the resulting control is of bang-bang type. Finally, the optimal controller is analytically reconsidered and is implemented as a switching state feedback law.

关键词： Optimal control Robot sensing systems State feedback Equations Mechanical systems Motion control Aerospace engineering Position control logic Mathematical programming

来源：评论

学校读者我要写书评

暂无评论

Optimal controllers for hybrid systems: stability and piecewise linear explicit form

Optimal controllers for hybrid systems: stability and piecew...

引用

IEEE conference on Decision and Control

作者： A. Bemporad F. Borrelli M. Morari Dip. Ingegneria dell'hformazione Universita di Siena Siena Italy Automatic Control Laboratory ETH-Zentrum Zurich Switzerland

ISBN: (纸本)0780366387

We propose a procedure for synthesizing piecewise linear optimal controllers for hybrid systems and investigate conditions for closed-loop stability. Hybrid systems are modeled in discrete-time within the mixed logical dynamical framework, or, equivalently, as piecewise affine systems. A stabilizing controller is obtained by designing a model predictive controller, which is based on the minimization of a weighted 1//spl infin/-norm of the tracking error and the input trajectories over a finite horizon. the control law is obtained by solving a mixed-integer linear program (MILP) which depends on the current state. Although efficient branch and bound algorithms exist to solve MILPs, these are known to be NP-hard problems, which may prevent their online solution if the sampling-time is too small for the available computation power. Rather than solving the MILP online, we propose a different approach where all the computation is moved off line, by solving a multiparametric MILP. As the resulting control law is piecewise affine, online computation is drastically reduced to a simple linear function evaluation. An example of piecewise linear optimal control of a heat exchange system shows the potential of the method.

关键词： Optimal control Control systems Stability Piecewise linear techniques Control system synthesis Predictive models Dynamic programming logic programming Equations Laboratories

来源：评论

学校读者我要写书评

暂无评论

Data refinement for call-by-value programming languages 13th

引用

8th Annual conference of the European-Association-for-Computer-Science-logic (EACSL)/13th international Workshop on Computer Science logic (CSL 99)

作者： Kinoshita, Y Power, J Electrotech Lab Tsukuba Ibaraki 305 Japan Univ Edinburgh Lab Fdn Comp Sci Edinburgh EH9 3JZ Midlothian Scotland

ISBN: (纸本)3540665366

We give a category theoretic framework for data-refinement in call-by-value programming languages. One approach to data refinement for the simply typed lambda -calculus is given by generalising the notion of logical relation to one of lax logical relation, so that binary lax logical relations compose. So here, we generalise the notion of lax logical relation, defined in category theoretic terms, from the simply typed lambda -calculus to the computational lambda -calculus as a model of data refinement.

关键词： category theory categorical models and logic denotational semantics lambda and combinatory calculi

来源：评论

学校读者我要写书评

暂无评论

Relational reinforcement learning 8th

Relational reinforcement learning

引用

8th international conference on Inductive logic programming, ILP 1998

作者： Džeroski, Sašo De Raedt, Luc Blockeel, Hendrik J. Stefan Institute Jamova 39 LjubljanaSI-1000 Slovenia K.U.Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium

ISBN: (纸本)3540647384

Relational reinforcement learning is presented, a learning technique that combines reinforcement learning with relational learning or inductive logic programming. Due to the use of a more expressive representation language to represent states, actions and Q-functions, relational reinforcement learning can be potentially applied to a new range of learning tasks. One such task that we investigate is planning in the block's world, where it is assumed that the effects of the actions are unknown to the agent and the agent has to learn a policy. Within this simple domain we show that relational reinforcement learning solves some existing problems with reinforcement learning. In particular, relational reinforcement learning allows to employ structural representations, to make abstraction of specific goals pursued and to exploit the results of previous learning phases when addressing new (more complex) situations. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Detecting traffic problems with ILP 8th

Detecting traffic problems with ILP

引用

8th international conference on Inductive logic programming, ILP 1998

作者： Džeroski, Sašo Jacobs, Nico Molina, Martin Moure, Carlos Muggleton, Stephen Van Laer, Wim J. Stefan Institute Jamova 39 LjubljanaSI-1000 Slovenia K.U.Leuven Celestijnendaan 200A HeverleeB-3001 Belgium Universidad Politecnica de Madrid Boadilla del Monte MadridE-28660 Spain Department of Computer Science University of York YorkYO1 5DD United Kingdom

ISBN: (纸本)3540647384

Expert systems for decision support have recently been suc- cessfully introduced in road transport management. these systems include knowledge on traffic problem detection and alleviation. the paper describes experiments in automated acquisition of knowledge on traffic problem detection. the task is to detect road sections where a problem has occured (critical sections) from sensor data. It is necessary to use inductive logic programming (ILP) for this purpose as relational back- ground knowledge on the road network is essential. In this paper, we apply three state-of-the art ILP systems to learn how to detect traffic problems and compare their performance to the performance of a propositional learning system on the same problem. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Expert systems

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共52页 << < 43 44 45 46 47 48 49 50 51 52 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：