Supporting Students’ Constructions of the Splitting Operation

2013 ◽  
Vol 31 (1) ◽  
pp. 2-28 ◽  
Author(s):  
Anderson Norton ◽  
Jesse L. M. Wilkins
Keyword(s):  
2013 ◽  
pp. 160-183 ◽  
Author(s):  
Luis Gomes ◽  
Anikó Costa ◽  
João Paulo Barros ◽  
Filipe Moutinho ◽  
Fernando Pereira

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).


2014 ◽  
Vol 07 (04) ◽  
pp. 1450060
Author(s):  
P. P. Malavadkar ◽  
M. M. Shikare ◽  
S. B. Dhotre

The splitting operation on an n-connected binary matroid may not yield an n-connected binary matroid. In this paper, we characterize n-connected binary matroids which yield n-connected binary matroids by the generalized splitting operation.


BMJ ◽  
1897 ◽  
Vol 2 (1922) ◽  
pp. 1298-1298 ◽  
Author(s):  
L. Tait
Keyword(s):  

Mathematics ◽  
2019 ◽  
Vol 7 (5) ◽  
pp. 475 ◽  
Author(s):  
Zhiqiang Zhang ◽  
Zhongwen Li ◽  
Xiaobing Qiao ◽  
Weijun Wang

Given a graph G with n vertices and l edges, the load distribution of a coloring q: V → {red, blue} is defined as dq = (rq, bq), in which rq is the number of edges with at least one end-vertex colored red and bq is the number of edges with at least one end-vertex colored blue. The minimum load coloring problem (MLCP) is to find a coloring q such that the maximum load, lq = 1/l × max{rq, bq}, is minimized. This problem has been proved to be NP-complete. This paper proposes a memetic algorithm for MLCP based on an improved K-OPT local search and an evolutionary operation. Furthermore, a data splitting operation is executed to expand the data amount of global search, and a disturbance operation is employed to improve the search ability of the algorithm. Experiments are carried out on the benchmark DIMACS to compare the searching results from memetic algorithm and the proposed algorithms. The experimental results show that a greater number of best results for the graphs can be found by the memetic algorithm, which can improve the best known results of MLCP.


Author(s):  
Anikó Costa ◽  
Paulo E. S. Barbosa ◽  
Filipe Moutinho ◽  
Fernando Pereira ◽  
Franklin Ramalho ◽  
...  

Model-based development for embedded system design has been used to accommodate the increase in system’s complexity. Several modeling formalisms proved to be well matched for usage within this area. The goal of this chapter is to present a model-based development methodology for embedded systems design. One of the main aims of this methodology is to contribute for usage of Petri nets as a system specification language within model-based development of embedded systems integrating MDA (Model-Driven Architecture) proposals as a reference for the development flow. Distributed execution of the initial developed platform-independent models is achieved through model partitioning into platform-specific sub-modules. System model decomposition is obtained through a net splitting operation. Two types of implementation platforms are considered: compliant and non-compliant with zero time delay for communication between modules (in other words, compliant or not with synchronous paradigm). Using a model-checking framework, properties associated to the execution of the distributed models in both types of platforms are compared with the execution of the initial model.


1972 ◽  
Vol 50 (2) ◽  
pp. 183-187 ◽  
Author(s):  
WILLIAM J. POLLOCK ◽  
GUSTAVO A. COLON ◽  
ROBERT F. RYAN

2012 ◽  
Vol 2012 ◽  
pp. 1-8
Author(s):  
Naiyer Pirouz ◽  
Maruti Mukinda Shikare

We obtain some results concerning the planarity and graphicness of the splitting matroids. Further, we explore the effect of splitting operation on the sum of two matroids.


Sign in / Sign up

Export Citation Format

Share Document