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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

492 篇 会议
29 篇 期刊文献
24 册 图书

馆藏范围

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

日期分布

学科分类号

382 篇 工学
- 347 篇 计算机科学与技术...
- 220 篇 软件工程
- 60 篇 控制科学与工程
- 40 篇 电气工程
- 22 篇 信息与通信工程
- 11 篇 电子科学与技术（可...
- 9 篇 机械工程
- 9 篇 建筑学
- 8 篇 力学（可授工学、理...
- 8 篇 土木工程
- 8 篇 生物医学工程（可授...
- 7 篇 材料科学与工程（可...
- 7 篇 交通运输工程
- 5 篇 仪器科学与技术
- 5 篇 生物工程
- 4 篇 化学工程与技术
113 篇 理学
- 93 篇 数学
- 13 篇 系统科学
- 12 篇 统计学（可授理学、...
- 10 篇 物理学
- 10 篇 生物学
29 篇 管理学
- 17 篇 管理科学与工程(可...
- 12 篇 图书情报与档案管...
- 8 篇 工商管理
12 篇 医学
- 10 篇 基础医学(可授医学...
- 10 篇 临床医学
- 7 篇 药学(可授医学、理...
4 篇 经济学
- 4 篇 应用经济学
4 篇 法学
- 4 篇 社会学
4 篇 教育学
- 4 篇 教育学
2 篇 农学

主题

88 篇 logic programmin...
24 篇 computer circuit...
20 篇 fuzzy logic
16 篇 semantics
15 篇 programming
15 篇 mathematical log...
15 篇 logics and meani...
14 篇 artificial intel...
13 篇 programming lang...
12 篇 linear programmi...
12 篇 programming tech...
11 篇 formal logic
11 篇 software enginee...
10 篇 logic gates
10 篇 logic
9 篇 genetic programm...
9 篇 algebra
9 篇 functional progr...
8 篇 web services
7 篇 programmable log...

机构

3 篇 cwi p.o. box 940...
2 篇 sri int menlo pk...
2 篇 huelva universit...
2 篇 department of co...
2 篇 trinity coll dub...
2 篇 ctr wiskunde & i...
2 篇 computer science...
2 篇 hanoi univ techn...
2 篇 department of me...
2 篇 università di pi...
2 篇 applied mathemat...
2 篇 fujitsu laborato...
2 篇 dept. of informa...
2 篇 industrial depar...
2 篇 department of ma...
2 篇 department of el...
2 篇 univ munich inst...
2 篇 faculty of elect...
2 篇 univ kent canter...
2 篇 vienna univ tech...

作者

3 篇 osorio m
2 篇 riedl l
2 篇 ortiz m
2 篇 yu yong
2 篇 kurz a
2 篇 casadei roberto
2 篇 kahl wolfram
2 篇 schobbens pierre...
2 篇 hennicker r
2 篇 ray oliver
2 篇 le van hung
2 篇 kifer michael
2 篇 bidoit m
2 篇 lin ying
2 篇 zhao na
2 篇 moto-oka t.
2 篇 stehr mark-olive...
2 篇 zhang xuan
2 篇 pianini danilo
2 篇 jaffar joxan

语言

537 篇 英文
7 篇 其他
1 篇 中文

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

共 545 条记录，以下是161-170 订阅

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

详细简洁

排序：

logic programming And Nonmonotonic Reasoning 1

引用

丛书名： Lecture Notes in Computer Science

1000年

ISBN: (数字)9783540692492

ISBN: (纸本)9783540632559

this book constitutes the refereed proceedings of the 4th international conference on logic programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997.;the volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. the papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence.

关键词： Artificial Intelligence Software Engineering/programming and Operating Systems Computer System Implementation Mathematical logic and Formal Languages programming Techniques

来源：评论

学校读者我要写书评

暂无评论

A simulation based fuzzy goal programming model for cell formation

A simulation based fuzzy goal programming model for cell for...

引用

4th international conference on Fuzzy Systems and Knowledge Discovery

作者： Eski, Ozgur Ozkarahan, Irem Dokuz Eylul Univ Dept Ind Engn TR-35210 Alsancak Turkey Troy Univ Dept Comp Sci Troy NY 36082 USA

ISBN: (纸本)0769528740

Cell formation decisions are made based on several factors such as machining times, utilization, workload, alternative routings, capacities, operation sequences. Most of the traditional Cell Formation procedures ignore the existence of stochastic production requirements and alternative routes. In this study, a simulation based Fuzzy Goal programming model is proposed for solving cell formation problems considering stochastic production requirements and alternative routes. A tabu search based solution methodology is used for solution.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

4th international Symposium on programming Language Implementation and logic programming, PLILP 1992

4th International Symposium on Programming Language Implemen...

引用

4th international Symposium on programming Language Implementation and logic programming, PLILP 1992

ISBN: (纸本)9783540558446

the proceedings contain 41 papers. the special focus in this conference is on programming Language Implementation and logic programming. the topics include: Improving control of logic programs by using functional logic languages;independent AND-parallel implementation of narrowing;binding techniques and garbage collection for OR-parallel CLP systems;path analysis for lazy data structures;why the occur-check is not a problem;incremental evaluation of natural semantics specifications;subsumption-oriented push-down automata;unlimp uniqueness as a leitmotiv for implementation;using cached functions and constructors for incremental attribute evaluation;strictness analysis for attribute grammars;checking and debugging of two-level grammars;on safe folding;unfold/fold transformations preserving termination properties;a technique for transforming logic programs by fold-unfold transformations;an environment for declarative construction of logic programs;a complete indexing scheme for WAM-based abstract machines;fast prolog with a VAM1p based prolog compiler;metastructures vs. attributed variables in the context of extensible unification;derivation of linear size relations by abstract interpretation;two optimization techniques and their experimental evaluation;a bottom-up interpreter for a higher-order logic programming language;an extension of the categorical abstract machine to compile functional/logic programs;on the interaction of lazy evaluation and backtracking;interprocedural dynamic slicing;algorithmic debugging for lazy functional languages;a general trace query mechanism based on prolog;fully declarative logic programming;interfacing functional and logic programming systems and analyses of inconsistency for incremental equational logic programming.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Estimators based on non-squares loss functions to approximate HJB-Riccati equation solution for DLQR design via HDP

Estimators based on non-squares loss functions to approximat...

引用

IEEE international conference on Systems, Man, and Cybernetics (SMC)

作者： Queiroz, Jonathan A. Rego, Patricia H. M. Neto, Joao V. F. da Silva, Cristiane Santana, Ewaldo Barros, Allan Kardec Univ Fed Maranhao Embedded Syst & Intelligent Control Lab Sao Luis MA Brazil

ISBN: (纸本)9781479906529

this paper is concerned with the development of online algorithms for approximate solutions of the Hamilton-Jacobi-Bellman (HJB) equation. In the discrete linear quadratic regulator (DLQR) control system design, the HJB equation is the discrete algebraic Riccati (DARE) equation. Due to the problem of dimensionality curse, this equation is approximated via heuristic dynamic programming (HDP). the proposed methodology is based on a familiy of non-squares approximators for critic adaptive solution of the DARE associated to the DLQR problem, referred to in this work as HJB-Riccati equation, which is characterized as a parameterization of the HJB equation. the proposed method is evaluated in a multivariable dynamic system of 4th order with two inputs and it is compared with standard recursive least square algorithm.

关键词： Recursive Least-Squares Heuristic Dynamic programming Non-squares Approximators Hamilton-Jacobi-Bellman Equation Discrete algebraic Riccati Equation Discrete Linear Quadratic Regulator

来源：评论

学校读者我要写书评

暂无评论

Fuzzy Based Optimal Fault Tolerant Control and Adaptive Critic Design for Strict Feedback Systems

Fuzzy Based Optimal Fault Tolerant Control and Adaptive Crit...

引用

4th international conference on Information, Cybernetics and Computational Social Systems (ICCSS)

作者： Tang, Li Wang, Zhanshan Liu, Lei Northeastern Univ Sch Informat Sci & Engn Shenyang Peoples R China

ISBN: (纸本)9781538632574

In this paper, the optimal fault tolerant control (OFTC) problem is solved for a class of uncertain nonlinear strict feedback discrete-time systems based on the adaptive critic design (ACD). By introducing an auxiliary signal, the influence of the actuator fault on the control performance can be compensated. According to the gradient descent scheme, the updating law for the auxiliary signal is developed based on a quadratic cost function. Since the matched condition is not satisfied, it will lead to additional difficulty such as the causal problem. On the basis of the diffeomorphism theory, the considered system is transformed into a novel model, which is suitable to deal with the problem. In the design of OFTC, fuzzy logic systems (FLSs) are exploited to approximate the unknown functions. By combining the backsteppping technique with the reinforcement learning (RL) scheme, the OFTC can not only maintain the stability of the systems, but also obtain an optimal performance as well. Finally, the feasibility simulation is studied to further give the evidence of the present control approach.

关键词： Adaptive systems Actuators Nonlinear systems Fault tolerant control Discrete-time systems Optimal control Linear programming fault-tolerant control Feedback Adaptive systems actuators linear programming Nonlinear systems Optimal control Subsidiary signals discrete time systems critic Fuzzy control performance Cost functions System stability

来源：评论

学校读者我要写书评

暂无评论

Modular logic programming for Web Data, Inheritance and Agents

Modular Logic Programming for Web Data, Inheritance and Agen...

引用

4th international conference on Knowledge Science, Engineering and Management (KSEM)

作者： Karali, Isambo Univ Athens Dept Informat & Telecommun GR-15784 Athens Greece

ISBN: (纸本)9783642152795

the Semantic Web provides a framework and a set of technologies enabling an effective machine processable information. However, most of the problems that are addressed in the Semantic Web were tackled by the artificial intelligence community, in the past. Within this period, logic programming emerged as a complete framework ranging from a sound formal theory, based on Horn clauses, to a declarative description language and an operational behavior that can be executed. logic programming and its extensions have been already used in various approaches in the Semantic Web or the traditional Web context. In this work, we investigate the use of Modular logic programming, i.e. logic programming extended with modules, to address issues of the Semantic Web ranging from the ontology layer to reasoning and agents. these techniques provide a uniform framework ranging from the data layer to the higher layers of logic, avoiding the problem of incompatibilities of technologies related with different Semantic Web layers. What is more is that it can operate directly on top of existent World Wide Web sources.

关键词： World Wide Web Semantic Web logic programming Modularity

来源：评论

学校读者我要写书评

暂无评论

Temporal logic programming language Tokio programming in Tokio 4th

引用

4th international conference on logic programming, 1985

作者： Aoyagi, T. Fujita, M. Moto-oka, T. Department of Electronic Engineering University of Tokyo Japan Fujitsu Laboratories Japan

ISBN: (纸本)9783540164791

We introduce Tokio, a sophisticated extension of Prolog. Tokio is based on interval temporal logic (ITL) (Moszkowski 1983), and includes many useful ITL operators. We will discuss how those temporal operators work. Some simple execution examples of Tokio are also included. Finally, we compare and contrast Tokio with other logic programming languages. Tokio is especially well suited for hardware description. We are now developing a total logic design assistance system based on Tokio. © 1986, Springer-Verlag.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

KeYmaera: A hybrid theorem prover for hybrid systems

引用

4th international Joint conference on Automated Reasoning

作者： Platzer, Andre Quesel, Jan-David Carl von Ossietzky Univ Oldenburg Dept Comp Sci D-2900 Oldenburg Germany

ISBN: (纸本)9783540710691

KeYmaera is a hybrid verification tool for hybrid systems that combines deductive, real algebraic, and computer algebraic prover technologies. It is an automated and interactive theorem prover for a natural specification and verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which is a real-valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata. For automating the verification process, KeYmaera implements a generalized free-variable sequent calculus and automatic proof strategies that decompose the hybrid system specification symbolically. To overcome the complexity of real arithmetic, we integrate real quantifier elimination following an iterative background closure strategy. Our tool is particularly suitable for verifying parametric hybrid systems and has been used successfully for verifying collision avoidance in case studies from train control and air traffic management.

关键词： dynamic logic automated theorem proving decision procedures computer algebra verification of hybrid systems

来源：评论

学校读者我要写书评

暂无评论

Towards a Framework for Designing and Executing Business Process Based on Semantic Web Services

Towards a Framework for Designing and Executing Business Pro...

引用

4th international conference on Wireless Communications, Networking and Mobile Computing

作者： Cao Hong-Hua Ying Shi Cui Hua Xiao Yang Wuhan Univ State Key Lab Software Engn Wuhan 430072 Peoples R China

ISBN: (纸本)9781424421077

Complex Service-Oriented enterprise application needs compose Web services to satisfy user specific requirements. Several approaches have been proposed to fulfill this need. However, those approaches and their runtime infrastructure are weak in providing flexible features such as dynamism and adaptability, which are needed in mobile networks and wireless scenarios. A Semantic programming Language-SPL and an integrated framework-SPLDE are proposed. the SPL is designed for integrating and orchestrating Web Services, which is equipped with Service Role to decouple the static binding relation between business process and its participants. the concept of Rule is also introduced in SPL to separate business decision from business logic to satisfy varying user requirements in evolving environment. the proposed SPLDE framework is used to design and execute business process based on Semantic Web Services with SPL language, which tries to offer an effective systematic solution for development and execution of service-oriented software system.

关键词： Web Services Service-Oriented Architecture Semantic Web Services Semantic programming Language

来源：评论

学校读者我要写书评

暂无评论

Formalizing the Learner Model for CSCL environments 4

Formalizing the Learner Model for CSCL environments

引用

4th Mexican international conference on Computer Science (ENC 2003)

作者： Ortiz, M Ayala, G Osorio, M Univ Americas Puebla CENTIA Cholula 72820 Mexico

ISBN: (纸本)0769519156

In this paper we present a logic formalization of a model which allows us to represent, create and maintain a Learner Model for CSCL environments in a clear and adequate manner, in order to use it as the set of beliefs an agent holds about its user, supporting the effective collaboration between the learners in the community. Our model includes a representation method for the knowledge domain and the agent's beliefs about the learner, as well as an inference system. this system allows the agent to propose the learner adequate learning tasks, considering his own interest and possibilities and those of the other members of the community through the establishment of group-based Zones of Proximal Development. the model is formalized in Answer Sets programming, which gives an appropriate framework for dealing with non-monotonicity in disjunctive logic programs with negation.

关键词： Application specific processors Collaboration Collaborative software Collaborative tools Collaborative work Humans Intelligent agent Intelligent systems logic programming Software agents

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共55页 << < 13 14 15 16 17 18 19 20 21 22 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：