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

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language

FORMAL ASPECTS OF COMPUTING 2018年第1期30卷 163-192页

作者： Corrodi, Claudio Heussner, Alexander Poskitt, Christopher M. Univ Bern Software Composit Grp Bern Switzerland Univ Bamberg Software Technol Res Grp Bamberg Germany Singapore Univ Technol & Design Singapore Singapore

A number of high-level languages and libraries have been proposed that offer novel and simple to use abstractions for concurrent, asynchronous, and distributed programming. The execution models that realise them, however, often change over time-whether to improve performance, or to extend them to new language features-potentially affecting behavioural and safety properties of existing programs. This is exemplified by Scoop, a message-passing approach to concurrent object-oriented programming that has seen multiple changes proposed and implemented, with demonstrable consequences for an idiomatic usage of its core abstraction. We propose a semantics comparison workbench for Scoop with fully and semi-automatic tools for analysing and comparing the state spaces of programs with respect to different execution models or semantics. We demonstrate its use in checking the consistency of properties across semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of Scoop. Furthermore, we demonstrate the extensibility of the workbench by generalising the formalisation of an execution model to support recently proposed extensions for distributed programming. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the Groove tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, how the visual yet algebraic nature of the model can be used to ascertain soundness, and highlight how the approach could be applied to similar languages.

关键词： Concurrent asynchronous programming Distributed programming with message passing Operational semantics Runtime semantics Graph transformation systems Verification/analysis parameterised by semantics Concurrency abstractions object-oriented programming Software engineering SCOOP GROOVE

来源：评论

学校读者我要写书评

暂无评论

Here be dragons - an integration shopping list

引用

COMPUTING & CONTROL ENGINEERING JOURNAL 2000年第6期11卷 283-292页

作者： Barker, S Adv Technol Ctr Sowerby Bristol BS99 7AR Avon England

Application integration has become the 'philosopher's stone' for many industrial companies. Many integration projects have succeeded in solving the problem they set themselves, but left the problem of integration unsolved. The integration of applications for a complex design environment is particularly rich in such projects. In the author's experience, a broader view of integration is needed, and several complementary models of integration are described, together with a list of 12 different design issues that integration projects need to resolve. It is not claimed that a project covering all these features will succeed, but rather an absence of a feature is an indication that the project will fail.

关键词： integration projects Software management systems analysis application integration Design CAD Manufacturing and industrial administration Production engineering computing industrial companies object-oriented programming Distributed systems software Manufacturing systems computer integrated manufacturing integration shopping list complementary models production control Control engineering computing complex design environment distributed object management Control in industrial production systems Industrial applications of IT Production management design issues

来源：评论

学校读者我要写书评

暂无评论

VACTIV: A graphical dialog based program for an automatic processing of line and band spectra

引用

COMPUTER PHYSICS COMMUNICATIONS 2013年第5期184卷 1480-1481页

作者： Zlokazov, V. B. JINR LIT DUBNA Joliot Curie 6 Russia

The program VACTIV - Visual ACTIV - has been developed for an automatic analysis of spectrum-like distributions, in particular gamma-ray spectra or alpha-spectra and is a standard graphical dialog based Windows XX application, driven by a menu, mouse and keyboard. On the one hand, it was a conversion of an existing Fortran program ACTIV [1] to the DELPHI language;on the other hand, it is a transformation of the sequential syntax of Fortran programming to a new object-oriented style, based on the organization of event interactions. New features implemented in the algorithms of both the versions consisted in the following as peak model both an analytical function and a graphical curve could be used;the peak search algorithm was able to recognize not only Gauss peaks but also peaks with an irregular form;both narrow peaks (2-4 channels) and broad ones (50-100 channels);the regularization technique in the fitting guaranteed a stable solution in the most complicated cases of strongly overlapping or weak peaks. The graphical dialog interface of VACTIV is much more convenient than the batch mode of ACTIV. [1] V.B. Zlokazov, Computer Physics Communications, 28 (1982) 27-37. NEW VERSION PROGRAM SUMMARY Program Title: VACTIV Catalogue identifier: ABAC_v2_0 Licensing provisions: no programming language: DELPHI 5-7 Pascal. Computer: IBM PC series. Operating system: Windows XX. RAM: 1 MB Keywords: Nuclear physics, spectrum decomposition, least squares analysis, graphical dialog, object-oriented programming. Classification: 17.6. Catalogue identifier of previous version: ABAC_v1_0 Journal reference of previous version: Comput. Phys. Commun. 28 (1982) 27 Does the new version supersede the previous version?: Yes. Nature of problem: Program VACTIV is intended for precise analysis of arbitrary spectrum-like distributions, e.g. gamma-ray and X-ray spectra and allows the user to carry out the full cycle of automatic processing of such spectra, i.e. calibration, automatic peak search an

关键词： Nuclear physics Spectrum decomposition Least squares analysis Graphical dialog object-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Knowledge management system on flow and water quality modeling

引用

EXPERT SYSTEMS WITH APPLICATIONS 2002年第4期22卷 321-330页

作者： Chau, KW Chuntian, C Li, CW Hong Kong Polytech Univ Dept Civil & Struct Engn Hong Kong Hong Kong Peoples R China Dalian Univ Technol Dept Civil Engn Dalian 116024 Peoples R China

Due to the complexity of the numerical simulation of flow and/or water quality, there is an increasing demand for integration of recent knowledge management, artificial intelligence technology with the conventional hydraulic algorithmic models in order to assist novice application users in selection and manipulation of various mathematical tools. In this paper, a prototype knowledge management system on flow and water quality is addressed to simulate human expertise during the problem solving by incorporating artificial intelligence and coupling various descriptive knowledge, procedural knowledge and reasoning knowledge involved in the coastal hydraulic and transport processes. The system is developed through employing Visual Rule Studio, a hybrid expert system shell, as an ActiveX Designer under Microsoft Visual Basic 6.0 environment since it combines the advantages of both production rules and object-oriented programming technology. The architecture, the development and the implementation of the prototype system are delineated in details. Based on the succinct features and conditions of a variety of flow and water quality models, three kinds of class definitions, Section and Problem as well as Question are defined and the corresponding knowledge rule sets are also established. Both forward chaining and backward chaining are used collectively during the inference process. A typical example is also presented to demonstrate the application of the prototype knowledge management system. (C) 2002 Elsevier Science Ltd. All rights reserved.

关键词： knowledge management system flow and water quality modeling artificial intelligence object-oriented programming production rule visual interface

来源：评论

学校读者我要写书评

暂无评论

A computational framework for constitutive modelling

引用

COMPUTERS & STRUCTURES 2017年 187卷 1-23页

作者： Gori, Lapo Penna, Samuel Silva da Silva Pitangueira, Roque Luiz Fed Univ Minas Gerais UFMG Engn Sch Dept Struct Engn Ave Antonio Carlos 6627 BR-31270901 Belo Horizonte MG Brazil

The field of computational constitutive modelling for engineering applications is an active research tread in academia. New advanced models and formulations are constantly proposed. However, when dealing with implementation aspects, often the main concern is to provide a minimal environment to show a certain model and its applications, with implementations made from scratch. Though advanced, usually such implementations lack of generality and are well-suited for a certain numerical method while not compatible with other ones, making it difficult to reuse the code in other contexts. The object oriented Paradigm (OOP) to programming have been widely applied in the last years for the realization of numerous academic numerical simulation softwares, due to its fundamental properties of abstraction, inheritance and polymorphism that allow the creation of programs well-suited for an easy collaboration between developers with expertise in different fields of engineering and mechanics. As showed in this paper, the same properties can be effectively extended also to the constitutive aspects of a model. The application of the OOP to the constitutive modelling of a wide range of materials of engineering interest is investigated, aiming to the creation of a computational framework for constitutive models that is fully independent on the other components of a code and easy to expand. (C) 2017 Elsevier Ltd. All rights reserved.

关键词： Finite element method object-oriented programming Elastic-degradation Elasto-plasticity Continuum damage mechanics

来源：评论

学校读者我要写书评

暂无评论

Algorithms for automatic generation of one-line diagrams

引用

IEE PROCEEDINGS-GENERATION TRANSMISSION AND DISTRIBUTION 2000年第5期147卷 292-298页

作者： Ong, YS Gooi, HB Chan, CK Nanyang Technol Univ Sch Elect & Elect Engn Singapore 639798 Singapore

Three placement algorithms are presented that may be employed for the automatic generation of one-line diagrams of power systems. To demonstrate the ability of these algorithms, a one-line diagram auto generation software program (ODAG) has been developed. ODAG has been implemented using the Java programming language so that it is network accessible over the Internet as a one-line diagram design tool. Algorithms implemented in ODAG include Spring Embedder, Rooted Tree and Controlled Spring Embedder with Grid Aligning. They autogenerate one-line diagram layouts that are aesthetically pleasing with acceptable readability and user friendliness. Two networks have been used as examples in the paper to illustrate the one-line diagrams autogenerated by these algorithms.

关键词： Graphical user interfaces Power systems Internet Power engineering computing Spring Embedder Java power engineering computing graphical user interfaces Rooted Tree user friendly one-line diagram auto generation software program power systems Java programming language power system one-line diagrams object-oriented programming Controlled Spring Embedder with Grid Aligning ODAG one-line diagrams automatic generation placement algorithms

来源：评论

学校读者我要写书评

暂无评论

Data abstraction and information hiding

引用

ACM TRANSACTIONS ON programming LANGUAGES AND SYSTEMS 2002年第5期24卷 491-553页

作者： Leino, KRM Nelson, G Compaq Syst Res Ctr Palo Alto CA USA

This article describes an approach for verifying programs in the presence of data abstraction and information hiding, which are key features of modern programming languages with objects and modules. This article draws on our experience building and using an automatic program checker, and focuses on the property of modular soundness: that is, the property that the separate verifications of the individual modules of a program suffice to ensure the correctness of the composite program. We found this desirable property surprisingly difficult to achieve. A key feature of our methodology for modular soundness is a new specification construct: the abstraction dependency, which reveals which concrete variables appear in the representation of a given abstract variable, without revealing the abstraction function itself. This article discusses in detail two varieties of abstraction dependencies: static and dynamic. The article also presents a new technical definition of modular soundness as a monotonicity property of verifiability with respect to scope and uses this technical definition to formally prove the modular soundness of a programming discipline for static dependencies.

关键词： languages verification abstract variables abstraction dependencies extended static checking modifies clauses modular verification object-oriented programming specifications

来源：评论

学校读者我要写书评

暂无评论

CONSTRAINT-BASED TOOLS FOR BUILDING USER INTERFACES

引用

ACM TRANSACTIONS ON GRAPHICS 1986年第4期5卷 345-374页

作者： BORNING, A DUISBERG, R UNIV WASHINGTON DEPT COMP SCISEATTLEWA 98195 TEKTRONIX INC BEAVERTONOR 97077

A constraint describes a relation that must be maintained. Constraints provide a useful mechanism to aid in the construction of interactive graphical user interfaces. They can be used to maintain consistency between data and a view of the data, to maintain consistency among multiple views, to specify layout, and to specify relations between events and responses for describing animations of interactive systems and event-driven simulations. object-oriented techniques for constraint representation and satisfaction are presented, and a range of examples that demonstrate the practical use of static and temporal constraints for such purposes is presented. These examples include animations of algorithms and physics simulations, and constructing user-interface elements such as file browsers, views onto statistical data, and an interactive monitor or a simulated operating system.

关键词： Animation consistency of multiple views constraint satisfaction constraints graphical programming object-oriented programming temporal constraints user interfaces userinterface management systems

来源：评论

学校读者我要写书评

暂无评论

Hybridisation of forklift trucks

引用

IET ELECTRICAL SYSTEMS IN TRANSPORTATION 2020年第1期10卷 116-123页

作者： Ceraolo, Massimo Lutzemberger, Giovanni Scarpelli, Claudio Bonelli, Giovanni Paolo Piazza, Tommaso Univ Pisa Dept Energy Syst Terr & Construct Engn Pisa Italy Toyota Mat Handling Mfg Italy SpA Via Persicetana Vecchia 10 I-40132 Bologna Italy

In the past years, forklift manufacturers have started to hybridise their products under the worldwide interest toward electrification. This is generally made starting from existing standard products, and converting them into hybrid versions, rather than start from scratch and designing fully new vehicles. This approach involves several gaps from the inaccurate evaluation of the powertrain architecture and relative energy management strategy, up to a rough sizing of components. Therefore, this study suggests a structured methodology to follow, aimed to properly design hybrid forklift trucks. The first step is the analysis of the conventional working machine to hybridise, identifying one set of duty cycles. Then, the design of the new powertrain architecture, with a proper energy management strategy, and the definition of a numerical simulation model realised through a multiphysics object-oriented software package, to properly size the new powertrain components, and to verify energy and power flows. Finally, it is also presented a brief-cost-benefit analysis, as last verification of the proposed methodology, to verify the cost-effectiveness to bring the new products to the market. Results have shown the general feasibility of the operation since the significant reduction in fuel consumption is combined with sustainable costs of the new electrified components.

关键词： object-oriented programming machinery production industries power transmission (mechanical) hybrid electric vehicles fork lift trucks energy management systems software packages cost-benefit analysis power engineering computing mechanical engineering computing relative energy management strategy structured methodology design hybrid forklift trucks conventional working machine duty cycles powertrain architecture proper energy management strategy numerical simulation model multiphysics object-oriented software package powertrain components power flows brief-cost-benefit analysis electrified components hybridisation forklift manufacturers electrification

来源：评论

学校读者我要写书评

暂无评论

Multimethods in C++ using recursive deferred dispatching

引用

IEEE SOFTWARE 2006年第3期23卷 62-+页

作者： Shopyrin, D St Petersburg State Univ Informat Technol Mech & Joint Res Lab St Petersburg Russia

A multimethod is a virtual method of several objects. Some object-oriented programming languages support multimethods, but C++ doesn't. The proposed multimethods implementation approach based on recursive deferred dispatching allows multimethod functionality III C++. The approach is completely declarative and ensures compile-time type safety and integrity checking. It also provides a constant multi-method execution time and separately compiles source code and is portable. The approach is generalized as a reusable free-ware library intended to hide its complexity from the client code.

关键词： C++ language LISP object-oriented programming C++ CLOS Common Lisp object System Dylan multimethod implementation programming languages recursive deferred dispatching virtual method multimethods multiple dispatch polymorphism reusable libraries templ Computer programming Languages object oriented programming Dispatching LISP Recursive C language

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：