Using remote method invocation (RMI) and a distributed object-oriented technique, this paper presents a systematic approach to developing a manufacturing execution system (MES) framework, which is open, modularized, d...Using remote method invocation (RMI) and a distributed object-oriented technique, this paper presents a systematic approach to developing a manufacturing execution system (MES) framework, which is open, modularized, distributed, configurable, interoperable and maintainable. Moreover, the design patterns for the framework .are developed and a variety of functional components are designed by inheriting appropriate patterns. And then an application is constructed by invoking corresponding methods of related components. An MES system implementing the framework and design patterns can be facilely integrated with other manufacturing applications, such as enterprise resource planning (ERP) and floor control system (FCS) .展开更多
Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal re...Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation,design process model and design algorithm.The implementing scheme and formal description of feature taxonomy,feature operator,feature model validation and feature transformation are given in the paper.The feature based design process model suited for either sequencial or concurrent engineering is proposed and its application to product structural design and process plan design is presented. Some general design algorithms for developing feature based design system are also addressed.The proposed scheme provides a formal methodology elementary for feature based design system development and operation in a structural way.展开更多
This article is based on the theory of foreign language course design. It mainly introduces and analyzes the methods and mode of foreign language design and also integrates with the practice of foreign language teachi...This article is based on the theory of foreign language course design. It mainly introduces and analyzes the methods and mode of foreign language design and also integrates with the practice of foreign language teaching, the author thinks a competent foreign language teacher should not only be satisfied with inculcating ready-made knowledge, but they should also constantly foster the ability of blazing new trails and try to grasp the theory and methods of course design ,and try to carry out course design according to practice and try to give play to their teaching personality and creativity and to have a bold try and exploration and try to improve the foreign language course and foreign language teaching.展开更多
Inverted batch distillation column(stripper) is opposed to a conventional batch distillation col-umn(rectifier). It has a storage vessel at the top and products leave the column at the bottom. The batch stripper is fa...Inverted batch distillation column(stripper) is opposed to a conventional batch distillation col-umn(rectifier). It has a storage vessel at the top and products leave the column at the bottom. The batch stripper is favourable to separate mixtures with a small amount of light components by removing the heavy components as bottom products. In this paper, we are presenting a shortcut procedure based on our earlier work for design and simulation of the inverted batch distillation column, which is equivalent to the Fenske-Underwood-Gilliland procedure for continuous distillation. Given a separation task, we propose to compute the minimum number of stages(Nbmin) and the minimum reboil ratio(Rbmin) required in a batch stripper,which are the stages and reboil ratio required in a hypothetical inverted batch distillation column operating in total reboil ratio or having an infinite number of stages, respectively. Then, it is shown that the performance of inverted batch columns with a finite number of stages and reboil ratios could be correlated in Gilliland coordinates with the minimum stages Nbmin and the minimum reboil ratio Rbmin.展开更多
Needs analysis is considered a necessary first step in designing ESP courses. This study, therefore, aims at analysing students at the Faculty of Public and Environmental Health （PEH） at the University of Khartoum ...Needs analysis is considered a necessary first step in designing ESP courses. This study, therefore, aims at analysing students at the Faculty of Public and Environmental Health （PEH） at the University of Khartoum （U of K）, Sudan, needs for English language. The study adopted the needs analysis framework suggested by Dudley-Evans and St John （1998） focusing on target needs analysis, present situation analysis, and learning means needs analysis. The study used a questionnaire, a proficiency test, and an interview to collect data. The participants were 490 students at PEH （390 participated in the questionnaire and 100 in the proficiency test） and two professors at the Faculty. The study found that PEH students need English language for academic study. The students rated their proficiency as good, but the test revealed that they were of weak proficiency. All the four skills in addition to vocabulary, grammar, and pronunciation are regarded as important to the students. Similarly, almost all the sub-skills are found to be important. The students have a variety of leaming needs such as learning in pairs, groups, and through ICT. The study recommends that PEH students＇ proficiency should be raised and a course that meets the students＇ needs is needed.展开更多
An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotatio...An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.展开更多
Based on burnout theories and published researches in this field, a survey is done on non-majors＇ college English learning burnout through the methods of questionnaire and interview. A considerable degree of burnout ...Based on burnout theories and published researches in this field, a survey is done on non-majors＇ college English learning burnout through the methods of questionnaire and interview. A considerable degree of burnout is found among freshmen, sophomores, and juniors, regardless of gender, though there are gender differences in different aspects of learning burnout. Insights are drawn from the research data involving such aspects as learner autonomy, teaching style, curriculum design, rapport, modernized facilities, employment awareness, and so on, with an aim to suggest some strategies to overcome learning burnout and improve students＇ language competence. Future research might extend the present study to English majors and attempt a comparison in between.展开更多
This study introduced an automatic authentication technique for checking the genuineness of a vehicle. The rough set-based technique was used to handle the uncertainty arisen from artifacts in the acquired images impr...This study introduced an automatic authentication technique for checking the genuineness of a vehicle. The rough set-based technique was used to handle the uncertainty arisen from artifacts in the acquired images imprinted on a vehicle. However, it has been proved to be NP-hard to find all reductions and the minimal reduction, and generally different heuristic algorithms were used to find a set of reductions and the Ganssian distribution was used to describe the uncertainty to achieve the minimal reduction. On the basis of inductive logic programming, the technique can distinguish between two similar images, as is superior to the conventional pattern-recognition technique being merely capable of classifier. Furthermore, it can avoid some failures of the technique based on the correlation coefficient to authenticate binary image. The experiments show an accuracy rate close to 93. 2%.展开更多
In this paper, a full-order observer which can be fully decoupled from the unknown inputs as the conventional full-order observer does is designed by using auxiliary outputs, but the requirement of the matching condit...In this paper, a full-order observer which can be fully decoupled from the unknown inputs as the conventional full-order observer does is designed by using auxiliary outputs, but the requirement of the matching condition is removed. The procedure of calculating the parameter matrices of the full-order observer is also presented. Compared with the existing auxiliary outputs based sliding-mode observers, the designed observer has a simpler design procedure, which is systematic and does not involve solving linear matrix inequalities. The simulation results show that the proposed method is effective.展开更多
Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the ...Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.展开更多
In order to identify any traces of suspicious activities for the networks security, Network Traffic Analysis has been the basis of network security and network management. With the continued emergence of new applicati...In order to identify any traces of suspicious activities for the networks security, Network Traffic Analysis has been the basis of network security and network management. With the continued emergence of new applications and encrypted traffic, the currently available approaches can not perform well for all kinds of network data. In this paper, we propose a novel stream pattern matching technique which is not only easily deployed but also includes the advantages of different methods. The main idea is： first, defining a formal description specification, by which any series of data stream can be unambiguously descrbed by a special stream pattern; then a tree representation is constructed by parsing the stream pattern; at last, a stream pattern engine is constructed with the Non-t-mite automata （S-CG-NFA） and Bit-parallel searching algorithms. Our stream pattern analysis system has been fully prototyped on C programming language and Xilinx Vn-tex2 FPGA. The experimental results show the method could provides a high level of recognition efficiency and accuracy.展开更多
基金The National Natural Science Foundation of China (59990470).
文摘Using remote method invocation (RMI) and a distributed object-oriented technique, this paper presents a systematic approach to developing a manufacturing execution system (MES) framework, which is open, modularized, distributed, configurable, interoperable and maintainable. Moreover, the design patterns for the framework .are developed and a variety of functional components are designed by inheriting appropriate patterns. And then an application is constructed by invoking corresponding methods of related components. An MES system implementing the framework and design patterns can be facilely integrated with other manufacturing applications, such as enterprise resource planning (ERP) and floor control system (FCS) .
文摘Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation,design process model and design algorithm.The implementing scheme and formal description of feature taxonomy,feature operator,feature model validation and feature transformation are given in the paper.The feature based design process model suited for either sequencial or concurrent engineering is proposed and its application to product structural design and process plan design is presented. Some general design algorithms for developing feature based design system are also addressed.The proposed scheme provides a formal methodology elementary for feature based design system development and operation in a structural way.
文摘This article is based on the theory of foreign language course design. It mainly introduces and analyzes the methods and mode of foreign language design and also integrates with the practice of foreign language teaching, the author thinks a competent foreign language teacher should not only be satisfied with inculcating ready-made knowledge, but they should also constantly foster the ability of blazing new trails and try to grasp the theory and methods of course design ,and try to carry out course design according to practice and try to give play to their teaching personality and creativity and to have a bold try and exploration and try to improve the foreign language course and foreign language teaching.
文摘Inverted batch distillation column(stripper) is opposed to a conventional batch distillation col-umn(rectifier). It has a storage vessel at the top and products leave the column at the bottom. The batch stripper is favourable to separate mixtures with a small amount of light components by removing the heavy components as bottom products. In this paper, we are presenting a shortcut procedure based on our earlier work for design and simulation of the inverted batch distillation column, which is equivalent to the Fenske-Underwood-Gilliland procedure for continuous distillation. Given a separation task, we propose to compute the minimum number of stages(Nbmin) and the minimum reboil ratio(Rbmin) required in a batch stripper,which are the stages and reboil ratio required in a hypothetical inverted batch distillation column operating in total reboil ratio or having an infinite number of stages, respectively. Then, it is shown that the performance of inverted batch columns with a finite number of stages and reboil ratios could be correlated in Gilliland coordinates with the minimum stages Nbmin and the minimum reboil ratio Rbmin.
文摘Needs analysis is considered a necessary first step in designing ESP courses. This study, therefore, aims at analysing students at the Faculty of Public and Environmental Health （PEH） at the University of Khartoum （U of K）, Sudan, needs for English language. The study adopted the needs analysis framework suggested by Dudley-Evans and St John （1998） focusing on target needs analysis, present situation analysis, and learning means needs analysis. The study used a questionnaire, a proficiency test, and an interview to collect data. The participants were 490 students at PEH （390 participated in the questionnaire and 100 in the proficiency test） and two professors at the Faculty. The study found that PEH students need English language for academic study. The students rated their proficiency as good, but the test revealed that they were of weak proficiency. All the four skills in addition to vocabulary, grammar, and pronunciation are regarded as important to the students. Similarly, almost all the sub-skills are found to be important. The students have a variety of leaming needs such as learning in pairs, groups, and through ICT. The study recommends that PEH students＇ proficiency should be raised and a course that meets the students＇ needs is needed.
基金The National Defense Project of China(No417010602)
文摘An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.
文摘Based on burnout theories and published researches in this field, a survey is done on non-majors＇ college English learning burnout through the methods of questionnaire and interview. A considerable degree of burnout is found among freshmen, sophomores, and juniors, regardless of gender, though there are gender differences in different aspects of learning burnout. Insights are drawn from the research data involving such aspects as learner autonomy, teaching style, curriculum design, rapport, modernized facilities, employment awareness, and so on, with an aim to suggest some strategies to overcome learning burnout and improve students＇ language competence. Future research might extend the present study to English majors and attempt a comparison in between.
基金Sponsored by the National High Technology Research and Development Program of China (Grant No. 2003AA1Z2610)
文摘This study introduced an automatic authentication technique for checking the genuineness of a vehicle. The rough set-based technique was used to handle the uncertainty arisen from artifacts in the acquired images imprinted on a vehicle. However, it has been proved to be NP-hard to find all reductions and the minimal reduction, and generally different heuristic algorithms were used to find a set of reductions and the Ganssian distribution was used to describe the uncertainty to achieve the minimal reduction. On the basis of inductive logic programming, the technique can distinguish between two similar images, as is superior to the conventional pattern-recognition technique being merely capable of classifier. Furthermore, it can avoid some failures of the technique based on the correlation coefficient to authenticate binary image. The experiments show an accuracy rate close to 93. 2%.
基金Supported by the National Natural Science Foundation of China(No.61203299)
文摘In this paper, a full-order observer which can be fully decoupled from the unknown inputs as the conventional full-order observer does is designed by using auxiliary outputs, but the requirement of the matching condition is removed. The procedure of calculating the parameter matrices of the full-order observer is also presented. Compared with the existing auxiliary outputs based sliding-mode observers, the designed observer has a simpler design procedure, which is systematic and does not involve solving linear matrix inequalities. The simulation results show that the proposed method is effective.
基金Funded by the Natural Science Foundation of China (No. 50575083)
文摘Axiomatic design (AD) and theory of inventive problem solving (TRIZ) are widely used in conceptual design. Both of them have limitations, however. We presented an integrated model of these two methods to increase the efficiency and quality of the problem solving process for conceptual design. AD is used for systematically defining and structuring a problem into a hierarchy. Sometimes, the design matrix is coupled in AD which indicates the functional requirements are coupled. TRIZ separation principles can be used to separate non-independent design parameters, which provide innovative solutions at each hierarchical level. We applied the integrated model to the heating and drying equipment of bitumen reproduction device. The result verifies that the integrated model can work very well in conceptual design.
基金This work is supported by the following projects： National Natural Science Foundation of China grant 60772136, 111 Development Program of China NO.B08038, National Science ＆ Technology Pillar Program of China NO.2008BAH22B03 and NO. 2007BAH08B01.
文摘In order to identify any traces of suspicious activities for the networks security, Network Traffic Analysis has been the basis of network security and network management. With the continued emergence of new applications and encrypted traffic, the currently available approaches can not perform well for all kinds of network data. In this paper, we propose a novel stream pattern matching technique which is not only easily deployed but also includes the advantages of different methods. The main idea is： first, defining a formal description specification, by which any series of data stream can be unambiguously descrbed by a special stream pattern; then a tree representation is constructed by parsing the stream pattern; at last, a stream pattern engine is constructed with the Non-t-mite automata （S-CG-NFA） and Bit-parallel searching algorithms. Our stream pattern analysis system has been fully prototyped on C programming language and Xilinx Vn-tex2 FPGA. The experimental results show the method could provides a high level of recognition efficiency and accuracy.
