Towards the development of a virtual environment-based training system for mechanical assembly operations

In this paper, we discuss the development of Virtual Training Studio (VTS), a virtual environment-based training system that allows training supervisors to create training instructions and allows trainees to learn assembly operations in a virtual environment. Our system is mainly focused on the cognitive side of training so that trainees can learn to recognize parts, remember assembly sequences, and correctly orient the parts during assembly operations. Our system enables users to train using the following three training modes: (1) Interactive Simulation, (2) 3D Animation, and (3) Video. Implementing these training modes required us to develop several new system features. This paper presents an overview of the VTS system and describes a few main features of the system. We also report user test results that show how people train using our system. The user test results indicate that the system is able to support a wide variety of training preferences and works well to support training for assembly operations.

---

Study of variational inequality and equality formulations for elastostatic frictional contact problems

Summary An overview ofvariational inequality andvariational equality formulations for frictionless contact and frictional contact problems is provided. The aim is to discuss the state-of-the-art in these two formulations and clearly point out their advantages and disadvantages in terms of mathematical completeness and practicality. Various terms required to describe the contact configuration are defined.Unilateral contact law and classical Coulomb’s friction law are given.Elastostatic frictional contact boundary value problem is defined. General two-dimensional frictionless and frictional contact formulations for elastostatic problems are investigated. An example problem of a two bar truss-rigid wall frictionless contact system is formulated as an optimization problem based on the variational inequality approach. The problem is solved in a closed form using the Karush-Kuhn-Tucker (KKT) optimality conditions. The example problem is also formulated as a frictional contact system. It is solved in the closed form using a new two-phase analytical procedure. The procedure avoids use of the incremental/iterative techniques and user defined parameters required in a typical implementation based on the variational equality formulation. Numerical solutions for the frictionless and frictional contact problems are compared with the results obtained by using a general-purpose finite element program ANSYS (that uses variational equality formulation). ANSYS results match reasonably well with the solutions of KKT optimality conditions for the frictionless contact problem and the two-phase procedure for the frictional contact problem. The validity of the analytical formulation for frictional contact problems (with one contacting node) is verified. Thevariational equality formulation for frictionless and frictional, contact problems is also studied in detail. The incremental/iterative Newton-Raphson scheme incorporating the penalty approach is utilized. Studies are conducted to provide insights for the numerical solution techniques. Based on the present study it is concluded that alternate formulations and computational procedures need to be developed for analysis of frictional contact problems.     

Using an induction prover for verifying arithmetic circuits

We show that existing theorem proving technology can be used effectively for mechanically verifying a family of arithmetic circuits. A theorem prover implementing: (i) a decision procedure for quantifier-free Presburger arithmetic with uninterpreted function symbols; (ii) conditional rewriting; and (iii) heuristics for carefully selecting induction schemes from terminating recursive function definitions; and (iv) well integrated with backtracking, can automatically verify number-theoretic properties of parameterized and generic adders, multipliers and division circuits. This is illustrated using our theorem prover Rewrite Rule Laboratory (RRL). To our knowledge, this is the first such demonstration of the capabilities of a theorem prover mechanizing induction. The above features of RRL are briefly discussed using illustrations from the verification of adder, multiplier and division circuits. Extensions to the prover likely to make it even more effective for hardware verification are discussed. Furthermore, it is believed that these results are scalable, and the proposed approach is likely to be effective for other arithmetic circuits as well.     

Querying websites using compact skeletons

Several commercial applications, such as online comparison shopping and process automation, require integrating information that is scattered across multiple websites or XML documents. Much research has been devoted to this problem, resulting in several research prototypes and commercial implementations. Such systems rely on wrappers that provide relational or other structured interfaces to websites. Traditionally, wrappers have been constructed by hand on a per-website basis, constraining the scalability of the system. We introduce a website structure inference mechanism called compact skeletons that is a step in the direction of automated wrapper generation. Compact skeletons provide a transformation from websites or other hierarchical data, such as XML documents, to relational tables. We study several classes of compact skeletons and provide polynomial-time algorithms and heuristics for automated construction of compact skeletons from websites. Experimental results show that our heuristics work well in practice. We also argue that compact skeletons are a natural extension of commercially deployed techniques for wrapper construction.     

The Effects of Process Characteristics on the Value of B2B E-Procurement

Even as more organizations are moving towards implementing Web-based B2B procurement solutions, they are unsure of the real benefits of the Web. In other words, what is the value of B2B e-procurement to an organization and how to measure this value? What factors affect this value? In this paper, we discuss an evaluation framework to determine the value of B2B e-procurement and the effect of process characteristics on the value. We use an empirical study to highlight the different value created by different procurement types. We then develop a more comprehensive economic model to capture the additional effects of demand volume and process complexity. The integration of theoretical and empirical approaches provides a strong foundation to develop and evaluate useful adoption strategies for B2B e-procurement.     

Information technology adoption and continuance: A longitudinal study of individuals’ behavioral intentions

Extant research on information technology (IT) adoption and continuance has not adequately modeled the times of adoption by individuals. This study argues that individuals adopt an innovation at different times and are likely to be influenced by different factors over time. The theoretical models are empirically validated using data gathered at three points in time through surveys of 132 users of a new innovation. The results indicate that the innovation attributes and individual characteristics influence individuals’ intentions to adopt the innovation during the early stage, and the innovation attributes and contextual factors impact the individuals’ intentions during the later stage.     

Surface-constrained volumetric brain registration using harmonic mappings

In order to compare anatomical and functional brain imaging data across subjects, the images must first be registered to a common coordinate system in which anatomical features are aligned. Intensity-based volume registration methods can align subcortical structures well, but the variability in sulcal folding patterns typically results in misalignment of the cortical surface. Conversely, surface-based registration using sulcal features can produce excellent cortical alignment but the mapping between brains is restricted to the cortical surface. Here we describe a method for volumetric registration that also produces an accurate one-to-one point correspondence between cortical surfaces. This is achieved by first parameterizing and aligning the cortical surfaces using sulcal landmarks. We then use a constrained harmonic mapping to extend this surface correspondence to the entire cortical volume. Finally, this mapping is refined using an intensity-based warp. We demonstrate the utility of the method by applying it to T1-weighted magnetic resonance images (MRIs). We evaluate the performance of our proposed method relative to existing methods that use only intensity information; for this comparison we compute the intersubject alignment of expert-labeled subcortical structures after registration.     

UNICORE 6 — Recent and Future Advancements

UNICORE is a European Grid Technology with more than 10 years of history. Originating from the Supercomputing domain, the latest version UNICORE 6 has turned into a general-purpose Grid technology that follows established standards and offers a rich set of features to its users. The paper starts with an architectural insight into UNICORE 6, highlighting the workflow features, standards and the different clients. Next, the current state of advancement is presented by describing recent developments. The paper closes with an outlook on future planned developments.     

Best Minimum Summation Scheduler for Long Term Evolution

Resource scheduling in Long Term Evolution (LTE) is an open and rising issue. It has an enormous impact on the entire system performance. Due to the nature of LTE system, the scheduler has to be designed carefully. It has to overcome many challenges such as limited processing time and the high dynamic behavior. This paper proposes a novel scheduling policy for the MAC layer in LTE called the Best Minimum Summation (BMS). The main aim of this scheduling policy is to achieve high performance with low complexity. Three sub-schedulers have been developed. Each one of these schedulers deals with scheduling table in different dimension. The first one operates on the scheduling table through the user dimension (BMS.UE); while the second one operates on the scheduling table through the resource block dimension (BMS.RB). The third scheduler operates on the scheduling table correlating both of these dimensions (BMS.2D). All of the proposed solutions were intensively evaluated in a system level simulator. Three performance metrics were used which are throughput, error rate and fairness. The results have shown that the ability of the BMS.UE scheduler to outperform other existing schedulers of LTE.     

Electric drive subsystem for a low-storage requirement hybridelectric vehicle

Integrating an electric machine drive system into the powertrain of a hybrid electric vehicle (HEV) represents a challenging exercise in packaging complex electromechanical and power electronic subsystems. The Ford combined alternator starter (FCAS) and its attendant power and control electronics are physically partitioned because power electronics has not yet evolved to the stage in which fully packaged drives can be realized. A similar situation exists for the control and sensor subsystems necessary for a fully functional high-performance drive. Hardware partitioning requires that more attention be given to installation issues and to mitigating system interactions. The FCAS system consists of an integrated starter/alternator (S/A), an S/A module (SAM), and a vehicle electrical infrastructure that can support the power and energy levels demanded. Our field experience with the FCAS system is presented along with test results obtained from vehicle operation