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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 条记录，以下是211-220 订阅

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

详细简洁

排序：

Hybrid Solution Framework for Supply Chain Problems

Hybrid Solution Framework for Supply Chain Problems

引用

11th International Symposium on Distributed Computing and Artificial Intelligence (DCAI)

作者： Sitek, Pawel Wikarek, Jaroslaw Univ Technol Inst Management & Control Syst Kielce Poland

ISBN: (纸本)9783319075938;9783319075921

The paper presents application and implementation aspects of a hybrid approach to modeling and optimization for supply chain problems. Two environments of mathematical programming (MP) and constraint programming (CP) were integrated into Hybrid Solution Framework (HSF). The strengths of MP and CP, in which constraints are treated in a different way and different methods are implemented, were combined to use the strengths of both. The proposed approach is particularly important for the decision models in logistic and supply chain management, where an objective function and many discrete decision variables added up in multiple constraints.

关键词： constraint logic programming mathematical programming optimization supply chain management hybrid methods

来源：评论

学校读者我要写书评

暂无评论

A declarative semantics for CLP with qualification and proximity

A declarative semantics for CLP with qualification and proxi...

引用

26th International Conference on logic programming (ICLP)

作者： Rodriguez-Artalejo, Mario Romero-Diaz, Carlos A. Univ Complutense Fac Informat Dept Sistemas Informat & Computac E-28040 Madrid Spain

Uncertainty in logic programming has been investigated during the last decades, dealing with various extensions of the classical LP paradigm and different applications. Existing proposals rely on different approaches, such as clause annotations based on uncertain truth values, qualification values as a generalization of uncertain truth values, and unification based on proximity relations. On the other hand, the CLP scheme has established itself as a powerful extension of LP that supports efficient computation over specialized domains while keeping a clean declarative semantics. In this paper we propose a new scheme SQCLP designed as an extension of CLP that supports qualification values and proximity relations. We show that several previous proposals can be viewed as particular cases of the new scheme, obtained by partial instantiation. We present a declarative semantics for SQCLP that is based on observables, providing fixpoint and proof-theoretical characterizations of least program models as well as an implementation-independent notion of goal solutions.

关键词： constraint logic programming qualification domains and values proximity relations

来源：评论

学校读者我要写书评

暂无评论

Automatic data mapping of signal processing applications

Automatic data mapping of signal processing applications

引用

IEEE International Conference on Application-Specific Systems, Architectures and Processes

作者： Ancourt, C Barthou, D Guettier, C Irigoin, F Jeannet, B Jourdan, J Mattioli, J Ecole des Mines de Paris Fontainebleau France

ISBN: (纸本)0818679581

This paper presents a technique to map automatically a complete digital signal processing (DSP) application onto a parallel machine with distributed memory. Unlike other applications where coarse or medium grain scheduling techniques can be used DSP applications integrate several thousand of tasks and hence necessitate fine grain considerations. Moreover finding an effective mapping imperatively require to take into account both architectural resources constraints and real time constraints. The main contribution of this paper is to show how it as possible to handle and to solve data partitioning, and fine-grain scheduling under the above operational constraints using Concurrent constraints logic programming languages (CCLP). Our concurrent resolution technique undertaking linear and non linear constraints takes advantage of the special features of signal processing applications and provides a solution equivalent to a manual solution for the representative Panoramic Analysis (PA) application.

关键词： parallelizing compiler scheduling constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

A Hybrid Multi-Objective programming Framework for Modeling and Optimization of Supply Chain Problems

A Hybrid Multi-Objective Programming Framework for Modeling ...

引用

3rd International Conference on Innovative Network Systems and Applications (iNetSApp) held in conjunction with Federated Conference on Computer Science and Information Systems (FedCSIS)

作者： Sitek, Pawel Kielce Univ Technol Inst Management Control Syst Al 1000 Lecia PP 7 PL-25314 Kielce Poland

ISBN: (纸本)9788360810668

This paper presents a hybrid programming framework for solving multi-objective optimization problems in supply chain. The proposed approach consists of the integration and hybridization of two modeling and solving environments, i.e., constraint logic programming and mathematical programming, to obtain a programming framework that offers significant advantages over the classical approach derived from operational research. The strongest points of both components are combined in the hybrid framework, which by introducing transformation allows a significant reduction in size of a problem and the optimal solution is found a lot faster. This is particularly important in the multi-objective optimization where problems have to be solved over and over again to find a set of Pareto-optimal solutions. An over two thousand-fold reduction in size was obtained for the illustrative examples together with a few hundred-fold reduction in the speed of finding the solution in relation to the mathematical programming method. In addition, the proposed framework allows the introduction of logical constraints that are difficult or impossible to model in operational research environments.

关键词： Pareto optimisation mathematical programming supply chain management Pareto-optimal solutions constraint logic programming hybrid multiobjective programming framework mathematical programming method operational research environments supply chain problems Linear programming logic programming Mathematical model Mathematical programming Supply chains

来源：评论

学校读者我要写书评

暂无评论

Model based testing in evolutionary software development

Model based testing in evolutionary software development

引用

12th International Workshop on Rapid System Prototyping (RSP 01)

作者： Pretschner, A Lötzbeyer, H Philipps, J Tech Univ Munich Inst Informat D-8000 Munich Germany

ISBN: (纸本)0769512062;0769512070

The spiraling nature of evolutionary), software development processes produces executable parts of the system at the end of each loop. We argue that these parts should consist not only of programming language code, but of executable graphical system models. As a main benefit of the use of more abstract, yet formal, modeling languages, we present a method for model based test sequence generation for reactive systems on the grounds of constraint logic programming and its implementation in the CASE tool AutoFocus.

关键词： cleanroom SW engineering constraint logic programming Extreme programming incremental development rapid prototyping reactive systems test case generation

来源：评论

学校读者我要写书评

暂无评论

A Declarative Approach to Decision Support in Sustainable Supply Chain Problems 12

引用

12th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2015)

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

ISBN: (纸本)9783319196381;9783319196374

The paper presents the concept of a declarative approach to decision support for sustainable supply chain (SSC) problems. This 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 solution, and allows solving larger problems. It also presents the implementation of the proposed approach in the form of the declarative decision support platform (DDSP). The DDSP allows the implementation of complete decision-making models, constraints as well as a set of questions for these models. The illustrative examples presented in the paper illustrate efficiency and possibilities of this approach.

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

来源：评论

学校读者我要写书评

暂无评论

Partial task assignment of task graphs under heterogeneous resource constraints

Partial task assignment of task graphs under heterogeneous r...

引用

40th Design Automation Conference

作者： Szymanek, R Kuchcinski, K Lund Univ Dept Comp Sci SE-22100 Lund Sweden

ISBN: (纸本)1581136889

This paper presents a, novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tasks to a particular resource. Our method simplifies the assignment and scheduling steps while imposing a small or no penalty on the final solution quality. This technique is specially suited for problems which have different resources constraints. Our method does not cluster tasks into a new task, as typical clustering techniques do, but specifies which tasks need to be executed on the same processor. Our experiments have shown that PAT, which may produce non-linear groups of tasks, gives better results than linear clustering when multi-resource constraints axe present. Linear clustering was proved to be optimal comparing to all other clusterings for problems with timing constraints only. In this paper, we show that, if used for multi-resource synthesis problem, as it is often used nowadays, linear clustering will produce inferior solutions.

关键词： constraint logic programming task assignment scheduling

来源：评论

学校读者我要写书评

暂无评论

Intelligent Decision Support for Cybersecurity Incident Response Teams: Autonomic Architecture and Mitigation Search 16th

Intelligent Decision Support for Cybersecurity Incident Resp...

引用

16th International Conference on Risks and Security of Internet and Systems (CRiSIS)

作者： Correa, Camilo Robin, Jacques Mazo, Raul Abreu, Salvador Univ Paris 1 Pantheon Sorbonne CRI Paris France ENSTA Bretagne Lab STICC Brest France Eafit Univ GIDITIC Medellin Colombia Univ Evora NOVA LINCS Evora Portugal

ISBN: (纸本)9783031020674;9783031020667

Critical infrastructures must be able to mitigate, at run-time, suspected ongoing cyberattacks that have eluded preventive security measures. To tackle this issue, we first propose an autonomic computing architecture for a Cyber-Security Incident Response Team Intelligent Decision Support System (CSIRT-IDSS) with a precise set of technologies for each of its components. We then zoom in on the component responsible for proposing to the CSIRT, automatically ranked sets of runtime actions to mitigate suspected ongoing cyber-attacks. We formalize its task as a constraint Optimization Problem (COP). We then propose to implement it by a constraint Object-Oriented logic Program (COOLP) deployed as a containerized web service through the integration of three orthogonal extensions of logic programming (LP): Web Service Oriented LP (WSOLP), constraint LP (CLP) and Object-Oriented LP (OOLP). This integration supports seamlessly reusing platform and task independent cybersecurity ontological knowledge to dynamically build a mitigation action search COP that is customized to an input suspected cyberattack action set. This customization then allows the COP, to be solved by a generic CLP engine efficiently enough to propose mitigation actions to the CSIRT team while they can still be effective. To validate this approach, we implemented a prototype called CARMAS (Cyber Attack Runtime Mitigation Action Search) and ran scalability tests on simulated attacks with various COP construction strategies.

关键词： Intelligent Decision Support System Autonomic computing Cybersecurity incident response Object-oriented logic programming constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Assertion-based Debugging of Higher-Order (C) LP Programs 14

Assertion-based Debugging of Higher-Order (C) LP Programs

引用

16th International Symposium on Principles and Practice of Declarative programming (PPDP)

作者： Stulova, Nataliia Morales, Jose F. Hermenegildo, Manuel V. IMDEA Software Inst Madrid Spain Tech Univ Madrid UPM Sch Comp Sci Madrid Spain

ISBN: (纸本)9781450329477

Higher-order constructs extend the expressiveness of firstorder (constraint) logic programming ((C) LP) both syntactically and semantically. At the same time assertions have been in use for some time in (C) LP systems helping programmers detect errors and validate programs. However, these assertion-based extensions to (C) LP have not been integrated well with higher-order to date. This paper contributes to filling this gap by extending the assertion-based approach to error detection and program verification to the higher-order context within (C) LP. We propose an extension of properties and assertions as used in (C) LP in order to be able to fully describe arguments that are predicates. The extension makes the full power of the assertion language available when describing higher-order arguments. We provide syntax and semantics for (higher-order) properties and assertions, as well as for programs which contain such assertions, including the notions of error and partial correctness. We also discuss several alternatives for performing run-time checking of such programs.

关键词： logic programming constraint logic programming Program Verification Higher Order Run-time Verification Error Detection Debugging Assertions

来源：评论

学校读者我要写书评

暂无评论

A hybrid multi-agent approach to the solving supply chain problems 18th

A hybrid multi-agent approach to the solving supply chain pr...

引用

18th Annual International Conference on Knowledge-Based and Intelligent Information and Engineering Systems (KES)

作者： Sitek, Pawel Nielsen, Izabela Ewa Wikarek, Jaroslaw Kielce Univ Technol Inst Management & Control Syst PL-25314 Kielce Poland Univ Dept Mech & Mfg Engn Aalborg Denmark

The paper presents a concept and application of a hybrid multi-agent approach to modeling and optimization the supply chain problems. Two environments (mathematical programming (MP) and constraint logic programming (CLP)) and two types of agents were integrated. This integration and hybridization, complemented with an adequate transformation of the problem, facilitates a significant reduction of the combinatorial problem. The whole process takes place at the implementation layer, which makes it possible to use the structure of the problem being solved, implementation environments and the very data. The strengths of MP and CLP, in which constraints are treated in a different way and different methods are implemented, were combined to use the strengths of both. The proposed approach is particularly important for the decision models with an objective function and many discrete decision variables added up in multiple constraints. The presented multi-agent approach will be compared with classical mathematical programming on the same data sets and models. In addition, the proposed approach will be used for modelling and optimization of the hybrid model, which has not only linear constraints but also logical constraints. (C) 2014 The Authors. Published by Elsevier B.V.

关键词： multi-agent constraint logic programming mathematical programming optimization supply chain management hybridization

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

共30页 << < 18 19 20 21 22 23 24 25 26 27 > >>

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：