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

19th IEEE International conference on Emerging Technology and Factory Automation (ETFA)

作者： Lednicki, Luka Carlson, Jan Malardalen Univ Malardalen Real Time Res Ctr Vasteras Sweden

ISBN: (纸本)9781479948451

In component-based and model-driven development it is common to model embedded applications in a platform-independent manner. As an example, some approaches allow development of distributed applications while abstracting away from details of communication between platform nodes. Using such an approach requires to implement this communication before an executable system is deployed. Currently it is common to automatically implement this communication on the level of code, while providing it on the model level is mostly a task that needs to be done manually. In this paper we present a framework for automatic generation of inter-node communication by adding communication components to software models. The framework provides flexibility in the level of automation of generation decisions, and is defined in a way which allows adding support for new communication media or protocols. We have implemented the generation framework for the IEC 61499 standard and provide a prototype generation tool, which we use for examining the applicability of the approach.

关键词： IEC standards embedded systems object-oriented programming protocols software standards IEC 61499 standard automatic internode communication generation component-based development component-based distributed embedded systems embedded applications model-driven development software models Generators Media Ports (Computers) Protocols Software

来源：评论

学校读者我要写书评

暂无评论

programming Urban-Area applications by Exploiting Public Transportation

引用

ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE systems 2014年第2期9卷 8-8页

作者： Harnie, Dries Boix, Elisa Gonzalez D'Hondt, Theo De Meuter, Wolfgang Vrije Univ Brussel Software Languages Lab B-1050 Brussels Belgium

The evolution of smartphones has given rise to urban-area applications: applications that communicate in a city by means of the public (moving) infrastructure (e.g., buses and trams). In this setting, applications need to communicate with and discover each other using intermediaries that move around the city and transfer data between them. This requires programmers to scatter code that deals with routing messages to the correct place and deal with network failures all over their programs. Our approach allows the programmer to specify urban-area applications in a high-level manner without the burden of directly encoding communication using intermediaries. We present this as a translation from a high-level object-oriented programming paradigm to a low-level communication mechanism. This translation allows the programmer to restrict routing of messages to, for example, a certain number of hops, geographic areas, or even types of carrier devices. In addition, we show how high-level group messaging can be efficiently represented in the low-level communication. Finally, we document our experiences in setting up a small-scale real-world urban-area application.

关键词： Design languages Tuple spaces ambient-oriented programming

来源：评论

学校读者我要写书评

暂无评论

A Generic Mapping Approach for the Integration of BDI with object Orientation

A Generic Mapping Approach for the Integration of BDI with O...

引用

IEEE WIC ACM International conference on Web Intelligence (WI)

作者： Lars Braubach Alexander Pokahr Distributed Systems Group University of Hamburg Hamburg Germany

ISBN: (纸本)9781479941421

The BDI model is one of the most successful approaches for programming internal agent behavior. The derived PRS architecture beneficially combines reactiveness with deliberative reasoning via reactive planning and has been used for implementing diverse real world applications. Two different strands of programming languages following the BDI metaphor have emerged. The first strand comprises logical languages like Agent Speak(L) and the second one is based on extensions of object oriented mainstream languages. Regarding the second strand it can be observed that the integration of BDI with mainstream languages has been often pursued in a way that allows for programming BDI agents in the host language by scarifying parts of the normal object oriented (OO) concepts such as inheritance and polymorphism. In this article first the general relationship between object oriented and BDI concepts is analyzed in a language independent way and a novel approach fostering a flexible mapping of BDI to OO concepts is presented. Afterwards, the mapping is used to realize a concrete programming approach for BDI agents in standard Java. For this purpose normal OO elements like fields, methods and classes can be turned into BDI elements such as beliefs, goals and plans of a BDI agent class.

关键词： Java Cognition programming Gettering Batteries Concrete

来源：评论

学校读者我要写书评

暂无评论

Towards reactive programming for object-oriented applications

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2014年 8400卷 227-261页

作者： Salvaneschi, Guido Mezini, Mira Software Technology Group Technische Universität Darmstadt Germany

ISBN: (纸本)9783642550980

Reactive applications are difficult to implement. Traditional solutions based on event systems and the Observer pattern have a number of inconveniences, but programmers bear them in return for the benefits of OO design. On the other hand, reactive approaches based on automatic updates of dependencies-like functional reactive programming and dataflow languages-provide undoubted advantages but do not fit well with mutable objects. In this paper, we provide a research roadmap to overcome the limitations of the current approaches and to support reactive applications in the OO setting. To establish a solid background for our investigation, we propose a conceptual framework to model the design space of reactive applications and we study the flaws of the existing solutions. Then we highlight how reactive languages have the potential to address those issues and we formulate our research plan. © Springer International Publishing Switzerland 2014.

关键词： object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Proceedings of the 6th Workshop on Dynamic languages and applications, DYLA'12 - Colocated with 26th European conference on object-oriented programming, ECOOP 2012

Proceedings of the 6th Workshop on Dynamic Languages and App...

引用

6th Workshop on Dynamic languages and applications, DYLA'12 - Colocated with 26th European conference on object-oriented programming, ECOOP 2012

The proceedings contain 2 papers. The topics discussed include: suicide objects;and debugging performance failures.

ISBN: (纸本)1595930361

The proceedings contain 2 papers. The topics discussed include: suicide objects;and debugging performance failures.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Principles of an object-oriented programming language for Physarum polycephalum computing

Principles of an object-oriented programming language for Ph...

引用

International conference on Digital Technologies (DT)

作者： Krzysztof Pancerz Andrew Schumann University of Information Technology and Management Rzeszów Poland

In the paper, we present principles of an object-oriented programming language for Physarum polycephalum computing. Physarum polycephalum is a one-cell organism that can be used for developing a biological architecture of different abstract devices. Both, theoretical foundations and assumptions for a language specification are considered. Especially, we focus on selected approaches (ladder diagrams, Petri nets, and transition systems) enabling us to model behaviour of Physarum polycephalum in the created programming language.

关键词： Logic gates object oriented modeling Computational modeling Computer languages Petri nets Inhibitors object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Physically Informed Assertions for Cyber Physical systems Development and Debugging

Physically Informed Assertions for Cyber Physical Systems De...

引用

12th IEEE International conference on Pervasive Computing and Communication (PERCOM)

作者： Xi Zheng Univ Texas Austin Austin TX 78712 USA

ISBN: (纸本)9781479927364

Cyber Physical systems (CPS), widely used in pervasive computing, integrate computation in the cyber world with control of physical processes. Developing CPS is challenging because interactions between physical and cyber components are complex and often unpredictable. Traditional debugging techniques can detect bugs in the cyber world, but bugs introduced from physical components and induced by limitations in the software interface to physical hardware are still difficult to detect. My research will capture the state of art and the state of the practice in verification and validation of CPS. Based on this, I will design middleware that combines models of the physical world with programming-language based assertions to help developers to design, develop, and debug robust CPS applications with ease.

关键词： Debugging Computational modeling Robot sensing systems object oriented modeling Automata Middleware

来源：评论

学校读者我要写书评

暂无评论

BIODEVICES 2014 - 7th International conference on Biomedical Electronics and Devices, Proceedings;Part of 7th International Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2014

BIODEVICES 2014 - 7th International Conference on Biomedical...

引用

7th International conference on Biomedical Electronics and Devices, BIODEVICES 2014 - Part of 7th International Joint conference on Biomedical Engineering systems and Technologies, BIOSTEC 2014

ISBN: (纸本)9789897580130

The proceedings contain 52 papers. The topics discussed include: fabrication of precise micro-fluidic devices using a low-cost and simple contact-exposure tool for lithography;geometrical improvement of a noninvasive core temperature thermometer based on numeric modeling and experiment validation;low power remote neonatal temperature monitoring device;miniaturized antenna array with low correlation for telemedicine and body area networks applications;development of concurrent object-oriented logic programming system to intelligent monitoring of anomalous human activities;neural networks controller of a lower limbs robotic rehabilitation chair;versatile low-cost modular microfluidic arrays for cancer diagnostics;and development of retention system of the autonomous endoscopic capsule and its functionalities.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Fast Splittable Pseudorandom Number Generators

引用

ACM SIGPLAN NOTICES 2014年第10期49卷 453-472页

作者： Steele, Guy L., Jr. Lea, Doug Flood, Christine H. SUNY Coll Oswego Oswego NY USA Red Hat Inc Raleigh NC USA

We describe a new algorithm SPLITMIX for an object-oriented and splittable pseudorandom number generator (PRNG) that is quite fast: 9 64-bit arithmetic/logical operations per 64 bits generated. A conventional linear PRNG object provides a generate method that returns one pseudorandom value and updates the state of the PRNG, but a splittable PRNG object also has a second operation, split, that replaces the original PRNG object with two (seemingly) independent PRNG objects, by creating and returning a new such object and updating the state of the original object. Splittable PRNG objects make it easy to organize the use of pseudorandom numbers in multithreaded programs structured using fork-join parallelism. No locking or synchronization is required (other than the usual memory fence immediately after object creation). Because the generate method has no loops or conditionals, it is suitable for SIMD or GPU implementation. We derive SPLITMIX from the DOTMIX algorithm of Leiserson, Schardl, and Sukha by making a series of program transformations and engineering improvements. The end result is an object-oriented version of the purely functional API used in the Haskell library for over a decade, but SPLITMIX is faster and produces pseudorandom sequences of higher quality;it is also far superior in quality and speed to java util. Random, and has been included in Java JDK8 as the class j ava. util. SplittableRandom. We have tested the pseudorandom sequences produced by SPLITMIX using two standard statistical test suites (DieHarder and TestU01) and they appear to be adequate for "everyday" use, such as in Monte Carlo algorithms and randomized data structures where speed is important.

关键词： Algorithms Performance collections determinism Java multithreading nondeterminism object-oriented parallel computing pedigree pseudorandom random number generator recursive splitting Scala spliterator splittable data structures streams

来源：评论

学校读者我要写书评

暂无评论

Analysis of matters associated with the transferring of object-oriented applications to platform .Net using C# programming language

引用

AIP conference Proceedings 2015年第1期1690卷

作者： S. M. Sarsimbayeva K. K. Kospanova 1Department of Computer Science and Engeneering Aktobe Regional State University K. Zhubanov Br. Zhubanovih street 275/12 030000 Aktobe Kazakhstan 2Department of Computer Science and Engeneering Aktobe Regional State University K. Zhubanov Kazakhstan Moldagulovoi street 36A/11 030000 Aktobe

The article provides the discussion of matters associated with the problems of transferring of object-oriented Windows applications from C++ programming language to .Net platform using C# programming language. C++ has always been considered to be the best language for the software development, but the implicit mistakes that come along with the tool may lead to infinite memory leaks and other errors. The platform .Net and the C#, made by Microsoft, are the solutions to the issues mentioned above. The world economy and production are highly demanding applications developed by C++, but the new language with its stability and transferability to .Net will bring many advantages. An example can be presented using the applications that imitate the work of queuing systems. Authors solved the problem of transferring of an application, imitating seaport works, from C++ to the platform .Net using C# in the scope of Visual Studio.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：