A large model can be split into smaller components where by assembly features can be created and attached onto the components so that they can be reassembled to form the original model. The assembly features may function as positioning or interlocking purposes depending on the mating requirement. This paper describes a method for creating assembly features onto the solid components automaticall...

SUMMARY In this paper we consiaer the problem wnere repeated measurements are taKen on eacn experimental unit of a randomized experimental design. If the design is a randomized complete block then traditionally a split-bloCK analysis is used. Here we consider an extension of tne traaitional sol it-bloCK analysis where \~e allow for several orthogonal autocorrelated error components deoending on...

Retrospective verbal protocols collected throughout participants' performance of a multiplication verification task (e.g., "7 x 3 = 28, true or false?") documented a number of different strategies and changes in strategy use across different problem categories used for this common experimental task. Correct answer retrieval and comparison to the candidate answer was the modal but not the only s...

In the paper we introduce logical calculi for representation of propositions with modal operators indexed by fuzzy values. There calculi are called Heyting-valued modal logics. We introduce the concept of a Heyting-valued Kripke model and consider a semantics of Heyting-valued modal logics at the class of Heyting-valued Kripke models.

In [] we defined Inf-Datalog and characterized the fragments of Monadic inf-Datalog that have the same expressive power as Modal Logic (resp. CTL, alternation-free Modal μ-calculus and Modal μ-calculus). We study here the time and space complexity of evaluation of Monadic inf-Datalog programs on finite models. We deduce a new unified proof that model checking has 1. linear data and program comp...

Kripke-style models with two accessibility relations, one intuitionistio and the other modal, are given for analogues of the modal system K based on Heyting's propositional logic. I t is shown that these two relations can combine with each other in various ways. Soundness and completeness are proved for systems with only the necessity operator, or only the possibility operator, or both. Embeddi...

Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notio...

Recent neurophysiological research in the monkey has revealed bimodal neuronal cells with both tactile receptive fields on the hand and visual receptive fields that follow the hands as they move, suggesting the existence of a bimodal map of visuotactile space. Using a cross-modal congruency task, we examined the representation of visuotactile space in normal people and in a split-brain patient ...