Measuring information systems success: models,dimensions, measures,and interrelationships

Since DeLone and McLean (D&M) developed their model of IS success, there has been much research on the topic of success as well as extensions and tests of their model. Using the technique of a qualitative literature review, this research reviews 180 papers found in the academic literature for the period 1992–2007 dealing with some aspect of IS success. Using the six dimensions of the D&M model – system quality, information quality, service quality, use, user satisfaction, and net benefits – 90 empirical studies were examined and the results summarized. Measures for the six success constructs are described and 15 pairwise associations between the success constructs are analyzed. This work builds on the prior research related to IS success by summarizing the measures applied to the evaluation of IS success and by examining the relationships that comprise the D&M IS success model in both individual and organizational contexts.     

Test frame updating in CPM testing of Prolog programs

Category Partition Method (CPM) is a general approach to specification-based program testing, where test frame reduction and refinement are two important issues. Test frame reduction is necessary since too many test frames may be produced, and test frame refinement is important since during CPM testing new information about test frame generation may be achieved and considered incrementally. Besides the information provided by testers or users, implementation related knowledge offers alternative information for reducing and refining CPM test frames. This paper explores the idea by proposing a call patterns semantics based test frame updating method for Prolog programs, in which a call patterns analysis is used to collect information about the way in which procedures are used in a program. The updated test frames will be represented as constraints. The effect of our test frame updating is two-fold. On one hand, it removes “uncared” data from the original set of test frames; on the other hand, it refines the test frames to which we should pay more attention. The first effect makes the input domain on which a procedure must be tested a subset of the procedure’s input domain, and the latter makes testers stand more chance to find out the faults that are more likely to show their presence in the use of the program under consideration. Our test frame updating method preserves the effectiveness of CPM testing with respect to the detection of faults we care. The test case generation from the updated set of test frames is also discussed. In order to show the applicability of our method an approximation call patterns semantics is proposed, and the test frame updating on the semantics is illustrated by an example.

A methodology to incorporate product mix variations in cellular manufacturing

The identification of part families and machine groups that form the cells is a major step in the development of a cellular manufacturing system and, consequently, a large number of concepts, theories and algorithms have been proposed. One common assumption for most of these cell formation algorithms is that the product mix remains stable over a period of time. In today’s world, the market demand is being shaped by consumers resulting in a highly volatile market. This has given rise to a new class of products characterized by low volume and high variety. To incorporate product mix changes into an existing cellular manufacturing system many important issues have to be tackled. In this paper, a methodology to incorporate new parts and machines into an existing cellular manufacturing system has been presented. The objective is to fit the new parts and machines into an existing cellular manufacturing system thereby increasing machine utilization and reducing investment in new equipment.     

Stability and control of nonlinear systems described by retarded functional equations: a review of recent results

This paper reports on recent results in a series of the work of the authors on the stability and nonlinear control for general dynamical systems described by retarded functional differential and difference equations. Both internal and external stability properties are studied. The corresponding Lyapunov and Razuminkhin characterizations for input-to-state and input-to-output stabilities are proposed. Necessary and sufficient Lyapunov-like conditions are derived for robust nonlinear stabilization. In particular, an explicit controller design procedure is developed for a new class of nonlinear time-delay systems. Lastly, sufficient assumptions, including a small-gain condition, are presented for guaranteeing the input-to-output stability of coupled systems comprised of retarded functional differential and difference equations.     

Polarization discrimination between repeater false-target and radar target

High fidelity repeater false-target badly affects a radar system’s detecting, tracking, and data processing. It is an available approach of confronting false-target for radar that discriminates firstly and then eliminates. Whereas for the technique progress about the repeater false-target jam, it is more and more difficult to discriminate this jam in the time-domain, frequency-domain, or space-domain. The technique using polarization information to discriminate the target and false-target is discussed in th...     

Optimal hole shape for minimum stress concentration using parameterized geometry models

The goal of this work is to obtain optimal hole shape for minimum stress concentration in two-dimensional finite plates using parameterized geometry models. The boundary shape for a hole is described by two families of smooth curves: one is a “generalized circular” function with powers as two parameters; the other one is a “generalized elliptic” function a and b are ellipse axes) with powers as two parameters and one of the ellipse axes as the third parameter. Special attention is devoted to the practicability of parameterized equations and the corresponding optimal results under the condition with and without the curvature radius constraint. A number of cases were examined to test the effectiveness of the parameterized equations. The numerical examples show that extremely good results can be obtained under the conditions with and without curvature radius constraint, as compared to the known solutions in the literature. The geometries of the optimized holes are presented in a form of compact parametric functions, which are suitable for use and test by designers. It is anticipated that the implementation of the suggested parameterized equations would lead to considerable improvements in optimizing hole shape with high quality.     

Adaptive sorting: an information theoretic perspective

We present two algorithms that are near optimal with respect to the number of inversions present in the input. One of the algorithms is a variation of insertion sort, and the other is a variation of merge sort. The number of comparisons performed by our algorithms, on an input sequence of length n that has I inversions, is at most . Moreover, both algorithms have implementations that run in time . All previously published algorithms require at least comparisons for some c > 1. M. L. Fredman was supported in part by NSF grant CCR-9732689.     

In Situ Polymerizing Internal Encapsulation Strategy Enables Stable Perovskite Solar Cells toward Lead Leakage Suppression

Despite the outstanding power conversion efficiency (PCE) of perovskite solar cells (PSCs) achieved over the years, unsatisfactory stability and lead toxicity remain obstacles that limit their competitiveness and large-scale practical deployment. In this study, in situ polymerizing internal encapsulation (IPIE) is developed as a holistic approach to overcome these challenges. The uniform polymer internal package layer constructed by thermally triggered cross-linkable monomers not only solidifies the ionic perovskite crystalline by strong electron-withdrawing/donating chemical sites, but also acts as a water penetration and ion migration barrier to prolong shelf life under harsh environments. The optimized MAPbI₃ and FAPbI₃ devices with IPIE treatment yield impressive efficiencies of 22.29% and 24.12%, respectively, accompanied by remarkably enhanced environmental and mechanical stabilities. In addition, toxic water-soluble lead leakage is minimized by the synergetic effect of the physical encapsulation wall and chemical chelation conferred by the IPIE. Hence, this strategy provides a feasible route for preparing efficient, stable, and eco-friendly PSCs.     

Voltage Decay of Li-Rich Layered Oxides: Mechanism,Modification Strategies,and Perspectives

Li-rich layered oxides (LLOs) have been considered as the most promising cathode materials for achieving high energy density Li-ion batteries. However, they suffer from continuous voltage decay during cycling, which seriously shortens the lifespan of the battery in practical applications. This review comprehensively elaborates and summarizes the state-of-the-art of the research in this field. It is started from the proposed mechanism of voltage decay that refers to the phase transition, microscopic defects, and oxygen redox or release. Furthermore, several strategies to mitigate the voltage decay of LLOs from different scales, such as surface modification, elemental doping, regulation of components, control of defect, and morphology design are summarized. Finally, a systematic outlook on the real root of voltage decay is provided, and more importantly, a potential solution to voltage recovery from electrochemistry. Based on this progress, some effective strategies with multiple scales will be feasible to create the conditions for their commercialization in the future.