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

algorithmic state machine-DESIGN AND AUTOMATIC THEOREM-PROVING - 2 DUAL APPROACHES TO THE SAME ACTIVITY

IEEE TRANSACTIONS ON COMPUTERS 1986年第10期35卷 853-861页

作者： SNYERS, D THAYSE, A Philips Research Laboratory

This paper shows that synthesizing binary decision programs (formed by means of decision instructions of the type if then else and of execution instructions of the type do) and proving theorems can be carried out by using the same approach. It is proved that the same transformations acting on P-functions can be interpreted in terms of binary program synthesis and of theorem proving. Since binary program leads to algorithmic state machine design while theorem proving leads to declarative programming, this allows us to lay a bridge between logic design and declarative languages such as Prolog.

关键词： algorithmic state machine P-functions automatic theorem proving declarative languages implementation of algorithms logic resolution principle switching theory

来源：评论

学校读者我要写书评

暂无评论

algorithmic state machine Design for Timely Health Emergency Management in an IoT Environment 9

Algorithmic State Machine Design for Timely Health Emergency...

引用

9th International Conference on Sensor Networks (SENSORNETS)

作者： El-Hassan, Fadi T. Al Ain Univ Coll Engn Abu Dhabi U Arab Emirates

ISBN: (纸本)9789897584039

In emergency cases related to massive accidents, environmental disasters, and war time, health professionals face considerable challenges due to the high number of patients who are in need of emergency treatment. Research works attempt to propose effective in-hospital and pre-hospital smart emergency systems to reduce the mortality rate among the patients who desperately wait to receive appropriate care. This paper presents a model of a timely prehospital emergency management system that can be implemented as an interface to an Internet of Things (IoT) environment. This work presents the necessary stages for prehospital emergency environments, where many factors may make the timely management of emergency systems very difficult. The proposed model is based on an algorithmic state machine (ASM) that can be implemented in either hardware or software, providing an embedded system interface for IoT. Moreover, this paper provides a timing analysis for either a single emergency event or multiple simultaneous emergency events. Embedded systems' developers can use the proposed model to produce an appropriate prehospital smart emergency solution.

关键词： Smart Emergency Prehospital Management algorithmic state machine Internet of Things Embedded Systems Health Emergency Management

来源：评论

学校读者我要写书评

暂无评论

COMMENTS ON algorithmic state machine-DESIGN AND AUTOMATIC THEOREM-PROVING - DUAL APPROACHES TO THE SAME ACTIVITY

引用

IEEE TRANSACTIONS ON COMPUTERS 1989年第6期38卷 880-881页

作者： VROOMEN, L ZSOMBORMURRAY, P BARACOS, P HUDSON, R Robotic Mech. Syst. Lab. McGill Univ. Montreal Que. Canada

For original article see ibid., vol.C-31, no.10, p.853-61, Oct. 1986. Although the P-functions of the original paper are an aesthetically pleasing method for optimizing binary decision programs, existing procedures ar... 详细信息

关键词： algorithmic state machine binary decision Comment PROLOG theorem proving AUTOMATIC Octans Dual Computer-Aided Design

来源：评论

学校读者我要写书评

暂无评论

PSEUDOEXHAUSTIVELY TESTABLE ASM-BASED DESIGNS OF DIGITAL-SYSTEMS

引用

IEE PROCEEDINGS-E COMPUTERS AND DIGITAL TECHNIQUES 1987年第5期134卷 237-242页

作者： GREEN, DH CHUGHTAI, MA Department of Electrical Engineering and Electronics University of Manchester Institute of Science and Technology Manchester UK

The concept of pseudoexhaustive testing is combined with that of qualifier preselection to provide easily testable designs of digital systems based on the algorithmic state machine (ASM) method. The highly structured implementations resulting from direct synthesis procedures with modern programmable devices are augmented by the incorporation of a serial shadow state register to provide built-in testability. A basic general test procedure is outlined and some refinements for particular ASMs are discussed. These can be incorporated at little extra cost or loss of generality.

关键词： serial shadow state register digital systems direct synthesis procedures pseudoexhaustive testing digital circuits nondestructive testing logic testing integrated circuits integrated circuit testing testable designs Semiconductor integrated circuits ASM digital integrated circuits algorithmic state machine general test procedure Circuits and devices built-in testability Digital electronics VLSI qualifier preselection programmable devices

来源：评论

学校读者我要写书评

暂无评论

A MATRIX FORMALISM FOR ASYNCHRONOUS IMPLEMENTATION OF ALGORITHMS

引用

IEEE TRANSACTIONS ON COMPUTERS 1984年第4期33卷 289-300页

作者： THAYSE, A Philips Research Laboratory Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions

We show that well-known instructions such as if then else, fork, join, while do, can be represented as row matrices or column-matrices. We define a matrix-instruction which encompasses and generalizes the above instructions. This instruction provides us with a compact tool for describing algorithms and for synthesizing them in synchronous and asynchronous structures. We show, e.g., that the synthesis of a program by means of elementary instructions reduces to the factorization of a matrix into elementary matrices. A formalism and a computation method are introduced which generalize the author"s previous work on the subject.

关键词： algorithmic state machine P-functions Petri nets factorization of Boolean matrices implementation of algorithms microprogrammed structures switching theory

来源：评论

学校读者我要写书评

暂无评论

SYNTHESIS AND OPTIMIZATION OF PROGRAMS BY MEANS OF P-FUNCTIONS

引用

IEEE TRANSACTIONS ON COMPUTERS 1982年第1期31卷 34-40页

作者： THAYSE, A Philips Research Laboratory Abstract Authors References Cited By Keywords Metrics Similar Download Citation Email Print Request Permissions

A program is defined as an indexed sequence of instructions; each of these instructions is formed by an interconnection of branching (or conditional) instructions (of the form if, then, else) followed by an interconnection of execution instructions (of the form do). A program is an efficient tool, allowing the digital system designer to describe the microprograms of discrete systems and to synthesize their control automaton. This paper deals with a method of transformation and of optimization of programs. The presented algorithm obtains, for any given program, an equivalent one with a minimum number of conditional vertices.

关键词： algorithmic state machine P-functions microprogrammed structures optimization switching theory transformation of programs

来源：评论

学校读者我要写书评

暂无评论

MICROPROGRAMMED ALU FOR A LOW COST LOGICAL CONTROLLER

MICROPROGRAMMED ALU FOR A LOW COST LOGICAL CONTROLLER

引用

3rd IFAC Symposium on Low Cost Automation 1992 - Techniques, Components and Instruments, Applications

作者： BORANGIU, T INST POLYTECH GH GHEORGHIU DEJ DEPT CONTROL & COMPBUCHARESTROMANIA

来源：评论

学校读者我要写书评

暂无评论

Microprogrammed ALU for a Low Cost Logical Controller

引用

IFAC Proceedings Volumes 1992年第25期25卷 257-262页

作者： Th. Borangiu Department of Control and Computers Polytechnical Institute of Bucharest Romania

The purpose of the paper is to present the basic design principles of a high-speed, low-cost microprogrammed ALU, integrated in the central processing unit of a Programmable Logical Controller (PLC) as a special LSI circuit. By extending the group of logical instructions of of the PLC with a minimum numberofstatements which act as logic separators such as "open bracket","closed bracket" and"equal", a complete set of logic functions can be implemented using an algorithmic state machine(ASM) as *** a defined set of logic instructions, four basic types of powerful general logic expressions are proposed, which cover practically all process control requirements in PLC applications. A detailed description of thehardware architecture of the ALU is given as well as of the data flow between the working registers ;also, suggestions for one-chip VLSI implementation and integration in the central processing unit of the PLC are made.

关键词： Microprogramming programmable controller algorithmic state machine logic design instrumentation process control

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：