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.展开更多
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.展开更多
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.展开更多
目的探讨基于简化流程图的O-RADS联合ADNEX模型评估中老年女性附件肿瘤良恶性的临床应用。方法选取2018年11月—2022年11月在桂林医学院附属医院行妇科超声检查发现附件肿瘤且行手术治疗的中老年患者95例。根据O-RADS及ADNEX模型对附件...目的探讨基于简化流程图的O-RADS联合ADNEX模型评估中老年女性附件肿瘤良恶性的临床应用。方法选取2018年11月—2022年11月在桂林医学院附属医院行妇科超声检查发现附件肿瘤且行手术治疗的中老年患者95例。根据O-RADS及ADNEX模型对附件肿瘤进行分类,以病理组织学作为金标准,计算出O-RADS、ADNEX模型及两者联合的诊断效能,绘制受试者工作特征(ROC)曲线。结果95例患者中,病理结果恶性46例、良性49例。O-RADS 4、5类诊断附件恶性肿瘤的敏感性、特异性、阳性预测值、阴性预测值分别为93.48%(95%CI:0.811,0.983)、69.39%(95%CI:0.544,0.813)、74.14%、91.89%,ADNEX模型诊断附件肿瘤良恶性的敏感性、特异性、阳性预测值、阴性预测值分别为89.13%(95%CI:0.756,0.959)、79.59%(95%CI:0.652,0.893)、80.39%、88.63%,两者联合诊断附件肿瘤良恶性的敏感性、特异性、阳性预测值、阴性预测值分别为93.48%(95%CI:0.811,0.983)、83.67%(95%CI:0.698,0.922)、84.31%和93.18%。O-RADS、ADNEX模型及其联合诊断附件肿瘤良恶性的曲线下面积分别0.814、0.844、0.871。由2位超声医师运用O-RADS分类诊断的一致性好(κ=0.847,P=0.000),运用O-RADS简化流程图者较颜色编码计分表格者用时更短,分别为42 min 39 s和51 min 3 s。结论O-RADS联合ADNEX模型诊断中老年女性附件肿瘤良恶性的价值较单独使用O-RADS高,不同超声医师使用O-RADS有较高的一致性,且使用简化流程图者可更快速进行分类,值得推广。展开更多
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.展开更多
文摘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.
基金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.
文摘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.
文摘目的探讨基于简化流程图的O-RADS联合ADNEX模型评估中老年女性附件肿瘤良恶性的临床应用。方法选取2018年11月—2022年11月在桂林医学院附属医院行妇科超声检查发现附件肿瘤且行手术治疗的中老年患者95例。根据O-RADS及ADNEX模型对附件肿瘤进行分类,以病理组织学作为金标准,计算出O-RADS、ADNEX模型及两者联合的诊断效能,绘制受试者工作特征(ROC)曲线。结果95例患者中,病理结果恶性46例、良性49例。O-RADS 4、5类诊断附件恶性肿瘤的敏感性、特异性、阳性预测值、阴性预测值分别为93.48%(95%CI:0.811,0.983)、69.39%(95%CI:0.544,0.813)、74.14%、91.89%,ADNEX模型诊断附件肿瘤良恶性的敏感性、特异性、阳性预测值、阴性预测值分别为89.13%(95%CI:0.756,0.959)、79.59%(95%CI:0.652,0.893)、80.39%、88.63%,两者联合诊断附件肿瘤良恶性的敏感性、特异性、阳性预测值、阴性预测值分别为93.48%(95%CI:0.811,0.983)、83.67%(95%CI:0.698,0.922)、84.31%和93.18%。O-RADS、ADNEX模型及其联合诊断附件肿瘤良恶性的曲线下面积分别0.814、0.844、0.871。由2位超声医师运用O-RADS分类诊断的一致性好(κ=0.847,P=0.000),运用O-RADS简化流程图者较颜色编码计分表格者用时更短,分别为42 min 39 s和51 min 3 s。结论O-RADS联合ADNEX模型诊断中老年女性附件肿瘤良恶性的价值较单独使用O-RADS高,不同超声医师使用O-RADS有较高的一致性,且使用简化流程图者可更快速进行分类,值得推广。
文摘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.
