The dimensionless Niyama criterion was used to predict the formation of microporosity in nickel-based superalloy casting, which extended the model application from a simple plate casting to complex thin-wall superalloy casting. The physical characteristics of the superalloy were calculated by JMatPro software. The relation between the volume percentage of microporosity and the dimensionless Niy...

There is a growing recognition that part-whole hierarchies are a very general form of representation, widely used by humans in commonsense reasoning. This paper develops a terminological logic, and related inference mechanisms for representing and reasoning about composite concepts and individuals. A basic terminological logic language is extended with constructs for describing composite concep...

Our solution to the speci cation problem in the speci cation language TLA is based on a model of operation where several compo nents proceed synchronously Our rst speci cation concerns a simpli ed controller and abstracts from many details given in the informal problem description We successively add modules to build a model of the state of the steam boiler detect failures and model message tra...

We consider a monotone multistate system with conditionally independent compo nents given the component reliabilities and random component reliabilities Upper and lower bounds are derived for the moments of the random reliability function extending results for binary systems The second moment of the reliability function is given spe cial attention as this quantity is used to calculate the stand...

Connectionism has been attacked on the grounds that it does not employ compo-sitionally structured representations (e.g., Fodor 8 Pylyshyn, 1988). This article develops the response that Connectionist models can, and in fact sometimes do, employ compositionally structured representations without, thereby. simply implementing a Classical " Language of Thought. " Focusing on the mode of combinati...

I . I n t r o d u c t i o n A q u e s t i o n a n s w e r i n g sys tem is a compos i te of subsys tems o f l anguage a n a l y s i s , i n f e r e n c e and l anguage g e n e r a t i o n . I n t h e i n f e r e n c e sys tem, a u s e f u l and f l e x i b l e s t r u c t u r e i s needed f o r t h e r e p r e s e n t a t i o n o f know ledge . There a re two ways o f r e p r e s e n t i n g kn...

There are many situations in which mis-coordinated strategic voting can leave strategic voters worse off than they would have been had they not tried to strategize. We analyse the simplest of such scenarios, in which the set of strategic voters all have the same sincere preferences and all cast the same strategic vote, while all other voters vote sincerely. Most mis-coordinations in this framew...

We propose that voting protocols be judged in part on ballot casting assurance, a property which complements universal verifiability. Some protocols already support ballot casting assurance, though the concept has not received adequate explicit emphasis. Ballot casting assurance captures two well known voting concepts – cast as intended, and recorded as cast – into one end-to-end property: Alic...

This work has been motivated by some issues of process monitoring in casting applications. In die casting, as time passes, material is deposited on the inside wall of the die. This foreign material can cause an unacceptable level of porosity in the output of the casting process. After accumulated material reaches a certain level, some of the output of the casting process no longer meets the spe...

Present chemical-physical characteristics of ingot and continuous casting powders can be critically evaluated pointing out history of invention of these materials. In an original tone, pioneering nature of first developments of casting powders will be described, illustrating empirical know-how of casting powders technology, based on trial-and-error method. It will be originally emphasized that ...