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.     

家庭理财系统的开发及实现

划分了家庭理财软件的功能模块,完成了数据库设计,并实现了家庭理财系统的建立.     

低温等离子体处理模式对冷藏南美白对虾中假单胞菌的抑菌效果及机理研究

摘 要：目的 探究低温等离子体(cold plasma, CP)处理模式对冷藏南美白对虾中常见荧光假单胞菌(Pseudomonas fluorescens)的抑菌效果及其作用机制。方法 通过CP直接处理和循环处理P. fluorescens,研究了两种处理模式下臭氧含量动态变化对P. fluorescens的生长曲线、细胞活力,生物膜形成、细胞壁、细胞膜完整性和南美白对虾菌落总数及假单胞菌数等指标的影响。结果 两种处理模式在CP处理3 min或3 cycles后,包装内臭氧含量达到最高值,分别为(850±10) mg/m3和(874±20) mg/m3。CP循环处理模式使得臭氧含量随处理循环数递增,因此获得更长的臭氧存在时间从而具有更大的抑菌能力。P. fluorescens生长曲线表明CP处理使得菌体延迟期变长且对数生长期推迟。此外,CP处理后的P. fluorescens细胞活力显著下降(P<0.05),CP-1 min,CP-3 min和CP-3 cycles组的细胞活力分别为33.03%、5.90%和4.82%。同时相比CP-3 min组,CP-3 cycles组的P. fluorescens生物膜OD值下降27.61%。碱性磷酸酶(alkaline phosphatase, AKP)活性和核酸蛋白泄漏量结果表明,细胞壁和细胞膜完整性受损可能是P. fluorescens失活的直接原因。对虾保鲜测试结果证实,贮藏第6 d,CP-3 cycles组虾体中的菌落总数和假单胞菌数相比CP-3 min组分别降低了58.02%和79.54%。结论 CP循环处理模式通过延长对臭氧与对虾的暴露时间,提高了对P. fluorescens的灭活效果,同时还具有更优越的保鲜能力。本研究为开发基于CP技术的新型保鲜技术应用提供了理论参考。 关键词：低温等离子体;荧光假单胞菌;抑菌机制;保鲜     

Ultrafast Switchable Passive Radiative Cooling Smart Windows with Synergistic Optical Modulation

Switchable passive radiative cooling (PRC) smart windows can modulate sunlight transmission and spontaneously emit heat to outer space through atmospheric transparent window, presenting great potential in building energy conservation. However, realizing stable and on-demand control of the cooling efficiency for PRC materials is still challenging. Herein, an electro-controlled polymer-dispersed liquid crystal (PDLC) smart window showing PRC property is designed and prepared by adding mid-infrared emitting reactive monomers into the conventional PDLC matrix. It is found that not only the electro-optical properties but also the PRC efficiency of PRC PDLC film are tunable by regulating the content of the mid-infrared emitting components, film thickness, and micromorphology. This advanced PRC PDLC material achieves a near/sub-ambient temperature when the solar irradiance is below 400 W m⁻² and can dynamically manage daytime cooling efficiency. Importantly, its PRC efficiency is capable of being tuned in an on-demand and ultrafast millisecond-scale way, whose controllable transparency enables multistage heat regulation. This study is hoped to provide new inspiration in the preparation of advanced optical devices and energy-efficient equipment.