New Refinement Relations of Z Specifications for Multiple Viewpoints Oriented Requirements Method

In this paper we develop several new refinement relations of Z for multiple viewpoints oriented requirements method (MVORM). The original motivation is that we found the standard Z refinement relation is not adequate or correct when considering specifications that have temporal relationships of operations. The concept of temporal state variables is introduced into Z. Then new implementation relations are defined and new refinement relations are deduced, mainly for temporal state variables to process temporal relationships of operations. We use state transition systems to abstract the temporal state transitions. A simple example is used to show the procedures of MVORM. Finally some directions of further work are forwarded.

Two Generic Frameworks of Multiple Viewpoints Oriented Requirements Method and Their Comparison

Traditional requirements method has some problems when it is used for large distributed systems. Multiple viewpoints oriented requirements method (MVORM) is a new method for resolving these problems. This paper develops two generic formal frameworks of MVORM, framework based on refinement relation (FBRR) and framework based on implementation relation (FBIR). They are generic, because no assumptions are made about the development process or the formal description languages to be used. Three kinds of specification relations and three kinds of specification transformations are discussed over FBIR and FBRR. This paper also compares the equivalence between FBIR and FBRR. We point out that an equivalent FBIR can be found for any FBRR, but reverse transformation is not always possible. We think FBIR is better than FBRR on most cases.

REQUIREMENTS AND DESIGN METHOD FOR MATCHING AIRCRAFT GUNS WITH THEIR SUPPORTING STRUCTURE

In aircraft structural dynamic design the matching of guns with their supporting structure is one of the most important tasks on which hinges the success or failure of the structural design. The design curves for matching guns with their supporting structure can be obtained from response calculations of the plate-spring system supporting the gun on the ground,the model structure tested on the ground and the actual structure.A set of matching curves is given for engineering application.Then,the matching design can be accomplished by means of impact load spectrograms so as to perform an optimal structural design and to make further improvements on dynamic design program.

Use of the Method of Guidance by a Required Velocity in Control of Spacecraft Attitude

We apply the method of guidance by a required velocity for solving the optimal control problem over spacecraft’s reorientation from known initial attitude into a required final attitude.We suppose that attitude control is carried out by impulse jet engines.For optimization of fuel consumption,the controlling moments are calculated and formed according to the method of free trajectories together with principle of iterative control using the quaternions for generating commands to actuators.Optimal solution corresponds to the principle“acceleration-free rotation-separate corrections-free rotation-braking”.Rotation along a hitting trajectory is supported by insignificant correction of the uncontrolled motion at discrete instants between segments of acceleration and braking.Various strategies of forming the correction impulses during stage of free motion are suggested.Improving accuracy of achievement of spacecraft's final position is reached by terminal control using information about current attitude and angular velocity measurements for determining an instant of beginning of braking(condition for start of braking based on actual motion parameters is formulated in analytical form).The described method is universal and invariant relative to moments of inertia.Developed laws of attitude control concern the algorithms with prognostic model,the synthesized control modes are invariant with respect to both external perturbations and parametric errors.Results of mathematical modeling are presented that demonstrate practical feasibility and high efficiency of designed algorithms.

Ecological Water Requirement Estimates for Typical Areas in the Huaihe Basin

Aquatic ecosystems require ecological water allocation to prevent from being damaged by natural disasters and undue exploitation. This paper discusses and estimates the ecological water requirements （EWRs） of typical areas in the Huaihe Basin to determine rational allocations of water resources and pro- mote regional improvements of the ecological environment. The main river course, including Hongze Lake and Nansi Lake, was selected as the study subject. Calculational methods for the river and lake EWRs were based on the reasonableness of the results and data availability. The monthly guarantee rate method was used to calculate monthly, flood period, non-flood period, and annual EWRs for the main river course and the main tributaries at two different guarantee rates. The minimum water level method was used to calculate annual EWRs for Hongze Lake and the upper and lower Nansi Lake of 1.521×10^9 m^3, 0.637×10^9 m^3, and 0.306×10^9 m^3. The results were used to evaluate the rationality of the quantity of water resources allocated to ecological uses in the Huaihe Basin during 1998-2003. The result shows that the present water resource allocations in the Huaihe Basin cannot satisfy the basic ecological requirements for some years, especially years with less precipitation.