Designing to Facilitate Browsing: A Look Back at the Hyperties Workstation Browser

Since browsing hypertext can present a formidable cognitive challenge, user interface design plays a major role in determining acceptability. In the Unix workstation version of Hyperties, a research-oriented prototype, we focussed on design features that facilitate browsing. We first give a general overview of Hyperties and its markup language. Customizable documents can be generated by the conditional text feature that enables dynamic and selective display of text and graphics. In addition we present: — an innovative solution to link identification: pop-out graphical buttons of arbitrary shape.

— application of pie menus to permit low cognitive load actions that reduce the distraction of common actions, such as page turning or window selection.

— multiple window selection strategies that reduce clutter and housekeeping effort. We preferred piles-of-tiles, in which standard-sized windows were arranged in a consistent pattern on the display and actions could be done rapidly, allowing users to concentrate on the contents.

     

Mini-maximizing two qubit quantum computations

Two qubit quantum computations are viewed as two player, strictly competitive games and a game-theoretic measure of optimality of these computations is developed. To this end, the geometry of Hilbert space of quantum computations is used to establish the equivalence of game-theoretic solution concepts of Nash equilibrium and mini-max outcomes in games of this type, and quantum mechanisms are designed for realizing these mini-max outcomes.     

Algorithmic issues for three-invariant hyperplastic Critical State models

Implicit stress integration and the consistent tangents are presented for Critical State hyperplasticity models which include a dependence on the third invariant of stress. An elliptical deviatoric yielding criterion [43] is incorporated within the family of geotechnical models first proposed by Collins and Hilder [8]. An alternative expression for the yield function is proposed and the consequences of different forms of that function are revealed in terms of the stability and efficiency of the stress return algorithm. Errors associated with the integration scheme are presented. It is shown how calibration of the two new material constants is achieved through examining one-dimesional consolidation tests and undrained triaxial compression data. Material point simulations of drained triaxial compression tests are then compared with established experimental results. Strain probe analyses are used to demonstrate the concepts of energy dissipation and stored plastic work along with the robustness of the integration method. Over twenty finite element boundary value problems are then simulated. These include single three-dimensional element tests, plane strain footing analyses and cavity expansion tests. The rapid convergence of the global Newton–Raphson procedure using the consistent tangent is demonstrated in small strain and finite deformation simulations.     

Weighted argument systems: Basic definitions, algorithms, and complexity results

We introduce and investigate a natural extension of Dung's well-known model of argument systems in which attacks are associated with a weight, indicating the relative strength of the attack. A key concept in our framework is the notion of an inconsistency budget, which characterises how much inconsistency we are prepared to tolerate: given an inconsistency budget β, we would be prepared to disregard attacks up to a total weight of β. The key advantage of this approach is that it permits a much finer grained level of analysis of argument systems than unweighted systems, and gives useful solutions when conventional (unweighted) argument systems have none. We begin by reviewing Dung's abstract argument systems, and motivating weights on attacks (as opposed to the alternative possibility, which is to attach weights to arguments). We then present the framework of weighted argument systems. We investigate solutions for weighted argument systems and the complexity of computing such solutions, focussing in particular on weighted variations of grounded extensions. Finally, we relate our work to the most relevant examples of argumentation frameworks that incorporate strengths.     

Friction model for friction stir welding process simulation: Calibrations from welding experiments

The accurate 3D finite element simulation of the Friction Stir Welding (FSW) process requires a proper knowledge of both material and interface behaviors, but friction, the key phenomenon of this process, is quite difficult to model and identify. According to the extreme encountered conditions and the highly coupled nature of the material flow, simple tribological tests are not representative enough, so the welding process itself has been utilized in most analyses of the literature, although its complexity has led to use simplified numerical models and approaches. The recent development of more accurate 3D simulation software, which allows modeling the entire complexity of the FSW process, makes it possible to follow a much more rigorous inverse analysis (or calibration) approach. FSW trials are conducted on an Al 6061 aluminum plate with an unthreaded concave tool. Forces and tool temperatures are accurately recorded at steady welding state, for different welding speeds. The numerical simulations are based on an Arbitrary Lagrangian Eulerian (ALE) formulation that has been implemented in the Forge3^® F.E. software. The main feature of the numerical approach is to accurately compute the contact and frictional surface between the plate and the tool. A first study using Norton's friction model show the great sensitivity of welding forces and tool temperatures to friction coefficients, the need to take into account the changes brought to the contact surface by slight friction variations (thanks to the ALE formulation), the possibility to get very accurate calibrations on forces, and the impossibility to properly render the tool temperature profile. On the other hand, the use of Coulomb's friction model allows obtaining realistic temperature profiles and so calibrating a friction coefficient that offers an excellent agreement with experiments, on forces as much as on tool temperatures, for various welding speeds.