• The KIPS Transactions:PartD
• /
• v.13D no.1 s.104
• /
• pp.117-124
• /
• 2006

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.3
• /
• pp.633-652
• /
• 2024

Software testing is an important phase as it ensures the software quality. The software testing process comprises of three steps: generation, execution, and evaluation of test cases. Literature claims the usage of single and multiple 'Unified Modeling Language' (UML) diagrams to generate test cases. Using multiple UML diagrams increases test case coverage. However, the existing approaches show limitations in test case generation from UML diagrams. Therefore, in this research study, we propose an approach to generate the test cases using UML State Chart Diagram (SCD), Activity Diagram (AD), and Sequence Diagram (SD). The proposed approach transforms UML diagrams into intermediate forms: SCD Graph, AD Graph, and SD Graph respectively. Furthermore, by integrating these three graphs, a System Testing Graph (STG) is formed. Finally, test cases are identified from STG by using a traversal algorithm such as Depth First Search (DFS) that is an optimization method. The results show that the proposed approach is better compared to existing approaches in terms of coverage and performance. Moreover, the generated test cases have the ability to detect faults at the unit level, integration, and system level testing.

• Journal of Powder Materials
• /
• v.20 no.5
• /
• pp.332-337
• /
• 2013

Recently, self-propagating high-temperature synthesis (SHS), related to metallic and ceramic powder interactions, has attracted huge interest from more and more researchers, because it can provide an attractive, energy-efficient approach to the synthesis of simple and complex materials. The adiabatic temperature $T_{ad}$ and apparent activation energy analysis of different thermit systems plays an important role in thermodynamic studies on combustion synthesis. After establishing and verifying a mathematic calculation program for predicting adiabatic temperatures, based on the thermodynamic theory of combustion synthesis systems, the adiabatic temperatures of the NiO/Al aluminothermic system during self-propagating high-temperature synthesis were investigated. The effect of a diluting agent additive fraction on combustion velocity was studied. According to the simulation and experimental results, the apparent activation energy was estimated using the Arrhenius diagram of $ln(v/T_{ad}){\sim}/T_{ad}$ based on the combustion equation given by Merzhanov et al. When the temperature exceeds the boiling point of aluminum (2,790 K), the apparent activation energy of the NiO/Al aluminothermic system is $64{\pm}14$ kJ/mol. In contrast, below 2,790 K, the apparent activation energy is $189{\pm}15$ kJ/mol. The process of combustion contributed to the mass-transference of aluminum reactant of the burning compacts. The reliability of the simulation results was experimentally verified.

• Journal of Environmental Health Sciences
• /
• v.14 no.2
• /
• pp.73-87
• /
• 1988

This study was performed to investigate the effect of lactose in 4 different concentrations against the protective effect of calcium on the acute lead poisoning in rats after 4 weeks treatment. In this animal experiment, 70 albino male weanling rats (50-70g of body weight) of Sprague-Dawley strain were used. Lead was dissolved in the distilled water and intubated at the dose of 400mg lead (as acetate)/ kg of body weight/day. Calcium and lactose were administered in drinking water ad libiturn dissolved with the solution of 0.7% calcium gluconate mixed with 40, 80, 160 and 320mM lacotse respectively. The results obtained were summarized as follows: 1. The rate of body weight gain in all treated groups turned out to be lower than that in the control group during 4 weeks treatment. The slow-down of body weight gain was the most significantly observed in the group treated with lead only ( p < 0.05). 2. The relative spleen weight in lead only treated group was significantly lower than that of lead + calcium, lead + calcium + 80mM lactose treated group ( p < 0.05). 3. The value of RBC, WBC, Hb and Hct showed a decreasing tendency in the group treated with lead only ( p < 0.05), however, a significant decrease was not observed in the group treated with lead + calcium. On the other hand, the protective effect of calcium was deteriorated in the group treated with lead + calcium + lactose. 4. The activity of $\delta$-aminolevulinic acid dehydratase ($\delta$-ALAD activity) showed the same tendency as No. 2. 5. The lead concentration in the blood (PbB) showed an increasing tendency and the interrelation among the different groups was also identical with No. 2. 6. With a statistical approach, it was found out that the activity of $\delta$-ALAD and the lead concentration in the blood show a relation of inverse proportion(r=-0.7301). The diagram was interpreted with the logarithmic equation InY = 5.5357-0.0251X (X:PbB, Y:$\delta$-ALAD activity). 7. In the histopathological findings of the kidney, the protective effect of calcium was observed. However, the protective effect of calcium was restricted in the group treated with lead + calcium + lactose. As a conclusion, the intensity of the acute ingested lead poisoning was obviously reduced by calcium, however, the protective effect of calcium was deteriorated in proportion with the concentration of the lactose to be administered. On the other hand, it was also noted that the deterioration was lightly restrained in the group treated with the physiological concentration of 80mM lactose than the results shown in the groups treated with lactose of other concentrations.