in this paper, a new method is proposed for the production of mwcnts/pvc (multi-walled carbon nanotubes/ polyvinyl chloride) nanocomposites. in this method, a spray is used to produce layers of carbon nanotubes within a pvc matrix. various parameters influence the production of the nanocomposite and its mechanical properties. these parameters are studied separately and the effect of each of par...

Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented in code. We present a testing method in which executable forms of the Unified Modeling Language (UML) models are tested. The method incorporates the use of test adequacy criteria based on UML model elements in class diag...

This paper explores the formal specification of the physical behaviour of devices “unplugged” from their digital effects. By doing this we seek to better understand the nature of physical interaction and the way this can be exploited to improve the design of hybrid devices with both physical and digital features. We use modified state transition networks of the physical behaviour, which we call...

We study an incommensurate long-range order induced by an external magnetic field in a quasi-one-dimensional bond-alternating spin system, F5PNN, focusing on the role of the frustrating interaction which can be enhanced by a high-pressure effect. On the basis of the density matrix renormalization group analysis of a microscopic model for F5PNN, we present several H-T phase diagrams for typical ...

A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of Extended Event Traces [15] as a graphical technique for the description of such component interactions. It allows us to define interaction patterns that occur frequently within an architecture, in the form of diagrams....

Prior research has shown that skilled problem solvers often use features of visual representations to cue relevant knowledge, but little is known about how to support learners in developing connections between visual and verbal knowledge components. In this research, we investigated two methods to support focus on key visual features during problem solving in an intelligent tutor: 1) student in...

Humans employ diagrams and other pictures, both real and imagined, as aids to reasoning, and many kinds of problems are solved by an interaction between perception-like processing and verbal reasoning. My research is exploring computational explanations of this interaction. The use of diagrams is in part a form of spatial reasoning, which is the use of representations of objects in space for pr...

A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of Extended Event Traces [15] as a graphical technique for the description of such component interactions. It allows us to define interaction patterns that occur frequently within an architecture, in the form of diagrams....

Prior research has shown that skilled problem solvers often demonstrate meaningful links between relevant visual and verbal knowledge components, but little is known about how to support novice learners in connecting visual and verbal information during learning or whether such support will improve learning outcomes. This work explored two methods to support meaningful connections between visua...

We have used Monte Carlo simulation and the Gibbs–Duhem integration technique to calculate temperature– composition and pressure–temperature phase diagrams for binary Lennard–Jones mixtures. We systematically explore Lennard–Jones parameter space to demonstrate how the features of these phase diagrams change as a function of diameter ratio, well-depth ratio, binary interaction parameter, and pr...