Numerical Modeling of Inclusion Removal in Electromagnetic Stirred Steel Billets

To investigate the inclusion removal in billets cast under electromagnetic stirring (EMS) influence, a numerical model has been developed to compute the magnetic field, the Lorentz force, the steel flow velocities, and the particle transport within the liquid pool. The electromagnetic field was described by the Maxwell equations and the finite element method was applied using a commercial package. The turbulent fluid flow was described by the Navier‐Stokes equation and by the Reynolds Stress model and the finite volume method was applied using another numerical package. The time average of the Lorentz force was calculated in each element center and this value was applied as a body force in the Navier‐Stokes equation. The magnetic flux density profile was compared with the data obtained in the stirrer of the steel plant. The particle transport model includes the drag force, the buoyancy force and the random walk model, to include the turbulence effects on the particle trajectory. The inclusion removal was calculated and analysed in function of casting speed and stirring current for one size section of mold. The inclusions considered in the calculations have a fixed density and four values of diameter. The numerical results of the electromagnetic model are in agreement with the experimental measurements. A good relationship between the electromagnetic model and the fluid flow model could be shown. An interesting effect is the break of the rotation motion due to the EMS by the jet from the nozzle. The fraction of inclusions removed by the top surface of the mold was improved due to the EMS.     

Industrial capacity planning in oligopolistic markets

Available productive capacity is determinant of a company’s success once it allows meeting the current and future demand. This article proposes a quantitative model for determining long-term productive capacity in competitive oligopolistic markets, based on the Nash Equilibrium formulated as a Variational Inequality problem. Numerical examples enable an analytical evaluation of the economic equilibrium’s sensitivity to marginal costs, investment costs, hurdle rate, and market saturation. Results show that, in order to achieve a greater market share, it is important to adopt strategies that reduce marginal costs. On the other hand, variations in the hurdle rate may or may not reinforce the position of a competitor in the market and his interest in investing in capacity expansion. Additionally, market saturation may be achieved, beyond which investment becomes unattractive. Each of these is a positive outcome for society, triggering diversified investments and competition in economic sectors where competition is low and profits are high.     

A PROPOSAL FOR A KNOWLEDGE MARKET BASED ON QUANTITY AND QUALITY OF KNOWLEDGE

Autonomous market environments have been proposed in the literature as the future of electronic markets. The ability to delegate complex negotiation processes and obtain similar or better results than their human counterparts has generated a great interest in agent-based markets. More recently, such a paradigm has been applied in the field of knowledge management and, more specifically, to knowledge sharing and exchange; however, most of the knowledge market proposals in the literature fail to give details on a key component of their models: knowledge quality. This article presents a new proposal for an agent-based market environment that aims at filling the previously mentioned gap in research. The main contribution of our research is the integration of formal mechanisms for knowledge quality and quantity measurement and the use of these values to set a price for knowledge and select the most suitable agent for negotiation.     

Efficiently solving quantified bit-vector formulas

In recent years, bit-precise reasoning has gained importance in hardware and software verification. Of renewed interest is the use of symbolic reasoning for synthesising loop invariants, ranking functions, or whole program fragments and hardware circuits. Solvers for the quantifier-free fragment of bit-vector logic exist and often rely on SAT solvers for efficiency. However, many techniques require quantifiers in bit-vector formulas to avoid an exponential blow-up during construction. Solvers for quantified formulas usually flatten the input to obtain a quantified Boolean formula, losing much of the word-level information in the formula. We present a new approach based on a set of effective word-level simplifications that are traditionally employed in automated theorem proving, heuristic quantifier instantiation methods used in SMT solvers, and model finding techniques based on skeletons/templates. Experimental results on two different types of benchmarks indicate that our method outperforms the traditional flattening approach by multiple orders of magnitude of runtime.     

Modified imperialist competitive algorithm based on attraction and repulsion concepts for reliability-redundancy optimization

System reliability analysis and optimization are important to efficiently utilize available resources and to develop an optimal system design architecture. System reliability optimization has been solved by using optimization techniques including meta-heuristics. Meanwhile, the development of meta-heuristics has been an active research field of the reliability optimization wherein the redundancy, the component reliability, or both are to be determined. In recent years, a broad class of stochastic meta-heuristics, such as simulated annealing, genetic algorithm, tabu search, ant colony, and particle swarm optimization paradigms, has been developed for reliability-redundancy optimization of systems. Recently, a new kind of evolutionary algorithm called Imperialist Competitive Algorithm (ICA) was proposed. The ICA is based on imperialistic competition where the populations are represented by countries, which are classified as imperialists or colonies. However, the trade-off between the exploration (i.e. the global search) and the exploitation (i.e. the local search) of the search space is critical to the success of the classical ICA approach. An improvement in the ICA by implementing an attraction and repulsion concept during the search for better solutions, the AR-ICA approach, is proposed in this paper. Simulations results demonstrates the AR-ICA is an efficient optimization technique, since it obtained promising solutions for the reliability redundancy allocation problem when compared with the previously best-known results of four different benchmarks for the reliability-redundancy allocation problem presented in the literature.     

Mining the impact of evolution categories on object-oriented metrics

Despite the relevance of the software evolution phase, there are few characterization studies on recurrent evolution growth patterns and on their impact on software properties, such as coupling and cohesion. In this paper, we report a study designed to investigate whether the software evolution categories proposed by Lanza can be used to explain not only the growth of a system in terms of lines of code (LOC), but also in terms of metrics from the Chidamber and Kemerer (CK) object-oriented metrics suite. Our results show that high levels of recall (ranging on average from 52 to 72 %) are achieved when using LOC to predict the evolution of coupling and size. For cohesion, we have achieved smaller recall rates (<27 % on average).     

Influence of pH cycling and mechanical loading on the resin-dentin microtensile bond strength

The durability of adhesive interfaces is still a problem in adhesive restorations in dentistry. Laboratorial ageing methods have been proposed to predict the performance of materials, but they still require standardization. The objective of this study was to evaluate the resin-dentin microtensile bond strength of composite restorations subjected to pH cycling and different levels of mechanical loading. Resin blocks were built over a flat superficial dentin of bovine incisors (n = 40), using a three-step adhesive system. Half of the specimens were submitted to 10 cycles of pH cycling, followed by mechanical loading (0, 500,000; 1,000,000; 2,000,000 cycles – 98 N, 4 Hz). The other half was directly subjected to mechanical loading. After ageing, all groups were subjected to a microtensile bond test. Data were analyzed using two-way ANOVA and Tukey’s test (α = 0.05). The frequency of the early de-bonding was compared using the Chi-square test (α = 0.05). The statistical analysis revealed that the cross-product interaction ‘pH cycling’ vs. ‘number of mechanical loading cycles’ (p = 0.72) as well as the main factor ‘pH cycling’ (p = 0.49) was not statistically significant, and they were not able to reduce the resin–dentin bond strength values. Regarding the number of mechanical loading cycles, the groups subjected to 2,000,000 cycles showed lower bond strength values than the others (p = 0.003). The frequency of debonded specimens increased with mechanical loading. Therefore, it can be concluded that in this restorative model, at least 2,000,000 mechanical cycles are need to decrease the microtensile strength and simulate the ageing of the interface.     

Effects of anisotropy of the turbid media on the photon penetration depth

Biomedical applications of near infrared radiation (NIR) techniques (i.e. based on light wavelengths roughly between 400 and 1100?nm) require that a preliminary estimate of the tissue volume being investigated be found. One possible estimate is the depth to which a photon penetrates a tissue before eventually emerging at a separating plane at a given time. A simple model for this problem can be based on a lattice random walk and was initially analyzed when the associated optical coefficients are isotropic with respect to the geometrical configuration. Here we include the effects of anisotropy in the optical coefficients, finding that at long times the statistical properties of the depth of penetration can be accounted for by very simple scaling factors while at short times the anisotropy effects can be quite noticeable.     

MMORPGS and cognitive performance: A study with 1280 Brazilian high school students

The present paper attempts to empirically study the cognitive impacts of Massive Multiplayer Online Role-Playing Games (MMORPGs) in uncontrolled contexts in light of the Cognitive Mediation Networks Theory, a new model of human intelligence that aims to explain cognition as the result of brain activity combined with the information-processing done by external structures such as tools, social groups and culture. A sample of 1280 students Brazilian high school students answered a form inquiring about socio-demographic information plus the use of computer games, and also was submitted to a short knowledge exam and a mini psychometric test. The findings indicated that, due to their underlying structure and sociocultural nature, MMORPGs are associated to a greater level of insertion into the Digital Age, higher levels of logical-numerical performance, and better scholastic ability. Finally, suggestions are made for future studies on the subject.