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

2021 4th international conference on Computer Information Science and Application Technology, CISAT 2021

作者： Zhou, Qibin Cai, Fangda Yang, Yang Wu, Changshun Shanghai Jianqiao University Shanghai201306 China East China Normal University Shanghai200062 China Shanghai Formal-Tech Information Technology Co. Ltd. Shanghai200333 China

Programmable logic Controllers (PLCs) are embedded devices that are widely used in industrial control systems. PLC programs are written in special languages that are defined in the IEC 61131-3 standard, which includes two textual and three graphical programming languages. Structured text (ST) language is one of IEC 61131-3 standards, which is a high-level text language similar to PASCAL language. ST language features the following advantages: freely programming style, compact structure and strong data processing capabilities. Using ST language can be more convenient to realize the complex control programs. In this paper, we research and discuss formal verification of PLC program based on ST language, and show the conversion rules from ST language to the formal modeling language named CSP# (short for Communicating Sequential Programs). Finally, a case study is presented to demonstrate the procedure that PLC programs written in ST language are translated into CSP#, consequently, and the result of verification is given using the Process Analysis Toolkit (PAT). © Content from this work may be used under the terms of the Creative Commons Attribution 3.0 Licence.

关键词： Programmable logic controllers

来源：评论

学校读者我要写书评

暂无评论

Neutralization and preemption in extended logic programs 4th

引用

4th international conference on logic programming and Automated Reasoning, LPAR 1993

作者： Wagner, Gerd Gruppe Logik Wissenstheorie und Information Institut für Philosphie Freie Universität Berlin Habelschwerdter Allee 30 Berlin 331000 Germany

ISBN: (纸本)9783540569442

Extended logic programs allow for negative conclusions in rules. So, the question of how to deal with contradictions arises. the trivialization (or ‘explosion’) approach of classical logic, according to which everything follows from a contradiction, is certainly not adequate for the purpose of processing partially inconsistent information in a cognitively and computationally satisfactory way. We propose to consider logical principles instead, which stem from the area of directly skeptical inheritance, or defeasible reasoning, known from the AI literature on nonmonotonic reasoning.1 In these systems conflicting pieces of information neutralize each other unless one of them ‘preempts’ (i.e. defeats) the other. the preemption mechanism is usually based on some notion of specificity. Extending earlier work [19], where we have introduced the concept of neutralization to the framework of extended logic programs, we show in this paper how to add a general mechanism for specificity-based preemption and demonstrate its feasibility by presenting an appropriate meta-interpreter. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

A GIS application to enhance cell-based information modeling

引用

INFORMATION SCIENCES 2002年第1-4期142卷 151-160页

作者： Benedikt, J Reinberg, S Riedl, L Geologic A-1080 Vienna Austria Vienna Univ Technol Dept Reg Sci A-1040 Vienna Austria

Maps have been major sources of information for a long time. Geographic Information Systems (GIS) use digital data, elevation models, satellite images, expert systems and related open source information for planning, detection, evaluation and decision making. Maps as well as GIS use spatial attributes of data in particular. Spatial Information derived is a feature of both data and language to communicate results of analysis and interpretation. A natural language approach to geographic concepts is discussed focusing on the cognitive aspects of categorizing spatial terms, which are represented by vague descriptions. Scientific analysis, however, requires a formal representation of spatial terms. the translation of linguistic concepts to spatial terms like "steep slopes" involves inherent uncertainties that are dealt with by implementing fuzzy logic tools to computer-based GIS. MapModels is a programming language based on ArcView(R) GIS that allows users easily to comprehend geographical (spatial) terms by means of analytical tools including membership models. A flowchart interface is preferred to a line-code oriented programming language thus enabling the user to focus on a particular problem rather than a complex programming exercise. Examples are given on how MapModels utilizes the vagueness of geographic description in GIS analysis. this paper shows, how MapModels enhances the powerful options of GIS-based spatial analysis in obtaining information from cell-based images. (C) 2002 Elsevier Science Inc. All rights reserved.

关键词： fuzzy sets GIS spatial analysis semantic modeling graphical programming languages

来源：评论

学校读者我要写书评

暂无评论

An extension of dynamic logic for modelling OCL's @pre operator

An extension of dynamic logic for modelling OCL's @pre opera...

引用

4th international Andrei Ershov Memorial conference on "Perspectives of System Informatics", PSI 2001

作者： Baar, thomas Beckert, Bernhard Schmitt, Peter H. Fakultät für Informatik Institut für Logik Komplexität und Deduktionssysteme Universität Karlsruhe Am Fasanengarten 5 D-76128 Karlsruhe Germany

ISBN: (纸本)354043075X

We consider first-order Dynamic logic (DL) with non-rigid functions, which can be used to model certain features of programming languages such as array variables and object attributes. We extend this logic by introducing, for each non-rigid function symbol f, a new function symbol f@prethat after program execution refers to the old value of f before program execution. We show that DL formulas with @pre can be transformed into equivalent formulas without @pre. We briefly describe the motivation for this extension coming from a related concept in the Object Constraint Language (OCL). © Springer-Verlag Berlin Heidelberg 2001.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Explicit Solution of Parameter Estimate using Multiparametric programming for Boost Converter 4

Explicit Solution of Parameter Estimate using Multiparametri...

引用

4th international conference on Emerging Electrical Energy, Electronics and Computing, ICE4CT 2022

作者： Mid, E.C. Mukhtar, N.M. Syed Yunus, S.H. Hadi, D.A. Ruslan, E. Fakulti Kejuruteraan & Teknologi Elektrik Universiti Malaysia Perlis Kampus Pauh Putra Arau Perlis02600 Malaysia Fakulti Kejuruteraan & Teknologi Elektrik Universiti Malaysia Perlis Kampus Pauh Putra Arau Perlis02600 Malaysia Fakulti Teknologi Kejuruteraan Elektrik Dan Elektronik Kampus Teknologi Universiti Teknikal Malaysia Melaka Hang Tuah Jaya Durian Tunggal Melaka76100 Malaysia

this work proposes an approach to estimate the parameters of capacitance and inductance in a boost converter using an explicit solution. A multiparametric programming (MPP) algorithm is fundamental to the suggested methodology, which aims to develop parameters as explicit functions of measurements. In this method, the generalised mathematical model of the boost converter is discretised into an algebraic equation. the parameter estimation problem is then formulated and solved using Karush-Kuhn-Tucker. Finally, an explicit solution of estimate parameters such as capacitor and inductor is formulated as an explicit function of the inductor currents and capacitor voltage. Finally, the state variables of the boost converter are numerically obtained and used to test the capability of the proposed work. the results presented in this work prove the MPP algorithm can estimate the boost converter's parameters, which can be extended to other power converters and filters. © Published under licence by IOP Publishing Ltd.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

On the Problem of Development of Methods and Algorithms Based on the Object-Oriented logic programming for Intelligent Video Monitoring of Laboratory Rats 4

On the Problem of Development of Methods and Algorithms Base...

引用

4th international conference on Information Technology and Nanotechnology - Session: Image Processing and Earth Remote Sensing, IPERS-ITNT 2018

作者： Morozov, A.A. Sushkova, O.S. Kotel'Nikov Institute of Radio Engineering and Electronics of RAS Mokhovaya str. 11-7 Moscow125009 Russia

the problem of the video monitoring the laboratory rats by the means of the object-oriented logic programming is considered. the main task of the video monitoring is the analysis of the behavior of the animals in cognitive testing. An essential feature of the video records is in that the experiments are conducted in the same cage where the animal lives, that is, the background of the cage is sawdust. the color of the animals is about the same as the color of the sawdust;thus the detection of the animals is not a simple task. An additional difficulty is in that the videos were recorded simultaneously with electroencephalograms (EEG) in the animals;thus the head of the rat is connected with EEG cable that moves and causes false detections of recognition algorithms. In the paper, development of low-level algorithms for video analysis as well as logical methods for the analysis of the animal behavior is discussed. the methods and algorithms are implemented in the Actor Prolog object-oriented logic language. © 2018 CEUR-WS. All rights reserved.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

4th international conference on Fundamental Approaches to Software Engineering, FASE 2001 Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001

引用

4th international conference on Fundamental Approaches to Software Engineering, FASE 2001, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001

ISBN: (纸本)3540418636

the proceedings contain 24 papers. the special focus in this conference is on Distributed Components, UML, Testing and Formal Methods. the topics include: Metamodelling and conformance checking with PVS;proving deadlock freedom in component-based programming;a real-time execution semantics for UML activity diagrams;strengthening UML collaboration diagrams by state transformations;on use cases and their relationships in the unified modelling-language;on the importance of inter-scenario relationships in hierarchical state machine design;library-based design and consistency checking of system-level industrial test cases;demonstration of an automated integrated testing environment for CTI systems;semantics of architectural specifications in CASL;a logic for the java modeling language JML;a formal object-oriented analysis for software reliability and specification and analysis of the AER/NCA active network protocol suite in real-time Maude.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Using the temporal logic programming language Tokio for algorithm description and automatic CMOS gate array synthesis 4th

引用

4th international conference on logic programming, 1985

作者： Fujita, Masahiro Ishisone, Makoto Nakamura, Hiroshi Tanaka, Hidehiko Moto-oka, Tohru Faculty of engineering University of Tokyo 7-3-1 Hongo Bunkyo_ku Tokyo113 Japan Fujitsu Laboratories Ltd. Japan

ISBN: (纸本)9783540164791

To date, simulation has been the primary method used to support hardware logic design. In particular, there has been little that could support such design from the system level, such as a language to describe processing algorithms. In this paper, we will propose a silicon compiler, which is designed to support CMOS gate arrays from the system level. Descriptions from the system level through the state diagram level are done by using the temporal logic programming language called Tokio. Being based on temporal logic, Tokio enables the use of temporal operators. this facilitates the description of concurrent operations that cannot be easily described in Prolog. In addition, because the mathematical models are clearly defined, verification and synthesis can be easily supported. At present, only a simulator coded in Prolog is available to support descriptions of this level in Tokio. A program that automatically synthesizes logical circuits for CMOS gate array from state diagram level is supported. the core of this program has already been developed in C-Prolog. Synthesis has already been tested at our laboratory. We used the Unify Processor (UP) of PIE (Parallel Inference Machine) which is currently under development, as an example. this paper introduces the hardware design support strategy based on Tokio, and explains the details of the program that synthesizes CMOS gate arrays from the descriptions of the state diagram level. © 1986, Springer-Verlag.

关键词： Computer circuits

来源：评论

学校读者我要写书评

暂无评论

Verified Software: theories, Tools, Experiments 1

引用

丛书名： Lecture Notes in Computer Science

1000年

作者： Rajeev Joshi Peter Müller Andreas Podelski

ISBN: (数字)9783642277054

ISBN: (纸本)9783642277047

this volume contains the proceedings of the 4th international conference on Verified Software: theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. the 20 revised full papers presented together with 2 invited talks and 2 tutorials were carefully revised and selected from 54 initial submissions for inclusion in the book. the goal of the VSTTE conference is to advance the state of the art through the interaction of theory development, tool evolution, and experimental validation. the papers address topics such as: specification and verification techniques, tool support for specification languages, tool for various design methodologies, tool integration and plug-ins, automation in formal verification, tool comparisons and benchmark repositories, combination of tools and techniques, customizing tools for particular applications, challenge problems, refinement methodologies, requirements modeling, specification languages, specification/verification case-studies, software design methods, and program logic.

关键词： Software Engineering logics and Meanings of Programs programming Languages, Compilers, Interpreters programming Techniques Mathematical logic and Formal Languages Artificial Intelligence

来源：评论

学校读者我要写书评

暂无评论

Implementing global constraints with index-sets and constraint templates 4th

引用

4th international conference on Principles and Practice of Constraint programming (CP 98)

作者： Colombani, Y Dash Associates Leamington Spa CV32 5TH England

ISBN: (纸本)3540652248

In order to improve the deductive power of ffinite domain constraint solvers usually redundant and global constraints are added to the constraint system. the objective of this work [2] is to develop a new constraint solving scheme designed as an extension of a classical arc-consistency algorithm. Associated to a declarative language, it allows the user to implement his own global relations without the need of manipulating internal structures of the solver or modifying in depth the original model of the studied problem. this system relies on two new structures: index-sets and constraint templates. the former consist in sets of integers used as indices over tables. they collect variables sharing some properties (for instance tasks in a scheduling problem assigned to the same machine). the latter are descriptions of constraints that must be applied (possibly) over selected sets of variables (for instance the fact that a set of tasks must be scheduled before another set). Both, set-index and constraint template deffnitions are evaluated dynamically and depend on the variables’ domains. Indeed, the new constraints are automatically generated by the constraint solver based on the set contents and variable domain values. the index-set and constraint deffinition language uses a mathematic style notation. the deffnitions are compiled to the solver representation which can be directly handled by the propagation mechanism. this organisation guarantees a high level of efficiency.

关键词： logic programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：