Investigation of the cold orbital forging process of an AlMgSi alloy bevel gear

Orbital forging is a metal forming process in which one of the dies performs a complex rocking motion. It ensures reduction in required load and allows for the cold forming of a workpiece. One of the mechanical parts formed by means of this technology is a bevel gear. However, a numerical analysis of orbital forging bevel gears is very difficult to perform due to the complex rocking motion of the die, which is confirmed by numerous works investigating the orbital forging process. In the present work, investigation results of the cold orbital forging of aluminum alloy bevel gears are presented. In contrast to other works devoted to the process, this study proposes a new procedure for forming bevel gears and the workpiece used has a shape which is different from the previously applied ones. The obtained results apply to both theoretical and technological aspects of orbital forging. The FEM simulation results have been successfully verified in laboratory conditions using the industrial PXW-100A press.     

Application of Mismatch Detection Methods in DNA Computing

In many implementations of DNA computing, reliable detection of hybridization is of prime importance. We have applied several well-established DNA mutation scanning methods to this problem. Since they have been developed for speed and accuracy, these technologies are very promising for DNA computing. We have benchmarked a heteroduplex migration assay and enzymatic detection of mismatches on a 4 variable instance of 3SAT, using a previously described blocking algorithm. The first method is promising, but yielded ambiguous results. On the other hand, we were able to distinguish all perfect from imperfect duplexes by means of a CEL I mismatch endonuclease assay.     

Covalent attachment of single-stranded DNA to carbon paste electrode modified by activated carboxyl groups

A new method of the electrode modification and DNA immobilization for a biosensor is reported. Outer layer of a conventional carbon paste electrode (CPE) was modified with carboxyl groups by mixing stearic acid with the paste. Single-stranded deoxyribonucleic acid was attached to the modified electrode through a linker - ethylenediamine. Immobilization process was performed in the presence of activators - water soluble 1-ethyl-3(3′-dimethylaminopropyl)-carbodiimide (EDC) and N-hydroxysulfosuccinimide (NHS). Stearic acid concentration and other experimental parameters of the procedure were optimized. Covalent immobilization of DNA on the electrode surface exhibits some advantages as compared to simple adsorption mainly due to the fact that nucleic acid chains are bound to an electrode surface by one end only and it ensures structural flexibility and increases hybridization without DNA leakage. Modified electrode with immobilized (21-mer) oligonucleotide as a specific probe was successfully applied in preliminary investigations for the detection of bar gene commonly used in genetically modified food.     

Extension of tabled 0L-systems and languages

This paper introduces a new family of languages which originated from a study of some mathematical models for the development of biological organisms. Various properties of this family are established and in particular it is proved that it forms a full abstract family of languages. It is compared with some other families of languages which have already been studied and which either originated from the study of models for biological development or belong to the now standard Chomsky hierarchy. A characterization theorem for context-free languages is also established.This research has been supported by NSF Grant GJ 998.     

Strategic capital budgeting: asset replacement under market uncertainty

In this paper the impact of product market uncertainty on the optimal replacement timing of a production facility is studied. The existing production facility can be replaced by a technologically more advanced and thus more cost-effective one. We take into account strategic interactions among the firms competing in the product market by analyzing the problem in a duopolistic setting. We calculate the value of each firm and show that i) a preemptive (simultaneous) replacement occurs when the associated sunk cost is low (high), ii) despite the preemption effect uncertainty always raises the expected time to replace, and iii) the relationship between the probability of optimal replacement within a given time interval and uncertainty is decreasing for long time intervals and humped for short time intervals. Furthermore it is shown that result ii) carries over to the case where firms have to decide about starting production rather than about replacing existing facilities. Correspondence to: Grzegorz PawlinaThis research was undertaken with support from the European Union's Phare ACE Programme 1997. The content of the publication is the sole responsibility of the authors and in no way represents the views of the Commission or its services. The authors would like to thank Kuno Huisman, Enrico Pennings, two anonymous referees, and participants of the Advances in Game Theory Conference in Hilvarenbeek, EFMA 2002 in London, and the Workshop on Recent Topics in Real Options Valuation in Krems for helpful comments.G. Pawlina     

Membrane Systems with Marked Membranes

Membrane computing is a biologically inspired computational paradigm. Motivated by brane calculi we investigate membrane systems which differ from conventional membrane systems by the following features: (1) biomolecules (proteins) can move through the regions of the systems, and can attach onto (and de-attach from) membranes, and (2) membranes can evolve depending on the attached molecules. The evolution of membranes is performed by using rules that are motivated by the operation of pinocytosis (the pino rule) and the operation of cellular dripping (the drip rule) that take place in living cells. We show that such membrane systems are computationally universal. We also show that if only the second feature is used then one can generate at least the family of Parikh images of the languages generated by programmed grammars without appearance checking (which contains non-semilinear sets of vectors). If, moreover, the use of pino/drip rules is non-cooperative (i.e., not dependent on the proteins attached to membranes), then one generates a family of sets of vectors that is strictly included in the family of semilinear sets of vectors. We also consider a number of decision problems concerning reachability of configurations and boundness.     

Contrast Restoration by Adaptive Countershading

The ABSTRACT is to be in fully-justified italicized text, between two horizontal lines, in one-column format, below the author and affiliation information. Use the word “Abstract” as the title, in 9-point Times, boldface type, left-aligned to the text, initially capitalized. The abstract is to be in 9-point, single-spaced type. The abstract may be up to 3 inches (7.62 cm) long. Leave one blank line after the abstract, then add the subject categories according to the ACM Classification Index (see http://www.acm.org/class/1998/ ).     

Instrumental variables for nonlinearity recovering in block-oriented systems driven by correlated signals

The goal of the paper is to identify the Hammerstein-type systems excited and disturbed by correlated random processes. The problem is semi-parametric in the sense that the nonlinear static characteristic is recovered without prior knowledge about the linear dynamic block, i.e. when its order is unknown. The method is based on the instrumental variables technique, with the instruments generated by input inverse filtering. It is proved that, in contrast to the least-squares-based approach, the proposed algorithm leads to an asymptotically unbiased, strongly consistent estimate. Constructive procedures of instrumental variables generation are given for some popular cases.     

Convective cooling optimization of a blade for a supercritical steam turbine

This paper discusses the problem of blade cooling system optimization connected with conjugate heat transfer (CHT) analysis for reliable thermal field prediction within a steam cooled component. Since the full CHT solution, which involves the main flow, blade material and the coolant flow domains is computationally expensive from the point of view of optimization process, it was decided to reduce the problem by fixing the boundary conditions at the blade surface and solving the task for the interior only (both solid material and coolant). Such assumption, on one hand, makes the problem computationally feasible, and on the other, provides more reliable thermal field prediction than it used to be with the empirical relationships.The analysis involves shape optimization of internal cooling passages within an airfoil. The cooling passages are modeled with a set of four Bezier splines joined together to compose a closed contour. Each passage is fed with cooling steam of constant parameters at the inlet. In the present study the airfoil profile is taken as aerodynamically optimal. The search problem is solved with evolutionary algorithm and the final configuration is to be found among the Pareto optimal cooling candidates.