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

8th International Conference on Ubi-Media Computing (UMEDIA)

作者： Rajapaksha, R. P. M. C. Jayawardena, K. G. T. Fernando, Shantha Rajarata Univ Sri Lanka Fac Sci Appl Dept Phys Sci Mihintale Sri Lanka

ISBN: (纸本)9781467382700

Generation of home plans based on several attributes like constraints and preferences is an interesting research area. Most related research works on floor plan generation do not always adhere to the necessary constraints such as reachability, connectivity and different shaping. This paper presents a novel and flexible technique for generating floor plans subject to minimum geometrical requirements, architectural and legal attributes by showing generated floor plans for different shaped designs with satisfying set of attributes. Since there are number of possible combinations to generate a floor plan, it is really a challenging task to figure out the optimum solution for a particular scenario. Rather than evaluating the floor plan after applying a set of attributes, system checks whether the floor plan satisfies the requirements, while generating the floor plan inside a single rule in knowledgebase. The proposed model would result in minimizing the number of attributes associated with the most important features in architectural home designing, significant reduction in designing costs and release of human labor. The main feature of the proposed system is its representation power since it is not limited to representing just rectangular shaped floor plans. In totality, this tends to increase customer satisfaction as a final goal of the system. Furthermore the method is efficient and easy to implement and integrate into the larger context of modeling of home plans.

关键词： constraint logic programming constraint satisfaction problems inference engine

来源：评论

学校读者我要写书评

暂无评论

Optimization of urban freight distribution with different time constraints - a hybrid approach 14th

Optimization of urban freight distribution with different ti...

引用

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

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

ISBN: (纸本)9783319624105

The efficient and timely distribution of freight is critical for supporting the demands of modern urban areas. Without optimal freight distribution, urban areas could not survive and develop. The paper presents the concepts of hybrid approach to optimization of urban freight distribution. This approach proposed 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. It also presents the formal model for optimization of urban freight distribution with different types of time constraints. The application of the hybrid approach to the optimization of urban freight distribution is the primary contribution of this paper. The proposed model was implemented using both the hybrid approach and pure mathematical programming for comparison. Several experiments were performed for both computational implementations in order to evaluate both approaches.

关键词： Urban Freight Distribution Hybrid methods constraint logic programming Mathematical programming Optimization Presolving

来源：评论

学校读者我要写书评

暂无评论

Current research status and future direction of the fifth generation computer project

引用

Future Generation Computer Systems 1992年第2-3期7卷 269-273页

作者： Furukawa, Koichi Institute for New Generation Computer Technology Minato-ku Tokyo 108 4-28 Mita 1-Chome Japan

The fifth generation computer project was launched in 1982, aiming at developing parallel computers dedicated for knowledge information processing. It was commonly believed that knowledge processing based on symbolic computation is very difficult to parallelize. We made a conjecture that logic programming technology will solve the difficulty. During the project, we succeeded in inventing a parallel logic programming language, GHC, and its realistic extention, KL1. We devoted our effort in developing parallel hardware called PIM, dedicated for KL1. We are now developing software technology on top of KL1 and PIM. We succeeded in developing PIM's operating system totally in KL1, which runs on Multi-PSI, a current experimental parallel hardware for developing KL1 programming. We are now concentrating our effort on developing mapping techniques, such as load balancing and priority control, for deriving real spead up in parallel execution. We are also trying to develop more realistic and complicated application programs such as VLSI-CAD systems, case based reasoning systems and parallel theorem provers which, we hope, will run efficiently on PIM. © 1992.

关键词： concurrent logic programming constraint logic programming Fifth generation computer knowledge information processing logic programming

来源：评论

学校读者我要写书评

暂无评论

Formal Understanding of Tradeoffs among Liveness and Safety Requirements 24

Formal Understanding of Tradeoffs among Liveness and Safety ...

引用

24th IEEE International Requirements Engineering Conference Workshops (RWE)

作者： Kafali, Ozgur Ajmeri, Nirav Singh, Munindar P. North Carolina State Univ Dept Comp Sci Raleigh NC 27695 USA

ISBN: (纸本)9781509036943

Understanding tradeoffs among stakeholder requirements regarding liveness (something good happens) and safety (nothing bad happens) is crucial for designing sociotechnical systems (STSs). Safety-focused specifications restrict agents' actions to avoid undesired executions. However, such restrictions hinder liveness. We formalize such tradeoffs using the elements of an STS specification to understand how much a specification promotes liveness or safety. We propose metrics to measure liveness and safety, and demonstrate how constraint logic programming is used to compute such metrics.

关键词： Norms sociotechnical systems constraint logic programming

来源：评论

学校读者我要写书评

暂无评论

Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay

Scheduling for Fault-Tolerant Communication on the Static Se...

引用

31st IEEE Real-Time Systems Symposium

作者： Tanasa, Bogdan Bordoloi, Unmesh D. Eles, Petru Peng, Zebo Linkopings Univ Linkoping Sweden

ISBN: (纸本)9780769542980

FlexRay has been widely accepted as the next generation bus protocol for automotive networks. This has led to tremendous research interest in techniques for scheduling messages on the FlexRay bus, in order to meet the hard real-time deadlines of the automotive applications. However, these techniques do not generate reliable schedules in the sense that they do not provide any performance guarantees in the presence of faults. In this work, we will present a framework for generating fault-tolerant message schedules on the time-triggered (static) segment of the FlexRay bus. We provide formal guarantees that the generated fault-tolerant schedules achieve the reliability goal even in the presence of transient and intermittent faults. Moreover, our technique minimizes the required number of retransmissions of the messages in order to achieve such fault tolerant schedules, thereby, optimizing the bandwidth utilization. Towards this, we formulate the optimization problem in constraint logic programming (CLP), which returns optimal results. However, this procedure is computationally intensive and hence, we also propose an efficient heuristic. The heuristic guarantees the reliability of the constructed schedules but might be sub-optimal with respect to bandwidth utilization. Extensive experiments run on synthetic test cases and real-life case studies illustrate that the heuristic performs extremely well. The experiments also establish that our heuristic scales significantly better than the CLP formulation.

关键词： FlexRay bus automotive application automotive network bandwidth utilization constraint handling constraint logic programming fault tolerance fault tolerant communication fault tolerant message schedule intermittent fault next generation bus protocol proto

来源：评论

学校读者我要写书评

暂无评论

A General Implementation Framework for Tabled CLP 12

A General Implementation Framework for Tabled CLP

引用

11th International Symposium on Functional and logic programming (FLOPS)

作者： Chico de Guzman, Pablo Carro, Manuel Hermenegildo, Manuel V. Stuckey, Peter IMDEA Software Inst Madrid Spain Univ Politecn Madrid Sch Comp Sci Madrid Spain NICTA Victoria Res Lab Parkville Vic Australia Univ Melbourne Dept Comp & Informat Syst Melbourne Vic Australia

ISBN: (纸本)9783642298226

This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementations exist, they either suffer from a lack of efficiency, flexibility, or generality, or have inherent limitations with respect to the programs they can execute to completion (either with success or failure). Our framework addresses these issues directly, including the ability to check for answer / call entailment, which allows it to terminate in more cases than other approaches. The proposed framework is experimentally compared with existing solutions in order to provide evidence of the mentioned advantages.

关键词： constraint logic programming Tabling Implementation Performance

来源：评论

学校读者我要写书评

暂无评论

Railway controller synthesis based on system requirements

引用

IMACS Multiconference on Computational Engineering in Systems Applications (CESA 2006)

作者： Bourdeaud'huy, Thomas Yim, Pascal Ecole Cent Lille LAGIS UMR 8021 BP 48 F-59651 Villeneuve Dascq France

ISBN: (纸本)9787302139225

In this paper, we present a conception methodology based on system requirements, whithin which we propose to integrate formalisation and verification into the same process. This method uses the constraint programming paradigm to synthesize Petri nets corresponding to a formal expression of requirements as constraints over the PN structure. Some additional techniques are provided to incrementaly refine the synthesized net until it satisfies the whole requirements. http://***/stamp/***?tp=&arnumber=4281812

关键词： Petri Nets Synthesis Supervisory Control constraint logic programming Requirements Engineering computer-aided modelisation

来源：评论

学校读者我要写书评

暂无评论

A Robust Approach to Employee Competences in Project Management 13th

A Robust Approach to Employee Competences in Project Managem...

引用

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

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

ISBN: (纸本)9783030732790;9783030732806

In modern knowledge-based economy most of new undertakings are accomplished in the form of projects. The critical elements in project management used to be resources and time. Due to continuous technological development of automation, robotization and IT, the access to the resources ceases to be the key issue. Nevertheless, the employees with specific competences engaged in realization of a given project have become a critical resource. It is so mainly due to the fact that not all employee competences can be replaced by a machine or software. Additionally, employees can be temporarily unavailable, change the terms of employment, etc. Prior to starting any new project, the manager has to answer a few key questions concerning this resource, e.g.: Does the team accomplishing the project possess sufficient set of competences? If not, which and how many competences are missing? The answer to these questions can determine the success or failure of a project even prior to its start. The paper presents an employee competences configuration model which makes it possible to answer the above-mentioned questions and quickly verifies the feasibility of a given project in terms of the set of the team competences. Another possible way the proposed model might be used is to evaluate the robustness of the project realization taking into account the team competences.

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

来源：评论

学校读者我要写书评

暂无评论

A hybrid MILP/CLP algorithm for multipurpose batch process scheduling

A hybrid MILP/CLP algorithm for multipurpose batch process s...

引用

14th European Symposium on Computer Aided Process Engineering (ESCAPE-14)

作者： Roe, B Papageorgiou, LG Shah, N Univ London Imperial Coll Sci Technol & Med Ctr Proc Syst Engn Dept Chem Engn London SW7 2AZ England UCL Ctr Proc Syst Engn Dept Chem Engn London WC1E 7JE England

This paper presents a novel hybrid constraint logic programming (CLP) and MILP algorithm for scheduling complex multipurpose batch processes. The scheduling problem is decomposed into two sub-problems: first an aggregate planning problem is solved using an MILP model, and then a sequencing problem is solved using CLP techniques. The CLP model avoids the complexity of explicitly stating complete material balance constraints by instead using precedence constraints between batches to ensure the schedule is feasible. The efficiency of the algorithm is demonstrated with four examples and areas for future improvement are identified. (c) 2005 Published by Elsevier Ltd.

关键词： MlLP/CLP algorithm constraint logic programming process scheduling

来源：评论

学校读者我要写书评

暂无评论

An Improved logic-Based Implementation to Ontology Assessment 6

An Improved Logic-Based Implementation to Ontology Assessmen...

引用

6th Brazilian Conference on Intelligent Systems (BRACIS)

作者： de Oliveira Rodrigues, Cleyton Mario Goncalves de Freitas, Frederico Luiz de Azevedo, Ryan Ribeiro Univ Pernambuco UPE Garanhuns PE Brazil Univ Fed Pernambuco CIn POB 7851 Recife PE Brazil Univ Fed Rural Pernambuco Garanhuns PE Brazil

ISBN: (纸本)9781538624074

With the advent of the Semantic Web, ontology engineering has produced thousands of conceptual models. In this context, ontological evaluation is a crucial and imperative task, enabling reuse and the models' evolution. Several frameworks have been proposed in the literature for quality and correctness assessment as OntoClean, a very subjective methodology based on the user's knowledge to ascertain meta properties to the concepts of ontology, in order to find out disparities with respect the real domain. Unfortunately, OntoClean only applies to Ontologies whose concepts were completely labeled by the user. Due to the lack of stable OntoClean implementations and the imposed limitation, this paper presents an implementation in a general constraint logic-based language, which is still useful to partially labeled ontologies. At the end, some of scalability and efficiency tests are demonstrated.

关键词： constraint logic programming Knowledge Representation Ontology Evaluation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：