实数模型在闪存芯片验证中的应用

NAND闪存比以往更需要大容量来满足日益增加的存储需求。在3D NAND时代,内部模拟控制和相关的开关转换电路更加复杂。同时,市场需要芯片更多的功能、更快的接口速度、以及更高性能的操作算法。然而,设计和验证的周期被压缩以适应激烈的竞争。传统的模拟或者快速模拟仿真无法快速地检查完整的芯片功能和特性,单纯的数字验证又无法有效地检查芯片的模拟行为。实数模型(RNM)是一种混合的验证方法,它借用了连续时域和分离时域的概念。电压和电流以浮点数的方式被建模,并且实数信号转换是在分离事件驱动下实现。仿真是在数字引擎下执行,且不需要模拟的解析器,这样就可以保证仿真高性能地执行。实数模型支持自定义类型(UDT)与自定义函数(UDR),可以实现不同的模拟行为。使用实数模型后,仿真可以覆盖几乎所有模拟信号的类型,从而监测更加准确的模拟行为。与完全的数字仿真相比,新方法并没有造成速度上明显的损失。

一阶有限群控制下实数域多方向计算的实现

根据一阶有限群的多方向计算,实现实数域运算描述的数学模型的多方向计算。多方向计算是以群论和图论为理论基础。一阶的有限群是对研究的初等代数运算描述的数学模型的最高形式的抽象。把一阶的有限群的多方向计算的性质应用到实数域的数学模型,应用到科学和工程领域的大量计算中去。根据这些研究建立一个计算系统的软件,名叫“九章”。“九章”能够加载以初等代数公式描述的数学模型,并演算求解模型各个计算方向的应用。它的特点是能够对数学模型进行多方向计算。把可以多方向计算的数学模型从应用程序分离出来,由“九章”来运行,提供数学模型多方向执行和并行执行的特征。

VARIABLE MODEL FOR BUILDING CASE BASE AND ITS APPLICATION

The case variable model is put forward by analyzing the system model and the IDEFO model. The component variables of the machining system are classified into four types, I. E uncontrolled variables, process variables, controlled variables and output variables. The process of building the case base is given. The high-speedcutting data base system is developed based on the presented variable model.

STUDY AND IMPROVEMENT OF MLS RELATIONAL DATA MODEL

The conception of multilevel security (MLS) is commonly used in the study of data model for secure database. But there are some limitations in the basic MLS model, such as inference channels. The availability and data integrity of the system are seriously constrained by it′s 'No Read Up, No Write Down' property in the basic MLS model. In order to eliminate the covert channels, the polyinstantiation and the cover story are used in the new data model. The read and write rules have been redefined for improving the agility and usability of the system based on the MLS model. All the methods in the improved data model make the system more secure, agile and usable.

平面向量的实数化模型

平面向量的运算变形规律与代数运算变形规律有许多相似之处,但更多有其特殊性.由于代数模型求解容易掌握,具有普遍性.通过恰当变形,将向量中有关问题转化为实数模型去解决,可避免向量运算中作图求解带来的诸多不便,又能体现出方法过程的严谨性.具有一定的实践意义.下面略举几例和转化的方法,供大家参考.

Edge detection in the potential field using the correlation coefficients of multidirectional standard deviations

Most edge-detection methods rely on calculating gradient derivatives of the potential field, a process that is easily affected by noise and is therefore of low stability. We propose a new edge-detection method named correlation coefficient of multidirectional standard deviations（CCMS） that is solely based on statistics. First, we prove the reliability of the proposed method using a single model and then a combination of models. The proposed method is evaluated by comparing the results with those obtained by other edge-detection methods. The CCMS method offers outstanding recognition, retains the sharpness of details, and has low sensitivity to noise. We also applied the CCMS method to Bouguer anomaly data of a potash deposit in Laos. The applicability of the CCMS method is shown by comparing the inferred tectonic framework to that inferred from remote sensing（RS） data.

Experiment and numerical simulation of two-phase flow in oxygen enriched side-blown furnace

Taking an oxygen enriched side-blown furnace as the prototype,a hydraulic model was established according to the similarity principle.The influence of three factors on the gas-liquid two-phase flow was analyzed,i.e.the airflow speed,the submerged depth and the downward angle of the nozzle.A numerical simulation of the hydraulic model was carried out trying to find the suitable turbulence model which can describe the side-blown two-phase flow correctly by comparing the simulation results with the experimental data.The experiment shows that the airflow speed has a great influence on the flow of the water.The submerged depth of the nozzle has a relatively smaller influence on the penetration depth and the surface fluctuation height in the liquid phase.When the nozzle is at a downward angle of 15°,the penetration depth and the surface fluctuation height are reduced.It is concluded that the numerical results with the realizable k-εturbulence model are the closest to the experiment for the penetration depth,the surface fluctuation height and the bubble scale.

NOx Absorption in Full Scale Plant Columns with Structured Packings

A mathematical model of nitrogen oxide （NOx） absorption is adopted and solved for adiabatic operation of a column with structured packings on the basis of the film theory. Removal rate, outlet concentration, oxidation degree of NOx and outlet acid concentration, liquid acid temperature are simulated and tested. The gas phase reactions and equilibria, gas phase mass transfer, interracial equilibria, and liquid phase reactions are considered in the model. Absorption of nitrogen oxides is studied in packed with Mellapak 250Y columns in series in an industrial process of 20000 t oxalic acid per year. Favorable agreement is shown between the model predictions and the on-site observations.

Experimental Investigation of TARMAX Model for Modeling of Hydrodynamic Forces on Cylinder-like Structures

A new approach that models lift and drag hydrodynamic force signals operating over cylindrical structures was developed and validated. This approach is based on stochastic auto regressive moving average with exogenous （ARMAX） input and its time-varying form, TARMAX. Model structure selection and parameter estimation were discussed while considering the validation stage. In this papel; the cylindrical structure was considered as a dynamic system with an incoming water wave and resulting forces as the input and outputs, respectively. The experimental data, used in this study, were collected from a full-scale rough vertical cylinder at the Delft Hydraulics Laboratory. The practicality of the proposed method and also its efficiency in structural modeling were demonstrated through applying two hydrodynamic force components. For this purpose, an ARMAX model is first used to capture the dynamics of the process, relating in-line forces provided by water waves; secondly, the TARMAX model was applied to modeling and analysis of the lift forces on the cylinder. The evaluation of the lift force by the TARMAX model shows the model is successful in modeling the force from the surface elevation.

Lifetime prediction for tantalum capacitors with multiple degradation measures and particle swarm optimization based grey model

A lifetime prediction method for high-reliability tantalum （Ta） capacitors was proposed, based on multiple degradation measures and grey model （GM）. For analyzing performance degradation data, a two-parameter model based on GM was developed. In order to improve the prediction accuracy of the two-parameter model, parameter selection based on particle swarm optimization （PSO） was used. Then, the new PSO-GM（1, 2, co） optimization model was constructed, which was validated experimentally by conducting an accelerated testing on the Ta capacitors. The experiments were conducted at three different stress levels of 85, 120, and 145℃. The results of two experiments were used in estimating the parameters. And the reliability of the Ta capacitors was estimated at the same stress conditions of the third experiment. The results indicate that the proposed method is valid and accurate.

A case study of multi-seam coal mine entry stability analysis with strength reduction method

In this paper,the advantage of using numerical models with the strength reduction method(SRM) to evaluate entry stability in complex multiple-seam conditions is demonstrated.A coal mine under variable topography from the Central Appalachian region is used as a case study.At this mine,unexpected roof conditions were encountered during development below previously mined panels.Stress mapping and observation of ground conditions were used to quantify the success of entry support systems in three room-and-pillar panels.Numerical model analyses were initially conducted to estimate the stresses induced by the multiple-seam mining at the locations of the affected entries.The SRM was used to quantify the stability factor of the supported roof of the entries at selected locations.The SRM-calculated stability factors were compared with observations made during the site visits,and the results demonstrate that the SRM adequately identifies the unexpected roof conditions in this complex case.It is concluded that the SRM can be used to effectively evaluate the likely success of roof supports and the stability condition of entries in coal mines.

Parametric design of a part with free-form surfaces

3D solid models for parts with regular-form surfaces (PRFSs) are effectively generated using traditional parametric design techniques. A new model is obtained by changing some parameters defining the model. The parts with free-form surfaces (PFFSs), however, cannot be defined by several parameters. Usually they are defined by some geometric elements like profile curves. The traditional parametric design approaches have not easily dealt with the PFFSs. A method for generating a solid model and an engineering drawing for PFFSs is proposed in this paper: First, the new profiles are generated from input point data. Second, the profile information is extracted from the existing model. Last, the old profiles are replaced with the new profiles. This method can preserve the associative information of the existing model and automatically generate the drawing including views, dimen- sions, and annotations. The proposed method has been implemented using a commercial CAD/CAM system, Unigraphics, and API functions written in C-language, and were applied to the blades of a turbine generator. Some illustrative examples are pro- vided in order to show the effectiveness of the proposed method.

The Adsorption of Phenol by Lignite Activated Carbon

The feasibility and adsorption effect of lignite activated carbon for phenol removal from aqueous solutions were evaluated and investigated. A series of tests were performed to look into the influence of various experimental parameters such as contact time, initial phenol concentration, temperature, and pH value on the adsorption of phenol by lignite activated carbon. The experimental data were fitted well with the pseudo-second-order kinetic model. The adsorption is an endothermic process and conforms to Freundlich thermodynamic model. The results indicate that the lignite activated carbon is suitable to be used as an adsorbent material for adsorption of phenol from aqueous solutions.

Study on Collision Between Two Ships Using Selected Parameters in Collision Simulation

In the present analysis, several parameters used in a numerical simulation are investigated in an integrated study to obtain their influence on the process and results of this simulation. The parameters studied are element formulation, friction coefficient, and material model. Numerical simulations using the non-linear finite element method are conducted to produce virtual experimental data for several collision scenarios. Pattern and size damages caused by collision in a real accident case are assumed as real experimental data, and these are used to validate the method. The element model study performed indicates that the Belytschko-Tsay element formulation should be recommended for use in virtual experiments. It is recommended that the real value of the friction coefficient for materials involved is applied in simulations. For the study of the material model, the application of materials with high yield strength is recommended for use in the side hull structure.

Hydrodynamic Performance of Multiple-Row Slotted Breakwaters

This study examines the hydrodynamic performance of multiple-row vertical slotted breakwaters. We developed a mathematical model based on an eigenfunction expansion method and a least squares technique for Stokes second-order waves. The numerical results obtained for limiting cases of double-row and triple-row walls are in good agreement with results of previous studies and experimental results. Comparisons with experimental measurements of the reflection, transmission, and dissipation coefficients （CR, Cr, and CE） for double-row walls show that the proposed mathematical model adequately reproduces most of the important features. We found that for double-row walls, the CR increases with increasing wave number, kd, and with a decreasing permeable wall part, din. The Cr follows the opposite trend. The CE slowly increases with an increasing kd for lower kd values, reaches a maximum, and then decreases again. In addition, an increasing porosity of dm would significantly decrease the CR while increasing the Cr. At lower values of kd, a decreasing porosity increases the CE, but for high values of kd, a decreasing porosity reduces the Ce. The numerical results indicate that, for triple-row walls, the effect of the arrangement of the chamber widths on hydrodynamic characteristics is not significant, except when kd〈0.5 Double-row slotted breakwaters may exhibit a good wave-absorbing performance at kd〉0.5, where by the horizontal wave force may be smaller than that of a single wall. On the other hand, the difference between double-row and triple-row vertical slotted breakwaters is marginal.

Model for seawater fouling and effects of temperature,flow velocity and surface free energy on seawater fouling

A kinetic model was proposed to predict the seawater fouling process in the seawater heat exchangers.The new model adopted an expression combining depositional and removal behaviors for seawater fouling based on the Kern–Seaton model.The present model parameters include the integrated kinetic rate of deposition(k d)and the integrated kinetic rate of removal(k r),which have clear physical signi ficance.A seawater-fouling monitoring device was established to validate the model.The experimental data were well fitted to the model,and the parameters were obtained in different conditions.SEM and EDX analyses were performed after the experiments,and the results show that the main components of seawater fouling are magnesium hydroxide and aluminum hydroxide.The effects of surface temperature,flow velocity and surface free energy were assessed by the model and the experimental data.The results indicate that the seawater fouling becomes aggravated as the surface temperature increased in a certain range,and the seawater fouling resistance reduced as the flow velocity of seawater increased.Furthermore,the effect of the surface free energy of metals was analyzed,showing that the lower surface free energy mitigates the seawater fouling accumulation.

A modified model of a single rock joint's shear behavior in limestone specimens

The shear behavior of a single rock joint in limestone specimens,under a constant normal load(CNL),was analyzed in this study.Test specimens with different asperity roughness were prepared and tested.Goodman's model of a rock joint's shear behavior,under CNL,was modified to render a better representation of the data obtained.The model's applicability was validated.The proposed model showed better correlation with experimental data.It also,requires fewer variables.The steps to calculate all the necessary variables for the model are discussed.

Effects of Snow Cover on Ground Thermal Regime： A Case Study in Heilongjiang Province of China

The important effects of snow cover to ground thermal decades. In the most of previous research, the effects were usually regime has received much attention of scholars during the past few evaluated through the numerical models and many important results are found. However, less examples and insufficient data based on field measurements are available to show natural cases. In the present work, a typical case study in Mohe and Beijicun meteorological stations, which both are located in the most northern tip of China, is given to show the effects of snow cover on the ground thermal regime. The spatial （the ground profile） and time series analysis in the extremely snowy winter of 2012-2013 in Heilongjiang Province are also performed by contrast with those in the winter of 2011-2012 based on the measured data collected by 63 meteorological stations, Our results illustrate the positive （warmer） effect of snow cover on the ground temperature （GT） on the daily basis, the highest difference between GT and daily mean air temperature （DGAT） is as high as 32.35℃. Moreover, by the lag time analysis method it is found that the response time of GT from 0 cm to 20 cm ground depth to the alternate change of snow depth has 10 days lag, while at 40 cm depth the response of DGAT is not significant. This result is different from the previous research by modeling, in which the resnonse denth of ground to the alteration of snow depth is far more than 40 cm.

Viscoelasto-plastic rheological experiment under circular increment step load and unload and nonlinear creep model of soft rocks

The viscoelastic-plastic creep experiments on soft ore-rock in Jinchuan Mine III were performed under circular increment step load and unload. The experimental data were analyzed according to instantaneous elastic strain, visco-elastic strain, instantaneous plastic strain and visco-plastic strain. The result shows that instantaneous deformation modulus tends to increase with the increase of creep stress; soft rocks enhance the ability to resist instantaneous elastic deformation and instantaneous plastic deformation during the multi-level of load and unload in the cyclic process. In respect of specimen JC1099, the ratio of visco-elastic strain to visco-plastic strain varies from 3.15 to 6.58, and the ratio has decreasing tendency with stress increase as a whole; creep deformation tends to be a steady state at low stress level; soft rocks creep usually embodies accelerated creep properties at high stress level. With the damaging variable and the hardening function introduced, a nonlinear creep model of soft rocks is established, in which the decay creep is described by the nonlinear hardening function H of viscidity coefficient. The model can describe the accelerated creep of soft rocks since the nonlinear damaging evolvement variable D of deformation parameter of rocks is introduced. Three stages of soft rocks creep can be described with the uniform creep equation in the nonlinear creep model. With this nonlinear creep model applied to the creep experiments of the ore-rock of Jinchuan Mine III, the nonlinear creep model＇s curves are in good agreement with experimental data.

A Real-time Data Model Based on Temporal Data

Real-time database systems contain not only transaction timing constraints, but also data timing constraints. This paper discusses the temporal characteristics of data in real-time databases and offers a definition of absolute and relative temporal consistency. In real-time database systems, it is often the case that the policies of transaction schedules only consider the deadline of real-time transactions, making it insufficient to ensure temporal correctness of transactions. A policy is given by considering both the deadlines of transactions and the “data deadline” to schedule real-time transactions. A real-time relational data model and a real-time relational algebra based on the characteristics of temporal data are also proposed. In this model, the temporal data has not only corresponding values, but also validity intervals corresponding to the data values. At the same time, this model is able to keep historical data values. When validity interval of a relation is [NOW, NOW], real-time relational algebra will transform to traditional relational algebra.