The conventional method of seismic data acquisition geometry design is based on the assumption of horizontal subsurface reflectors, which often is not suitable for complex structure. We start from a controlled illumin...The conventional method of seismic data acquisition geometry design is based on the assumption of horizontal subsurface reflectors, which often is not suitable for complex structure. We start from a controlled illumination analysis and put forward a method of seismic survey geometry design for target-oriented imaging. The method needs a velocity model obtained by a preliminary seismic interpretation. The one-way Fourier finite-difference wave propagator is used to extrapolate plane wave sources on the target layer to the surface. By analyzing the wave energy distribution at the surface extrapolated from the target layer, the shot or receiver locations needed for target layer imaging can be determined. Numerical tests using the SEG-EAGE salt model suggest that this method is useful for confirming the special seismic acquisition geometry layout for target-oriented imaging.展开更多
For the high altitude cruising flight phase of a hypersonic cruise missile （HCM）, a relative motion mod- el between the missile and the target is established by defining virtual target and combining the theory of th...For the high altitude cruising flight phase of a hypersonic cruise missile （HCM）, a relative motion mod- el between the missile and the target is established by defining virtual target and combining the theory of the dif- ferential geometry with missile motion equations. Based on the model, the motion between the missile and the tar- get is considered as a single target differential game problem, and a new open-loop differential game midcourse guidance law （DGMGL） is deduced by solving the corresponding Hamiltonian Function. Meanwhile, a new struc- ture of a closed-loop DGMGL is presented and the training data for back propagation neural network （BPNN） are designed. By combining the theory of BPNN with the open-loop DGMGL obtained above, the law intelligence is realized. Finally, simulation is carried out and the validity of the law is testified.展开更多
This paper aims to provide a decision-making method for the transportation management strategies in guiding the transformation of trip mode choice during planned special events. The Expo 2010 Shanghai is taken as an e...This paper aims to provide a decision-making method for the transportation management strategies in guiding the transformation of trip mode choice during planned special events. The Expo 2010 Shanghai is taken as an example, and a structural equation model is employed to analyze the dynamic mechanism of trip mode choice behavior and the effectiveness of the transportation management measures at different stages. Based on the difference between the objective-oriented stated preference （SP） survey results and the objectives, together with the feedback from the previous stage survey, some adjustments on the transportation management measures are made in the next stage of the planning process until the objectives are eventually achieved. The results indicate that the adjustments on transportation management measures at different stages can effectively raise the transit share to 88.6%. Nonlocal visitors are inclined to choose nonstop modes of transportation and the companion attributes have the most significant effects on the trip mode choices of visitors. The research method is proved to be an effective way to support the decision making process of transportation management measures during planned special events in the future.展开更多
The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There ar...The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.展开更多
Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of softw...Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of software maintenance, testing, software reengineering, software reuse and software restructure, it is a challenge for software engineers to understand these classes thoroughly. This paper proposes a class comprehension model based on constructivist learning theory, and implements a software visualization tool (MFV-Class) to help in the comprehension of a class. The tool provides multiple views of class to uncover manifold facets of class contents. It enables visualizing three object-oriented metrics of classes to help users focus on the understanding process. A case study was conducted to evaluate our approach and the toolkit.展开更多
This paper derives first order necessary and sufficient conditions for unconstrained coned.c. Programming problems where the underlined space is partially ordered with respect to acone. These conditions are given in t...This paper derives first order necessary and sufficient conditions for unconstrained coned.c. Programming problems where the underlined space is partially ordered with respect to acone. These conditions are given in terms of directional derivatives and subdifferentials of thecomponent functions. Moreover, conjugate duality for cone d.c. Optimization is discussed andweak duality theorem is proved in a more general partially ordered linear topological vectorspace (generalizing the results in [11]).展开更多
文摘The conventional method of seismic data acquisition geometry design is based on the assumption of horizontal subsurface reflectors, which often is not suitable for complex structure. We start from a controlled illumination analysis and put forward a method of seismic survey geometry design for target-oriented imaging. The method needs a velocity model obtained by a preliminary seismic interpretation. The one-way Fourier finite-difference wave propagator is used to extrapolate plane wave sources on the target layer to the surface. By analyzing the wave energy distribution at the surface extrapolated from the target layer, the shot or receiver locations needed for target layer imaging can be determined. Numerical tests using the SEG-EAGE salt model suggest that this method is useful for confirming the special seismic acquisition geometry layout for target-oriented imaging.
文摘For the high altitude cruising flight phase of a hypersonic cruise missile （HCM）, a relative motion mod- el between the missile and the target is established by defining virtual target and combining the theory of the dif- ferential geometry with missile motion equations. Based on the model, the motion between the missile and the tar- get is considered as a single target differential game problem, and a new open-loop differential game midcourse guidance law （DGMGL） is deduced by solving the corresponding Hamiltonian Function. Meanwhile, a new struc- ture of a closed-loop DGMGL is presented and the training data for back propagation neural network （BPNN） are designed. By combining the theory of BPNN with the open-loop DGMGL obtained above, the law intelligence is realized. Finally, simulation is carried out and the validity of the law is testified.
基金The National Natural Science Foundation of China(No.51278363)
文摘This paper aims to provide a decision-making method for the transportation management strategies in guiding the transformation of trip mode choice during planned special events. The Expo 2010 Shanghai is taken as an example, and a structural equation model is employed to analyze the dynamic mechanism of trip mode choice behavior and the effectiveness of the transportation management measures at different stages. Based on the difference between the objective-oriented stated preference （SP） survey results and the objectives, together with the feedback from the previous stage survey, some adjustments on the transportation management measures are made in the next stage of the planning process until the objectives are eventually achieved. The results indicate that the adjustments on transportation management measures at different stages can effectively raise the transit share to 88.6%. Nonlocal visitors are inclined to choose nonstop modes of transportation and the companion attributes have the most significant effects on the trip mode choices of visitors. The research method is proved to be an effective way to support the decision making process of transportation management measures during planned special events in the future.
文摘The growing complexity of System on Chip （SOC） requres a system level specicanon and design approach. High-level languages such as C＋＋/SystemC can play multiple roles in system design as target languages. There are many practical problems in the application of object-oriented methods for this goal. Based on the analysis of traditional and system-level design methodology, a new object-oriented SOC design methodology with object-oriented design patterns is proposed, which emphasizes high-level design and verification. Aiming at the final goal of developing design patterns specific to SOC design, the reuse of design patterns in SOC systems and the capability of new SOC design patterns are discussed. With the illustration of some concrete examples of SOC design patterns, the application of object-oriented design methodology in the SOC design process is presented.
基金Project supported by the National Basic Research Program (973)of China (No. 2002CB312101)+4 种基金 the National Natural ScienceFoundation of China (No. 60272031) Doctorate Research Foun-dation of the State Education Commission of China (No.20010335049) Zhejiang Provincial Natural Science Foundation ofChina (No. ZD0212)
文摘Classes are key software components in an object-oriented software system. In many industrial OO software systems, there are some classes that have complicated structure and relationships. So in the processes of software maintenance, testing, software reengineering, software reuse and software restructure, it is a challenge for software engineers to understand these classes thoroughly. This paper proposes a class comprehension model based on constructivist learning theory, and implements a software visualization tool (MFV-Class) to help in the comprehension of a class. The tool provides multiple views of class to uncover manifold facets of class contents. It enables visualizing three object-oriented metrics of classes to help users focus on the understanding process. A case study was conducted to evaluate our approach and the toolkit.
文摘This paper derives first order necessary and sufficient conditions for unconstrained coned.c. Programming problems where the underlined space is partially ordered with respect to acone. These conditions are given in terms of directional derivatives and subdifferentials of thecomponent functions. Moreover, conjugate duality for cone d.c. Optimization is discussed andweak duality theorem is proved in a more general partially ordered linear topological vectorspace (generalizing the results in [11]).
