异构的动态分布式实时系统的面向方面的形式化方法

形式化方法是在严格的数学基础上建立的,具有精确数学含义的科学研究和验证方法。异构的动态分布式系统的开发过程是非常复杂的,不能用一种开发方法进行分析、设计和实现。由于形式化方法具有严谨、可数学分析和证明等特性,可以根据系统开发的不同方面采用不同的形式化语言进行实现,然后再把这些方面编织到系统中去。

略析经济犯罪证据之特征

经济犯罪证据在整合结构方面既有紧密性又具有分散性;在时间空间方面具有滞留性和流动性特征;在表现形式方面具有实物性、言词性和技能性特征;在证明过程方面具有排除性和共证性特征。

语文教学如何培养学生多角度思考问题

培养学生多角度思考问题，可以从时间方面换个角度去思考，从空间上换个角度去思考，从方法方面换个角度去思考。

Grinding analysis of Indian coal using response surface methodology

The present work discusses a systematic approach to model grinding parameters of coal in a ball mill. A three level Box-Behnken design combined with response surface methodology using second order model was applied to the experiments done according to the model requirement. Three parameters ball charge （numbers 10-20）, coal content （100-200 g） and the grinding time （4-8 rain） were chosen for the experiments as well as for the modeling work. Coal fineness is defined as the dso （80 % passing size）. A quadratic model was developed to show the effect of parameters and their interaction with fineness of the product. Three different sizes （4, 1 and 0.65 mm） of Indian coal were used. The model equations for each fraction were developed and different sets of experiments were performed. The predicted values of the fineness of coal were in good agreement with the experimental results （R2 values of dso varies between 0.97 and 0.99）. Fine size of three different coal sizes were obtained with larger ball charge with less grinding time and less solid content. This work represents the efficient use of response surface methodology and the Box-Behnken design use for grinding of Indian coal.

Highly nonlinear internal solitary waves over the continental shelf of the northwestern South China Sea

Large amplitude internal solitary waves(ISWs) often exhibit highly nonlinear effects and may contribute significantly to mixing and energy transporting in the ocean.We observed highly nonlinear ISWs over the continental shelf of the northwestern South China Sea(19°35'N,112°E) in May 2005 during the Wenchang Internal Wave Experiment using in-situ time series data from an array of temperature and salinity sensors,and an acoustic Doppler current profiler(ADCP).We summarized the characteristics of the ISWs and compared them with those of existing internal wave theories.Particular attention has been paid to characterizing solitons in terms of the relationship between shape and amplitude-width.Comparison between theoretical prediction and observation results shows that the high nonlinearity of these waves is better represented by the second-order extended Korteweg-de Vries(KdV) theory than the first-order KdV model.These results indicate that the northwestern South China Sea(SCS) is rich in highly nonlinear ISWs that are an indispensable part of the energy budget of the internal waves in the northern South China Sea.

Simulating Surface Aeration Systems at Different Scale of Mixing Time

Macro and micromixing time represent two extreme mixing time scales,which governs the whole hydrodynamics characteristics of the surface aeration systems.With the help of experimental and numerical analysis,simulation equation governing those times scale has been presented in the present work.

Finite difference time domain method forward simulation of complex geoelectricity ground penetrating radar model

The ground penetrating radar(GPR) forward simulation all aims at the singular and regular models, such as sandwich model, round cavity, square cavity, and so on, which are comparably simple. But as to the forward of curl interface underground or “v” figure complex model, it is difficult to realize. So it is important to forward the complex geoelectricity model. This paper takes two Maxwell’s vorticity equations as departure point, makes use of the principles of Yee’s space grid model theory and the basic principle finite difference time domain method, and deduces a GPR forward system of equation of two dimensional spaces. The Mur super absorbed boundary condition is adopted to solve the super strong reflection on the interceptive boundary when there is the forward simulation. And a self-made program is used to process forward simulation to two typical geoelectricity model.

Investigations of 3D Surface Roughness Characteristic＇s Accuracy

The existing surface roughness standards comprise only two dimensions. However, the real roughness of the surface is 3D （three-dimensional）. Roughness parameters of the 3D surface are also important in analyzing the mechanics of contact surfaces. Problems of mechanics of contact surfaces are related to accuracy of 3D surface roughness characteristic. One of the most important factors for 3D characteristics determination is the number of data points per x and y axes. With number of data points we understand its number in cut-off length. Number of data points have substantial influence on the accuracy of measurement results, measuring time and size of output data file （especially along the y-axis direction, where number of data points are number of parallel profiles）. Number of data points must be optimal. Small number of data points lead to incorrect results and increase distribution amplitude, but too large number of data points do not enlarge range of fundamental information, but substantially increase measuring time. Therefore, we must find optimal number of data points per each surface processing method.

坐标轴解析动词时态语态

动词的时态及语态,作为高考必考点,同时又是构成句子的核心元素,是英语学习的基础语法之一。本文中,从坐标轴角度对时态的构成进行根源性探究,将其分解成为时间方面以及动作方面两个方面,对一个意群进行两个单方面的判定后再合成现在的时态。此种方法,解决了孩子们需大量记忆时间状语的难题以及在学习过程中死记硬背所遗留下的问题。有利于学生进一步深层次理解语法的原理。从而让课堂教学在孩子的终身学习过程中可持续发展。此法尤其适合理性思维较强,英语基础薄弱的学生。