The development of computational thinking skills through computer programming is one of the main topics of current education. In Taiwan, the Ministry of Education has incorporated 〞programming〞 into compulsory subje...
详细信息
The development of computational thinking skills through computer programming is one of the main topics of current education. In Taiwan, the Ministry of Education has incorporated 〞programming〞 into compulsory subjects for secondary school students in the new course of 12-year Compulsory Education in 2018. Humans are good at dealing with visual information. Compared to monotonous and lengthy text narratives, contents in the form of graphics and images are the most convenient way for humans to learn quickly. There are many existing visual language tools such as Scratch and Blockly, and these tools can be considered as entry programming platforms for novices. However, students must convert to the conventional textual programming language and development tools if they want to further deepen their programming ability, and they will encounter many difficulties and challenges in the transition. This paper is devoted to the study of providing a visual presentation of Python language for novices. We develop a set of tools for the visualization of grammatical structures in Python with a parsing tool, ANTLR, and provide the information with a website using JSP, JavaScript, and HTML.
The environment is now considered as a first class abstraction in multiagent systems. However, the boundary between real and simulated environment and the application logic is not so well defined. Depending on applica...
详细信息
The environment is now considered as a first class abstraction in multiagent systems. However, the boundary between real and simulated environment and the application logic is not so well defined. Depending on applications, the environment as a space shared between agents may integrate physical, communication or social dimensions where agents interact. In this paper, authors introduce an agent environment model supporting the intrasic distributed and hierarchical natures of the environment. It is defined using the fundamental concepts provided by metamodel related to the SARL programming language.
The ever-growing number of cores in embedded chips emphasizes more than ever the complexity inherent to parallel pro- gramming. To solve these programmability issues, there is a renewed interest in the dataflow paradi...
详细信息
The ever-growing number of cores in embedded chips emphasizes more than ever the complexity inherent to parallel pro- gramming. To solve these programmability issues, there is a renewed interest in the dataflow paradigm. In this context, we present a compilation toolchain for the ΣC language, which allows the hierarchical construction of stream applications and automatic mapping of this application to an embedded manycore target. As a demonstration of this toolchain, we present an implementation of a H.264 encoder and evaluate its performance on Kalray's embedded manycore MPPA chip.
In the realm of Internet of Things (IoT), the complexity of designing ubiquitous and smart systems with dynamically evolving structure has grown to an extent where system modelling and verification has become a real h...
详细信息
In the realm of Internet of Things (IoT), the complexity of designing ubiquitous and smart systems with dynamically evolving structure has grown to an extent where system modelling and verification has become a real hurdle. Though, a lot of innovations have taken place in this field, there are no good mechanisms for describing and modelling smart environments in a formal manner. π -calculus, proposed by Milner is a formal language which provides strong mathematical base that can be used for modelling and verifying system requirements. In this paper, we intend to offer a contribution towards understanding the usefulness of π-calculus as a language for programming a special kind of ubiquitous application: smart environments. Here we propose a model that includes a type checker for π-calculus and an application that executes π- calculus statements and generates the graphical representation of the smart environment represented by the π- calculus statement.
In a Petri Net (PN) model of a system, a small subset of transition can usually be fired. Therefore several special Programmable Logic Controllers (PLCs) have been proposed looking for more performant simulation schem...
详细信息
In a Petri Net (PN) model of a system, a small subset of transition can usually be fired. Therefore several special Programmable Logic Controllers (PLCs) have been proposed looking for more performant simulation schemas. Some of them are general purpose microcomputer-based. Others are constructed using specialised microprocessors (microprogrammed or not). This paper presents a conceptual framework to systematize concepts introduced in different PLCs specifically designed for safe (1-bounded) PN simulation. To compare their “conceptual” performances, basic proposed schemas(and other new ones) were programmed on a same microcomputer (M 6801). The technique used for comparison of performances consists of: (1) building different data structures to represent PN and its marking and (2) building performance models using a small set of parameters that caracterizes the complexity of PN-models. It is shown that there is no “optimum” schema. The “best” one is a function of the net to be realised.
In the context of advanced robotics, the number of functions integrated in software system tends to increase in range and complexity; these include scene analysis, cooperation between robots and artificial intelligenc...
详细信息
In the context of advanced robotics, the number of functions integrated in software system tends to increase in range and complexity; these include scene analysis, cooperation between robots and artificial intelligence. The structure presented here is intended to provide an adequate and flexible support for such a varied processing environment. This structure hinges on a parameter-driven general purpose interpreter, dynamic loading and activation of modules and synchronisation of real-time parallel processes.
This paper summarizes my PhD thesis devoted to an introduction of a new strategy formalism for the first-order rewrite system, called ELAN . Goals of my PhD thesis are proposing and studying different constructions ex...
详细信息
This paper summarizes my PhD thesis devoted to an introduction of a new strategy formalism for the first-order rewrite system, called ELAN . Goals of my PhD thesis are proposing and studying different constructions expressing the control of rewriting at the level of rules and strategies, studying a strategy-directed cooperation of procedures (i.e. solvers), and finally, exploring certain reflexive aspects of computational systems to be able to express their transformations by computational systems. The principal goal is a design of a declarative, strictly typed and extensible strategy language based on rewriting logic within the existing framework ELAN . A programming style of the strategy language, different language constructions and extensions (e.g. high-level or polymorphic strategies) and several used implementation techniques (e.g. partial evaluation, or compilation) are also studied in this thesis. This paper outlines the principal problems attacked in this thesis, highlights several new ideas and proposed solutions.
Gene regulatory networks (GRNs) have been widely used as a fundamental tool to reveal the genomic mechanisms that underlie the individual's response to environmental and developmental cues. Standard approaches inf...
详细信息
Gene regulatory networks (GRNs) have been widely used as a fundamental tool to reveal the genomic mechanisms that underlie the individual's response to environmental and developmental cues. Standard approaches infer GRNs as holistic graphs of gene coexpression, but such graphs cannot quantify how gene-gene interactions vary among individuals and how they alter structurally across spatiotemporal gradients. Here, we develop a general framework for inferring informative, dynamic, omnidirectional, and personalized networks (idopNetworks) from routine transcriptional experiments. This framework is constructed by a system of quasi-dynamic ordinary differential equations (qd0DEs) derived from the combination of ecological and evolutionary theories. We reconstruct idopNetworks using genomic data from a surgical experiment and illustrate how network structure is associated with surgical response to infrainguinal vein bypass grafting and the outcome of grafting. idopNetworks may shed light on genotype-phenotype relationships and provide valuable information for personalized medicine.
The problem of giving an algorithmic specification of the semantics of identifier denotation and block structure in Algol 60 is investigated. To facilitate the statement of the algorithms, a set of “canonical identif...
详细信息
We studied the factors which determine the difficulty of practice problems in a computer language textbook. These problems have special features, which are that the amount of knowledge required to solve a problem is l...
详细信息
暂无评论