Optimization of 3.5-in. HDD spindle motors for OP-vibration performance: theoretical prediction and experimental verification

The purpose of this paper is to optimize OP-vibration performance of 3.5-in. hard disk drive (HDD) spindle motors through theoretical prediction and experimental verification. OP-vibration performance of HDD is closely related to the first rocking vibration of spindle motors because excited frequencies of 3.5-in. HDD from the environment are mostly below 500 Hz and the first rocking vibration is the only resonance in the corresponding frequencies. Therefore, minimizing first rocking vibration leads to improve OP-vibration performance of the spindle motors. In order to minimize the first rocking vibration key parameters of FDB spindle motors were selected from a previous work done by Heo and Shen (Microsyst Technol 11:1204–1213, 2005). Then, the selected parameters have been optimized to minimize the first rocking vibration through a theoretical model developed at University of Washington. Then, experiments with ten prototype FDB spindle motors have been conducted to verify the theoretical results. Each prototype motor has different spindle parameter configurations including bearing coefficients, bearing locations, and center of gravity location, etc. Also, this paper demonstrated that radial measurements of spindle rocking vibration have better correlation with OP-vibration performance than axial measurements through PES measurements. Finally, the optimized design has been manufactured by a motor maker and has also successfully verified the theoretical prediction experimentally.     

A quantum chemical study of the mechanism of action of Vitamin K epoxide reductase (VKOR) II. Transition states

A reaction path including transition states is generated for the Silverman mechanism [R.B. Silverman, Chemical model studies for the mechanism of Vitamin K epoxide reductase, J. Am. Chem. Soc. 103 (1981) 5939-5941] of action for Vitamin K epoxide reductase (VKOR) using quantum mechanical methods (B3LYP/6-311G**). VKOR, an essential enzyme in mammalian systems, acts to convert Vitamin K epoxide, formed by Vitamin K carboxylase, to its (initial) quinone form for cellular reuse. This study elaborates on a prior work that focused on the thermodynamics of VKOR [D.W. Deerfield II, C.H. Davis, T. Wymore, D.W. Stafford, L.G. Pedersen, Int. J. Quant. Chem. 106 (2006) 2944-2952]. The geometries of proposed model intermediates and transition states in the mechanism are energy optimized. We find that once a key disulfide bond is broken, the reaction proceeds largely downhill. An important step in the conversion of the epoxide back to the quinone form involves initial protonation of the epoxide oxygen. We find that the source of this proton is likely a free mercapto group rather than a water molecule. The results are consistent with the current view that the widely used drug Warfarin likely acts by blocking binding of Vitamin K at the VKOR active site and thereby effectively blocking the initiating step. These results will be useful for designing more complete QM/MM studies of the enzymatic pathway once three-dimensional structural data is determined and available for VKOR.     

On aggregate available bandwidth in many-to-one data transfer—modeling and applications

This work investigates the modeling of aggregate available bandwidth in multi-sender network applications. Unlike the well-established client–server model, where there is only one server sending the requested data, the available bandwidth of multiple senders when combined together does exhibit consistent properties and thus can be modeled and estimated. Through extensive experiments conducted in the Internet this work proposed to model the aggregate available bandwidth using a normal distribution and then illustrates its application through a hybrid download-streaming algorithm and a playback-adaptive streaming algorithm for video delivery under different bandwidth availability scenarios. This new multi-source bandwidth model opens a new way to provide probabilistic performance guarantee in best-effort networks such as the Internet, and is particularly suitable for the emerging peer-to-peer applications, where having multiple sources is the norm rather than the exception.

The discovery of biomarkers for type 2 diabetic nephropathy by serum proteome analysis

Diabetic nephropathy (DN) is a serious kidney complication of diabetes, and constitutes the leading cause of end-stage renal disease. The earliest clinical evidence of DN is microalbuminuria, a term which refers to the appearance of small but abnormal amounts of albumin in the urine. However, screening methods for DN, such as biomarker assays, are yet to be developed for type 2 DN. In the present study, in an attempt to identify the biomarkers for initial diagnoses of type 2 DN, the protein profiles of human sera collected from 30 microalbuminuric type 2 diabetic patients were compared with those collected from 30 normoalbuminuric type 2 diabetic patients, via 2-DE. As a result, a total of 18 spots were determined to have different protein levels in the microalbuminuric patients. Twelve spots had lower protein levels of approximately 50%, and the other six had higher levels of approximately 100-300% as compared to the spots of normoalbuminuric patients. These spots were identified with ESI-Q-TOF (ESI-quadrupole-TOF) MS. Among the identified proteins, vitamin D-binding protein (DBP) and pigment epithelium-derived factor (PEDF) were verified by Western blotting. The results of this study indicate that the DBP may be employed as diagnostic and monitoring biomarkers of type 2 DN, contingent on further study into the matter.     

Interface stability influences torso muscle recruitment and spinal load during pushing tasks

Handle or interface design can influence torso muscle recruitment and spinal load during pushing tasks. The objective of the study was to provide insight into the role of interface stability with regard to torso muscle recruitment and biomechanical loads on the spine. Fourteen subjects generated voluntary isometric trunk flexion force against a rigid interface and similar flexion exertions against an unstable interface, which simulated handle design in a cart pushing task. Normalized electromyographic (EMG) activity in the rectus abdominus, external oblique and internal oblique muscles increased with exertion effort. When using the unstable interface, EMG activity in the internal and external oblique muscle groups was greater than when using the rigid interface. Results agreed with trends from a biomechanical model implemented to predict the muscle activation necessary to generate isometric pushing forces and maintain spinal stability when using the two different interface designs. The co-contraction contributed to increased spinal load when using the unstable interface. It was concluded that handle or interface design and stability may influence spinal load and associated risk of musculoskeletal injury during manual materials tasks that involve pushing exertions.     

Genetic Parallel Programming: design and implementation

This paper presents a novel Genetic Parallel Programming (GPP) paradigm for evolving parallel programs running on a Multi-Arithmetic-Logic-Unit (Multi-ALU) Processor (MAP). The MAP is a Multiple Instruction-streams, Multiple Data-streams (MIMD), general-purpose register machine that can be implemented on modern Very Large-Scale Integrated Circuits (VLSIs) in order to evaluate genetic programs at high speed. For human programmers, writing parallel programs is more difficult than writing sequential programs. However, experimental results show that GPP evolves parallel programs with less computational effort than that of their sequential counterparts. It creates a new approach to evolving a feasible problem solution in parallel program form and then serializes it into a sequential program if required. The effectiveness and efficiency of GPP are investigated using a suite of 14 well-studied benchmark problems. Experimental results show that GPP speeds up evolution substantially.     

TreePlus: interactive exploration of networks with enhanced tree layouts

Despite extensive research, it is still difficult to produce effective interactive layouts for large graphs. Dense layout and occlusion make food Webs, ontologies and social networks difficult to understand and interact with. We propose a new interactive visual analytics component called TreePlus that is based on a tree-style layout. TreePlus reveals the missing graph structure with visualization and interaction while maintaining good readability. To support exploration of the local structure of the graph and gathering of information from the extensive reading of labels, we use a guiding metaphor of "plant a seed and watch it grow." It allows users to start with a node and expand the graph as needed, which complements the classic overview techniques that can be effective at (but often limited to) revealing clusters. We describe our design goals, describe the interface and report on a controlled user study with 28 participants comparing TreePlus with a traditional graph interface for six tasks. In general, the advantage of TreePlus over the traditional interface increased as the density of the displayed data increased. Participants also reported higher levels of confidence in their answers with TreePlus and most of them preferred TreePlus     

Software component certification

Although the stringent requirements of some critical applications may require independent certification, the authors see software developer self-certification as a viable alternative in many other cases. They accept that using software certification laboratories (SCLs) may work well for certain software distribution models, but they cannot be applied to all types of software development. The approach has several drawbacks. For example, an SCL may work well for larger software houses that ship mass-marketed software applications to the public, but it is less satisfactory for smaller developers who make reusable components or safety-critical software or for developers who belong to the freeware community     

Parameter-free geometric document layout analysis

Automatic transformation of paper documents into electronic documents requires geometric document layout analysis at the first stage. However, variations in character font sizes, text line spacing, and document layout structures have made it difficult to design a general-purpose document layout analysis algorithm for many years. The use of some parameters has therefore been unavoidable in previous methods. The authors propose a parameter-free method for segmenting the document images into maximal homogeneous regions and identifying them as texts, images, tables, and ruling lines. A pyramidal quadtree structure is constructed for multiscale analysis and a periodicity measure is suggested to find a periodical attribute of text regions for page segmentation. To obtain robust page segmentation results, a confirmation procedure using texture analysis is applied to only ambiguous regions. Based on the proposed periodicity measure, multiscale analysis, and confirmation procedure, we could develop a robust method for geometric document layout analysis independent of character font sizes, text line spacing, and document layout structures. The proposed method was experimented with the document database from the University of Washington and the MediaTeam Document Database. The results of these tests have shown that the proposed method provides more accurate results than previous ones     

Parallelization of a Hyper-Linking–Based Theorem Prover

We describe the parallelization of a first-order logic theorem prover that is based on the hyper-linking proof procedure (HLPP). Four parallel schemes – process level, clause level, literal level, and flow level – are developed for two types of sequential implementation of HLPP: list based and network based. The motivation for developing each parallel scheme is presented, and the architecture and implementation details of each scheme are described. Issues about parallel processing, such as serialization and synchronization, load balancing, and access conflicts, are examined. Speedups over sequential implementations are attained, and timing results for benchmark problems are provided.