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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

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

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

详细简洁

排序：

Autonomous Generation of Conflict-Free Examination Timetable Using constraint Satisfaction Modelling

Autonomous Generation of Conflict-Free Examination Timetable...

引用

2017 International Artificial Intelligence and Data Processing Symposium (IDAP)

作者： Elsaka, Tarek Univ Sharjah Sharjah U Arab Emirates CLAES Cairo Egypt

ISBN: (纸本)9781538618806

Examination timetable (ETT) is a complex administrative task at educational institutions that must fulfill various constraints to generate the ETT to schedule exam sessions within a precise period. The ETT problem could be modeled as constraint Satisfaction Problems (CSPs). In addition, it could be particularly investigated by constraint logic programming (CLP) approach. This paper uses a real examination dataset from the Community College (CC), University of Sharjah (UoS). This dataset has very rich data such as the large number of student enrolments related to many departments, an accumulative number of combined courses, low number of exam halls, very limited timeslots, low number of invigilators and distant campuses. This dataset has many practical constraints to be satisfied such as a course taught at many campuses must has the same exam date and an invigilator can invigilate at any campus. This paper applies the CSP definitions as well as the Optimization programming Language (OPL) to model the ETT dataset and automatically generate a conflict-free ETT solution using a CLP Solver. Finally, it uses the results to satisfy the proposed constraints in the model.

关键词： Index Examination Timetable Scheduling Planning constraint Satisfaction constraint logic programming Optimization programming Language

来源：评论

学校读者我要写书评

暂无评论

Extension of Model Functionalities for Multi-echelon Distribution Systems Through the Introduction of logical constraints

引用

International Conference Challenges in Automation, Robotics and Measurement Techniques (Automation)

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

ISBN: (纸本)9783319293578;9783319293561

Multi-echelon distribution systems are quite common in supply-chain and city logistic systems. The paper presents a concept of extending functionality of the multi-distribution models by introduction logical constraints. This is possible by using a hybrid approach to modeling and optimization the multi-echelon problems. In the hybrid approach, two environments of mathematical programming (MP) and constraint logic programming (CLP) were integrated. logical constraints are associated with the transformation of the problem made by the CLP. The Two-Echelon Capacitated Vehicle Routing Problem (2E-CVRP) has been proposed as an illustrative example. The logical constraints on routes, cities etc. were introduced to the standard 2E-CVRP model. The presented approach will be compared with classical mathematical programming on the same data sets (known benchmarks).

关键词： Multi-echelon distribution systems constraint logic programming Mathematical programming logical constraints

来源：评论

学校读者我要写书评

暂无评论

Optimization of Freight Transportation Brokerage Using Agents and constraints 18th

引用

18th International Conference on Engineering Applications of Neural Networks (EANN)

作者： Badica, Amelia Badica, Costin Leon, Florin Danciulescu, Daniela Univ Craiova Craiova Romania Tech Univ Gheorghe Asachi Iasi Iasi Romania

ISBN: (纸本)9783319651729;9783319651712

In this paper we address the problem of declarative modeling of freight transportation brokering using agents and constraints. Our model can be used for the optimization of vehicle assignments to customer orders that request the transportation of freight from source to destination points. The advantage is that a single vehicle can serve multiple customer orders on its multi-hop route that is part of a solution schedule. Our model is mapped to the ECLiPSe constraint logic programming system such that optimal schedules can be automatically computed using the available constraint solvers. We propose a method and protocol for integrating this constraint-based scheduler into a multi-agent system.

关键词： Combinatorial optimization Pickup and delivery problem constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Semantics-based generation of verification conditions by program specialization 15

Semantics-based generation of verification conditions by pro...

引用

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

作者： De Angelis, E. Fioravanti, F. Pettorossi, A. Proietti, M. Univ G dAnnunzio DEC Chieti Italy Univ Roma Tor Vergata DICII Rome Italy CNR IASI Rome Italy

ISBN: (纸本)9781450335164

We present a method for automatically generating verification conditions for a class of imperative programs and safety properties. Our method is parametric with respect to the semantics of the imperative programming language, as it specializes, by using unfold/fold transformation rules, a Horn clause interpreter that encodes that semantics. We define a multi-step operational semantics for a fragment of the C language and compare the verification conditions obtained by using this semantics with those obtained by using a more traditional small-step semantics. The flexibility of the approach is further demonstrated by showing that it is possible to easily take into account alternative operational semantics definitions for modeling new language features. Finally, we provide an experimental evaluation of the method by generating verification conditions using the multi-step and the small-step semantics for a few hundreds of programs taken from various publicly available benchmarks, and by checking the satisfiability of these verification conditions by using state-of-the-art Horn clause solvers. These experiments show that automated verification of programs from a formal definition of the operational semantics is indeed feasible in practice.

关键词： Software model checking program verification program specialization semantics of programming languages verification conditions constraint logic programming Horn clauses

来源：评论

学校读者我要写书评

暂无评论

An Integrated Declarative Approach to Decision Support for Scheduling Groups of Jobs 36th

An Integrated Declarative Approach to Decision Support for S...

引用

36th International Conference on Information Systems Architecture and Technology (ISAT)

作者： Wikarek, Jaroslaw Kielce Univ Technol Dept Control & Management Syst Kielce Poland

ISBN: (纸本)9783319285559;9783319285535

This study deals with scheduling groups of jobs, their arrival and delivery, and individual processing of each of them. All jobs in a group should be delivered at the same time after processing. The author presents a novel way of modeling and decision support-an integrated declarative approach. This approach includes the modeling and solving of the problem in the integrated environment, composed of MP (Mathematical programming) and CLP (constraint logic programming). In addition, the paper proposes the transformation and linearization of the model in CLP/MP environment and implementation framework. Opportunity to ask questions and receive quick answers, taking into account any constraints, conditions and dynamics, constitutes an invaluable support to the manager.

关键词： Mathematical programming constraint logic programming Optimization Decision support systems Scheduling Group work Soft constraints

来源：评论

学校读者我要写书评

暂无评论

Competency Management Model for a Team of Trainers 1

引用

14th International Conference on Computational Collective Intelligence (ICCCI)

作者： Wikarek, Jaroslaw Sitele, Pawel Kielce Univ Technol Dept Control & Management Syst Kielce Poland

ISBN: (数字)9783031160141

ISBN: (纸本)9783031160141;9783031160134

The paper proposes a model of management and configuration of competences of a team conducting advanced training in the field of IT, electronics, robotics and other advanced technologies. The model enables decision support in managing the training team and finding answers to numerous questions in this area. The most important questions include: Does the team have the appropriate composition and competences to conduct a training cycle in accordance with a given schedule? What competences are missing in the team to conduct the training cycle? What composition of the team of trainers ensures that the trainings can be conducted as scheduled in the absence of any trainer? etc. The model was formulated as a set of questions and a set of constraints. An approach that integrates mathematical programming and constraint logic programming was used to implement the model. The data has been saved in the form of facts, which enables their storage in both SQL and NoSQL databases and easy integration with decision support systems.

关键词： Competency management Personnel assignment problem (PAP) Decision support Mathematical programming constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Configuration Model of Employee Competences in a Social Media Team 1

引用

34th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE)

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

ISBN: (数字)9783030794576

ISBN: (纸本)9783030794569;9783030794576

In the age of economics and knowledge-based economy, the competences of enterprises and organizations focus on the competences of their employees. It is especially visible in enterprises using advanced IT technologies and modern communication channels, such as social media. In recent years, social media has become an indispensable and very common channel of the business information flow, e.g., in the terms of advertising and marketing, payment processing, placing orders and tracking progress in their implementation. Thus, to support all these functionalities, usually in addition to specialized software and hardware, one needs highly qualified specialists, conventionally called the 'social media team'. This paper proposes a competency configuration model for the social media team. The presented model is the basis for supporting decisions in the selection, configuration, and optimization of the social media team in the context of the execution of a certain set of tasks. The implementation of the model using mathematical programming methods and a genetic algorithm with the original coding system for the modelled problem has also been proposed.

关键词： Social media team Resource allocation Decision support Mathematical programming Genetic algorithm constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

A declarative framework for constrained search problems

A declarative framework for constrained search problems

引用

21st International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems

作者： Sitek, Pawel Wikarek, Jaroslaw Tech Univ Kielce Control & Management Syst Sect PL-25314 Kielce Poland

ISBN: (纸本)9783540690450

Constrained search problems (eg. scheduling, planning, resource allocation, placement, routing etc.) appear frequently at different levels of decisions. They are usually characterized by many types of constraints, which make them unstructured and difficult to solve (NP-complete). Traditional mathematical programming approaches are deficient because their representation of constraints is artificial (using 0-1 variables). Unlike traditional approaches, constraint logic programming (CLP) provides for a natural representation of heterogeneous constraints. In CLP we state the problem requirements by constraints;we do not need to specify how to meet these requirements. In this paper we propose a declarative framework for decision support system (DSS) for constrained search problems implemented by CLP and relational SQL database. We illustrate this concept by the implementation of a DSS for scheduling problems with external resources in different production organization environments.

关键词： DSS scheduling constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Declarative Modeling of a Milk-Run Vehicle Routing Problem for Split and Merge Supply Streams Scheduling 39th

Declarative Modeling of a Milk-Run Vehicle Routing Problem f...

引用

39th International Conference on Information Systems Architecture and Technology (ISAT)

作者： Bocewicz, G. Nielsen, P. Banaszak, Z. Koszalin Univ Technol Fac Elect & Comp Sci Koszalin Poland Aalborg Univ Dept Mat & Prod Aalborg Denmark

ISBN: (纸本)9783319999968;9783319999951

A flow production system with concurrently executed supply chains providing material handling/transportation services to a given set of workstations is analyzed. The considered streams of split and merge supply chains representing all the stages at which value is added to a manufacturing product (including the delivery of raw materials and intermediate components are scheduled under constraints imposed by the solution to an associated milk-run vehicle routing problem. A declarative model of the investigated milk-run delivery principle makes it possible to formulate a vehicle routing and scheduling problem, the solution to which determines the route, the time schedule, and the type and number of parts that different trucks must carry to fulfill orders from various customers/recipients. The goal is to find solutions that minimize both vehicle downtime and the takt time of the production flow. The approach proposed allows to view the above trade-off-like problem as a constraint satisfaction problem and to solve it in the Oz Mozart constraint programming environment.

关键词： constraint logic programming Milk-run Vehicle routing Pickup and delivery problem

来源：评论

学校读者我要写书评

暂无评论

Solving Horn Clauses on Inductive Data Types Without Induction

Solving Horn Clauses on Inductive Data Types Without Inducti...

引用

34th International Conference on logic programming (ICLP)

作者： De Angelis, Emanuele Fioravanti, Fabio Pettorossi, Alberto Proietti, Maurizio G dAnnunzio Univ Chieti Pescara DEC Pescara Italy Univ Roma Tor Vergata DICII Rome Italy CNR IASI Rome Italy

We address the problem of verifying the satisfiability of Constrained Horn Clauses (CHCs) based on theories of inductively defined data structures, such as lists and trees. We propose a transformation technique whose objective is the removal of these data structures from CHCs, hence reducing their satisfiability to a satisfiability problem for CHCs on integers and booleans. We propose a transformation algorithm and identify a class of clauses where it always succeeds. We also consider an extension of that algorithm, which combines clause transformation with reasoning on integer constraints. Via an experimental evaluation we show that our technique greatly improves the effectiveness of applying the Z3 solver to CHCs. We also show that our verification technique based on CHC transformation followed by CHC solving, is competitive with respect to CHC solvers extended with induction.

关键词： Program verification constrained Horn clauses constraint logic programming inductively defined data types program transformation

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：