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

A semiautomatic task-oriented programming system for sensor-controlled robotised small-batch and one-off manufacturing

引用

ROBOTICA 2005年第6期23卷 743-754页

作者： Cederberg, P Olsson, M Bolmsjö, G Lund Univ Div Robot SE-22100 Lund Sweden

A task-oriented system structure has been developed. In normal industrial robot programming, the path is created and the process is based on the path. Here a process-focused method is proposed, where a task can be split in subtasks, one for each part of the process with similar process-characteristics. By carefully encapsulating the information needed to execute a sub-task, this component can be reused whenever the actual sub-task occurs. Applications using system design do not change between simulation and actual shop floor runs and the system allows a mix of real- and simulated components during simulation and run-time.

关键词： sensor simulation task-oriented programming industrial robotics small-batch manufacturing

来源：评论

学校读者我要写书评

暂无评论

Hiding task-oriented programming complexity: an industrial case study

引用

INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING 2023年第11期36卷 1629-1648页

作者： Villagrossi, Enrico Delledonne, Michele Faroni, Marco Beschi, Manuel Pedrocchi, Nicola Natl Res Council Italy Inst Intelligent Ind Technol & Syst Adv Mfg Via A Corti 12 I-20133 Milan Italy Univ Brescia Dept Mech & Ind Engn Brescia Italy

The ease of use of robot programming interfaces represents a barrier to robot adoption in several manufacturing sectors because of the need for more expertise from the end-users. Current robot programming methods are mostly the past heritage, with robot programmers reluctant to adopt new programming paradigms. This work aims to evaluate the impact on non-expert users of introducing a new task-oriented programming interface that hides the complexity of a programming framework based on ROS. The paper compares the programming performance of such an interface with a classic robot-oriented programming method based on a state-of-the-art robot teach pendant. An experimental campaign involved 22 non-expert users working on the programming of two industrial tasks. task-oriented and robot-oriented programming showed comparable learning time, programming time and the number of questions raised during the programming phases, highlighting the possibility of a smooth introduction to task-oriented programming even to non-expert users.

关键词： Intuitive robot programming task-oriented programming human-machine interaction end-user robot programming

来源：评论

学校读者我要写书评

暂无评论

Reducing the Power Consumption of IoT with task-oriented programming 23rd

Reducing the Power Consumption of IoT with Task-Oriented Pro...

引用

23rd International Symposium on Trends in Functional programming (TFP)

作者： Crooijmans, Sjoerd Lubbers, Mart Koopman, Pieter Radboud Univ Nijmegen Inst Comp & Informat Sci Nijmegen Netherlands

ISBN: (纸本)9783031213137;9783031213144

Limiting the energy consumption of IoT nodes is a hot topic in green computing. For battery-powered devices this necessity is obvious, but the enormous growth of the number of IoT nodes makes energy efficiency important for every node in the IoT. In this paper, we show how we can automatically compute execution intervals for our task-oriented programs for the IoT. These intervals offer the possibility to save energy by bringing the microprocessor driving the IoT node into a low-power sleep mode until the task need to be executed. Furthermore, they offer an elegant way to add interrupts to the system. We do allow an arbitrary number of tasks on the IoT nodes and achieve significant reductions of the energy consumption by bringing the microprocessor in sleep mode as much as possible. We have seen energy reductions of an order of magnitude without imposing any constraints on the tasks to be executed on the IoT nodes.

关键词： Sustainable IoT Green computing task-oriented programming Edge computing

来源：评论

学校读者我要写书评

暂无评论

programming Signal Processing Applications on Heterogeneous Wireless Sensor Platforms

Programming Signal Processing Applications on Heterogeneous ...

引用

5th IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems - Technology and Applications (IDAACS)

作者： Buondonno, Luigi Fortino, Giancarlo Galzarano, Stefano Giannantonio, Roberta Giordano, Antonio Gravina, Raffaele Guerrieri, Antonio Univ Calabria Dept Elect Informat & Syst DEIS I-87036 Arcavacata Di Rende CS Italy Telecom Italia TILAB Turin Italy WSN Lab Telecom Italia Berkeley CA 94704 USA

ISBN: (纸本)9781424448814

This paper proposes the SPINE frameworks (SPINE1.x and SPINE2) for the programming of signal processing applications on heterogeneous wireless sensor platforms. In particular, two integrable approaches based on the proposed frameworks are described that allow to develop applications for wireless body sensor networks (WBSNs) constituted by heterogeneous sensor nodes. The approaches are exemplified through a human activity recognition system based on a WBSN composed of two types of sensor nodes, heterogeneous with respect to base software and hardware.

关键词： Wireless body sensor networks software development methodology task-oriented programming distributed signal processing SPINE

来源：评论

学校读者我要写书评

暂无评论

A task-oriented Framework for Networked Wearable Computing

引用

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING 2016年第2期13卷 621-638页

作者： Galzarano, Stefano Giannantonio, Roberta Liotta, Antonio Fortino, Giancarlo Eindhoven Univ Technol TU E Dept Elect Engn NL-5612 AZ Eindhoven Netherlands UNICAL DIMES I-87036 Arcavacata Di Rende Italy Telecom Italia I-10129 Turin Italy

Body Sensor Networks (BSNs) have become prominent in research and industry alike as a powerful enabler of novel applications in human-centered domains. However, developing applications on such systems is still a cumbersome process, due to the lack of suitable software abstractions and the difficulties in managing wearable computing application within the stringent constraints of embedded systems. In this paper, we introduce a novel framework, SPINE2 (Signal Processing In Node Environment), which allows task-oriented programming on a platform-independent architecture. We demonstrate how fairly sophisticated signal-processing applications can be realized in the form of easy-to-implement embedded processes. The proposed architecture is tested experimentally and its features are illustrated through a nontrivial case study.

关键词： Body sensor network embedded system framework heterogeneity multiplatform networked wearable system signal processing task-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Platform-independent development of collaborative Wireless Body Sensor Network applications: SPINE2

Platform-independent development of collaborative Wireless B...

引用

IEEE International Conference on Systems, Man and Cybernetics

作者： Fortino, G. Guerrieri, A. Bellifemine, F. Giannantonio, R. Univ Calabria Dept Elect Informat & Syst DEIS Via P Bucci I-87036 Arcavacata Di Rende CS Italy Telecom Italia Labs Turin Italy

ISBN: (纸本)9781424427932

Rapid development of Wireless Body Sensor Network (WBSN) applications can be enabled by suitable domain-specific frameworks which are usually organized in two parts: a base-station-side (or coordinator) and a sensor-node-side. While the former can be based on the Java language so being highly portable, the latter is usually highly dependent on the exploited sensor platform. Available state of the art frameworks follow such an organization and, in particular, the current version of SPINE is based on TinyOS and can be only used to effectively develop collaborative WBSN applications for TinyOS-based sensor platforms. To develop SPINE-based applications for new sensor platforms, the SPINE framework should be re-implemented for each new sensor platform to be exploited. This not only increases development efforts but also enforces SPINE-oriented developers to become skilled on the low-level programming abstractions provided by a new employed sensor platform. In this paper we discuss issues related to platform-independent development of collaborative WBSN applications and, specifically, describe the requirements, architecture and first implementation experiences of SPINE2 which aims at reaching a very high platform independency and raising the level of the used programming abstractions by providing a task-oriented programming model. The paper also discusses how such a task-oriented model enables dynamic task assignment and holistic collaborative task execution also for resource-constrained environments such as tiny sensor nodes.

关键词： Wireless body sensor networks software development methodology task-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Semantic Equivalence of task-oriented Programs in TopHat 23rd

Semantic Equivalence of Task-Oriented Programs in TopHat

引用

23rd International Symposium on Trends in Functional programming (TFP)

作者： Klijnsma, Tosca Steenvoorden, Tim Radboud Univ Nijmegen Nijmegen Netherlands Open Univ Heerlen Netherlands

ISBN: (纸本)9783031213137;9783031213144

task-oriented programming (top) is a new programming paradigm for specifying multi-user workflows. To reason formally about top programs, a formal language called TOPHAT has been designed, together with its operational semantics. For proving properties about task-oriented programs, it is desirable to know when two TOPHAT-programs are semantically equivalent. This paper aims to answer this question. We show that a task can be in either one of five conditions, and for every two tasks in the same condition, we define what it means for them to be semantically equivalent. Using this definition, we study a number of transformation laws for TOPHAT-programs, which can be used by developers and compilers to optimise top-programs. We show that the task operation on types in TOPHAT is a functor but cannot be a monad. We support our findings with proofs formalised in the dependently typed programming language I-DRIS.

关键词： task-oriented programming Program equivalence Formal semantics

来源：评论

学校读者我要写书评

暂无评论

Dynamic TopHat: Start and Stop tasks at Runtime 35

Dynamic TopHat: Start and Stop Tasks at Runtime

引用

35th Symposium on Implementation and Application of Functional Languages (IFL)

作者： Steenvoorden, Tim Naus, Nico Open Univ Netherlands Heerlen Netherlands Virginia Tech Blacksburg VA USA

ISBN: (纸本)9798400716317

TOPHAT is a mathematically formalized language for task-oriented programming (TOP). It allows developers to specify workflows and business processes in a formal language, reason about their equality and use symbolic execution to verify their correctness and generate next-step hints. TOPHAT can run workflow specifications supporting collaborators during their execution. However, it can only do so for a statically specified amount of work. That is, the number of tasks running in parallel is always predefined by the developer. In contrast, other top engines like ItaskS and MtaskS act like an operating system, starting and stopping tasks at will. To capture this dynamic nature of workflow systems, we introduce DYNAMIC TOPHAT: a moderate extension to the TOPHAT calculus which allows end-users to initialize and kill tasks at runtime. Although this is a restricted version of the dynamic task lists found in ItaskS, where the system itself can initialize new tasks, we show that common use cases of this feature are still expressible in DYNAMIC TOPHAT. Also, our proposed solution does not compromise the formal reasoning properties of TOPHAT. TOPHAT's metatheory is formalized in the dependently typed programming language IDRIS and its symbolic execution engine is implemented in HASKELL.

关键词： task-oriented programming formal semantics symbolic execution functional programming

来源：评论

学校读者我要写书评

暂无评论

Generating Next Step Hints for task oriented Programs Using Symbolic Execution 21st

Generating Next Step Hints for Task Oriented Programs Using ...

引用

21st International Symposium on Trends in Functional programming (TFP)

作者： Naus, Nico Steenvoorden, Tim Open Univ Heerlen Netherlands Radboud Univ Nijmegen Nijmegen Netherlands

ISBN: (纸本)9783030577605;9783030577612

Software that models business workflows is omnipresent in today's society. These systems coordinate collaboration in hospitals, companies, and military institutions. Unfortunately, workflow systems may obfuscate the influence of current user actions on the desired end result. In order to make the right decision, users need to oversee the full process and all information available, both of which are usually buried in the system. We have developed a way to automatically generate next step hints for task oriented programs. task oriented programming provides programmers with an abstraction over workflow software, while still being expressive enough to describe real world collaboration. By leveraging symbolic execution, we can calculate these hints without modification of the original program. To our knowledge, this is the first time that symbolic execution is used to automatically generate next step hints for end users. We prove the generated hints to be sound and complete, and also demonstrate that the symbolic execution semantics we employ is correct for sequential input. In addition, we have developed a Haskell implementation of our automatic next step hint generation system. By providing next step hints, the chance of human error is reduced, while still allowing end users to intervene if required. The overall performance is raised, since the quality of decisions will improve.

关键词： task-oriented programming Next step hint generation Symbolic execution

来源：评论

学校读者我要写书评

暂无评论

SPINE2: developing BSN applications on heterogeneous sensor nodes

SPINE2: developing BSN applications on heterogeneous sensor ...

引用

IEEE International Symposium on Industrial Embedded Systems (SIES 2009)

作者： Fortino, Giancarlo Guerrieri, Antonio Bellifemine, Fabio L. Giannantonio, Roberta Univ Calabria DEIS I-87036 Arcavacata Di Rende CS Italy Telecom Italia TILAB Turin Italy

ISBN: (纸本)9781424441099

Body sensor networks (BSNs) have great potential to enable a broad variety of assisted living applications such as health and activity monitoring, and emergency detection. Although several effective application development frameworks already exist for BSNs based on specific sensor platforms (e.g. CodeBlue, SPINE, Titan), effective methods for the platform-independent development of BSN applications are still missing. Such methods would enable rapid development of multi-platform applications and fast application porting from one platform to another. In this paper, we present SPINE2, an evolution of SPINE, which aims at reaching a very high platform independency and raising the level of the used programming abstractions by providing a task-oriented programming model. Furthermore, SPINE2 is exemplified through a case study related to human activity monitoring.

关键词： Body sensor networks heterogeneous sensor platforms task-oriented programming human activity monitoring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：