Geographical Information Systems (GIS) are now widely used for the manipulation of spatial data. Clear limitations in the design of GIS for the user are identified, notably the limited knowledge represented within the...
详细信息
Geographical Information Systems (GIS) are now widely used for the manipulation of spatial data. Clear limitations in the design of GIS for the user are identified, notably the limited knowledge represented within the systems, the time and difficulty involved in becoming a competent user and, in many eases, the low-level nature of the commands. One of the principal requirements of a more knowledgable GIS involves the representation of knowledge related to a number of features: the data in the system;the operations that can be performed;the processing of requests;and the presentation of results. Many of the ideas presented can be generally applied to other query language driven systems. The approach taken to the design and implementation of a prototype high-level interface to GIS is based on the functional style of programming. Functional languages appear to offer some important properties, for example: the strong and polymorphic typing and the ease with which new types can be defined;the ability to order the knowledge base within functions;and the facility to create functional hierarchies composed of compound or higher-order functions which allow high-level operations to be manipulated as units. It is described how a functional solution to the problems can be represented by a command based approach and how this can be improved upon through the use of a graphical user interface with direct manipulation of objects/icons.
The planning method adopted in the visual programming system for sequence-control program specification design (VIPS/S-SFCD) is described, VIPS/S-SFCD is based on two unique features: 1) an example-based programming t...
详细信息
The planning method adopted in the visual programming system for sequence-control program specification design (VIPS/S-SFCD) is described, VIPS/S-SFCD is based on two unique features: 1) an example-based programming technique in which designers specify the initial states and goal conditions of equipment blocks using visual representations and 2) a planning method that infers machine actions and generates control program specifications, The planning method is based on a state-space model and uses scope to make the searches more efficient, To investigate the effectiveness of the method, VIPS/S-SFCD was used to experimentally generate control program specifications for an existing steel plant, The results showed that the quality of the control program specifications generated by the planner was equal to that achieved by a design specialist, and the time required for designing control programs was much shorter, Using VIPS/S-SFCD, errors in writing specifications are reduced because designers can easily understand the initial and goal state of an equipment block and the sequence of state transitions, The reliability of the specifications is improved because VIPS/S-SFCD generates valid segments of the specifications, The design time is also reduced because designers can use high-level instructions that closely reflect their thought processes.
Recently, model checkers, such as SPIN, have played an important role in the enhancement of software reliability. To promote the use of model checkers, we propose a visual programming language for SPIN model checkers ...
详细信息
ISBN:
(纸本)9783319699264;9783319699257
Recently, model checkers, such as SPIN, have played an important role in the enhancement of software reliability. To promote the use of model checkers, we propose a visual programming language for SPIN model checkers for educational use. Our prototype is based on Google Blockly.
Based on former studies on weather simulator modules in IPMist laboratory, study on visual programming of stochastic weather generator(VS-WGEN)was continued. In this study, Markov Chain, Monte Carlo, Fourier Series, a...
详细信息
Based on former studies on weather simulator modules in IPMist laboratory, study on visual programming of stochastic weather generator(VS-WGEN)was continued. In this study, Markov Chain, Monte Carlo, Fourier Series, and weak stationary process were used to generate the daily weather data in software Matlab 6. 0, with the data input from 40 years' weather data recorded by Beijing Weather Station. The generated data includes daily maximum temperature, minimum temperature, precipitation and solar radiation. It has been verified that the weather data generated by the VS-WGEN were more accurate than that by the old WGEN, when twenty new model parameters were included. VS-WGEN has wide software applications, such as pest risk analysis, pest forecast and management. It can be implemented in hardware development as well, such as weather control in weather chamber and greenhouse for researches on ecological adaptation of crop varieties to a given location over time and space. Overall, VS-WGEN is a very useful tool for studies on theoretical and applied ecology.
This paper describes the use of a visual programming environment (LabVIEW) for the flux analysis of metabolic pathways. Representations of metabolic pathways are constructed in software from individual reaction elemen...
详细信息
This paper describes the use of a visual programming environment (LabVIEW) for the flux analysis of metabolic pathways. Representations of metabolic pathways are constructed in software from individual reaction elements (icons) which are linked together to indicate potential flux routes. Off-line bioprocess data are then used to supply the inputs and outputs to the metabolic pathway and the pathway fluxes are calculated. The metabolic system can be modelled at different levels of complexity and new pathways can be inserted into existing models. To illustrate this, flux analyses are performed on three Escherichia coli mutants with metabolic pathway deletions and insertions. The first analysis looks at organic acid production and the second at the effect of the presence in E. coli of an engineered pathway for toluene degradation.
Complex Event Processing (CEP) is a promising approach for real-time processing of big data streams originating from Internet of Things (IoT) devices. Even though scalability and flexibility are key issues for IoT app...
详细信息
Complex Event Processing (CEP) is a promising approach for real-time processing of big data streams originating from Internet of Things (IoT) devices. Even though scalability and flexibility are key issues for IoT applications, current studies are mostly based on centralized solutions and restrictive query languages. Moreover, development, deployment and operation of big-data applications require significant amount of technical expertise. Hence, a framework that provides a higher abstraction level programming model and a streamlined execution environment is essential to facilitate widespread user adoption. In this paper, we propose a data-flow based visual programming model that enables development of big-data applications in IoT domain even by users who have limited or no experience in big-data technologies. A scalable CEP engine is also devised to execute the applications developed using this language. A prototype is implemented by using the state-of-the-art big-data and real-time stream processing technologies to evaluate the applicability and usability of the framework. (C) 2018 Elsevier Ltd. All rights reserved.
This paper presents a web-based platform for construction and execution of data visualization workflow. The environment enables construction of data visualization workflow with the visual programming interface and pro...
详细信息
This paper presents a web-based platform for construction and execution of data visualization workflow. The environment enables construction of data visualization workflow with the visual programming interface and provides the ability of previewing the visualisation workflow result in real-time. The use of visual programming makes the workflow composition faster and its also lowers entry threshold for the process of data visualization. In this paper we discuss the architecture and main building blocks of the data visualization workflow. (C) 2020 The Authors. Published by ELSEVIER B.V. This is an open access article under the CC BY-NC-ND license (https://***/licenses/by-nc-nd/4.0) Peer-review under responsibility of the scientific committee of the 9th International Young Scientist Conference on Computational Science
This paper proposes an approach for the high-level programming of co-designed robots that reduces programming complexity. Particularly, the work presented focuses on the programming framework of an intelligent system,...
详细信息
This paper proposes an approach for the high-level programming of co-designed robots that reduces programming complexity. Particularly, the work presented focuses on the programming framework of an intelligent system, based on the IEEE Standard Ontologies for Robotics and Automation, which allows users the automatic design of robots and the automatic implementation of controllers in the Robot Operating System (ROS). In our approach, the co-designed robot functionalities are automatically translated into visual programming blocks allowing non-expert users an easy robot programming by means of a visual programming language. Several robot configurations and three case studies are provided as a proof of concept. The validation, in terms of usability, of the framework has been carried out with inexperienced users showing promising results.
Teaching programming is a topic that has generated a high level of interest among researchers in recent decades. In particular, multiple approaches to teaching visual programming have been explored, from the use of to...
详细信息
Teaching programming is a topic that has generated a high level of interest among researchers in recent decades. In particular, multiple approaches to teaching visual programming have been explored, from the use of tools such as Scratch, robots, unplugged programming, or activities for the development of computational thinking. Despite the wide range of resources used, students generally tend to perform poorly academically and perceive learning visual programming as a complex and demotivating task. In this article, the TutoApp system is proposed together with a new methodology based on "Learning by Teaching," where students create tutorials on their mobile devices to explain programming concepts to their peers. The hypothesis of this article is that the use of this tool improves learning outcomes and the level of student satisfaction. An experiment with a pre-posttest design has been carried out with 57 university students in an introductory programming course, 30 belonging to a control group (did not use TutoApp) and 27 belonging to the experimental group (used TutoApp). The findings indicate that the creation of tutorials with TutoApp significantly improved students' academic performance over those who did not use it, specifically in learning the loops and conditional control structures. However, it was observed that anxiety increased in all students while learning visual programming. The results of this study open the door to the validation of the use of systems and methodologies for creating tutorials for teaching visual programming to university students.
visual programming tools allow users to create interactive media projects such as games and animations using visual representations of programming concepts. Although these tools have been shown to have huge potential ...
详细信息
visual programming tools allow users to create interactive media projects such as games and animations using visual representations of programming concepts. Although these tools have been shown to have huge potential for teaching children, research has shown that they may not be accessible for children with cognitive impairments, including those with autism spectrum condition. Therefore, this study proposes a set of recommendations for the design of accessible visual programming tools for children with autism spectrum condition. Semi-structured interviews with experts (n = 7) were conducted and thematically analysed to identify initial recommendations. A second set of semi-structured interviews with a subset of the initial experts (n = 3) were then conducted to validate and produce a final set of recommendations.
暂无评论