Gas extraction is one of the main measures of control and use of gas of coal mines. At present, the design method is under the experimental period and do not satisfy the need of practice. In this paper, the theory of ...Gas extraction is one of the main measures of control and use of gas of coal mines. At present, the design method is under the experimental period and do not satisfy the need of practice. In this paper, the theory of gas extraction of coal seams based upon Darcy law was studied. Mathematical model of gas extraction of coal seams was established and two kinds of solv- ing approaches based on computer software and linear approximation were given. The rightness and the validities of the model were examined with a practical example. Results obtained can be used to determine and optimize the parameters related etc.展开更多
Software process is a framework for effective and timely delivery of software system. The framework plays a crucial role for software success. However, the development of large-scale software still faces the crisis of...Software process is a framework for effective and timely delivery of software system. The framework plays a crucial role for software success. However, the development of large-scale software still faces the crisis of high risks, low quality, high costs and long cycle time. This paper proposed a three-phase parallel-pipelining software process model for improving speed and productivity, and reducing software costs and risks without sacrificing software quality. In this model, two strategies were presented. One strategy, based on subsystem-cost priority, was used to prevent software development cost wasting and to reduce software complexity as well; the other strategy, used for balancing subsystem complexity, was designed to reduce the software complexity in the later development stages. Moreover, the proposed function-detailed and workload-simplified subsystem pipelining software process model presents much higher parallelity than the concurrent incremental model. Finally, the component-based product line technology not only ensures software quality and further reduces cycle time, software costs, and software risks but also sufficiently and rationally utilizes previous software product resources and enhances the competition ability of software development organizations.展开更多
Since the complex impeller structure and the difficult remanufacturing process may easily cause advance remanufacturing or excessive use,an optimized design method of impeller and service mapping model was presented f...Since the complex impeller structure and the difficult remanufacturing process may easily cause advance remanufacturing or excessive use,an optimized design method of impeller and service mapping model was presented for its proactive remanufacturing with setting up to explore the best remanufacturing time point in this work.Considering a certain model of long distance pipeline compressor impeller with the Basquin equation and the design method of impeller,the mathematical relationship between the changes of structure and life of the impeller was established.And the service mapping model between the structure and life was set up and simulated by ANSYS software.Thus,the service mapping model was applied to feedback the original design for proactive remanufacturing.In this work,the best proactive remanufacturing time point of impeller was analyzed with the service mapping model,and the structural parameter values could be optimized at this time point.Meanwhile,in the results of this simulation,it proves that the impeller under this optimization performance could satisfy the impeller operating demands.Therefore,comparing with the traditional optimization design method,the remanufacturing optimized design based on the service mapping model is feasible in proactive remanufacturing for sustainable development.展开更多
Linux has a special feature of automount in the Linux kernel. Filesystem can be mounted and unmounted automatically. Its performance is similar to MS Windows. It works well under demands of more saving resources and a...Linux has a special feature of automount in the Linux kernel. Filesystem can be mounted and unmounted automatically. Its performance is similar to MS Windows. It works well under demands of more saving resources and automatization, like memory of system. An approach to install/update software automatically on embedded platform was proposed. This approach derives from above feature based on embedded environment with Linux OS. Configurations of files related to this feature were introduced. An example in practice was given to realize this approach from universal serial bus (USB) memory disk when USB disk is available.展开更多
In this study, the engine suspension system was optimized for making the vibration between engine and car body minimized, and also the optimization was simulated using software Adams. The purpose of this study was to ...In this study, the engine suspension system was optimized for making the vibration between engine and car body minimized, and also the optimization was simulated using software Adams. The purpose of this study was to research the vibration isolation of the engine mounting system and implement multi-objective optimization for the intrinsic frequency. In this paper, the optimization was implemented in two ways： （1） the intrinsic frequency was optimized by reasonably allocating it： （2） the intrinsic frequency was optimized using energy decoupling. The optimized intrinsic frequencies were simulated using software Adams and then the simulation results were compared. The simulation results showed that the optimized energy distribution was almost up to 90% and the decoupling degree was greatly improved by comparing the initial data, proving the optimized data played a geater effect on engine vibration isolation and further verifying the feasibility of optimization design method.展开更多
The introduction of information technology and computers in the design process enables easier, faster and more accurate design of welding technology, as well as higher quality, repeatability and traceability of proces...The introduction of information technology and computers in the design process enables easier, faster and more accurate design of welding technology, as well as higher quality, repeatability and traceability of processes. This paper presents the modeling of welded construction maintenance activities by IDEF0 （Integration DEFinition） methodology. Modeling maintenance activities on a welded construction using IDEF0 methodology, the software implementation of which is the BPWin （Business Process windows） CASE （Computer Aided Software Engineering） tool, allows functional decomposition and design at all levels of the system that consists of workers, machines, materials, computers and information.展开更多
The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded ...The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.展开更多
Recently, some new characteristics of complex networks attract the attentions of scientist, in different fields, and lead to many kinds of emerging research directions. So far, most of the researcl work has been limit...Recently, some new characteristics of complex networks attract the attentions of scientist, in different fields, and lead to many kinds of emerging research directions. So far, most of the researcl work has been limited in discovery of complex network characteristics by structure analysis in large-scale software systems. This paper presents the theoretical basis, design method, algorithms and experiment results of the research. It firstly emphasizes the significance of design method of evolution growth for network topology of Object Oriented （OO） software systems, and argues that the selection and modulation of network models with various topology characteristics will bring un-ignorable effect on the process, of design and implementation of OO software systems. Then we analyze the similar discipline of ＂negation of negation and compromise＂ between the evolution of network models with different topology characteristics and the development of software modelling methods. According to the analysis of the growth features of software patterns, we propose an object-oriented software network evolution growth method and its algorithms in succession. In addition, we also propose the parameter systems for OO software system metrics based on complex network theory. Based on these parameter systems, it can analyze the features of various nodes, links and local-world, modulate the network topology and guide the software metrics. All these can be helpful to the detailed design, implementation and performance analysis. Finally, we focus on the application of the evolution algorithms and demonstrate it by a case study. Comparing the results from our early experiments with methodologies in empirical software engineering, we believe that the proposed software engineering design method is a computational software engineering approach based on complex network theory. We argue that this method should be greatly beneficial for the design, implementation, modulation and metrics of functionality, structure and performance in large-scale OO software complex system.展开更多
文摘Gas extraction is one of the main measures of control and use of gas of coal mines. At present, the design method is under the experimental period and do not satisfy the need of practice. In this paper, the theory of gas extraction of coal seams based upon Darcy law was studied. Mathematical model of gas extraction of coal seams was established and two kinds of solv- ing approaches based on computer software and linear approximation were given. The rightness and the validities of the model were examined with a practical example. Results obtained can be used to determine and optimize the parameters related etc.
文摘Software process is a framework for effective and timely delivery of software system. The framework plays a crucial role for software success. However, the development of large-scale software still faces the crisis of high risks, low quality, high costs and long cycle time. This paper proposed a three-phase parallel-pipelining software process model for improving speed and productivity, and reducing software costs and risks without sacrificing software quality. In this model, two strategies were presented. One strategy, based on subsystem-cost priority, was used to prevent software development cost wasting and to reduce software complexity as well; the other strategy, used for balancing subsystem complexity, was designed to reduce the software complexity in the later development stages. Moreover, the proposed function-detailed and workload-simplified subsystem pipelining software process model presents much higher parallelity than the concurrent incremental model. Finally, the component-based product line technology not only ensures software quality and further reduces cycle time, software costs, and software risks but also sufficiently and rationally utilizes previous software product resources and enhances the competition ability of software development organizations.
基金Project(2011CB013406)supported by National Basic Research Program of ChinaProjects(51305119,51375133)supported by National Natural Science Foundation of China
文摘Since the complex impeller structure and the difficult remanufacturing process may easily cause advance remanufacturing or excessive use,an optimized design method of impeller and service mapping model was presented for its proactive remanufacturing with setting up to explore the best remanufacturing time point in this work.Considering a certain model of long distance pipeline compressor impeller with the Basquin equation and the design method of impeller,the mathematical relationship between the changes of structure and life of the impeller was established.And the service mapping model between the structure and life was set up and simulated by ANSYS software.Thus,the service mapping model was applied to feedback the original design for proactive remanufacturing.In this work,the best proactive remanufacturing time point of impeller was analyzed with the service mapping model,and the structural parameter values could be optimized at this time point.Meanwhile,in the results of this simulation,it proves that the impeller under this optimization performance could satisfy the impeller operating demands.Therefore,comparing with the traditional optimization design method,the remanufacturing optimized design based on the service mapping model is feasible in proactive remanufacturing for sustainable development.
文摘Linux has a special feature of automount in the Linux kernel. Filesystem can be mounted and unmounted automatically. Its performance is similar to MS Windows. It works well under demands of more saving resources and automatization, like memory of system. An approach to install/update software automatically on embedded platform was proposed. This approach derives from above feature based on embedded environment with Linux OS. Configurations of files related to this feature were introduced. An example in practice was given to realize this approach from universal serial bus (USB) memory disk when USB disk is available.
文摘In this study, the engine suspension system was optimized for making the vibration between engine and car body minimized, and also the optimization was simulated using software Adams. The purpose of this study was to research the vibration isolation of the engine mounting system and implement multi-objective optimization for the intrinsic frequency. In this paper, the optimization was implemented in two ways： （1） the intrinsic frequency was optimized by reasonably allocating it： （2） the intrinsic frequency was optimized using energy decoupling. The optimized intrinsic frequencies were simulated using software Adams and then the simulation results were compared. The simulation results showed that the optimized energy distribution was almost up to 90% and the decoupling degree was greatly improved by comparing the initial data, proving the optimized data played a geater effect on engine vibration isolation and further verifying the feasibility of optimization design method.
文摘The introduction of information technology and computers in the design process enables easier, faster and more accurate design of welding technology, as well as higher quality, repeatability and traceability of processes. This paper presents the modeling of welded construction maintenance activities by IDEF0 （Integration DEFinition） methodology. Modeling maintenance activities on a welded construction using IDEF0 methodology, the software implementation of which is the BPWin （Business Process windows） CASE （Computer Aided Software Engineering） tool, allows functional decomposition and design at all levels of the system that consists of workers, machines, materials, computers and information.
基金supported by the National Natural Science Foundation of China under GrantsNo.61173048,No.61103115
文摘The formal modelling and verification method has become an effective way of improving the reliability and correctness of complex,safety-critical embedded systems.Statecharts are widely used to formally model embedded applications,but they do not realise the reasonable separation of system concerns,which would result in code scattering and tangling.Aspect-Oriented Software Development(AOSD)technology could separate crosscutting concerns from core concerns and identify potential problems in the early phase of the software development life cycle.Therefore,the paper proposes aspect-oriented timed statecharts(extended timed statecharts with AOSD)to separately model base functional requirements and other requirements(e.g.,scheduling,error handling),thereby improving the modularity and development efficiency of embedded systems.Furthermore,the dynamic behaviours of embedded systems are simulated and analysed to determine whether the model satisfies certain properties(e.g.,liveness,safety)described by computation tree logic formulae.Finally,a given case demonstrates some desired properties processed with respect to the aspect-oriented timed statecharts model.
基金Supported by the National Natural Science Foundation of China under Grant No.60373086IS0/IEC SC32 Standardization Project No.1.32.22.01.03.00+3 种基金"Tenth Five-Year Plan"National Key Project of Science and Technology under Grant No.2002BA906A21Hubei Province Key Project under Grant No.2004AA103A02Wuhan City Key Project under Grant No.200210020430pen Foundation of SKLSE under Grant No.SKLSE05-19.
文摘Recently, some new characteristics of complex networks attract the attentions of scientist, in different fields, and lead to many kinds of emerging research directions. So far, most of the researcl work has been limited in discovery of complex network characteristics by structure analysis in large-scale software systems. This paper presents the theoretical basis, design method, algorithms and experiment results of the research. It firstly emphasizes the significance of design method of evolution growth for network topology of Object Oriented （OO） software systems, and argues that the selection and modulation of network models with various topology characteristics will bring un-ignorable effect on the process, of design and implementation of OO software systems. Then we analyze the similar discipline of ＂negation of negation and compromise＂ between the evolution of network models with different topology characteristics and the development of software modelling methods. According to the analysis of the growth features of software patterns, we propose an object-oriented software network evolution growth method and its algorithms in succession. In addition, we also propose the parameter systems for OO software system metrics based on complex network theory. Based on these parameter systems, it can analyze the features of various nodes, links and local-world, modulate the network topology and guide the software metrics. All these can be helpful to the detailed design, implementation and performance analysis. Finally, we focus on the application of the evolution algorithms and demonstrate it by a case study. Comparing the results from our early experiments with methodologies in empirical software engineering, we believe that the proposed software engineering design method is a computational software engineering approach based on complex network theory. We argue that this method should be greatly beneficial for the design, implementation, modulation and metrics of functionality, structure and performance in large-scale OO software complex system.
