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

Real-Time Systems Symposium (RTSS)

作者： G. Gupta E. Pontelli Laboratory for Logic Databases and Advanced Programming Department Computer Science New Mexico State University USA

We develop a general constraint logic programming (CLP) based framework for specification and verification of real time systems. Our framework is based on the notion of timed automata that have traditionally been used for specifying real time systems. In our framework, a user models the ordering of real time events as the grammar of a language accepted by a timed automata, the real time constraints on these events are then captured as denotations of the grammar productions specified by the user. The grammar can be specified as a Definite Clause Grammar (DCG), while the denotations can be specified in constraint logic. The resulting specification can hence be regarded as a constraint logic program (CLP), and is executable. Many interesting properties of the real time system can be verified by posing appropriate queries to this CLP program. A major advantage of our approach is that it is constructive in nature, i.e., it can be used for computing the conditions under which a property will hold for a given real time system. Our framework also suggests new types of formalisms that we call constraint automata and timed push down automata.

关键词： Real time systems Automata Logic programming Production systems Databases computer science Vehicles Clocks Context modeling

来源：评论

学校读者我要写书评

暂无评论

Modelica - a general object-oriented language for continuous and discrete-event system modeling and simulation

Modelica - a general object-oriented language for continuous...

引用

Annual Symposium on Simulation

作者： P. Fritzson P. Bunus PELAB-Programming Environment Laboratory Department of Computer and Information Science Linköping University Linkoping Sweden

Modelica is a general equation-based object-oriented language for continuous and discrete-event modeling of physical systems for the purpose of efficient simulation. The language unifies and generalizes previous object-oriented modeling languages. It is bringing about a revolution in this area, based on its ease of use, visual design of models with combination of Lego-like predefined model building blocks, its ability to define model libraries with re-usable components and its support for modeling and simulation of complex applications involving parts from several application domains. In this paper we present the Modelica language with emphasis on its language features and one of the associated simulation environments. Simulation models can be developed in an integrated problem-solving environment by using a graphical editor for connection diagrams. Connections are established just by drawing lines between objects picked from a class library. The principles of object oriented physical systems modeling and the multi-domain capabilities of the language are presented in the paper by several examples.

关键词： Object oriented modeling Discrete event systems Electrical capacitance tomography Equations Biological system modeling Mathematical model computer simulation Thermodynamics Application software Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Bisimulations and logical characterizations on continuous-time markov decision processes

引用

15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014

作者： Song, Lei Zhang, Lijun Godskesen, Jens Chr. Max-Planck-Institut für Informatik Saarland University Saarbrücken Germany State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China Programming Logic and Semantics Group IT University of Copenhagen Denmark

ISBN: (纸本)9783642540127

In this paper we study strong and weak bisimulation equivalences for continuous-time Markov decision processes (CTMDPs) and the logical characterizations of these relations with respect to the continuous-time stochastic logic (CSL). For strong bisimulation, it is well known that it is strictly finer than the CSL equivalence. In this paper we propose strong and weak bisimulations for CTMDPs and show that for a subclass of CTMDPs, strong and weak bisimulations are both sound and complete with respect to the equivalences induced by CSL and the sub-logic of CSL without next operator respectively. We then consider a standard extension of CSL, and show that it and its sub-logic without X can be fully characterized by strong and weak bisimulations respectively over arbitrary CTMDPs. © 2014 Springer-Verlag Berlin Heidelberg.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

The FX-87 Interpreter

The FX-87 Interpreter

引用

International Conference on computer Languages

作者： P. Jouvelot D.K. Gifford Programming Systems Research Group Laboratory for Computer Science Massachusetts Institute of Technology Cambridge MA USA

The first implementation of the programming language FX-87, a polymorphic typed functional language based on a system for static program analysis, is described. This polymorphic effect system integrates type checking and side-effect analysis into a single framework and allows the automatic detection of parallelizable expressions at compile-time. In FX-87, every expression has two static properties: a type and an effect. Type and effect polymorphism permits the behavior of first-class procedures to be statically modeled. The integration of type and effect analysis has resulted in the first system that is able (by accurate modeling of the side-effects of procedure values and masking of unobservable effects in the heap) to detect a compile-time, parallelizable constructs in both functional and imperative programs.< >

关键词： programming profession Job shop scheduling computer languages Parallel programming Parallel machines Program processors Functional programming Laboratories computer science Performance analysis

来源：评论

学校读者我要写书评

暂无评论

Securing an IoT Medical System Using AI and a Unidirectional Network Device: Application to a Driver 11

Securing an IoT Medical System Using AI and a Unidirectional...

引用

11th International Conference on Electronics, Communications and Networks, CECNet 2021

作者： El Hajal, Georges Daou, Roy Abi Zeid Ducq, Yves Boercsoek, Josef Univ. Bordeaux IMS Laboratory France Biomedical Technologies Department Lebanese German University Lebanon MART Learning Education and Research Center Chananir Lebanon University of Kassel Institute for Computer Architecture and System Programming Germany

ISBN: (纸本)9781643682402

Security in systems and networks has always been a major issue for IT administrators. When it comes to medical applications, this concern is much more important due to the sensitivity of data and the risks that may be caused due to alteration or falsification of such critical information. The proposed paper presents a solution to assure the best security possible in such an environment. Thus, based on an application that monitors a driver's health while driving his car, a data diode will be implemented in order to assure security of the system by forcing unidirectional flow of network data to the healthcare provider side. Added to that, an AI-based program will be developed to verify the confidentiality, the integrity and the availability of the exchanged data and to check the patient health for abnormalities. Every sub-part of the system has been tested separately and results have shown that falsified data has been filtered out of the received end, e.g. the healthcare provider side. © 2022 The authors and IOS Press.

关键词： Medical applications

来源：评论

学校读者我要写书评

暂无评论

MICE: a prototype MPI implementation in Converse environment

MICE: a prototype MPI implementation in Converse environment

引用

Proceedings of the MPI Developer's Conference

作者： M.A. Bhandarkar L.V. Kale Parallel Programming Laboratory Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA

The paper describes MICE, a prototype implementation of MPI on the Converse interoperable parallel programming environment. It is based on MPICH, a public-domain implementation of MPI and uses the Abstract Device Interface (ADI) which has been retargeted on top of Converse. MICE makes use of message-managers and allows use of thread-objects to let MPI modules co-exist with other types of computations and communication (such as a library computation in Charm++ or asynchronous computations in multipol) within a single application. It also makes it possible to interoperate PVM (in a restricted form) and MPI modules. Thread-objects make it possible to build multi-threaded MPI programs. This MPI implementation demonstrates that it is possible to provide interoperability without any significant performance degradation.

关键词： Mice Prototypes Parallel programming Libraries Parallel languages computer science Degradation programming profession programming environments computer languages

来源：评论

学校读者我要写书评

暂无评论

Efficient Debugging of Large Algorithmic Modelica Applications

引用

IFAC Proceedings Volumes 2012年第2期45卷 1087-1090页

作者： Adeel Asghar Adrian Pop Martin Sjölund Peter Fritzson Programming Environments Laboratory Department of Computer and Information Science Linköping University SE-581 83 Linköping Sweden

Abstract Modelica models often contain functions with algorithmic code. The fraction of algorithmic code is increasing since Modelica, in addition to equation-based modeling, is also used for embedded system control code and symbolic model transformations in compilers using the MetaModelica language extension. Thus, debugging of algorithmic Modelica code is becoming increasingly relevant. Our earlier work in debuggers for the algorithmic subset of Modelica used trace-based techniques which are very portable but turned out to have too much overhead for very large applications. The new debugger is the first Modelica debugger that can operate without trace information. Instead it communicates with a low-level C-language symbolic debugger, the Gnu debugger GDB, to directly extract information from a running executable, set and remove breakpoints, etc. This is made possible by the new bootstrapped OpenModelica compiler which keeps track of a detailed mapping from the high level Modelica code down to the generated C code compiled to machine code. The debugger is operational, supports browsing of both standard Modelica data structures and tree/list data structures, and operates efficiently on large applications such as the OpenModelica compiler with more than 100 000 lines of code.

关键词： Modelica Run-time Debugging Modeling and Simulation Algorithmic code Eclipse

来源：评论

学校读者我要写书评

暂无评论

Evaluation of full-text retrieval system using collection of Serially Evolved Documents 17

Evaluation of full-text retrieval system using collection of...

引用

3rd International Conference on Industrial and Business Engineering, ICIBE 2017

作者： Cho, Hwan-Gue Kim, Yeoneo Tak, Hae-Sung Shin, Young-Ju Choi, Kwang-Nam Kim, Han-Ho Lim, Chulsu Dep. of Computer Sci. and Eng. PUSAN National Univ. Korea Republic of Programming Language Laboratory PUSAN National Univ. Korea Republic of Korea Institute of Science and Technology Information Korea Republic of

ISBN: (纸本)9781450353519

Finding a document that is similar to a specified query document within a large document database is one of important issues in the Big Data era, as most data available is in the form of unstructured texts. Our testing collection consists of two parts: In the first part texts were produced by human work by artificial plagiarism approach through the linear pipelined procedure. In the second part, texts are generated by software that inserts, deletes, and substitutes certain parts of the target documents to make a similar document from an input document. These document set is known as the Serially Evolved Documents (SED). We propose new methods: Order Preserving Precision (OPP) and Order Preserving Recall (OPR), to compute how the evolutionary order is kept among output documents obtained from the subject IR system. Using those testing texts we evaluated KONAN, a document retrieval system for Korean documents. © 2017 Association for Computing Machinery.

关键词： Information retrieval

来源：评论

学校读者我要写书评

暂无评论

HyPursuit: a hierarchical network search engine that exploits content-link hypertext clustering 96

HyPursuit: a hierarchical network search engine that exploit...

引用

Proceedings of the the seventh ACM conference on Hypertext

作者： Ron Weiss Bienvenido Vélez Mark A. Sheldon Programming Systems Research Group MIT Laboratory for Computer Science 545 Technology Square Cambridge MA

来源：评论

学校读者我要写书评

暂无评论

Consistent modeling of distributed mutual exclusion protocol using optimistic simulation 01

Consistent modeling of distributed mutual exclusion protocol...

引用

Proceedings of the fifteenth workshop on Parallel and distributed simulation

作者： Malcolm Yoke Hean Low David M. Nicol Programming Research Group Computing Laboratory University of Oxford Dept. of Computer Science Dartmouth College

ISBN: (纸本)9780769511047

This paper discusses the problem of risk in optimistic simulation protocols, using as example simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augmented to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially without consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the details of these extensions and the performance trade-off for adding them.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：