OPTIMIZATION OF EMBEDDED CONTROLLERS BASED ON REDUNDANT TRANSITION REMOVAL AND FAULT SIMULATION USING K-WISE TESTS

2009 ◽  
Vol 18 (04) ◽  
pp. 647-663
Author(s):  
SEZER GÖREN

This paper presents an efficient redundancy removal technique for hierarchical optimization of FSM networks. In this technique, we first remove redundant transitions from the state transition graph (STG) of the driven FSM, M2, of the cascaded network by applying a reachability analysis to the composite machine, M1 → M2, once and for all. Then, a k-wise complete test suite for M2 is generated from the new STG of the driven FSM. Redundancy identification consists of two phases. In the first phase, almost all of the detectable stuck-at faults are identified by fault simulation using the k-wise test suite. During the second phase, each fault f that is undetected by k-wise tests is injected in M2 to obtain [Formula: see text] in the topologically sorted order one by one. Then the equivalence check of two FSMs M2 and [Formula: see text] in the environment where [Formula: see text] is driven by M1 is done. If a fault is found to be undetectable in the second phase, it is a redundant fault and kept in M2 ([Formula: see text] is taken as M2). Finally, simultaneous removal of redundant faults is done at logic level. We present experimental results to provide a comparison of the data produced by the state-of-the-art FSM network optimizer and show the effectiveness of our approach.

2021 ◽  
Vol 13 (5) ◽  
pp. 2745
Author(s):  
Manoj Kumar ◽  
Ritu Dogra ◽  
Mahesh Narang ◽  
Manjit Singh ◽  
Sushant Mehan

Manual transplanting, a pre-dominant practice in almost all the paddy growing areas in India, is laborious, burdensome, and has many expenses on raising, settling, and transplanting nursery. The transplanting process’s limitations motivated the replacement of conventional paddy transplanting methods. The study was divided into two phases. The first phase included laboratory testing of three levels of metering mechanisms, namely cell type (M1) with 10 cells grooved around a circular plate having a 13 cm diameter, inclined plate (M2) containing 24 U shaped cells provided on an 18 cm diameter plate, and fluted roller (M3) with 10 flutes on a 5 cm diameter shaft. The testing matrix included a missing index, multiple index, and seed damage with forward speeds (2.5, 3.0, and 3.5 km/h), and pre-germination levels of 24 h soaked (P1), 24 h pre-germinated (P2), and 36 h pre-germinated paddy seeds (P3)). The second phase included selecting the best combination obtained from the laboratory study and developing a new efficient planter for the puddled field. The inclined plate metering mechanism operating at 2.5 km/h for 24 h pre-germinated seeds was reported most efficient from the first phase. Therefore, a self-propelled 8-row planter equipped with an inclined plate metering mechanism having a row-to-row spacing of 22.5 cm was developed, fabricated, and evaluated in the puddled field. The designed planter was assessed on two different soils: sandy loom (ST1) and clay loom (ST2) and at two different hopper fill levels as ½ filled hopper (F1) and ¾ filled hopper (F2). The number of plants per square meter and hill-to-hill spacing was measured. The on-field evaluation revealed that the number of plants per square meter was non-significantly affected by the type of soil but was significantly affected by hopper fill.


2021 ◽  
Author(s):  
◽  
Sunita Balbir Singh

<p>In the auditory picture-word interference task, participants name pictures whilst ignoring auditory distractor words. Previous studies have reported faster naming latencies when distractors are phonologically related to the target (e.g., tiger-typist) than when they are unrelated. By varying the position of overlap of the shared phonemes and the onset of the distractor, this task may provide valuable insights into the time course of phonological encoding. In the current study, participants named pictures while hearing distractor words that were: begin-related (e.g., letter-lesson); end-related (e.g., letter-otter); or unrelated to the target (e.g., letter-cabin). Distractor onsets varied from -200ms (before target) to +400ms (after target). The study was carried out in two phases: in the first phase, the task was administered to a group of 24 young control participants; in the second phase, it was administered to an individual with aphasia, NP, and a group of six older controls. Phonological facilitation effects of begin-related distractors displayed a fairly consistent pattern across the four distractor onsets for all participant groups. In almost all instances, these effects were significant but were noticeably stronger at early onsets especially around the onset of the target presentation, consistent with previous findings in the literature. Only NP showed strong begin-related facilitation effects at the latest onset. The end-related distractors however, produced somewhat different facilitation effects across the different groups. For the young controls and NP, these effects were stronger and significant at later onsets. The older controls only displayed marginally significant effects at 200ms after the target. Findings from the current study provide support for serial pattern of phoneme retrieval in multisyllabic words, in which a word‟s first syllable becomes available before later syllable(s).</p>


2015 ◽  
Vol 2015 ◽  
pp. 1-15 ◽  
Author(s):  
Liang Hong ◽  
YiFan Hou ◽  
JunFeng Jing ◽  
AnRong Wang ◽  
Dmitry A. Litvin

This work develops an iterative deadlock prevention method for a special class of Petri nets that can well model a variety of flexible manufacturing systems. A deadlock detection technique, called mixed integer programming (MIP), is used to find a strict minimal siphon (SMS) in a plant model without a complete enumeration of siphons. The policy consists of two phases. At the first phase, SMSs are obtained by MIP technique iteratively and monitors are added to the complementary sets of the SMSs. For the possible existence of new siphons generated after the first phase, we add monitors with their output arcs first pointed to source transitions at the second phase to avoid new siphons generating and then rearrange the output arcs step by step on condition that liveness is preserved. In addition, an algorithm is proposed to remove the redundant constraints of the MIP problem in this paper. The policy improves the behavioral permissiveness of the resulting net and greatly enhances the structural simplicity of the supervisor. Theoretical analysis and experimental results verify the effectiveness of the proposed method.


2021 ◽  
Vol 2 (2) ◽  
pp. 115-123
Author(s):  
Basil Thomas

The surplus number of comic magazines that existed in Keralam even before the official formation of the state in 1956 reinstates the affinity of the Malayalam speaking people towards cartoons. The social situations and the functioning of various institutions like education and employment were a source of inspiration for the cartoonists from Keralam. The high literacy rate of Keralam is not the product of a single day. The foundation work of this had started even before the formation of the state. This paper tries to analyse the education system of Keralam portrayed in the cartoons of cartoonists Toms, Aravindan and Thomas. The cartoons of Toms, Aravindan and Thomas portray the day to day life of Keralam in their social cartoons, including the school life and college life of the period of the second half of the twentieth century. There are two phases in the development of the education sector in Keralam: the first phase focusing mass education where the major capital investor was the state itself and private investment was not encouraged. The second phase witnessed a fast paced growth and urbanization after the 1970s because of the large scale migrant remittance. The changing faces of the education system of Keralam can be seen in the cartoons of these select cartoonists.


2015 ◽  
Vol 25 (1) ◽  
pp. 56-77 ◽  
Author(s):  
Basma Makhlouf Shabou

Purpose – This paper aims to present a recent study on the definition and measurement of quality dimensions of public electronic records and archives (QADEPs: Qualités des archives et documents électroniques publics). It develops an original model and a complete method with tools to define and measure electronic public data qualities within public institutions. It highlights also the relationship between diplomatics principles and the measurement of trustworthiness of electronic data in particular. This paper presents a general overview of the main results of this study, with also illustrative examples to demonstrate the feasibility of measuring the qualities of electronic archives in the context of public institutions. Design/methodology/approach – This research was conducted in two phases. The first one was the conceptual phase in which the quality dimensions were identified and defined with specific sets of indicators and variables. The second phase was the empirical phase which involved the testing of the model on real electronic documents belonging to several public institutions to validate its relevance and applicability. These tests were performed at the Archives of the State of Wallis and the Archives of the State of Geneva, thanks to different measurement tools designed especially for this stage of the research. Findings – The QADEPs model analyzes the qualities of electronic records in public institutions through three dimensions: trustworthiness, exploitability and representativeness. These dimensions were divided into eight sub-dimensions comprising 17 indicators for a total of 46 variables. These dimensions and their variables tried to cover the main aspects of quality standards for electronic data and public documents. The study demonstrates that nearly 60 per cent of the measured variables could be automated. Research limitations/implications – The QADEPs model was defined and tested in a Swiss context on a limited sample of electronic public data to validate, essentially, its feasibility. It would be useful to extend this approach and test it on a broader sample in different contexts abroad. Practical implications – The decisionmaking of records retention in organizations and public institutions in particular is difficult to establish and justify because it is based generally on subjective and non-defendable practices. The QADEPs model offers specific metrics with their related measuring tools to evaluate and identify what is valuable and what is eliminable within the whole set of institutional electronic information. The model should reinforce the information governance of those institutions and help them control the risks related to information management. Originality/value – The current practice of archival appraisal does not yet invest in a meticulous examination of the nature of documents that should be preserved permanently. The lack of studies on the definition and measurement of the qualities of electronic and public electronic records prevents verification as to whether archival materials are significant. This paper fills in some of the gaps.


2008 ◽  
Vol 39 (4) ◽  
pp. 43 ◽  
Author(s):  
Giovanni Cascone ◽  
Simona M.C. Porto

To assess tourist potential use of traditional rural buildings two indices are determined. Indicator n. 1 regards the degree of adaptability of the tourist use to the territorial context; indicator n. 2 regards the degree of adaptability of the tourist use to the morphological features of the buildings. The method which aims to assess the above-mentioned indices is divided into two phases. The first phase regards the knowledge of the traditional rural buildings. Survey cards A and B allow to get information needed for the assessment of the factors which influence the two indices. The second phase provides the application of a multicriteria model which allows the assessment of the two indices. The method has been applied to six traditional rural buildings sited in a homogeneous area in south eastern Sicily. The results show that although the degree of adaptability of the tourist use to the territorial context is high for almost all the considered buildings (indicator n. 1), only two buildings have a high degree of adaptability of the tourist use to the morphological features (indicator n. 2).


2021 ◽  
Author(s):  
◽  
Sunita Balbir Singh

<p>In the auditory picture-word interference task, participants name pictures whilst ignoring auditory distractor words. Previous studies have reported faster naming latencies when distractors are phonologically related to the target (e.g., tiger-typist) than when they are unrelated. By varying the position of overlap of the shared phonemes and the onset of the distractor, this task may provide valuable insights into the time course of phonological encoding. In the current study, participants named pictures while hearing distractor words that were: begin-related (e.g., letter-lesson); end-related (e.g., letter-otter); or unrelated to the target (e.g., letter-cabin). Distractor onsets varied from -200ms (before target) to +400ms (after target). The study was carried out in two phases: in the first phase, the task was administered to a group of 24 young control participants; in the second phase, it was administered to an individual with aphasia, NP, and a group of six older controls. Phonological facilitation effects of begin-related distractors displayed a fairly consistent pattern across the four distractor onsets for all participant groups. In almost all instances, these effects were significant but were noticeably stronger at early onsets especially around the onset of the target presentation, consistent with previous findings in the literature. Only NP showed strong begin-related facilitation effects at the latest onset. The end-related distractors however, produced somewhat different facilitation effects across the different groups. For the young controls and NP, these effects were stronger and significant at later onsets. The older controls only displayed marginally significant effects at 200ms after the target. Findings from the current study provide support for serial pattern of phoneme retrieval in multisyllabic words, in which a word‟s first syllable becomes available before later syllable(s).</p>


Author(s):  
M. Raghavan ◽  
J. Y. Koo ◽  
J. W. Steeds ◽  
B. K. Park

X-ray microanalysis and Convergent Beam Electron Diffraction (CBD) studies were conducted to characterize the second phase particles in two commercial aluminum alloys -- 7075 and 7475. The second phase particles studied were large (approximately 2-5μm) constituent phases and relatively fine ( ∼ 0.05-1μn) dispersoid particles, Figures 1A and B. Based on the crystal structure and chemical composition analyses, the constituent phases found in these alloys were identified to be Al7Cu2Fe, (Al,Cu)6(Fe,Cu), α-Al12Fe3Si, Mg2Si, amorphous silicon oxide and the modified 6Fe compounds, in decreasing order of abundance. The results of quantitative X-ray microanalysis of all the constituent phases are listed in Table I. The data show that, in almost all the phases, partial substitution of alloying elements occurred resulting in small deviations from the published stoichiometric compositions of the binary and ternary compounds.


2018 ◽  
Vol 1 (1) ◽  
pp. 236-247
Author(s):  
Divya Srivastava ◽  
Rajitha B. ◽  
Suneeta Agarwal

Diseases in leaves can cause the significant reduction in both quality and quantity of agricultural production. If early and accurate detection of disease/diseases in leaves can be automated, then the proper remedy can be taken timely. A simple and computationally efficient approach is presented in this paper for disease/diseases detection on leaves. Only detecting the disease is not beneficial without knowing the stage of disease thus the paper also determine the stage of disease/diseases by quantizing the affected of the leaves by using digital image processing and machine learning. Though there exists a variety of diseases on leaves, but the bacterial and fungal spots (Early Scorch, Late Scorch, and Leaf Spot) are the most prominent diseases found on leaves. Keeping this in mind the paper deals with the detection of Bacterial Blight and Fungal Spot both at an early stage (Early Scorch) and late stage (Late Scorch) on the variety of leaves. The proposed approach is divided into two phases, in the first phase, it identifies one or more disease/diseases existing on leaves. In the second phase, amount of area affected by the disease/diseases is calculated. The experimental results obtained showed 97% accuracy using the proposed approach.


Author(s):  
Paulo César Antonini de Souza ◽  
Derick Trindade Bezerra

ResumoTendo por campo de investigação o Festival da América do Sul Pantanal (FASP) em 2018, na cidade de Corumbá (Brasil), objetiva-se identificar a materialidade e conceitos que permeiam as manifestações artísticas bidimensionais nesta região de fronteira, a partir da percepção de artistas da Bolívia. A pesquisa se organizou em duas fases: na primeira foi realizado um levantamento em plataformas online de produções acadêmicas em artes visuais, com foco no trabalho bidimensional, utilizando os descritores “arte popular” e “estética latina” resultando em três artigos. Na segunda fase foram selecionados dois trabalhos de uma artista da Bolívia, participante da mostra “Conexão Santa Cruz”, realizada durante o FASP 2018, que foram analisados em seus níveis representacional e simbólico. Pela interpretação das imagens foi possível construir uma leitura sobre a perspectiva da artista a respeito de suas condições culturais dentro da ordenação social em que se encontra situada.Palavras-chave: Artes Visuais. Arte Popular. Arte Regional. América Latina. Representation and symbolism: visual arts on the Brazil/Bolivia frontierAbstractHaving as research field the Festival da América do Sul Pantanal (FASP) in 2018, in the city of Corumbá (Brazil), the objective is to identify the materiality and concepts that permeate the two-dimensional artistic manifestations in this border region, from the perception of artists from Bolivia. The research was organized in two phases: in the first, a survey was carried out on online platforms of academic productions in visual arts, focusing on two-dimensional work, using the descriptors “arte popular” and “estética latina” resulting in three articles. In the second phase, two works were selected by an artist from Bolivia, participating in the exhibition “Conexão Santa Cruz”, held during FASP 2018, which were analyzed at their representational and symbolic levels. Through the interpretation of the images, it was possible to construct a reading on the artist’s perspective regarding her cultural conditions within the social order in which she is located.Keywords: Visual Arts. Folk Art. Regional Art. Latin America.Representación y simbolismo: artes visuales en la frontera de Brasil/BoliviaResumenTeniendo como campo de investigación el Festival de Sudamérica Pantanal (FASP) en 2018, en la ciudad de Corumbá (Brasil), el objetivo es identificar la materialidad y conceptos que permean las manifestaciones artísticas bidimensionales en esta región fronteriza, desde la percepción de artistas de Bolivia. La investigación se organizó en dos fases: en la primera, se realizó una encuesta en plataformas online de producciones académicas en artes visuales, con foco en el trabajo bidimensional, utilizando los descriptores “arte popular” y “estética latina” dando como resultado tres artículos. En la segunda fase, dos obras fueron seleccionadas por un artista de Bolivia, participante de la exposición “Conexão Santa Cruz”, realizada durante FASP 2018, que fueron analizadas en sus niveles representativos y simbólicos. A través de la interpretación de las imágenes, fue posible construir una lectura sobre la perspectiva de la artista sobre sus condiciones culturales dentro del orden social en el que se ubica.Palabras clave: Artes Visuales. Arte Popular. Arte Regional. América Latina.


Sign in / Sign up

Export Citation Format

Share Document