for beneficiation of converter slag, the role of surface phenomena on slag composition was studied. this work includes some experimental data, which were measured for basic oxygen steel (bos) slag in isfahan steel plant. all data were collected on site in the plant. the results support the idea that surface activity plays a major role in converter slag formation. it was also a new finding that ...

For testing of sequential software it is usually sufficient to provide the same input (and program state) in order to reproduce the output. For real-time systems (RTS), on the other hand, we need also to control, or observe, the timing and order of the inputs. If the system additionally is multitasking, we also need to take timing and the concurrency of the executing tasks into account. In this...

Background: Work-family conflict is one of the components which have been paid attention in the present era due to changes and evolutions taken place in the field of work nature. Objectives: The present research was conducted by the aim of investigating the effect of relationship enhancement on solving work-family conflict. Methods: This is a quasi-experimental study with pretest post-tes...

BACKGROUND Job satisfaction is associated with mental health. Employees could be counselled on how they feel about their work. If specific aspects of their job are causing particular dissatisfaction, they could be assisted to appropriately change these aspects. OBJECTIVE There is no 'gold standard' indicating the aspects that should be taken into account when job satisfaction is measured. Thi...

Event-driven simulators are an eeective way to behaviorally describe a system. Timing constraints are also an important component of a system description. Ptolemy, a powerful graphical simulation framework, provides an event-driven environment. OESIM, a text-based event-driven simulator, provides support for timing constraints. This paper describes a new Ptolemy environment, based on the existi...

This paper provides a method for generating a proof tree from an instance and a general logic program viz one which includes negative literals The method di ers from previous work in the eld in that negative literals are rst unfolded and then transformed using De Morgan s laws so that the tree explicitly includes negative rules The method is applied to a real world example a large executable sp...

Execution time analysis is used in the development of real-time and embedded systems to derive the timing estimates required for schedulability analysis. The execution time of the analyzed program is typically obtained by combining results from program flow analysis (such as number of iterations in loops) with low-level timing information. This paper proposes a method for low-level timing analy...