Depth-averaged Nonlinear k-ε Model and Technique for Its Program Development

１ＭｏｄｅｌＩｍｐｒｏｖｅｍｅｎｔ１１Ｄｅｐｔｈａｖｅｒａｇｅｄｋ－εｍｏｄｅｌＡｓｕｍｉｎｇａｈｙｄｒｏｓｔａｔｉｃｐｒｅｓｕｒｅｄｉｓｔｒｉｂｕｔｉｏｎ,ｕｓｉｎｇｔｈｅＬｅｉｂｎｉｔｚｅｑｕａｔｉｏｎａｎｄｉｎｔｅｇｒａｔｉｎｇｔｈｅｔｈｒ...     

Depth-averaged Nonlinear k-ε Model and Technique for Its Program Development

Without the 'rigid lid' assumption, the depth-averaged linear k-ε model can describe the change of water depth. However, it is incapable of accurately simul ating turbulent flows, where the normal Reynolds stresses play an important role. A de pth-averaged nonlinear k-ε model is developed taking into account the stress relations described by Speziale. The depth-averaged linear and nonlinear k-ε models can both be used to calculate the flow field near a side discharge into open-channel flo w, but the results of the nonlinear model are in much closer agreement with experimental re sults. Furthermore, the technique of changing the 2D linear k-ε program i nto a depth-averaged, nonlinear program is presented.     

Partition-based Low Power DFT Methodology for System-on-chips

This paper presents a partition-based Design-for- Test （DFT） technique to reduce the power consumption during scan-based testing. This method is based on partitioning the chip into several independent scan domains. By enabling the scan domains alternatively, only a fraction of the entire chip will be active at the same time, leading to low power consumption during test. Therefore, it will significantly reduce the possibility of Electronic Migration and Overheating. In order to prevent the drop of fault coverage, wrappers on the boundaries between scan domains are employed. This paper also presents a detailed design flow based on Electronics Design Automation （EDA） tools from Synopsy~ to implement the proposed test structure. The proposed DFT method is experimented on a state-of-theart System-ou-chips （SOC）. The simulation results show a significant reduction in both average and peak power dissipation without sacrificing the fault coverage and test time. This SOC has been taped out in TSMC and finished the final test m ADVANTEST.     

Localizing Test Power Consumption for Scan Testing

IntroductionScan design makes test generation of the circuit be thatof a combinational one . However , scan testing needs toscanin values of all scanflip-flops for eachtest patternthatcan make the test application cost and test powerconsumption prohibitively high. Test data volumecorresponding to scan testing is also large compared withthat of a non-scan circuit . The circuit can be burn out iftest power consumptionis toolarge during test application.Test data volume is also very i mportant f…     

Nonlinear Adaptive Wavelet Transform for Lossless Image Compression

The paper presents a class of nonlinear adaptive wavelet transforms for lossless image compression. In update step of the lifting the different operators are chosen by the local gradient of original image. A nonlinear morphological predictor follows the update adaptive lifting to result in fewer large wavelet coefficients near edges for reducing coding. The nonlinear adaptive wavelet transforms can also allow perfect reconstruction without any overhead cost. Experiment results are given to show lower entropy of the adaptive transformed images than those of the non-adaptive case and great applicable potentiality in lossless image compression.     

Joint Power Control Algorithm for CDMA TDD System

Current uplink power control algorithm of code division multiple access （CDMA） time division duplex（TDD） system contains signal-to-interference-ratio（SIR） and interference measurement, which is based on history information. However, the adjustment of transmission power of one user equipment（UE） will affect SIR of the others, because the power control is done independently of the power adjustment of other UE＇s. So the convergence speed of power control is not fast and the system performance degrades. In the proposed algorithm, all UE＇s assigned in same time slot adjust their transmission power based on current information, which takes into account the adjustments of transmission power of all UE＇s. The simulation results indicated that the proposed algorithm outperforms the old algorithm.     

A One-parameter Filled Function Method for Nonlinear Integer Programming

IntroductionWe consider the following nonlinear integer programmingproblem:(PI)minf(x)s.t.x∈XI,(1.1)whereXI Inis a bounded and closed box set whichcontains more than one point,Inis the set of integer pointsinRn.This i mplies that there exists a constantK>0suchthat1≤K=maxx1,x2∈XI‖x1-x2‖<∞,where‖·‖is the usual Euclidean nor m.f(x)=+∞asx∈In\XI.Notice that,whenf(x)is coercive,i.e.,f(x)→∞as‖x‖→∞,there al ways exists a box which contains alldiscrete global mini mizers off(x).…     

对“The Initial－Boundary Value Problem for a Nonlinear Degenrate Parabolic Equation”一文的注记

证明了一类蜕化抛物型方程解的支集不扩张性质，指出了“ＴｈｅＩｎｉｔｉａｌＢｏｕｎｄａｒｙＶａｌｕｅＰｒｏｂｌｅｍｆｏｒａＮｏｎｌｉｎｅａｒＤｅｇｅｎｒａｔｅＰａｒａｂｏｌｉｃＥｑｕａｔｉｏｎ”中的一个错误，并进一步地讨论了该问题解的渐近性态。     

Technique for Measuring the Sharpness of Staple Fiber Cutter Blades

Introduction Duringtheproductionofstaplefibers,thecutting edgesharpnessisanimportantfactortothestaplequality.Thedullbladesareviabletomakedefectssuchasover lengthfibers,fiberclump,etc,whichwillcauseproblems inthefollowingtextileprocessing,sothehighqualityofcutterbladesisnecessaryintheproduction.Butforthe quantitativemethodinmeasuringsharpness,therestillhas notbeenanywidelyvsed.Thetraditionalwayisdoneby cuttingtapeorsomethingalikewithitbyhands,butfor thedifferencesofindividuals,themeasurementr…     

An Efficient Crash Recovery Technique for Real-Time Main Memory Database

This paper presents an efficient recovery scheme suitable for real-time main memory database. In the recovery scheme, log records are stored in non-volatile RAM which is divided into four different partitions based on transaction types. Similarly, a main memory database is divided into four partitions based data types. When the using ratio of log store area exceeds the threshold value, checkpoint procedure is triggered. During executing checkpoint procedure, some useless log records are deleted. During restart recovery after a crash, partition reloading policy is adopted to assure that critical data are reloaded and restored in advance, so that the database system can be brought up before the entire database is reloaded into main memory. Therefore down time is obvionsly reduced. Simulation experiments show our recovery scheme obviously improves the system performance,and does a favor to meet the deadlines of real-time transactions.     

SCWR for Future LargeScale Nuclear Power Generation

The ambitious nuclear power program motivates the Chinese nuclear community to develop advanced reactor concepts of generation IV, in order to ensure the longterm, stable and sustainable development of nuclear power. The supercritical watercooled reactor (SCWR) has favorable features in economics, sustainability and technology availability. It is the logical extension of the existing PWR technology and has very promising perspectives in largescale power generation in China. This paper describes the main features of SCWR. New designs of SCWR core structure and fuel assemblies are proposed. Preliminary analysis using a coupled neutronphysics/thermalhydraulics method is carried out and shows a good feasibility of the new design proposal.     

μ Synthesis Method for Robust Control of Uncertain Nonlinear Systems

μ synthesis method for robust control of uncertain nonlinear systems is propored, which is based on feedback linearization. First, nonlinear systems are linearized as controllable linear systems by I/O linearization,such that uncertain nonlinear systems are expressed as the linear fractional transformations (LFTs) on the generalized linearized plants and uncertainty.Then,linear robust controllers are obtained for the LFTs usingμsynthesis method based on H∞ optimization.Finally,the nonlinear robust controllers are constructed by combining the linear robust controllers and the nonlinear feedback.An example is given to illustrate the design.     

On-line Weighted Least Squares Kernel Method for Nonlinear Dynamic Modeling

Support vector machines （SVM） have been widely used in pattern recognition and have also drawn considerable interest in control areas. Based on rolling optimization method and on-line learning strategies, a novel approach based on weighted least squares support vector machines （WLS-SVM） is proposed for nonlinear dynamic modeling. The good robust property of the novel approach enhances the generalization ability of kernel method-based modeling and some experimental results are presented to illustrate the feasibility of the proposed method.     

μ Synthesis Method for Robust Control of Uncertain Nonlinear Systems

μ synthesis method for robust control of uncertain nonlinear systems is propored, which is based on feedback linearization. First, nonlinear systems are linearized as controllable linear systems by I/O linearization,such that uncertain nonlinear systems are expressed as the linear fractional transformations (LFTs) on the generalized linearized plants and uncertainty.Then,linear robust controllers are obtained for the LFTs usingμsynthesis method based on H∞ optimization.Finally,the nonlinear robust controllers are constructed by combining the linear robust controllers and the nonlinear feedback.An example is given to illustrate the design.     

Reverse Programmed SONOS Memory Technique for 0.18 μm Embedded Utilization

A 4 Mb embedded silicon-oxide-nitride-oxide-silicon (SONOS) memory was developed with a 0.18 μm CMOS logic compatible technology. A reverse programming array architecture was proposed to reduce the chip area, enhance the operating window, and increase the read speed. The charge distribution was analyzed to optimize the programming and erase conditions considering both the operating speed and the endurance performance. The final test chip has a good endurance of 105 cycles and a data retention time of at least 10 years.     

Nonlinear Constitutive Equation for Green Sand Considering the Tri-axial Compression Behavior

The compression characteristics of green sand were investigated experimentally, including the squeezing and yielding during deformation. An expression was developed for the transient compression modulus of sand during compression. Based on the hypothesis put forward of the compression state, the differential equation for the nonlinear constitutive equation was deduced by introducing a move-yield potential function. The state constitutive equation under the tri-axial experiment is further studied according to the sand attributes, considering the differential form of Hooke‘s law and the Mohr-Coulomb condition. The related experiment data are applied to verify the proposed constitutive model of sand.     

Analysis and Design of Switching Surface for Nonlinear Variable Structure Control Systems

ＡｎａｌｙｓｉｓａｎｄＤｅｓｉｇｎｏｆＳｗｉｔｃｈｉｎｇＳｕｒｆａｃｅｆｏｒＮｏｎｌｉｎｅａｒＶａｒｉａｂｌｅＳｔｒｕｃｔｕｒｅＣｏｎｔｒｏｌＳｙｓｔｅｍｓ＊ＨａｎＹｕｎｒｕｉ（韩云瑞）ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，Ｔ...     

A Novel Method for Nonlinear Time Series Forecasting of Time-Delay Neural Network

Based on the idea of nonlinear prediction of phase space reconstruction, this paper presented a time delay BP neural network model, whose generalization capability was improved by Bayesian regularization. Furthermore, the model is applied to forecast the import and export trades in one industry. The results showed that the improved model has excellent generalization capabilities, which not only learned the historical curve, but efficiently predicted the trend of business. Comparing with common evaluation of forecasts, we put on a conclusion that nonlinear forecast can not only focus on data combination and precision improvement, it also can vividly reflect the nonlinear characteristic of the forecas ting system. While analyzing the forecasting precision of the model, we give a model judgment by calculating the nonlinear characteristic value of the combined serial and original serial, proved that the forecasting model can reasonably catch＇ the dynamic characteristic of the nonlinear system which produced the origin serial.     

Real—time Animation Technique for a Kind of Non—rigid Objects

A real-time animation technique for a kind of non-rigid objects,flexible and thin objects,is proposed,which can update with statility the state of n mass points of the mass-spring(MS) model with time complexity of O(n).The new implicit numerical integration technique of the authors,which is based on a simple approximation of the linear system,has great advantages over the existing implicit integration methods.Moreover,experiment shows that the new thechnique is highly efficient in animating a kind of non-rigid objects,and suitable for the draping module of the 3D garment CAD system.