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

non-deterministic Bitwise programming to Solve the Eurobalise Telegram Encoding Problem

Transportation Research Procedia 2023年 68卷 516-525页

作者： Sergey Staroletov Independent Researcher Altai territory Barnaul Russia

Eurobalise is a transmitter placed on railroad tracks to transmit information on a railway state to a passing train. The transmitted messages are here called Eurobalise telegrams. To transmit telegrams over the air, it is necessary to provide error-resistant encoding and corresponding decoding, which is carried out in accordance with an open standard. In this article, we continue our study of encoding such telegrams using languages with formal semantics intended for verification purposes. We present ways to apply non-deterministic programming for this task and discuss issues of implementing an encoder in the Promela language.

关键词： Eurobalise encoding Model Checking non-deterministic programming

来源：评论

学校读者我要写书评

暂无评论

The Power of non-determinism in Higher-Order Implicit Complexity Characterising Complexity Classes Using non-deterministic Cons-Free programming 26th

The Power of Non-determinism in Higher-Order Implicit Comple...

引用

26th European Symposium on programming (ESOP) Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS)

作者： Kop, Cynthia Simonsen, Jakob Grue Univ Copenhagen DIKU Dept Comp Sci Copenhagen Denmark

ISBN: (纸本)9783662544341;9783662544334

We investigate the power of non-determinism in purely functional programming languages with higher-order types. Specifically, we consider cons-free programs of varying data orders, equipped with explicit non-deterministic choice. Cons-freeness roughly means that data constructors cannot occur in function bodies and all manipulation of storage space thus has to happen indirectly using the call stack. While cons-free programs have previously been used by several authors to characterise complexity classes, the work on non-deterministic programs has almost exclusively considered programs of data order 0. Previous work has shown that adding explicit non-determinism to cons-free programs taking data of order 0 does not increase expressivity;we prove that this-dramatically-is not the case for higher data orders: adding non-determinism to programs with data order at least 1 allows for a characterisation of the entire class of elementary-time decidable sets. Finally we show how, even with non-deterministic choice, the original hierarchy of characterisations is restored by imposing different restrictions.

关键词： Implicit computational complexity Cons-free programming EXPTIME hierarchy non-deterministic programming Unitary variables

来源：评论

学校读者我要写书评

暂无评论

LPL - A FUZZY-programming LANGUAGE .1. SYNTACTIC ASPECTS

引用

FUZZY SETS AND SYSTEMS 1980年第2期3卷 151-179页

作者： ADAMO, JM Université Claude Lyon 1 43 Boulevard du 11 Novembre 1978 69621 Villeurbanne France

The L.P.L. language ( L inguistic oriented P rogramming L anguage) that we shall present in this paper and in a forthcoming one is a new language aiming at an implementation of the concepts of the fuzzy sets theory. In the first paper, after an introduction to the basic concepts. we shall describe the syntactic aspects of L.P.L., i.e., the data declarations structure, the statements structure, the general structure of L.P.L. models. The second paper will deal first with the basic semantic and the semantics of logical expressions, then the semantics of basic statements as well as the semantics of the control structure of programs.

关键词： Fuzzy sets theory Linguistic approach of Zadeh Fuzzy programs Dynamic fuzzy systems non-deterministic programming

来源：评论

学校读者我要写书评

暂无评论

SOME APPLICATIONS OF THE LPL LANGUAGE TO COMBINATORIAL-programming

引用

FUZZY SETS AND SYSTEMS 1981年第1期6卷 43-59页

作者： ADAMO, JM Université Claude Bernard Lyon I 69622 Villeurbanne France

Four application cases of the L.P.L. language are presented here. We show that L.P.L. provides extended possibilities for the building of combinatorial programs.

关键词： Linguistic approach of Zadeh Fuzzy programs non-deterministic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：