Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flo...Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flowchart and generate code,but they do not check whether a given flowchart is correct or structural. For unstructured error ‘goto'statements will be generated randomly. We proposed three algorithms and some error recognition criteria to solve those problems. Structure recognition algorithm can recognize Selection,While/for and do-while structures. Error recognition algorithm incorporating criteria can check all the errors. At last,we develop a CG-SFC system,and compared with existing Rhapsody,it shows that the proposed algorithms are correct and effective.展开更多
It is of great significance to automatically generate code from structured flowchart. There are some deficiencies in existing researches, and their key algorithms and technologies are not elaborated, also there are ve...It is of great significance to automatically generate code from structured flowchart. There are some deficiencies in existing researches, and their key algorithms and technologies are not elaborated, also there are very few full-featured integrated development platforms that can generate code automatically based on structured flowchart. By analyzing the characteristics of structured flowchart, a structure identification algorithm for structured flowchart is put forward. The correctness of algorithm is verified by enumeration iteration. Then taking the identified flowchart as input, an automatic code generation algorithm is proposed. Also the correctness is verified by enumeration iteration. Finally an integrated development platform is developed using those algorithms, including flowchart modeling, code automatic generation, CDT\GCC\GDB etc. The correctness and effectiveness of algorithms proposed are verified through practical operations.展开更多
We present a new approach to the synthesis of quantum automata. In previous research, reversible quantum automata were designed from tabular specifications or state graphs, and minimum length codes, which lead to circ...We present a new approach to the synthesis of quantum automata. In previous research, reversible quantum automata were designed from tabular specifications or state graphs, and minimum length codes, which lead to circuits with Toffoli gates with high numbers of inputs and thus to high quantum costs. This paper is the first to present a method to synthesize Sequential Quantum Circuits directly from flowcharts. In this paper, we directly map flowcharts to reversible/quantum circuits, using only inverters, 2*2 Feynman gates and 3*3 Toffoli gates, and thus reducing quantum costs. Our method has been confirmed by experiments on several benchmarks of practical flowcharts.展开更多
In the process of SINOPEC exploring the global market and establishing overseas operations,there are lots of primary questions proposed for the management committee to determine.As for Purchasing is an important depar...In the process of SINOPEC exploring the global market and establishing overseas operations,there are lots of primary questions proposed for the management committee to determine.As for Purchasing is an important department and about seventy percent of the total corporate spending will go through the purchasing system.It is necessary to make clear some questions such as how to build the purchasing/supply system;what and how many departments should be included,what position the purchasing department should be in the corporation and what the relationships should be among the purchasing department and other departments and so on.There is also growing interest at the executive level in the purchasing management process and greater recognition of the importance of the purchaser and the material flow process on an organization's ability to achieve its strategic goals and objectives.In this article,we try to find out some answers by researching from the purchasing flow chart and the relationship among the Purchasing Department with Engineering,Legal,Accounting and Quality Control to the position of purchasing in the organization.展开更多
Based on the multi-body kinematics principle, the topological structure and restriction relation among parts of machine tool and 3D multi-body model are constructed, the kinematics simulation system of machine tool is...Based on the multi-body kinematics principle, the topological structure and restriction relation among parts of machine tool and 3D multi-body model are constructed, the kinematics simulation system of machine tool is developed. The designer can observe the movement and machining course of the whole machine tool and understand accurately the kinematics parameters of components such as position, velocity and acceleration. Also the designer can estimate the pose of components in the virtual circumstance and forecast accurately and correct problems which may appear during the design before the prototype is manufactured to assure the feasibility of design scheme, shorten period of product design and reduce product cost. The simulation system is used during the design of CK1416 high speed and precision numerical control lathe. The curves of ball screw angular velocity and carriage displacement agree well with the results of theoretical calculation and the constructed model is correct.展开更多
Based on the case-based designing (CBD), it is presented that the similarity of the fixtures is described by the fixture information of workpiece and the structure information of feature. Then, the computer-aided fixt...Based on the case-based designing (CBD), it is presented that the similarity of the fixtures is described by the fixture information of workpiece and the structure information of feature. Then, the computer-aided fixture design system is created on case-based reasoning (CBR), in which the attributes information of the main features of workpiece and structure of fixture as case index code are designed for the retrieve of the similar cases, and the structure and hierarchical relation of case library are set up for store. Meanwhile, the algorithm based on the knowledge-guided in the retrieve of the similar cases, the strategy of case adaptation and case storage in which the case identification number is used to distinguish from similar cases are presented. The application of the system in some projects improves the design efficiency and gets a good result.展开更多
基金Sponsored by the National Natural Science Foundation of China(Grant No.61402131)the China Postdoctoral Science Foundation(Grant No.2014M551245,2016T90293)+1 种基金the Heilongjiang Postdoctoral Science Foundation(Grant No.LBH-Z13105)the Fundamental Research Funds for the Central Universities(Grant No.HIT.NSRIF.201651)
文摘Structured flowchart( SFC) and Automatic code generation based on SFC( CG-SFC) have been widely used in software requirements,design and testing phases. Some CG-SFC tools such as Rhapsody have the ability to build flowchart and generate code,but they do not check whether a given flowchart is correct or structural. For unstructured error ‘goto'statements will be generated randomly. We proposed three algorithms and some error recognition criteria to solve those problems. Structure recognition algorithm can recognize Selection,While/for and do-while structures. Error recognition algorithm incorporating criteria can check all the errors. At last,we develop a CG-SFC system,and compared with existing Rhapsody,it shows that the proposed algorithms are correct and effective.
文摘It is of great significance to automatically generate code from structured flowchart. There are some deficiencies in existing researches, and their key algorithms and technologies are not elaborated, also there are very few full-featured integrated development platforms that can generate code automatically based on structured flowchart. By analyzing the characteristics of structured flowchart, a structure identification algorithm for structured flowchart is put forward. The correctness of algorithm is verified by enumeration iteration. Then taking the identified flowchart as input, an automatic code generation algorithm is proposed. Also the correctness is verified by enumeration iteration. Finally an integrated development platform is developed using those algorithms, including flowchart modeling, code automatic generation, CDT\GCC\GDB etc. The correctness and effectiveness of algorithms proposed are verified through practical operations.
文摘We present a new approach to the synthesis of quantum automata. In previous research, reversible quantum automata were designed from tabular specifications or state graphs, and minimum length codes, which lead to circuits with Toffoli gates with high numbers of inputs and thus to high quantum costs. This paper is the first to present a method to synthesize Sequential Quantum Circuits directly from flowcharts. In this paper, we directly map flowcharts to reversible/quantum circuits, using only inverters, 2*2 Feynman gates and 3*3 Toffoli gates, and thus reducing quantum costs. Our method has been confirmed by experiments on several benchmarks of practical flowcharts.
文摘In the process of SINOPEC exploring the global market and establishing overseas operations,there are lots of primary questions proposed for the management committee to determine.As for Purchasing is an important department and about seventy percent of the total corporate spending will go through the purchasing system.It is necessary to make clear some questions such as how to build the purchasing/supply system;what and how many departments should be included,what position the purchasing department should be in the corporation and what the relationships should be among the purchasing department and other departments and so on.There is also growing interest at the executive level in the purchasing management process and greater recognition of the importance of the purchaser and the material flow process on an organization's ability to achieve its strategic goals and objectives.In this article,we try to find out some answers by researching from the purchasing flow chart and the relationship among the Purchasing Department with Engineering,Legal,Accounting and Quality Control to the position of purchasing in the organization.
文摘Based on the multi-body kinematics principle, the topological structure and restriction relation among parts of machine tool and 3D multi-body model are constructed, the kinematics simulation system of machine tool is developed. The designer can observe the movement and machining course of the whole machine tool and understand accurately the kinematics parameters of components such as position, velocity and acceleration. Also the designer can estimate the pose of components in the virtual circumstance and forecast accurately and correct problems which may appear during the design before the prototype is manufactured to assure the feasibility of design scheme, shorten period of product design and reduce product cost. The simulation system is used during the design of CK1416 high speed and precision numerical control lathe. The curves of ball screw angular velocity and carriage displacement agree well with the results of theoretical calculation and the constructed model is correct.
基金TheNationalHighTechnologyResearchandDevelopmentProgramofChina ( 863Program ) (No .2 0 0 2AA4110 3 0 ) ,theNaturalScientificResearchProgramCollegeofUniversityofJiangsuProvince (No .0 3KJD5 2 0 2 46)
文摘Based on the case-based designing (CBD), it is presented that the similarity of the fixtures is described by the fixture information of workpiece and the structure information of feature. Then, the computer-aided fixture design system is created on case-based reasoning (CBR), in which the attributes information of the main features of workpiece and structure of fixture as case index code are designed for the retrieve of the similar cases, and the structure and hierarchical relation of case library are set up for store. Meanwhile, the algorithm based on the knowledge-guided in the retrieve of the similar cases, the strategy of case adaptation and case storage in which the case identification number is used to distinguish from similar cases are presented. The application of the system in some projects improves the design efficiency and gets a good result.
