摘要：Aspect-oriented modeling can uncover potential design faults, yet most existing work fails to achieve both separation and composition in a natural and succinct way. This study presents an aspect-oriented modeling and analysis approach with hierarchical Coloured Petri Nets(HCPN). HCPN has sub-models and well-defined semantics combining a set of submodels. These two characteristics of HCPN are nicely integrated into aspect oriented modeling. Submodels are used to model aspects while the combination mechanism contributes to aspects weaving. Furthermore, the woven aspect oriented HCPN model can be simulated and analyzed by the CPN Tools. A systematic web application case study is conducted. The results show the system original properties are satisfied after weaving aspects and all design flaws are revealed. As such, the approach can support web application design and analysis in an aspect-oriented fashion concisely and effectively.

摘要：Space syntax has proven there appears to be a fundamental process that informs human and social usage of an environ- ment, and the effects of spatial configuration on movement patterns are consistent with a model of individual decision behavior. In- troducing space syntax to crowd simulation will enable space structure guide the random movement of the crowd with no specific targets. This paper proposes a simulation method of the wandering crowd, which calculates the crowd distribution corresponding to the space through space syntax and uses a hybrid path planning algorithm to dynamically navigate the crowd to conform to the dis- tribution. Experiments show the presented method can obtain reasonable and vision-realistic simulation results.

摘要：Engineering-oriented constraint of harness technology has much information and project information presents progressive changes along with the design. Therefore, how to handle conflict resolution quickly is a problem to be solved. Process model of con- flict detection is put forward according to characteristics of harness technology design engineering-oriented constraint, and then two problems of how to conduct conflict positioning and judgment of constraint rules are introduced in this paper. Afterwards in this pa- per, constraint information directed acyclic graph is established by classified project constraint information to solve the conflict posi- tioning problem; solution of constraint satisfaction problem is applied to realize judgment problem of constraint rules. Finally, exam- ple is used to analyze the method in this paper to further verify the correctness and effectiveness of this method.

摘要：By studying the core algorithm of a three-dimensional discrete wavelet transform(3-D DWT)in depth,this paper divides it into three one-dimensional discrete wavelet transforms(1-D DWTs).Based on the implementation of a 3-D DWT software,a parallel architecture design of a very large-scale integration(VLSI)is *** needs three dual-port random-access memory(RAM)to store the temporary results and transpose the matrix,then builds up a pipeline model composed of the three 1-D *** the design,the finite state machine(FSM)is used well to control the *** with the serial mode,the experimental results of the post synthesized simulation show that the design method is correct and *** can increase the processing speed by about 66%,work at 59 MHz,and meet the real-time needs of the video encoder.

摘要：In future high-capacity wavelength division multiplexed(WDM)optical networks,the failure of a network component such as a fiber link can lead to severe disruption in the networks’***,it is imperatively important to provide fast and full protection in WDM optical *** this paper,we propose a new approach,called shared preconfigured protection cycles(shared-p-cycles),for the design of survivable WDM *** develop an integer linear program(ILP)formulation to solve the problem of shared-p-cycles design for WDM networks with and without wavelength *** results show that the shared-p-cycles design is more efficient in the use of spare capacity and requires much less spare capacity than the conventional pcycles design.

摘要：In this paper, an efficient technique for optimal design of digital infinite impulse response （IIR） filter with minimum passband error （ep）, minimum stopband error （es）, high stopband attenuation （As）, and also free from limit cycle effect is proposed using cuckoo search （CS） algorithm. In the proposed method, error function, which is multi-model and non-differentiable in the heuristic surface, is constructed as the mean squared difference between the designed and desired response in frequency domain, and is optimized using CS algorithm. Computational efficiency of the proposed technique for exploration in search space is examined, and during exploration, stability of filter is maintained by considering lattice representation of the denominator polynomials, which requires less computational complexity as well as it improves the exploration ability in search space for designing higher filter taps. A comparative study of the proposed method with other algorithms is made, and the obtained results show that 90% reduction in errors is achieved using the proposed method. However, computational complexity in term of CPU time is increased as compared to other existing algorithms.

摘要：The electromagnetic balance head is used for balancing the electric spindle. This paper analyzes the internal structure of the electromagnetic balance head and introduces the structure of the counterweight plate and the range of the balance in the moving *** principle of how the electromagnetic field generated by the static coil acts on the moving ring is also investigated. The model is built in Ansoft Maxwell and the excitation parameters and boundary conditions are set up. Through the analysis of the magnetic field generated by the static coil in the position of the moving ring, it is verified that the static loop coil can drive the counterweight plate.

摘要：Parameterization of triangle meshes is a fundamental problem for texture mapping, surface fitting, surface reconstruction, and mesh editing. The deformation of triangular meshes caused by the parameterized process is the measurement of parameterization Traditional standard method has its limitation when evaluating mixture distortion energy parameterizations. Thus an evaluation method bases on distortion energy parameterization of triangular meshes is introduced for the limitation. The novel method employs an adaptive expression form to the mixture energy, and uses a weight factor to represent distortion energy distribution. By using this method, we can evaluate all kinds ofparameterization in a uniform measurement and acquire a more intuitive and clear evaluation.

摘要：Pair Programming (PP) that has gained extensive focus within pedagogical and industrial environments is a programming practice in which two programmers use the same computer to work together on analysis, design, and programming of the same segment of code. Distributed Pair Programming (DPP) system is a programming system to aid two programmers, the driver and the navigator, to finish a common task such as analysis, design and programming on the same software from different locations. This paper first reviews the existing DPP tools and discusses the interaction and coordination mechanism in DPP process. By means of activity theory and language-action theory, some basic requirements of the DPP system are presented. Then, a design framework of such system and functions of each sub-system are deeply analyzed. Finally, a system prototype is implemented by plug-in style in Microsoft Visual Studio environment.

摘要：Mobile platform develops rapidly in recent years, with its performance and capacity increasing. A large number of virtual reality applications such as 3D simulation and visualization have appeared on mobile platform. However, due to restrictions, such as the lack of computing resources and the limited network bandwidth, the virtual reality systems on mobile platform could not have comparable performance as their peers on desktop platform. Taking resource restrictions into consideration, trade-offs have been made regarding the display of virtual reality systems. We propose a unified network scheduling strategy based on asynchronous multi-thread, database cache, prioritization and elimination of overdue requests. This strategy has been tested on the prototype system of virtual reality system on Android. The results demonstrate higher network resource utilization and better user experience.