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

LFMTP 2014 - Proceedings of the 9th international Workshop on logical Frameworks and Meta-Languages: theory and Practice, Held as Part of: Vienna Summer of logic, FLoC 2014, CSL-LICS 2014, IJCAR 2014

LFMTP 2014 - Proceedings of the 9th International Workshop o...

引用

9th international Workshop on logical Frameworks and Meta-languages: theory and Practice, LFMTP 2014

ISBN: (纸本)9781450328173

the proceedings contain 6 papers. the topics discussed include: session types meet separation logic;Idris: implementing a dependently typed programming language;a framework for the verified transformation of functional programs;some constructions on Ω-groupoids;a generic approach to proofs about substitution;hybrid extensions in a logical framework;proof-theoretic foundations of indexing in logic programming;internal adequacy of bookkeeping in Coq;and automatically deriving schematic theorems for dynamic contexts.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Generic programming with Multiple Parameters

Generic Programming with Multiple Parameters

引用

12th international symposium on functional and logic programming (FLOPS)

作者： Magalhaes, Jose Pedro Univ Oxford Dept Comp Sci Oxford England

ISBN: (纸本)9783319071510;9783319071503

Generic programming, a form of abstraction in programming languages that serves to reduce code duplication by exploiting the regular structure of algebraic datatypes, has been present in the Haskell language in different forms for many years. Lately, a library for generic deriving has been given native support in the compiler, allowing programmers to write functions such as fmap that abstract over one datatype parameter generically. the power of this approach is limited to dealing with one parameter per datatype, however. In this paper, we lift this restriction by providing a generalisation of generic deriving that supports multiple parameters, making essential use of datatype promotion and kind polymorphism. We show example encodings of datatypes, and how to define a map function that operates on multiple parameters simultaneously.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

A non-linear programming model with fuzzy evaluations for customer satisfaction index estimation 44

A non-linear programming model with fuzzy evaluations for cu...

引用

Joint international symposium on "the Social Impacts of Developments in Information, Manufacturing and Service Systems" 44th international Conference on Computers and Industrial Engineering, CIE 2014 and 9th international symposium on Intelligent Manufacturing and Service Systems, IMSS 2014

作者： Aktepe, Adnan Ersoz, Suleyman Toklu, Bilal Department of Industrial Engineering Kirikkale University Kirikkale Turkey Department of Industrial Engineering Gazi University Ankara Turkey

Customer satisfaction index (CSI) is a cause-and-effect model of advanced customer satisfaction analysis. CSI models are used by several private and public institutions for developing key customer strategies throughout the world. Index values are based on predictions of customer evaluations. In the literature CSI is mostly modeled with linear statistical estimation methods. In a few of the studies, non-linear approach is used for estimation. Estimation of CSI with minimum error results in a more reliable and robust prediction. therefore, in this study we propose a non-linear programming model for estimating CSI with fuzzy customer evaluations minimizing estimation errors. the estimation model brings significant contributions in this field of study. With the help of the model, we can find weights of measurement variables of a latent variable with minimized squared errors which is a key success factor in producing reliable indexes. In addition the model enables us to find coefficients of prediction equations that contribute to extend evaluation of index results. the model is also tested with data of a comprehensive survey application and application results are included.

关键词： Fuzzy logic

来源：评论

学校读者我要写书评

暂无评论

Recognizing two-sided contexts in cubic time

Recognizing two-sided contexts in cubic time

引用

9th international Computer Science symposium in Russia, CSR 2014

作者： Rabkin, Max Saarland University Germany

ISBN: (纸本)9783319066851

Barash and Okhotin ("Grammars with two-sided contexts", Tech. Rep. 1090, Turku Centre for Computer Science, 2013) recently introduced conjunctive grammars with two-sided contexts, and gave a variant of Valiant's algorithm which recognizes the languages they generate in O(|G| 2·n 3.3727) time and O(|G|·n 2) space. We use a new normal form and techniques from logic programming to improve this to O(|G|·n 3), without increasing the space usage. © 2014 Springer international Publishing Switzerland.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Formal patterns for multirate distributed real-time systems

引用

SCIENCE OF COMPUTER programming 2014年第PartA期91卷 3-44页

作者： Bae, Kyungmin Meseguer, Jose Olveczky, Peter Csaba Univ Illinois Champaign IL 61820 USA Univ Oslo N-0316 Oslo Norway

Distributed real-time systems (DRTSs), such as avionics and automotive systems, are very hard to design and verify. Besides the difficulties of asynchrony, clock skews, and network delays, an additional source of complexity comes from the multirate nature of many such systems, which must implement several levels of hierarchical control at different rates. In previous work we showed how the design and implementation of a single-rate DRTS which should behave in a virtually synchronous way can be drastically simplified by the PALS model transformation that generates the DRTS from a much simpler synchronous model. In this work we present several simple model transformations and a multirate extension of the PALS pattern which can be combined to reduce the design and verification of a virtually synchronous multirate DRTS to the much simpler task of specifying and verifying a single synchronous system. We illustrate the ideas with a multirate hierarchical control system where a central controller orchestrates control systems in the ailerons and tail of an airplane to perform turning maneuvers. (C) 2013 Elsevier B.V. All rights reserved.

关键词： Distributed real-time systems Multirate systems Synchronizers Model checking Rewriting logic

来源：评论

学校读者我要写书评

暂无评论

A chance constrained approach for uplink wireless OFDMA networks

A chance constrained approach for uplink wireless OFDMA netw...

引用

international symposium on Communication Systems, Networks and Digital Signal Processing, CNSDSP

作者： Belarmino Nuñez Pablo Adasme Ismael Soto Jianqiang Cheng Marc Letournel Abdel Lisser Department of Electrical Engineering University of Santiago de Chile Santiago Chile Laboratoire de Recherche en Informatique Université Paris-Sud XI Orsay Cedex France

In this paper, we compare individual and joint probabilistic constraints for a resource allocation problem in an uplink (UL) wireless OFDMA network. For this purpose, we formulate the problem as a stochastic linear programming (SLP) problem. then, we transform this model into equivalent deterministic Second-Order Cone programming (SOCP) problems. All models are intended to maximize the bit rates throughput of the network subject to subcarrier and power user constraints. Our preliminary numerical results show that the joint chance constraint formulation is slightly conservative than the individual probabilistic one. Finally, we show that our approximation of the deterministic joint probabilistic model is very tight.

关键词： Probabilistic logic Joints programming Numerical models Resource management Stochastic processes Approximation methods

来源：评论

学校读者我要写书评

暂无评论

Instantaneous magnitudes and frequencies of signals with positivity constraints

Instantaneous magnitudes and frequencies of signals with pos...

引用

international symposium on Communication Systems, Networks and Digital Signal Processing, CNSDSP

作者： Wei-Chao Kuang Bingo Wing-Kuen Ling Charlotte Yuk-Fan Ho Zhijing Yang Qingyun Dai School of Information Engineering Guangdong University of Technology Guangzhou China Department of Electronic and Information Engineering Hong Kong Polytechnic University Hung Hom Hong Kong

this paper proposes an optimization approach for representing instantaneous magnitudes and frequencies of signals. Signals are represented as the products of their magnitudes and the cosines of their phases. Also, both their instantaneous magnitudes and frequencies are positive. these two conditions are posed as linear functional inequality constraints. To have smooth signals, the sum of the total absolute values of the p th order derivatives of the magnitudes is minimized. To solve the optimization problem, the objective function is first converted to a linear objective function subject to linear functional inequality constraints. Finally, the functional inequality constraints are converted to the conventional linear equality constraints via the constraint transcription method. Experimental results show that the magnitudes obtained by our proposed method are much smoother than those obtained by existing methods.

关键词： Transforms Optimization Linear programming Frequency estimation Time-frequency analysis Signal representation Communication systems

来源：评论

学校读者我要写书评

暂无评论

Abduction in logic programming as Second-Order Quantifier Elimination

Abduction in Logic Programming as Second-Order Quantifier El...

引用

9th international symposium on Frontiers of Combining Systems (FroCoS)

作者： Wernhard, Christoph Tech Univ Dresden Dresden Germany

ISBN: (纸本)9783642408854;9783642408847

It is known that skeptical abductive explanations with respect to classical logic can be characterized semantically in a natural way as formulas with second-order quantifiers. Computing explanations is then just elimination of the second-order quantifiers. By using application patterns and generalizations of second-order quantification, like literal projection, the globally weakest sufficient condition and circumscription, we transfer these principles in a unifying framework to abduction with three non-classical semantics of logic programming: stable model, partial stable model and well-founded semantics. New insights are revealed about abduction with the partial stable model semantics.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

Frontiers of Combining Systems - 9th international symposium, FroCoS 2013, Proceedings

Frontiers of Combining Systems - 9th International Symposium...

引用

9th international symposium on Frontiers of Combining Systems, FroCoS 2013

ISBN: (纸本)9783642408847

the proceedings contain 22 papers. the topics discussed include: combining superposition and induction: a practical realization;definability of accelerated relations in a theory of arrays and its applications;verification of composed array-based systems with applications to security-aware workflows;Presburger arithmetic in memory access optimization for data-parallel languages;abduction in logic programming as second-order quantifier elimination;witness runs for counter machines;decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders;temporal query answering in the description logic DL-lite;verification of golog programs over description logic actions;specification and verification of linear dynamical systems: advances and challenges;obtaining finite local theory axiomatizations via saturation;non-cyclic sorts for first-order satisfiability;and detection of first order axiomatic theories.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Implementing equational constraints in a functional language

Implementing equational constraints in a functional language

引用

15th international symposium on Practical Aspects of Declarative Languages, PADL 2013

作者： Braßel, Bernd Hanus, Michael Peemöller, Björn Reck, Fabian Institut für Informatik CAU Kiel D-24098 Kiel Germany

ISBN: (纸本)9783642452833

KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. the implementation is based on the idea to represent the search space as a data structure and logic variables as operations that generate their values. this has the advantage that one can apply various, in particular, complete search strategies or even user-defined strategies to compute solutions. However, the generation of all values for logic variables might be inefficient for applications that exploit constraints on partially known values. To overcome this drawback, we propose new techniques to implement equational constraints in this framework. In particular, we show how unification modulo function evaluation and functional patterns can be added without sacrificing the efficiency of the kernel implementation. © 2013 Springer-Verlag.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：