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

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Stefan Warwas Matthias Klusch German Research Center for Artificial Intelligence (DFKI) Saarbrucken Germany

Software engineers usually approach complex problems by separating them into sub-problems. In multiagent systems, sub-problems are solved by autonomous agents that build organizational structures. Each agent internally further decomposes a problem by goal and plan hierarchies. The underlying design of a system rejects an engineers experience with approaching complex problems. It is desirable to reuse patterns and structures that proved their practical use and were validated (e.g. interaction protocols, goal hierarchies, behavior templates, organizational structures, etc.). This improves software quality and reduces development time and costs in the long run. Model-driven software engineering enables the separation of the platform independent design of the system under consideration and the actual implementation for a concrete execution platform. The gap between the different levels of abstraction is closed by model transformations. In this paper we propose a model-driven reverse engineering approach for lifting the underlying design of implemented multiagent systems to a platform independent level. For this purpose we specify conceptual mappings from the platform to our platform independent modeling language. The extracted structures have to be refined (e.g. by using existing platform independent artifacts) and can be re-used as blue print for solving similar problems on similar execution platforms. We evaluated our approach for the BDI agent platform Jadex and a real-world scenario.

关键词： Java object oriented modeling Concrete Unified modeling language Multiagent systems Software engineering Containers

来源：评论

学校读者我要写书评

暂无评论

Modelling and simulation-based design of a distributed DEVS simulator 11

Modelling and simulation-based design of a distributed DEVS ...

引用

Simulation Winter Conference

作者： Eugene Syriani Hans Vangheluwe Amr Al Mallah School of Computer Science McGill University Montreal Canada Department of Computer Science University of Alabama Tuscaloosa AL USA Department of Mathematics and Computer Science University of Antwerp Antwerp Belgium

Distributed, discrete-event simulators are typically deployed on different computing and network platforms using different implementation languages. This hampers realistic performance comparisons between simulator implementations. Furthermore, algorithms used are typically only present in code rather than explicitly modeled. This prohibits rigorous analysis and re-use. In this paper, the structure and behavior of a distributed simulator for the DEVS formalism is modeled explicitly, in the DEVS formalism. Simulation of this model of the simulator allows for the quantitative analysis of reliability and performance of different alternative simulator designs. In particular, using a model of a distributed simulator allows one to simulate scenarios such as failures of computational and network resources, which can be hard to realize in reality. We demonstrate our model-based approach by modeling, simulating and ultimately synthesizing a distributed DEVS simulator. Our goal is to achieve fault tolerance whilst optimizing performance.

关键词： object oriented modeling Computational modeling Fault tolerance Fault tolerant systems Protocols Educational institutions Semantics

来源：评论

学校读者我要写书评

暂无评论

Architectural paradigms for robotics applications

引用

ADVANCED ENGINEERING INFORMATICS 2010年第1期24卷 4-13页

作者： Amoretti, Michele Reggiani, Monica Univ Padua Dipartimento Tecn & Gest Sistemi Ind I-36100 Vicenza Italy Univ Parma Dipartimento Ingn Informaz I-43100 Parma Italy

In recent years, several technical architectural paradigms have been proposed to support the development of distributed and concurrent systems. object-oriented, component-based, service-oriented approaches are among the most recent paradigms for the implementation of heterogeneous software products that require complex interprocess communications and event synchronization. Despite the sharing of common objectives with distributed systems research, the robotics community is still late in applying these research results in the development of its architectures, often relying only on the most basic concepts. In this paper, we shortly illustrate these paradigms, their characteristics, and the successful stories about their application within the robotic domain. We discuss benefits and tradeoffs of the different solutions with the goal of deriving some practical principles and strategies to be exploited in robotics practice. Understanding the characteristics, features, advantages, and drawbacks of the different paradigms is, indeed, crucial for the successful design, implementation, and use of robotic architectures. (C) 2009 Elsevier Ltd. All rights reserved.

关键词： object-oriented methods (Computer science) SERVICE-oriented architecture (Computer science) SOFTWARE productivity DISTRIBUTED operating systems (Computers) ROBOTICS COMPUTER architecture

来源：评论

学校读者我要写书评

暂无评论

外贸管理信息系统的设计和实现

引用

计算机光盘软件与应用 2011年第11期14卷 178-180页

作者：张妩莹浙江嘉欣丝绸股份有限公司浙江嘉兴314000

随着互联网技术、数据库技术、开发平台等计算机应用技术的不断发展，管理信息系统越来越深入的被应用到企业管理的各个层面。目前，基于B／S的多层体系结构的信息系统已经被众多的企业广泛使用。本文所论述的“外贸管理信息系统”是建... 详细信息

随着互联网技术、数据库技术、开发平台等计算机应用技术的不断发展，管理信息系统越来越深入的被应用到企业管理的各个层面。目前，基于B／S的多层体系结构的信息系统已经被众多的企业广泛使用。本文所论述的“外贸管理信息系统”是建立在微软的．NET平台基础上的，运用到了***、Ajax、XML等相关技术和面向对象的设计方法。文中按照软件工程的步骤，从需求分析，概要设计等几个方面对“外贸管理信息系统”进行了论述。在概要设计阶段提出了一个基于．NET平台的三层体系结构的外贸管理信息系统解决方案。按照三层体系结构的设计思想对数据库以及数据访问层设计、业务逻辑层设计和表示层设计进行了阐述。

关键词：三层体系结构面向对象外贸管理信息系统

来源：评论

学校读者我要写书评

暂无评论

Software architecture of distributed client/server library circulation system

引用

ELECTRONIC LIBRARY 2010年第2期28卷 286-299页

作者： Milosavljevic, Branko Tesendic, Danijela Univ Novi Sad Novi Sad Serbia

Purpose - The purpose of this paper is to model and implement software architecture for transparent communication of client and server sides of library circulation system in order to enable system operation in different network configurations. design/methodology/approach - object-oriented methodology and design patterns are used for modeling system architecture. Modeling is carried out in the CASE tool that supports the Unified Modeling Language (UML 2.0) by means of class and sequence diagrams. The implementation is carried out in the Java programming language using open source components. Findings - The result is a software package for transparent communication of client and server side of library circulation system. Database operations are executed through this package. The package can execute the operations under different protocols, which enables the work of the library circulation system in the intranet and internet environments. Research limitation/implications - The proposed software architecture and implementation are integrated into the circulation subsystem of the BISIS library information system and rely on the Hibernate package for object/relational mapping. For integration into other systems where operations would not be related to the database or would use some other ORM technologies, it would be necessary to make corresponding changes in the implementation. Practical implications - The package is integrated, together with the library circulation system, into the fourth version of the BISIS system. Testing and verifying were carried out in public and special libraries. Originality/value - Originality of the paper is to be found in the proposed software architecture that is network-agnostic and facilitates transparent communication of client and server sides of the circulation system while not imposing a single communication technology or protocol. Besides, the architecture does not depend on the functionality of the circulation system and can be used

关键词： Library systems object-oriented methods systems software Information systems

来源：评论

学校读者我要写书评

暂无评论

Robust object Tracking using Local oriented Energy Features and its Hardware/Software implementation

Robust Object Tracking using Local Oriented Energy Features ...

引用

11th International Conference on Control, Automation, Robotics and Vision (ICARCV 2010)

作者： Norouznezhad, Ehsan Bigdeli, Abbas Postula, Adam Lovell, Brian C. NICTA POB 6020 St Lucia Qld 4067 Australia Univ Queensland Sch ITEE Brisbane Qld 4072 Australia

ISBN: (纸本)9781424478132

This paper presents the use of local oriented energy features for real-time object tracking on embedded vision systems. Local oriented energy features are extracted using complex Gabor filters. Filtering is carried out across multiple channels with different frequencies and orientations. The effectiveness of the chosen feature set is tested using a mean-shift tracker. Our experiments show that adding local oriented energy features can significantly enhance the performance of the tracker in presence of photometric variations and geometric transformation. The real-time implementation of the system is also described in this paper. To achieve the desired performance, a hardware/software co-design approach is pursued. Multi-channel Gabor filtering, Local oriented Energy Feature and Feature histogram Computation is implemented on hardware while mean-shift vector calculation is performed on a processor. The system was synthesized onto a Xilinx Virtex-5 XC5VSX50T using Xilinx ML506 development board and the implementation results are presented.

关键词： object Tracking Gabor Filters Local oriented Energy Features Mean-Shift Algorithm Field Programmable Gate Array (FPGA)

来源：评论

学校读者我要写书评

暂无评论

Deriving Concurrent Control Software from Behavioral Specifications

Deriving Concurrent Control Software from Behavioral Specifi...

引用

IEEE/RSJ International Conference on Intelligent Robots and systems

作者： Ramanathan, Ganesh Morandi, Benjamin West, Scott Nanz, Sebastian Meyer, Bertrand Siemens AG Zurich Switzerland Swiss Fed Inst Technol Chair Software Engn Zurich Switzerland

ISBN: (纸本)9781424466757

Concurrency is an integral part of many robotics applications, due to the need for handling inherently parallel tasks such as motion control and sensor monitoring. Writing programs for this complex domain can be hard, in particular because of the difficulties of retaining a robust modular design. We propose to use SCOOP, an object-oriented programming model for concurrency which by construction is free of data races, therefore excluding a major class of concurrent programming errors. Synchronization requirements are expressed by waiting on routine preconditions, which turns out to provide a natural framework for implementing coordination requirements in robotics applications. As demonstration application, we describe a control program for hexapod locomotion, whose implementation closely follows the corresponding behavioral specification given by the biological model. We compare the architecture with solutions expressed in more traditional approaches to robotic control applications.

关键词： SCOOP behavioral specifications concurrency control concurrent control software concurrent programming errors control engineering computing hexapod locomotion legged locomotion object-oriented programming object-oriented programming parallel programming parallel tasks robotic applications robust modular design synchronisation synchronization

来源：评论

学校读者我要写书评

暂无评论

Cross-Language, Type-Safe, and Transparent object Sharing For Co-Located Managed Runtimes 10

Cross-Language, Type-Safe, and Transparent Object Sharing Fo...

引用

Conference on object oriented Programming systems, Languages and Applications/SPLASH 2010

作者： Wegiel, Michal Krintz, Chandra Univ Calif Santa Barbara Dept Comp Sci Santa Barbara CA 93106 USA

ISBN: (纸本)9781450302036

As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming languages and to architect systems that comprise multiple components. Different components are often implemented in different programming languages. In state-of-the-art multicomponent, multi-language systems, cross-component communication relies on remote procedure calls (RPC) and message passing. As components are increasingly co-located on the same physical machine to ensure high utilization of multi-core systems, there is a growing potential for using shared memory for cross-language cross-runtime communication. We present the design and implementation of Co-Located Runtime Sharing (CoLoRS), a system that enables cross-language, cross-runtime type-safe, transparent shared memory. CoLoRS provides object sharing for co-located OO runtimes for both static and dynamic languages. CoLoRS defines a language-neutral object/class model, which is a static-dynamic hybrid and enables class evolution while maintaining the space/time efficiency of a static model. CoLoRS uses type mapping and class versioning to transparently map shared types to private types. CoLoRS also contributes a synchronization mechanism and a parallel, concurrent, on-thefly GC algorithm, both designed to facilitate cross-language cross-runtime object sharing. We implement CoLoRS in open-source, production-quality runtimes for Python and Java. Our empirical evaluation shows that CoLoRS extensions impose low overhead. We also investigate RPC over CoLoRS and find that using shared memory to implement co-located RPC significantly improves both communication throughput and latency by avoiding data structure serialization.

关键词： design Languages Management Measurement Performance

来源：评论

学校读者我要写书评

暂无评论

Bamboo: A Data-Centric, object-oriented Approach to Many-core Software 10

Bamboo: A Data-Centric, Object-Oriented Approach to Many-cor...

引用

ACM SIGPLAN Conference on Programming Language design and implementation

作者： Zhou, Jin Demsky, Brian Univ Calif Irvine Dept Elect Engn & Comp Sci Irvine CA 92697 USA

ISBN: (纸本)9781450300193

Traditional data-oriented programming languages such as dataflow languages and stream languages provide a natural abstraction for parallel programming. In these languages, a developer focuses on the flow of data through the computation and these systems free the developer from the complexities of low-level, thread-oriented concurrency primitives. This simplification comes at a cost traditional data-oriented approaches restrict the mutation of state and, in practice, the types of data structures a program can effectively use. Bamboo borrows from work in typestate and software transactions to relax the traditional restrictions of data-oriented programming models to support mutation of arbitrary data structures. We have implemented a compiler for Bamboo which generates code for the TILEPro64 many-core processor. We have evaluated this implementation on six benchmarks: Tracking, a feature tracking algorithm from computer vision;KMeans, a K-means clustering algorithm;Monte Carlo, a Monte Carlo simulation;Filter Bank, a multi-channel filter bank;Fractal, a Mandelbrot set computation;and Series, a Fourier series computation. We found that our compiler generated implementations that obtained speedups ranging from 26.2 x to 61.6 x when executed on 62 cores.

关键词： Many-core Programming Data-Centric Languages

来源：评论

学校读者我要写书评

暂无评论

object oriented combinatory parser

Object oriented combinatory parser

引用

2010 International Conference on High Performance Computing systems, HPCS 2010

作者： Naseri, Meysam Izadi, Maryam System Group Co. No 1 Shohada St. Ghaem Magham Tehran Iran not available No. 8 Khayyam Ave Valiasr St Tehran Iran

ISBN: (纸本)9781617820663

All along which combinatory parsers have been propounded, the primary idea has based on the pure functional programming;besides, the implementation methods with pure functional ideas has brought about some limitation on the programming environment. Like other combinatory parsers, we use functional structures and specially High Order Functions in order to design V Parser;however, the functions, which are used in the V parser, have a different structure in comparison with others;and consequently, a number of remarkable merits are provided. For instance, this parser is by far the simplest and easiest to understand among other combinatory parsers and it has the possibility of parallel processing for choice combinators. On the other hand, the usage of object-oriented will lead to avoid of restrictions of pure functional programming. Moreover, V Parser has the ability of generating Abstract Syntax Tree in an integrated way and the output of Parsing will be a concrete (conceptual) object. We are going to explain the structure of V parser in this article.

关键词： Functional programming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：