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

TALTS: A general thermal analyser for lumped thermal systems

INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY 1998年第1-2期11卷 127-150页

作者： Wei, SS Chung Shan Inst Sci & Technol Lungtan Taiwan

Presented in this paper is a general thermal analyser for versatile heat transfer problems represented by lumped thermal systems. The analyser is mostly distinguished from existing thermal analysers by (1) using a flexible language to build the input data file, (2) being capable of deleting and adding submodels at any computation time, (3) being able to manipulate thermal and heat transfer properties in the computation, and (4) being accessible to third party libraries. The analyser is also suitable for solving any physical problem which can be both represented by a system of diffusion-typed equations and formulated as a conductance and capacitance network. In addition to the detailed description of using the thermal analyser, the compiler design for the specially developed language is also elaborated.

关键词： compiler design computer-aided engineering lumped system programming language thermal analysis

来源：评论

学校读者我要写书评

暂无评论

Edge-Centric programming for IoT Applications With Automatic Code Partitioning

引用

IEEE TRANSACTIONS ON COMPUTERS 2022年第10期71卷 2408-2422页

作者： Li, Borui Dong, Wei Zhejiang Univ Alibaba Zhejiang Univ Joint Inst Frontier Technol Coll Comp Sci Hangzhou 310027 Peoples R China

IoT application development usually involves separate programming at the device side and server side. While separate programming style is sufficient for many simple applications, it is not suitable for many complex applications that involve complex interactions and intensive data processing. We propose EdgeProg, an edge-centric programming approach to simplify IoT application programming, motivated by the increasing popularity of edge computing. With EdgeProg, users could write application logic in a centralized manner with an augmented If-This-Then-That (IFTTT) syntax and virtual sensor mechanism. The program can be processed at the edge server, which can automatically generate the actual application code and intelligently partition the code into device code and server code, for achieving the optimal latency. EdgeProg employs dynamic linking and loading to deploy the device code on a variety of IoT devices, which do not run any application-specific codes at the start. Results show that EdgeProg achieves an average reduction of 20.96%, 27.8% and 79.41% in terms of execution latency, energy consumption, and lines of code compared with state-of-the-art approaches.

关键词： Codes Internet of Things programming Servers Loading Performance evaluation Speech recognition Edge computing IoT programming language

来源：评论

学校读者我要写书评

暂无评论

A high-speed-execution method for a program written in factory-automation-cell control language

引用

ELECTRICAL ENGINEERING IN JAPAN 2003年第2期144卷 34-42页

作者： Koyama, M Miyake, N Fujii, K Komoda, N Osaka Univ Grad Sch Informat Sci & Technol Suita Osaka 565 Japan

A new programming method called Cell Control language (CCL) for factory-automation systems has been developed. In CCL programming, an action sequence of each functional unit in each operation mode is first described as a net module. This net module is a subclass of Petri nets, and this subclass is equivalent to a state-transition diagram (a conventional design method). Several net modules are merged and translated into an internal code program, which is executed in a cell controller. To improve the ability of the controller to respond to state changes, we developed two new methods based on CCL. One is that for efficiently describing a CCL program, which needs a quick response to state changes, and the other is that for executing the program in a short cycle. The execution method was applied to an actual cell controller, which confirmed that it can improve the ability to respond to state changes without reducing the total control performance. (C) 2003 Wiley Periodicals, Inc.

关键词： Petri net factory automation (FA) sequence control programming language interruption process

来源：评论

学校读者我要写书评

暂无评论

A NEW programming PARADIGM FOR ENGINEERING DESIGN SOFTWARE

引用

ENGINEERING WITH COMPUTERS 1994年第2期10卷 95-111页

作者： SALUSTRI, FA VENTER, RD 1. Department of Mechanical Engineering University of Toronto 5 King's College Road M5S 1A4 Toronto Ontario Canada

Currently available programming and database systems are insufficient for engineering applications. The authors contend that a logical progression from a formal conceptual model of the engineering domain to a computational model will lead to new programming paradigms capable of directly supporting engineering applications in a rigorous, concise manner. A formal domain model devised by the authors, the Hybrid Model (HM) of design information, is briefly introduced. It is an extension of axiomatic set theory and is discussed in detail elsewhere. HM forms the basis of Designer, a prototype-based object-oriented programming language supporting a signature-based canonical message-passing mechanism and multiple inheritance. Designer is implemented using the Scheme programming language. Because Designer satisfies a formal conceptual model, and because it is based on a formally specified language, its robustness and logical validity are superior to those of other languages not founded on formal principles. Designer combines concepts of functional and object-oriented programming to provide the formal rigor and flexibility to capture the complex and strongly interrelated information that designers use. Examples demonstrate how Designer represents design information. The results of the authors' research indicate that Designer can capture design information (including aspects of functional requirements and design intent) effectively and efficiently.

关键词： ENGINEERING DESIGN FORMAL FUNCTIONAL programming OBJECT ORIENTATION programming language

来源：评论

学校读者我要写书评

暂无评论

FPGA-based implementation of bistable function blocks defined in the IEC 61131

引用

MICROPROCESSORS AND MICROSYSTEMS 2019年 65卷 37-46页

作者： Chmiel, M. Silesian Tech Univ Inst Elect Akad Str 16 PL-44100 Gliwice Poland

This article discusses the possibilities of using FPGAs in order to construct fast PLCs that execute serial-cyclic program control loop. The PLCs bistable function blocks of the IEC 61131-3 standard with particular emphasis on the possible FPGA implementations are presented. The FPGA hardware support is implemented in such a way that it does not interfere with the normal, serial-cyclic program execution. It enables a significant reduction in the timing of the result execution after loading new input data in the memory cells. Moreover, such an implementation of bistable function blocks allows for seamless use in any programming language. Both the IL text language and the graphical languages (LD and FBD) can freely use the advantages of such a solution. (C) 2018 Elsevier B.V. All rights reserved.

关键词： Programmable logic controllers (PLC) IEC 61131 programming language Field programmable gate arrays (FPGA) Bistable function blocks

来源：评论

学校读者我要写书评

暂无评论

Adaptative parallel simulators for bioinspired computing models

引用

FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE 2020年 107卷 469-484页

作者： Martinez-del-Amor, Miguel A. Perez-Hurtado, Ignacio Orellana-Martin, David Perez-Jimenez, Mario J. Univ Seville Dept Comp Sci & Artificial Intelligence Res Grp Nat Comp Seville Spain

In the Membrane Computing area, P systems are unconventional devices of computation inspired by the structure and processes taking place in living cells. Main successful P system applications lie in computability and computational complexity theories, as well as in biological modelling. Given that models become too complex to deal with, simulators for P systems are essential tools and their efficiency is critical. In order to handle the diverse situations that may arise during the computation, these simulators have to take into account that worst-case scenarios can happen, even though they rarely occur. As a result, there is a significant loss of performance. In this paper, the concept of adaptative simulation for P systems is introduced to palliate this problem. This is achieved by passing high-level information provided directly by P system model designers to the simulator, helping it to better adapt to the target model. For this purpose, an existing simulator for an ecosystem modelling framework, named Population Dynamics P systems, is extended to include the information of modules, that are usually employed to define ecosystem models. Moreover, the standard description language for P systems, P-Lingua, has been re-engineered in its version 5. It now includes a new syntactical item, called feature, to express this kind of high-level semantic information. Experiments show that this simple adaptative simulator supporting modules as features doubles the performance when running on GPUs and on multicore processors. (C) 2020 Elsevier B.V. All rights reserved.

关键词： Bioinspired computing Membrane computing P system programming language Parallel computing GPU computing

来源：评论

学校读者我要写书评

暂无评论

LEAD: A language for dynamically adaptable applications

引用

IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES 1998年第6期E81A卷 992-1000页

作者： Amano, N Watanabe, T Graduate School of Information Science Japan Advanced Institute of Science and Technology Ishikava-ken 923-1292 Japan

As open-ended distributed systems and mobile computing systems have spread widely, the need for software which can adapt itself to the dynamic change of runtime environments increases. We call the ability of the software dynamic adaptability. We designed and implemented a language LEAD that provides an architecture for dynamic adaptability. The basic idea is to introduce the mechanism which changes procedure invocation dynamically according to the stales of runtime environments. Using LEAD, we can easily realize 1) the highly extensible dynamically adaptable applications, and 2) the introduction of the dynamic adaptability into existing applications.

关键词： programming language software adaptation meta-level architecture and reflection

来源：评论

学校读者我要写书评

暂无评论

Stepwise-refinement for performance: a methodology for many-core programming

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2015年第17期27卷 4515-4554页

作者： Hijma, P. van Nieuwpoort, R. V. Jacobs, C. J. H. Bal, H. E. Vrije Univ Amsterdam Dept Comp Sci Amsterdam Netherlands Netherlands eSci Ctr Amsterdam Netherlands

Many-core hardware is targeted specifically at obtaining high performance, but reaching high performance is often challenging because hardware-specific details have to be taken into account. Although there are many programming systems that try to alleviate many-core programming, some providing a high-level language, others providing a low-level language for control, none of these systems have a clear and systematic methodology as a foundation. In this article, we propose stepwise-refinement for performance: a novel, clear, and structured methodology for obtaining high performance on many-cores. We present a system that supports this methodology, offers multiple levels of abstraction to provide programmers a trade-off between high-level and low-level programming, and provides programmers detailed performance feedback. We evaluate our methodology with several widely varying compute kernels on two different many-core architectures: a Graphical Processing Unit (GPU) and the Xeon Phi. We show that our methodology gives insight in the performance, and that in almost all cases, we gain a substantial performance improvement using our methodology. Copyright (c) 2015 John Wiley & Sons, Ltd.

关键词： methodology stepwise-refinement many-core programming language hardware description abstraction levels

来源：评论

学校读者我要写书评

暂无评论

THE PEGASUS HETEROGENEOUS MULTIDATABASE SYSTEM

引用

COMPUTER 1991年第12期24卷 19-27页

作者： AHMED, R DESMEDT, P DU, WM KENT, W KETABCHI, MA LITWIN, WA RAFII, A SHAN, MC HEWLETT PACKARD CO PEGASUS PROJECTPALO ALTOCA UNIV PARIS 09 F-75016 PARISFRANCE HEWLETT PACKARD CO PERSEUS PROJECTPALO ALTOCA UNIV SANTA CLARA SCH ENGNSANTA CLARACA 95053

Pegasus, a heterogeneous multidatabase management system that responds to the need for effective access and management of shared data across in a wide range of applications, is described. Pegasus provides facilities for multidatabase applications to access and manipulate multipole autonomous heterogeneous distributed object-oriented relational, and other information systems through a uniform interface. It is a complete data management system that integrates various native and local databases. Pegasus takes advantage of object-oriented data modeling and programming capabilities. It uses both type and function abstractions to deal with mapping and integration problems. Function implementation can be defined in an underlying database language or a programming language. Data abstraction and encapsulation facilities in the Pegasus object model provide an extensible framework for dealing with various kinds of heterogeneities in the traditional database systems and nontraditional data sources

关键词： Pegasus heterogeneous multidatabase system database language distributed databases function abstractions management of shared data object-oriented data modeling object-oriented databases programming language

来源：评论

学校读者我要写书评

暂无评论

Distributed algorithms for cooperative control

引用

IEEE PERVASIVE COMPUTING 2004年第1期3卷 56-65页

作者： Klavins, E Murray, RM Univ Washington Seattle WA 98195 USA CALTECH Pasadena CA 91125 USA

Expressing a cooperative control system requires combining tools from control theory and distributed computation. After reviewing several possible formalisms appropriate for the job, the authors settle on the computation and control language and illustrate its main features and advantages using a cooperative tracking task. We demonstrate some of the concepts involved in using a multirobot task. We also discuss CCL's ability to be a programming language as well as a modeling tool, which lets us directly simulate or execute CCL models.

关键词： distributed algorithms multi-robot systems cooperative systems programming languages cooperative control system control theory distributed computation control language multirobot task CCL programming language modeling tool copper clad laminate Computer programming languages coordinated control cooperative systems Control Theory COMMAND AND CONTROL languageS multi-robot systems distributed algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：