this paper presents a new arc starter circuit that is usable in manual metal arc welding (mma) power supplies. the proposed circuit uses an auxiliary circuit and a series coupling transformer for adding high frequency spikes to output dc voltage during arc striking. the proposed circuit is usable in inverter based arc welding supplies and it could result in a decrease of weigh, volume and expen...

An increasing demand on qualified IC designers requires engineering schools to train more graduates with specialty in IC design. These newly trained graduates should not only have strong fundamentals, but also good analytical and practical skills. They should be able to quickly adapt to the commercial environment and require minimum training when hired by the design firms. A twosemester project...

Query formulation is a primary task in the retrieval phase of the case-based reasoning (CBR) cycle, and incremental variants of this task are a distinguishing characteristic of some mixed-initiative CBR approaches (e.g., those that implement a conversational CBR methodology). However, it has rarely been the focus of analysis, which complicates comparing these approaches. We identify the primiti...

Finding shortest paths in mixed graphs is NP-hard even when the weighting is conservative. We give an FPT algorithm for this problem, where the parameter k is the number of “negative trees”. We may always assume that the undirected edges have negative weights, and in a conservative weighting they form some trees – these trees are called the negative trees. Our algorithm extends to mixed graphs ...

This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non-linear analogue behaviour. In order to comply with the SystemC simulation cycle semantics, we link the analogue kernel to the SystemC environment as a user module and synchronize it with the SystemC kernel via a locks...

We study the behaviour of solutions to nonlinear autonomous functional differential equations of mixed type in the neighbourhood of an equilibrium. We show that all solutions that remain sufficiently close to an equilibrium can be captured on a finite dimensional invariant center manifold, that inherits the smoothness of the nonlinearity. In addition, we provide a Hopf bifurcation theorem for s...

We investigate refinements of two solutions, the saddle and the weak saddle, defined by Shapley (1964) for two-player zero-sum games. Applied to weak tournaments, the first refinement, the mixed saddle, is unique and gives us a new solution, generally lying between the GETCHA and GOTCHA sets of Schwartz (1972, 1986). In the absence of ties, all three solutions reduce to the usual top cycle set....