一个不等式的推广

对不等式(min1≤i≤n{xi}){x1+(1+d)x2+…+[1+(n-1)d]xn}≤(n-1)d+2/2n(x1+x2+…xn)2(0≤d≤2,xi>0(i=1,2,…,n))中d的取值范围进行了拓宽,进而推广该不等式.

有关两个新颖不等式的进一步推广

基于设序法与函数法,得到两个新颖不等式的更一般形式.

Methods of Validating Simulation Model and Program Design

Validating simulation model is one of the important aspects for modeling and simulation. Some methods of validating model are compared and analyzed. Several typical methods, such as TIC’s inequality coefficient, gray interconnected analysis, direct spectrum estimation, maximum entropy spectral estimation based on Burg or Marple, are chosen and programmed in C language. Some examples by using the program are given. The results show that the program is available and it is best to adopt multi methods for validating models.

Shrek:a dynamic object-oriented programming language

From a perspective of theoretical study, there are some faults in the models of the existing object-oriented programming languages. For example, C# does not support metaclasses, the primitive types of Java and C# are not objects, etc. So, this paper designs a programming language, Shrek, which integrates many language features and constructions in a compact and consistent model. The Shrek language is a class-based purely object-oriented language. It has a dynamical strong type system, and adopts a single-inheritance mechanism with Mixin as its complement. It has a consistent class instantiation and inheritance structure, and the ability of intercessive structural computational reflection, which enables it to support safe metaclass programming. It also supports multi-thread programming and automatic garbage collection, and enforces its expressive power by adopting a native method mechanism. The prototype system of the Shrek language is implemented and anticipated design goals are achieved.

On the Plaintiff's Subject Qualification for Environmental Public Interest Litigation Instituted by People's Procuratorates

Although it is not the main duty for the People's Procuratorate to institute environmental public interest litigation proceedings, the existence of "reserve" prosecution right of plaintiff not only is beneficial to timely prevention and cure of environmental damage, but also contributes indispensable judicial supervision force to the environmental legality construction. In order to safeguard environmental public interests, many local prosecutorial organizations have practiced environmental public interests litigation. Since Chinese law has not made explicit stipulation on the function of the People's Procuratorate instituting environmental public interest litigation, the plaintiff's subject qualification for environmental public interest litigation instituted by the People's Procuratorate is still in question. In order to propel the People's Procuratorate to completely and fully exercise their power of supervision and prosecution, there shall be corresponding legislation that provides powerful guarantee for the People's Procuratorate instituting environmental public interest litigation.

A distributed software architecture design framework based on attributed grammar

Software architectures shift the focus of developers from lines-of-code to coarser-grained architectural elements and their overall interconnection structure. There are, however, many features of the distributed software that make the developing methods of distributed software quite different from the traditional ways. Furthermore, the traditional centralized ways with fixed interfaces cannot adapt to the flexible requirements of distributed software. In this paper, the attributed grammar (AG) is extended to refine the characters of distributed software, and a distributed software architecture description language (DSADL) based on attributed grammar is introduced, and then a model of integrated environment for software architecture design is proposed. It can be demonstrated by the practice that DSADL can help the programmers to analyze and design distributed software effectively, so the efficiency of the development can be improved greatly.

Calculation on the pitch angle of rocker of a rocker lunar rover in uneven terrain and path planning

For the concerted motion of rocker lunar rover, the pitch angle of rocker of a rocker lunar rover in uneven terrain must be calculated. According to the character of passive shape-shifting adaptive suspension of rocker lunar rover, the model of rocker lunar rover and the model of terrain were both simplified. The pitch angle of rocker was calculated using forward solving, reverse solving and the method of offsetting the curve of terrain respectively. Because of the banishment of the nonlinearity of equation sets of calculation by reverse solving, the calculation of the pitch angle based on reverse solving was programmed by means of MATLAB. Simulations were carried out by means of ADAMS. The result verified the validity of the calculation based on reverse solving. It provides the theoretical foundation for motion planning and path planning of rocker lunar rover. As applications of the calculation of pitch angle of rocker, the multi-attribute decision making of path based on the concerted motion planning and the predictive control on lunar rover based on the Markov prediction model were introduced.

PLC Functional Instruction in Programming of the Application

In this paper, the function characteristics of instruction are introduced, and the focus is on contact compare instruction and the characteristics of the transfer instructions. With the traffic lights control as an example, this paper proposes the application of contact compare instruction and transfer instruction to program design method, making the program structure compact and statement concise. The control requirements are easily completed. Key words： Function Instruction; Programming; Traffic Lights; Contact Compare Instruction; Transfer

Research on an Integrated Modeling Method of Virtual Ship Assembly

A new method of virtual ship assembly modeling which integrates ship three-dimensional design and ship construction planning was described in this paper. A workflow model of simulation modeling based on the virtual ship assembly process was also established; furthermore, a method of information transformation between the ship three-dimensional design and ship construction plan was formulated. To meet the requirements of information sharing between different systems in the ship virtual assembly, a simulation database was created by using the software engineering design method and the relational data model. With the application of this database, the information of ship three-dimensional design, construction planning, and virtual assembly can be integrated into one system. Subsequently, this new method was applied as a tool to simulate the virtual assembly of a ship, and the results guarantee its rationality and reliability.

A New French Rational Design Method for Airfield Pavements

The aim of this paper is to present the results of a long-term research project consisting in the elaboration of a new rational airfield pavement design procedure applied to flexible pavements. The described methodology is based on the principles and the feedback obtained from the highway pavement design process which has been applied for more than 30 years in France as well as in many other countries. Adaptations to airfield pavements have been made, including features such as accurate traffic description, consideration of lateral wander of aircrafts for instance. The results of these developments have led to a new methodology which enables optimizing pavement designs by considering various input parameters such as the type of pavement section （runway, taxiway or apron）, the material properties and the temperature. The complete description of this method is available in the new pavement design manual and it is implemented in the dedicated software Aliz6-Airfield Pavement.

Time Collocation Method for Structural Dynamic Problems

In order to achieve highly accurate and efficient numerical calculations of structural dynamics, time collocation method is presented. For a given time interval, the numerical solution of the method is approximated by a polynomial. The polynomial coefficients are evaluated by solving algebraic equation. Once the polynomial coefficients are evaluated, the numerical solutions at any time in the interval can be easily calculated. New formulae are derived for the polynomial coefficients,which are more practical and succinct than those previously given. Two structural dynamic equations are calculated by the proposed method. The numerical solutions are compared with the traditional fourth-order Runge-Kutta method. The results show that the method proposed is highly accurate and computationally efficient. In addition, an important advantage of the method is the simplicity in software programming.

System design of touch type DC motor

This paper focuses on the use of the touchpad （key）, STC89C51RC monolithic integrated circuit PWM control signal, which changed the traditional mechanical buttons as a DC motor rotational speed and steering control method. Touch switch advantages compared with the traditional mechanical switches are： first, the quieter second, more sensitive; third, faster; four, long life and so on. Specialized chips are also used in the article the PWM signal system, and the principle of PWM signal, method and how the software adjust the duty cycle of the PWM signal to control its input signal waveforms are are described in detail. In addition, this article also introduced consisting of triode amplifier circuit of h-bridge amplifier as a DC motor driving module, enabling the control of DC motor speed. On the software side, PI was described in detail in the article arithmetic program initializes write ideas and specific programs such as program implementation.

Team-oriented programming for multiple mobile robots

This paper presnts a team-oriented programming method specially designed for multiple mobile robots. The team, which is a typical constitution structure in multi-robot system, forms after the user selects suitable robots, assigns their roles and sets related parameters. Team behavior module are introduced for the team-level behavior description and the temporal chain of these modules, realized by finite state automata, partitions the team tasks into discrete operating states and triggers. A graphical programming tool is designed for the team task description with visual diagrams. The real robots experiment of adaptive formation shows the system＇s usability and effectivity.

Unit Commitment with Production Cost Uncertainty： A Recourse Programming Method

Many studies have considered the solution of Unit Commitment problems for the management of energy networks. In this field, earlier work addressed the problem in determinist cases and in cases dealing with demand uncertainties. In this paper, the authors develop a method to deal with uncertainties related to the cost function. Indeed, such uncertainties often occur in energy networks （waste incinerator with a priori unknown waste amounts, cogeneration plant with uncertainty of the sold electricity price...）. The corresponding optimization problems are large scale stochastic non-linear mixed integer problems. The developed solution method is a recourse based programming one. The main idea is to consider that amounts of energy to produce can be slightly adapted in real time, whereas the on/off statuses of units have to be decided very early in the management procedure. Results show that the proposed approach remains compatible with existing Unit Commitment programming methods and presents an obvious interest with reasonable computing loads.

Differences inthe Level of Social Status of Male and Female Folk Dancers

The research was conducted in order to determine differences in the social status structure of male and female performers of folk dances. For the purpose of determining the social status structure of male and female dancers, 103 male and 145 female dancers aged 18-28 actively engaged in folk dancing were tested. For the assessment of social status, only one model that allows for true scientific approach to studying the structure of stratification dimensions has been made so far. The model was constructed by Saksida and later served as a basis for many studies conducted by other authors as well （Saksida, Caserman, Petrovic, Momirovic, and Hosek）. Designed as a phenomenological model, it has undergone several changes over time, but it is still suitable for studying social change. The INST2 questionnaire modified by Boli, Popovic, Hosek, Momirovic, and Savic （SSMIN） was applied in this study. All the data obtained in this research were processed at the Multidisciplinary Research Center of the Faculty of Sport and Physical Education, University of Pristina, through the system of data processing programs designed by D. Popovic and K Momirovic. To determine differences between the groups, a method of discriminant analysis was applied.

A Screening Program for Overweight Status Among Schoolgirls in Saudi Arabia： A Proposed Co-design Project to Tackle the Problem

The paper realizes the importance of communicating with schools to conduct nutritional screening, assessment and intervention programs for obesity and related risk factors to tackle the problem at earlier stage. The screening program was conducted by dietetics＇ students ＂under supervision＂ as part of their practice and community services to apply some assessment method for mritional status. Two intermediate schools for girls in Jeddah city were involved in the screening stage, followed by a full nutritional assessment and implementation of a designed intervention program at one of the schools. At screening stage, interview questionnaires for diet histories and anthropometric measurements used to screen overweight status and related food patterns. National and international references data used for assessment and comparison. Following screening approach, a designed comprehensive nutritional assessment and intervention program was piloted at one of the screened schools for overweight status. For screening stage： the overall prevalence of overweight girls is 61% （n = 81 out of 133） of the population, 73% （n = 91） of girls were centrally obese. Almost 3/4 of all students reported no participations in any type of physical activities/exercises. Dietary behaviors included non-consumption of breakfast （83%） and low intake of fruit and vegetables （38%）. For intervention stage, the present report concentrates on data concerning post intervention changes in Body Mass Index （BMI） and Waist Circumference （WC）. By the 30 days of intervention there were significant changes in values for BMI according to Saudi growth chart （p value = 0.009） with no changes among the control group. No statistically significant difference in the mean WC of the group. Study＇s results suggest that approaching young girls through schools to screen, assess and intervene overweight status and risk factors is vital. Although the non-random selection of only two schools for screening the prevalence of overweight status among school girls prevent the geralizability of the study findings to wider population, previous studies used random selection of schools and large sample sizes showed a high prevalence of overweight status among Saudi students Therefore, designing and piloting of an intervention program for implementation at a national level is useful to tackle theproblem.

Analysis on Application of Wavelet Neural Network in Wind Electricity Power Prediction

Wind electricity power has fluctuation, and accurate and reasonable wind electricity power prediction is very important for solving wind electricity network and combination. This paper takes an analysis of a lot of actual data of a certain wind electricity field. Through wavelet neural network and time series method rolling, it can predict the overall power of wind electricity field. The result shows that for the original data of sampling time length and large sampling frequency, the model constructed by this paper has very good prediction effect. Because of the fan installation position, wind electricity fan flow effect and other random factor influence, wind electricity field overall power and single unit power distribution have difference. Through comparing with the time series parameters, it puts forward that single wind electricity unit power has smooth effect for overall power of wind electricity field. Finally, it summarizes the prediction effect and puts forward some reasonable suzestions for wind electricity network troblems.

Research on variable frequency and speed regulation of motor system based on PLC

This paper presents the composition, control scheme and signal processing method of frequency conversion motor speed testing system based on $7-200 PLC, and design the hardware circuit, the trapezoidal chart procedure and touch screen display program. The debugging test shows that the system is simple, practical, and related design work has laid the foundation for the future.

Facility Layout Based on Sequence Analysis:Design of Flowshops

A computer-aided method to design a hybrid layout--tree-shape planar flowlines is presented. In newtype fiowshop layout, the common machines shared by several flowlines could be located together in functional sections. The approach combines traditional cell formation techniques with sequence alignment algorithms. Firstly, a sequence analysis based cell formation procedure is adopted; then the operation sequences for parts are aligned to maximize machines adjacency in hyperedge representations; finally a tree-shape planar flowline will be obtained for each part family. With the help of a sample of operation sequences obtained from industry, this algorithm is illustrated.

Multi-objective optimization of shock control bump on a supercritical wing

Based on the supercritical ＂wingl＂ which was released in the DPW-III conference, multi-objective optimization has been done to increase the lift-drag ratio at cruise condition and improve transonic buffet boundary and drag-rise performance. Hicks-Henne shape functions are used to represent the bump shape. In the design optimization to increase lift-drag ratio, the objectives involve the cruise point and three other off-design points nearby. In the other optimization process to improve buffet and drag-rise performance, three buffet onset points near the cruise point and one drag-rise point are selected as the design points. Non-dominating sort genetic algorithm II （NSGA-II） is used in both processes. Additionally, individual analysis for every selected point on the Pareto frontier is conducted in order to avoid local convergence and achieve global optimum. Re- sults of optimization for aerodynamic efficiency show a decrease of 11 counts in drag at the cruise point. Drag at nearby off-design points are also reduced to some extent. Similar approaches are made to improve buffet and drag-rise characteristics, resulting in significant improvements in both ways.