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

您好，读者！请登录

内蒙古大学图书馆

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

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入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 种 纸本馆藏

日期分布

学科分类号

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

主题

296 篇 constraint logic...
27 篇 mathematical pro...
17 篇 optimization
17 篇 scheduling
16 篇 logic programmin...
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 订阅

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

详细简洁

排序：

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Comparative Analysis of MP-Based Solvers to Optimize Distribution Problems in Logistics

Comparative Analysis of MP-Based Solvers to Optimize Distrib...

引用

International Conference on Automation

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

ISBN: (纸本)9783319771793;9783319771786

Distribution related problems in logistics have many decision variables and constraints that have to be considered simultaneously. Most often, these are the problems in the discrete optimization branch, modeled and optimized using operational research, in particular mathematical programming (MP) models and methods, such as mixed integer linear programming (MILP), integer programming (IP) and integer linear programming (ILP). These methods become ineffective very quickly in the case of larger size problems. Also, the number of decision variables and constraints may exceed the capacity of available MP solvers. To improve their efficiency and reduce the effective size of the solution space of a given problem, hybrid approaches are being developed, integrating MP with other environments. This article discusses the results of comparative analysis of several MP solvers (LINGO, SCIP, GUROBI) in the context of their use for optimization of selected distribution problems.

关键词： Discrete optimization Mathematical programming constraint logic programming Hybridization Distribution problems

来源：评论

学校读者我要写书评

暂无评论

PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode 10

PET: A Partial Evaluation-based Test Case Generation Tool fo...

引用

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

作者： Albert, Elvira Gomez-Zamalloa, Miguel Puebla, German Univ Complutense Madrid E-28040 Madrid Spain

ISBN: (纸本)9781605587271

PET is a prototype Partial Evaluation-based Test case generation tool for a subset of Java bytecode programs. It performs white-box test generation by means of two consecutive Partial Evaluations (PE). The first PE decompiles the Java bytecode program into an equivalent CLP (constraint logic programming) counterpart. The second PE generates a test-case generator from the CLP program. This generator captures interesting test coverage criteria and it is able to generate further test cases on demand. For the first PE. PET incorporates an existing tool which decompiles bytecode to CLP. The main contribution of this work is the implementation of the second PE and the proof of concept of the approach. This has required the development of a partial evaluator for CLP with appropriate control strategies to ensure the required coverage criteria and to generate test-case generators. PET can be downloaded as free software from its web site, where a repository of examples and a web interface are also provided. Though PET has to be extended to be applicable to larger programs, we argue that it provides some evidence that the approach can be of practical interest.

关键词： Testing Test-case generation Partial evaluation Symbolic execution constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

On Detecting Semantic Clones in constraint logic Programs 16

On Detecting Semantic Clones in Constraint Logic Programs

引用

16th IEEE International Workshop on Software Clones (IWSC)

作者： Yernaux, Gonzague Vanhoof, Wim Univ Namur Fac Comp Sci Namur Digital Inst Namur Belgium

ISBN: (数字)9781665484473

ISBN: (纸本)9781665484473

Deciding whether two code fragments are semantic clones, or type-4 clones, is a problem with many ramifications. Current research often focuses on the problem in an imperative or object-oriented setting and most existing work uses abstract syntax trees, program dependency graphs, program metrics or text-based, token-based and machine learning-based approaches to identify semantic clones. In this work, we adopt a fundamentally different point of view and express clone detection as a search problem in a logic programming setting. Due to their restricted syntax and semantics, (constraint) logic programs are by nature simple and elegant candidates for automated analysis. After having formalized the clone detection problem at the level of predicates, we develop a study of the different parameters that come into play in the resulting framework. We try and identify the complexity issues involved in a general semantic clone detection procedure that essentially computes so-called most specific generalizations for predicates written in constraint logic programming (CLP). Even though well-known for basic structures such as literals and terms, generalization (or anti-unification) of more complex structures such as clauses and predicates has received very little attention. We show that the anti-unification allows both to control the search and guide the detection of cloned predicates. We pinpoint where efficient approximations are needed in order to be able to identify semantic code clones in a manageable time frame.

关键词： Semantic Clone Detection constraint logic programming Complexity Anti-unification

来源：评论

学校读者我要写书评

暂无评论

Optimization of Message Encryption for Distributed Embedded Systems with Real-Time constraints

Optimization of Message Encryption for Distributed Embedded ...

引用

14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)

作者： Jiang, Ke Eles, Petru Peng, Zebo Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden

ISBN: (纸本)9781424497560

In this paper we consider distributed embedded systems in which privacy or confidentiality of the internal communication is critical, and present an approach to optimizing cryptographic algorithms under strict timing constraints. We have developed a technique to search for the best system-affordable cryptographic protection for the messages transmitted over the internal communication bus. Towards this, we formulate the optimization technique in constraint logic programming (CLP), which returns optimal results. However, CLP executions are computationally expensive and hence, we propose an efficient heuristic as an alternative. Extensive experiments demonstrate the efficiency of the proposed heuristic approach.

关键词： Automotive engineering CLP Embedded systems Encryption Optimization Program processors constraint logic programming cryptography distributed embedded system distributed processing field buses internal communication bus message encryption optimisation optimization technique real-time constraints

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

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

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

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

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

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

联系人：

所在院系：

联系邮箱：

联系电话：

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

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：