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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

分类表

所选分类

>> <<

限定检索结果

文献类型

198 篇 期刊文献
95 篇 会议
3 篇 学位论文

馆藏范围

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

日期分布

学科分类号

265 篇 工学
- 243 篇 计算机科学与技术...
- 104 篇 软件工程
- 28 篇 电气工程
- 25 篇 控制科学与工程
- 10 篇 信息与通信工程
- 6 篇 化学工程与技术
- 4 篇 机械工程
- 3 篇 电子科学与技术（可...
- 2 篇 仪器科学与技术
- 2 篇 环境科学与工程（可...
- 2 篇 网络空间安全
- 1 篇 材料科学与工程（可...
- 1 篇 动力工程及工程热...
- 1 篇 石油与天然气工程
- 1 篇 交通运输工程
- 1 篇 城乡规划学
87 篇 理学
- 82 篇 数学
- 2 篇 生物学
- 2 篇 系统科学
- 2 篇 统计学（可授理学、...
- 1 篇 物理学
- 1 篇 化学
- 1 篇 地理学
37 篇 管理学
- 33 篇 管理科学与工程(可...
- 8 篇 工商管理
- 3 篇 图书情报与档案管...
8 篇 经济学
- 8 篇 应用经济学
- 1 篇 理论经济学
6 篇 医学
- 4 篇 基础医学(可授医学...
3 篇 教育学
- 3 篇 教育学
1 篇 农学

主题

296 篇 constraint logic...
27 篇 mathematical pro...
17 篇 optimization
16 篇 logic programmin...
16 篇 scheduling
14 篇 program transfor...
11 篇 decision support
10 篇 program verifica...
8 篇 artificial intel...
8 篇 prolog
7 篇 clp
7 篇 constraint satis...
7 篇 symbolic executi...
6 篇 languages
6 篇 decision support...
6 篇 program analysis
6 篇 test case genera...
6 篇 abstract interpr...
6 篇 constraint solvi...
6 篇 constructive neg...

机构

8 篇 kielce univ tech...
6 篇 cnr iasi rome
6 篇 kielce univ tech...
5 篇 univ roma tor ve...
5 篇 univ craiova cra...
5 篇 new mexico state...
5 篇 univ udine dipar...
4 篇 kielce univ tech...
3 篇 univ pisa dipart...
3 篇 univ melbourne d...
3 篇 kielce univ tech...
3 篇 univ parma dipar...
3 篇 iasi cnr i-00185...
3 篇 carnegie mellon ...
3 篇 natl univ singap...
3 篇 imdea software i...
3 篇 g dannunzio univ...
3 篇 univ roma tor ve...
3 篇 univ parma dipar...
3 篇 tech univ gheorg...

作者

25 篇 sitek pawel
22 篇 wikarek jaroslaw
13 篇 proietti maurizi...
12 篇 pettorossi alber...
12 篇 fioravanti fabio
8 篇 de angelis emanu...
6 篇 badica amelia
6 篇 senni valerio
6 篇 mesnard fred
6 篇 badica costin
6 篇 rossi gianfranco
5 篇 cristia maximili...
4 篇 gavanelli marco
4 篇 stefanski tadeus...
4 篇 stuckey pj
4 篇 dovier agostino
4 篇 dovier a
4 篇 hermenegildo m
4 篇 pontelli enrico
4 篇 leon florin

语言

270 篇 英文
25 篇 其他
1 篇 德文

检索条件"主题词=Constraint Logic Programming"

共 296 条记录，以下是251-260 订阅

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

详细简洁

排序：

Model-based protocol log generation for testing a telecommunication test harness using CLP

Model-based protocol log generation for testing a telecommun...

引用

Design, Automation and Test in Europe Conference and Exhibition (DATE)

作者： Balck, Kenneth Grinchtein, Olga Pearson, Justin Ericsson AB Linkoping Sweden Ericsson AB Stockholm Sweden Uppsala Univ Dept Informat Technol Uppsala Sweden

ISBN: (纸本)9783981537024

Within telecommunications development it is vital to have frameworks and systems to replay complicated scenarios on equipment under test, often there are not enough available scenarios. In this paper we study the problem of testing a test harness, which replays scenarios and analyses protocol logs for the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard. Protocol logs are sequences of messages with timestamps;and are generated by different mobile network entities. In our case study we focus on user equipment protocol logs. In order to test the test harness we require that logs have both incorrect and correct behaviour. It is easy to collect logs from real system runs, but these logs do not show much variation in the behaviour of system under test. We present an approach where we use constraint logic programming (CLP) for both modelling and test generation, where each test case is a protocol log. In this case study, we uncovered previously unknown faults in the test harness.

关键词： 4G mobile communication Long Term Evolution logic programming protocols telecommunication computing telecommunication equipment testing CLP LTE 4G standard Long Term Evolution 4G standard constraint logic programming equipment-under-test message sequences mobile network entities model-based protocol log generation public warning system service system-under-test telecommunication development telecommunication test harness test generation timestamps user equipment protocol logs Alarm systems Computer architecture Long Term Evolution Mathematical model programming Protocols Testing

来源：评论

学校读者我要写书评

暂无评论

An Assertion Language for Slicing constraint logic Languages 28th

An Assertion Language for Slicing Constraint Logic Languages

引用

28th International Symposium on logic-Based Program Synthesis and Transformation (LOPSTR(

作者： Falaschi, Moreno Olarte, Carlos Univ Siena Dept Informat Engn & Math Siena Italy Univ Fed Rio Grande do Norte ECT Natal RN Brazil

ISBN: (纸本)9783030138387;9783030138370

constraint logic programming (CLP) is a language scheme for combining two declarative paradigms: constraint solving and logic programming. Concurrent constraint programming (CCP) is a declarative model for concurrency where agents interact by telling and asking constraints in a shared store. In a previous paper, we developed a framework for dynamic slicing of CCP where the user first identifies that a (partial) computation is wrong. Then, she marks (selects) some parts of the final state corresponding to the data (constraints) and processes that she wants to study more deeply. An automatic process of slicing begins, and the partial computation is "depurated" by removing irrelevant information. In this paper we give two major contributions. First, we extend the framework to CLP, thus generalizing the previous work. Second, we provide an assertion language suitable for both, CCP and CLP, which allows the user to specify some properties of the computations in her program. If a state in a computation does not satisfy an assertion then some "wrong" information is identified and an automatic slicing process can start. We thus make one step further towards automatizing the slicing process. We show that our framework can be integrated with the previous semi-automatic one, giving the user more choices and flexibility. We show by means of examples and experiments the usefulness of our approach.

关键词： Concurrent constraint programming constraint logic programming Dynamic slicing Debugging Assertion language

来源：评论

学校读者我要写书评

暂无评论

Capturing and Building Expertise in Virtual Worlds

Capturing and Building Expertise in Virtual Worlds

引用

5th International Conference on Foundation of Augmented Cognition

作者： Freeman, Jared Stacy, Webb MacMillan, Jean Levchuk, Georgiy Aptima Inc Washington DC 20036 USA

ISBN: (纸本)9783642028113

Model-driven simulation can make the design and delivery of instruction more efficient and effective. We describe two computational models that support both the design and delivery of instruction. BEST (the Bench-marked Experiential System for Training) can guide experts through the space of domain problems during the knowledge engineering phase of instructional design;it can guide trainees through the space of training objectives during instruction. PRESTO (Pedagogically Relevant Engineering of Scenarios for Training Objectives) builds scenarios on the fly to elicit the knowledge of experts during instructional design, and to satisfy the instructional objectives of trainees.

关键词： Adaptive instruction knowledge engineering constraint logic programming Markov Decision Process

来源：评论

学校读者我要写书评

暂无评论

A real implementation for constructive negation

引用

19th International Conference on logic programming

作者： Muñoz, S Moreno-Navarro, JJ Univ Politecn Madrid Fac Informat LSIIS Madrid 28660 Spain

ISBN: (纸本)3540206426

logic programming has been advocated as a language for system specification, especially for logical behaviours, rules and knowledge. However, modeling problems involving negation, which is quite natural in many cases, is somewhat restricted if Prolog is used as the specification/implementation language. These constraints are not related to theory viewpoint, where users can find many different models with their respective semantics; they concern practical implementation issues. The negation capabilities supported by current Prolog systems are rather limited, and a correct and complete implementation there is not available. Of all the proposals, constructive negation [1,2] is probably the most promising because it has been proven to be sound and complete [4], and its semantics is fully compatible with Prolog’s.

关键词： constructive negation negation in logic programming constraint logic programming implementations of logic programming

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Approach to Decision Support for Resource-Constrained Scheduling Problems 8th

A Hybrid Approach to Decision Support for Resource-Constrain...

引用

8th KES International Conference on Intelligent Decision Technologies (KES-IDT)

作者： Sitek, Pawel Nielsen, Izabela Wikarek, Jaroslaw Nielsen, Peter Kielce Univ Technol Dept Informat Syst Kielce Poland Aalborg Univ Dept Mech & Mfg Engn Aalborg Denmark

ISBN: (纸本)9783319396309;9783319396293

Resource-constrained scheduling problems are commonly found in various areas, such as project management, manufacturing, transportation, software engineering, computer networks, and supply chain management. Its problem models involve a large number of constraints and discrete decision variables, including binary and integer. In effect, the representation of resource allocation, for instance, is often expressed using binary or integer decision variables to form several constraints according to the respective scheduling problem. It significantly increases the number of decision variables and constraints as the problem scales;such kind of traditional approaches based on operations research is insufficient. Therefore, a hybrid approach to decision support for resource-constrained scheduling problems which combines operation research (OR) and constraint logic programming (CLP) is proposed. Unlike OR-based approaches, declarative CLP provides a natural representation of different types of constraints. This approach provides: (a) decision support through the answers to the general and specific questions, (b) specification of the problem based on a set of facts and constraints, (c) reduction to the combinatorial solution space. To evaluate efficiency and applicability of the proposed hybrid approach and implementation platform, implementation examples of job-shop scheduling problem are presented separately for the three environments, i.e., Mathematical programming (MP), CLP, and hybrid implementation platform.

关键词： Decision support constraint logic programming Resource-constrained scheduling problem Mathematical programming Hybridization

来源：评论

学校读者我要写书评

暂无评论

Configuration of Employee Competences in IT Projects 12th

Configuration of Employee Competences in IT Projects

引用

12th Asian Conference on Intelligent Information and Database Systems (ACIIDS)

作者： Wikarek, Jaroslaw Sitek, Pawel Kielce Univ Technol Kielce Poland

ISBN: (纸本)9783030420581;9783030420574

IT projects are characterized by high complexity, implementation of the latest technological solutions and specialized competence of contractors and high costs. The key element in IT project management is to have employees with appropriate substantive competencies (programmers, designers, analysts, etc.). Before starting an IT project, the IT project manager must answer the following questions: Do I have the right set of team competences to start the project? If the team lacks competence, then in what area and to what extent? The article proposes a model of employee competence configuration and a procedure for their verification in the context of IT project management. Also presented is the method of model implementation and numerous computational examples verifying its usefulness and effectiveness of implementation.

关键词： Project management Employee competences Mathematical programming constraint logic programming Optimization

来源：评论

学校读者我要写书评

暂无评论

CLP(QS): A Declarative Spatial Reasoning Framework

CLP(QS): A Declarative Spatial Reasoning Framework

引用

10th International Conference on Spatial Information Theory (COSIT 2011)

作者： Bhatt, Mehul Lee, Jae Hee Schultz, Carl Univ Bremen Spatial Cognit Res Ctr SFB TR 8 Bremen Germany

ISBN: (纸本)9783642231957

We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS) is a general framework, we demonstrate its applicability for the domain of Computer Aided Architecture Design. With CLP(QS) serving as a prototype, we position declarative spatial reasoning as a general paradigm open to other formalizations, reinterpretations, and extensions. We argue that the accessibility of qualitative spatial representation and reasoning mechanisms via the medium of high-level, logic-based formalizations is crucial for their utility toward solving real-world problems.

关键词： geometric and qualitative spatial reasoning constraint logic programming declarative programming spatial computing architecture design

来源：评论

学校读者我要写书评

暂无评论

A Concept of Decision Support in Supply Chain Management - A Hybrid Approach

A Concept of Decision Support in Supply Chain Management - A...

引用

11th International Conference on Beyond Databases, Architectures and Structures (BDAS)

作者： Sitek, Pawel Kielce Univ Technol Dept Control & Management Syst Kielce Poland

ISBN: (纸本)9783319184227;9783319184210

This paper describes the hybrid approach to optimization of decision problems in supply chain management (SCM). The hybrid approach proposed here combines the strengths of mathematical programming (MP) and constraint logic programming (CLP), which leads to a significant reduction in the search time necessary to find the optimal solution, and allows solving larger problems. The proposed hybrid approach is presented as a concept of an additional layer of decision-making in integrated systems, for example ERP, DRP, etc. This solution allows the implementation of complete decision-making models, additional constraints as well as a set of questions for these models. The illustrative model presented in the article illustrate the advantages of the approach.

关键词： constraint logic programming Mathematical programming Optimization Supply Chain Management Decision Support

来源：评论

学校读者我要写书评

暂无评论

Implementing a finite-domain CLP-language on top of prolog: A transformational approach 5th

引用

5th International Conferenceon logic programming and Automated Reasoning, LPAR 1994

作者： Vandecasteele, Henk de Schreye, Danny Department of Computer Science K. U. Leuven Celestijnenlaan 200A HeverleeB-3001 Belgium

来源：评论

学校读者我要写书评

暂无评论

Program Verification using constraint Handling Rules and Array constraint Generalizations

Program Verification using Constraint Handling Rules and Arr...

引用

Fundamenta Informaticae

作者： De Angelis, Emanuele Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio University of Chieti-Pescara Viale Pindaro 42 Pescara65127 Italy University of Rome Tor Vergata Via del Politecnico 1 Rome00133 Italy IASI-CNR Via dei Taurini 19 Rome00185 Italy

The transformation of constraint logic programs (CLP programs) has been shown to be an effective methodology for verifying properties of imperative programs. By following this methodology, we encode the negation of a partial correctness property of an imperative program prog as a predicate incorrect defined by a CLP program T, and we show that prog is correct by transforming T into the empty program (and thus incorrect does not hold) through the application of semantics preserving transformation rules. We can also show that prog is incorrect by transforming T into a program with the fact incorrect (and thus incorrect does hold). Some of the transformation rules perform replacements of constraints that are based on properties of the data structures manipulated by the program prog. In this paper we show that constraint Handling Rules (CHR) are a suitable formalism for representing and applying constraint replacements during the transformation of CLP programs. In particular, we consider programs that manipulate integer arrays and we present a CHR encoding of a constraint replacement strategy based on the theory of arrays. We also propose a novel generalization strategy for constraints on integer arrays that combines CHR constraint replacements with various generalization operators on integer constraints, such as widening and convex hull. Generalization is controlled by additional constraints that relate the variable identifiers in the imperative program prog and the CLP representation of their values. The method presented in this paper has been implemented and we have demonstrated its effectiveness on a set of benchmark programs taken from the literature.

关键词： Integer programming Application programs Computer circuits Computer programming languages Encoding (symbols) logic programming Metadata Semantics constraint Handling Rules constraint logic programming constraint logic programs Generalization operators Program transformations Program Verification Replacement strategy Transformation rules

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 21 22 23 24 25 26 27 28 29 30 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：