期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
Solving Multi-Objective Linear Programming Problem by Statistical Averaging Method with the Help of Fuzzy Programming Method
1
作者 Samsun Nahar Marin Akter Md. Abdul Alim 《American Journal of Operations Research》 2023年第2期19-32,共14页
A multi-objective linear programming problem is made from fuzzy linear programming problem. It is due the fact that it is used fuzzy programming method during the solution. The Multi objective linear programming probl... A multi-objective linear programming problem is made from fuzzy linear programming problem. It is due the fact that it is used fuzzy programming method during the solution. The Multi objective linear programming problem can be converted into the single objective function by various methods as Chandra Sen’s method, weighted sum method, ranking function method, statistical averaging method. In this paper, Chandra Sen’s method and statistical averaging method both are used here for making single objective function from multi-objective function. Two multi-objective programming problems are solved to verify the result. One is numerical example and the other is real life example. Then the problems are solved by ordinary simplex method and fuzzy programming method. It can be seen that fuzzy programming method gives better optimal values than the ordinary simplex method. 展开更多
关键词 Fuzzy programming method Fuzzy Linear programming Problem Multi-Objective Linear programming Problem Statistical Averaging method New Statistical Averaging method
下载PDF
Set Programming Method and Performance Improvement of Phase Change Random Access Memory Arrays
2
作者 范茜 陈后鹏 +6 位作者 王倩 王月青 吕士龙 刘燕 宋志棠 冯高明 刘波 《Chinese Physics Letters》 SCIE CAS CSCD 2015年第6期184-187,共4页
A novel slow-down set waveform is proposed to improve the set performance and a 1 kb phase change random access memory chip fabricated with a 13nm CMOS technology is implemented to investigate the set performance by d... A novel slow-down set waveform is proposed to improve the set performance and a 1 kb phase change random access memory chip fabricated with a 13nm CMOS technology is implemented to investigate the set performance by different set programming strategies based on this new set pulse. The amplitude difference (I1 - I2) of the set pulse is proved to be a crucial parameter for set programming. We observe and analyze the cell characteristics with different I1 - I2 by means of thermal simulations and high-resolution transmission electron microscopy, which reveal that an incomplete set programming will occur when the proposed slow-down pulse is set with an improperly high I1 - I2. This will lead to an amorphous residue in the active region. We also discuss the programming method to avoid the set performance degradations. 展开更多
关键词 PCRAM Set programming method and Performance Improvement of Phase Change Random Access Memory Arrays
下载PDF
A COMBINED PARAMETRIC QUADRATIC PROGRAMMING AND PRECISE INTEGRATION METHOD BASED DYNAMIC ANALYSIS OF ELASTIC-PLASTIC HARDENING/SOFTENING PROBLEMS 被引量:3
3
作者 张洪武 张新伟 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 2002年第6期638-648,共11页
The objective of the paper is to develop a new algorithm for numerical solution of dynamic elastic-plastic strain hardening/softening problems. The gradient dependent model is adopted in the numerical model to overcom... The objective of the paper is to develop a new algorithm for numerical solution of dynamic elastic-plastic strain hardening/softening problems. The gradient dependent model is adopted in the numerical model to overcome the result mesh-sensitivity problem in the dynamic strain softening or strain localization analysis. The equations for the dynamic elastic-plastic problems are derived in terms of the parametric variational principle, which is valid for associated, non-associated and strain softening plastic constitutive models in the finite element analysis. The precise integration method, which has been widely used for discretization in time domain of the linear problems, is introduced for the solution of dynamic nonlinear equations. The new algorithm proposed is based on the combination of the parametric quadratic programming method and the precise integration method and has all the advantages in both of the algorithms. Results of numerical examples demonstrate not only the validity, but also the advantages of the algorithm proposed for the numerical solution of nonlinear dynamic problems. 展开更多
关键词 precise integration method parametric quadratic programming method strain localization strain softening dynamic response
下载PDF
SEQUENTIAL CONVEX PROGRAMMING METHODS FOR SOLVING LARGE TOPOLOGY OPTIMIZATION PROBLEMS: IMPLEMENTATION AND COMPUTATIONAL RESULTS
4
作者 Qin Ni Ch.Zillober K.Schittkowski 《Journal of Computational Mathematics》 SCIE EI CSCD 2005年第5期491-502,共12页
In this paper, we describe a method to solve large-scale structural optimization problems by sequential convex programming (SCP). A predictor-corrector interior point method is applied to solve the strictly convex s... In this paper, we describe a method to solve large-scale structural optimization problems by sequential convex programming (SCP). A predictor-corrector interior point method is applied to solve the strictly convex subproblems. The SCP algorithm and the topology optimization approach are introduced. Especially, different strategies to solve certain linear systems of equations are analyzed. Numerical results are presented to show the efficiency of the proposed method for solving topology optimization problems and to compare different variants. 展开更多
关键词 Large scale optimization Topology optimization Sequential convex programming method Predictor-corrector interior point method method of moving asymptotes
原文传递
Modified Exact Jacobian Semidefinite Programming Relaxation for Celis-Dennis-Tapia Problem
5
作者 赵馨 孔汕汕 《Journal of Donghua University(English Edition)》 CAS 2023年第1期96-104,共9页
A modified exact Jacobian semidefinite programming(SDP)relaxation method is proposed in this paper to solve the Celis-Dennis-Tapia(CDT)problem using the Jacobian matrix of objective and constraining polynomials.In the... A modified exact Jacobian semidefinite programming(SDP)relaxation method is proposed in this paper to solve the Celis-Dennis-Tapia(CDT)problem using the Jacobian matrix of objective and constraining polynomials.In the modified relaxation problem,the number of introduced constraints and the lowest relaxation order decreases significantly.At the same time,the finite convergence property is guaranteed.In addition,the proposed method can be applied to the quadratically constrained problem with two quadratic constraints.Moreover,the efficiency of the proposed method is verified by numerical experiments. 展开更多
关键词 Celis-Dennis-Tapia(CDT)problem quadratically constrained problem with two quadratic constraints semidefinite programming(SDP)relaxation method
下载PDF
BLOCK PIVOT METHODS FOR SOLVING FRICTIONAL CONTACT PROBLEMS
6
作者 陈万吉 陈国庆 冯恩民 《Acta Mechanica Sinica》 SCIE EI CAS CSCD 1995年第1期51-58,共8页
Based on elementary group theory, the block pivot methods for solving two-dimensional elastic frictional contact problems are presented in this paper. It is proved that the algorithms converge within a finite number o... Based on elementary group theory, the block pivot methods for solving two-dimensional elastic frictional contact problems are presented in this paper. It is proved that the algorithms converge within a finite number of steps when the friction coefficient is ''relative small''. Unlike most mathematical programming methods for contact problems, the block pivot methods permit multiple exchanges of basic and nonbasic variables. 展开更多
关键词 ELASTIC FRICTIONAL CONTACT TRIAL AND ERROR method MATHEMATICAL programming method BLOCK PIVOT method CONVERGENCE
下载PDF
A NEW METHOD FOR SOLUTION OF 3D ELASTIC-PLASTIC FRICTIONAL CONTACT PROBLEMS
7
作者 张洪武 钟万勰 顾元宪 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2001年第7期756-765,共10页
The solution of 3 D elastic-plastic frictional contact problems belongs to the un specified boundary problems where the interaction between two kinds of nonlinearities should occur. Considering the difficulties for th... The solution of 3 D elastic-plastic frictional contact problems belongs to the un specified boundary problems where the interaction between two kinds of nonlinearities should occur. Considering the difficulties for the solution of 3 D frictional contact problems, the key part is the determination of the tangential slip states at the contact points, and a great amount of computing work is needed for a high accuracy result. A new method based on a combination of programming and iteration methods, which are respectively known as two main kinds of methods for contact analysis, was put forward to deal with 3 D elastic-plastic contact problems. Numerical results demonstrate the efficiency of the algorithm illustrated here. 展开更多
关键词 3D frictional contact ELASTO-PLASTICITY programming method iteration method the finite element method
下载PDF
PARAMETRIC VARIATIONAL PRINCIPLE BASED ELASTIC-PLASTIC ANALYSIS OF HETEROGENEOUS MATERIALS WITH VORONOI FINITE ELEMENT METHOD
8
作者 张洪武 王辉 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2006年第8期1037-1047,共11页
The Voronoi cell finite element method (VCFEM) is adopted to overcome the limitations of the classic displacement based finite element method in the numerical simulation of heterogeneous materials. The parametric va... The Voronoi cell finite element method (VCFEM) is adopted to overcome the limitations of the classic displacement based finite element method in the numerical simulation of heterogeneous materials. The parametric variational principle and quadratic programming method are developed for elastic-plastic Voronoi finite element analysis of two-dimensional problems. Finite element formulations are derived and a standard quadratic programming model is deduced from the elastic-plastic equations. Influence of microscopic heterogeneities on the overall mechanical response of heterogeneous materials is studied in detail. The overall properties of heterogeneous materials depend mostly on the size, shape and distribution of the material phases of the microstructure. Numerical examples are presented to demonstrate the validity and effectiveness of the method developed. 展开更多
关键词 Voronoi finite element parametric variational principle quadratic programming method
下载PDF
Program evaluation and its application to equipment based on super-efficiency DEA and gray relation projection method 被引量:4
9
作者 Linbing Tang Dong Guo +1 位作者 Jie Wu Qingmei Tan 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2014年第6期1037-1042,共6页
For the gray attributes of the equipment program and its difficulty to carry out the quantitative assessment of the equipment program information, the gray relation projection method is simply reviewed. Combining the ... For the gray attributes of the equipment program and its difficulty to carry out the quantitative assessment of the equipment program information, the gray relation projection method is simply reviewed. Combining the super-data envelopment analysis(DEA) model and the gray system theory, a new super-DEA for measuring the weight is proposed, and a gray relation projection model is established to rank the equipment programs. Finally, this approach is used to evaluate the equipment program. The results are verified valid and can provide a new way for evaluating the equipment program. 展开更多
关键词 index weight discriminate coefficient gray relation projection method program evaluation
下载PDF
Motor relearning program and Bobath method improve motor function of the upper extremities in patients with stroke 被引量:2
10
作者 Jinjing Liu Fengsheng Li Guihua Liu 《Neural Regeneration Research》 SCIE CAS CSCD 2006年第9期850-852,共3页
BACKGROUND: In the natural evolution of cerebrovascular disease, unconscious use of affected extremity during drug treatment and daily life can improve the function of affected upper extremity partially, but it is ver... BACKGROUND: In the natural evolution of cerebrovascular disease, unconscious use of affected extremity during drug treatment and daily life can improve the function of affected upper extremity partially, but it is very slow and also accompanied by the formation of abnormal mode. Therefore, functional training should be emphasized in recovering the motor function of extremity. OBJECTIVE: To observe the effects of combination of motor relearning program and Bobath method on motor function of upper extremity of patients with stroke. DESIGN: Comparison of therapeutic effects taking stroke patients as observation subjects. SETTING: Department of Neurology, General Hospital of Beijing Jingmei Group. PARTICIPANTS: Totally 120 stroke patients, including 60 males and 60 females, averaged (59±3) years, who hospitalized in the Department of Neurology, General Hospital of Beijing Jingmei Group between January 2005 and June 2006 were recruited. The involved patients met the following criteria: Stroke attack within 2 weeks; diagnosis criteria of cerebral hemorrhage or infarction made in the 4th National Cerebrovascular Disease Conference; confirmed by skull CT or MRI; Informed consents of therapeutic regimen were obtained. The patients were assigned into 2 groups according to their wills: rehabilitation group and control group, with 30 males and 30 females in each group. Patients in rehabilitation group averaged (59±2)years old, and those in the control group averaged (58±2)years old. METHODS: ① Patients in two groups received routine treatment in the Department of Neurology. When the vital signs of patients in the rehabilitation group were stable, individualized treatment was conducted by combined application of motor relearning program and Bobath method. Meanwhile, training of activity of daily living was performed according to the disease condition changes of patients at different phases, including the nursing and instruction of body posture, the maintenance of good extremity position, bed exercise, bedside sit up and sitting position balance, sit up exercise, dynamic and static balance exercise, walking exercise, active training and passive training. The strength, time and speed of training were increased gradually according to their physical abilities. Patients were trained 45 to 60 minutes once, 5 times a week, within 2 weeks. ② Evaluation criteria of therapeutic effect: The motor function of upper extremity was evaluated by Fugl-Meyer method on the day of beginning and end of treatment. Higher points indicated better function of upper extremity. ③ t test and paired t test were used for comparing the difference of intergroup and intragroup measurement data, respectively. MAIN OUTCOME MEASURES: Changes in Fugl-Meyer scoring of two groups before and after treatment. RESULTS: Totally 120 stroke patients participated in the final analysis. Before treatment, Fugl-Meyer scoring was close between rehabilitation group and control group [(14.47±2.38),(14.16±2.39) points, P > 0.05]; Fugl-Meyer scoring of rehabilitation group after treatment was significantly higher than that before treatment and that of control group[(37.93±2.67),(18.36±2.43) points, t =11.053, 5.408, P < 0.01]; There were no significant differences in Fugl-Meyer scoring between before treatment in the control group and control group (P > 0.05). CONCLUSION: Combined application of motor relearning program and Bobath method can significantly improve the motor function of upper extremity of patients with stroke. 展开更多
关键词 Motor relearning program and Bobath method improve motor function of the upper extremities in patients with stroke
下载PDF
Discrete differential evolution algorithm for integer linear bilevel programming problems 被引量:1
11
作者 Hong Li Li Zhang Yongchang Jiao 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2016年第4期912-919,共8页
A discrete differential evolution algorithm combined with the branch and bound method is developed to solve the integer linear bilevel programming problems, in which both upper level and lower level variables are forc... A discrete differential evolution algorithm combined with the branch and bound method is developed to solve the integer linear bilevel programming problems, in which both upper level and lower level variables are forced to be integer. An integer coding for upper level variables is adopted, and then a discrete differential evolution algorithm with an improved feasibility-based comparison is developed to directly explore the integer solution at the upper level. For a given upper level integer variable, the lower level integer programming problem is solved by the existing branch and bound algorithm to obtain the optimal integer solution at the lower level. In the same framework of the algorithm, two other constraint handling methods, i.e. the penalty function method and the feasibility-based comparison method are also tested. The experimental results demonstrate that the discrete differential evolution algorithm with different constraint handling methods is effective in finding the global optimal integer solutions, but the improved constraint handling method performs better than two compared constraint handling methods. 展开更多
关键词 discrete linear bilevel programming problem discrete differential evolution constraint handling method branch and bound algorithm
下载PDF
Proportional Fairness-Based Energy-Efficient Power Allocation in Downlink MIMO-NOMA Systems with Statistical CSI 被引量:5
12
作者 Yonghai Lin Zhen Yang Haiyan Guo 《China Communications》 SCIE CSCD 2019年第12期47-55,共9页
In this paper, proportional fairness(PF)-based energy-efficient power allocation is studied for multiple-input multiple-output(MIMO) non-orthogonal multiple access(NOMA) systems. In our schemes, statistical channel st... In this paper, proportional fairness(PF)-based energy-efficient power allocation is studied for multiple-input multiple-output(MIMO) non-orthogonal multiple access(NOMA) systems. In our schemes, statistical channel state information(CSI) is utilized for perfect CSI is impossible to achieve in practice. PF is used to balance the transmission efficiency and user fairness. Energy efficiency(EE) is formulated under basic data rate requirements and maximum transmitting power constraints. Due to the non-convex nature of EE, a two-step algorithm is proposed to obtain sub-optimal solution with a low complexity. Firstly, power allocation is determined by golden section search for fixed power. Secondly total transmitting power is determined by fractional programming method in the feasible regions. Compared to the performance of MIMO-NOMA without PF constraint, fairness is obtained at expense of decreasing of EE. 展开更多
关键词 MIMO-NOMA energy efficiency proportional fairness fractional programming method golden section search
下载PDF
Dynamic Positioning Capability Analysis for Marine Vessels Based on A DPCap Polar Plot Program 被引量:2
13
作者 WANG Lei YANG Jian-min XU Sheng-wen 《China Ocean Engineering》 SCIE EI CSCD 2018年第1期90-98,共9页
Dynamic positioning capability(DPCap) analysis is essential in the selection of thrusters, in their configuration, and during preliminary investigation of the positioning ability of a newly designed vessel dynamic pos... Dynamic positioning capability(DPCap) analysis is essential in the selection of thrusters, in their configuration, and during preliminary investigation of the positioning ability of a newly designed vessel dynamic positioning system.DPCap analysis can help determine the maximum environmental forces, in which the DP system can counteract in given headings. The accuracy of the DPCap analysis is determined by the precise estimation of the environmental forces as well as the effectiveness of the thrust allocation logic. This paper is dedicated to developing an effective and efficient software program for the DPCap analysis for marine vessels. Estimation of the environmental forces can be obtained by model tests, hydrodynamic computation and empirical formulas. A quadratic programming method is adopted to allocate the total thrust on every thruster of the vessel. A detailed description of the thrust allocation logic of the software program is given. The effectiveness of the new program DPCap Polar Plot(DPCPP)was validated by a DPCap analysis for a supply vessel. The present study indicates that the developed program can be used in the DPCap analysis for marine vessels. Moreover, DPCap analysis considering the thruster failure mode might give guidance to the designers of vessels whose thrusters need to be safer. 展开更多
关键词 DPCap analysis thrust allocation logic quadratic programming method
下载PDF
PARAMETRIC VARIATIONAL PRINCIPLE BASED ELASTIC-PLASTIC ANALYSIS OF COSSERAT CONTINUUM 被引量:2
14
作者 Zhang Hongwu Wang Hui Chen Biaosong Xie Zhaoqian 《Acta Mechanica Solida Sinica》 SCIE EI 2007年第1期65-74,共10页
A new algorithm is developed based on the parametric variational principle for elastic-plastic analysis of Cosserat continuum. The governing equations of the classic elastic-plastic problem are regularized by adding r... A new algorithm is developed based on the parametric variational principle for elastic-plastic analysis of Cosserat continuum. The governing equations of the classic elastic-plastic problem are regularized by adding rotational degrees of freedom to the conventional translational degrees of freedom in conventional continuum mechanics. The parametric potential energy princi- ple of the Cosserat theory is developed, from which the finite element formulation of the Cosserat theory and the corresponding parametric quadratic programming model are constructed. Strain localization problems are computed and the mesh independent results are obtained. 展开更多
关键词 Cosserat model parametric variational principle quadratic programming method strain localization
下载PDF
NON-INTERIOR SMOOTHING ALGORITHM FOR FRICTIONAL CONTACT PROBLEMS 被引量:1
15
作者 张洪武 何素艳 李兴斯 《Applied Mathematics and Mechanics(English Edition)》 SCIE EI 2004年第1期47-58,共12页
A new algorithm for solving the three-dimensional elastic contact problem with friction is presented. The algorithm is a non-interior smoothing algorithm based on an NCP-function. The parametric variational principle ... A new algorithm for solving the three-dimensional elastic contact problem with friction is presented. The algorithm is a non-interior smoothing algorithm based on an NCP-function. The parametric variational principle and parametric quadratic programming method were applied to the analysis of three-dimensional frictional contact problem. The solution of the contact problem was finally reduced to a linear complementarity problem, which was reformulated as a system of nonsmooth equations via an NCP-function. A smoothing approximation to the nonsmooth equations was given by the aggregate function. A Newton method was used to solve the resulting smoothing nonlinear equations. The algorithm presented is easy to understand and implement. The reliability and efficiency of this algorithm are demonstrated both by the numerical experiments of LCP in mathematical way and the examples of contact problems in mechanics. 展开更多
关键词 three-dimensional frictional contact problem parametic quadratic programming method linear complementarity problem NCP-function aggregate function non-interior smoothing algorithm
下载PDF
SVM CLASSIFICATION:ITS CONTENTS AND CHALLENGES 被引量:4
16
作者 YueShihong LiPing HaoPeiyi 《Applied Mathematics(A Journal of Chinese Universities)》 SCIE CSCD 2003年第3期332-342,共11页
SVM (support vector machines) have become an increasingly popular tool for machine learning tasks involving classification,regression or novelty detection.In particular,they exhibit good generalization performance on ... SVM (support vector machines) have become an increasingly popular tool for machine learning tasks involving classification,regression or novelty detection.In particular,they exhibit good generalization performance on many real issues and the approach is properly motivated theoretically.There are relatively a few free parameters to adjust and the architecture of the learning machine does not need to be found by experimentation.In this paper,survey of the key contents on this subject,focusing on the most well-known models based on kernel substitution,namely SVM,as well as the activated fields at present and the development tendency,is presented. 展开更多
关键词 kernel methods mathematical programming SVM
下载PDF
Penalty model for delay of bidding section construction period in South-to-North Water Diversion Eastern Route Project from perspective of programs 被引量:2
17
作者 Jing-chun FENG Ya-fang REN +2 位作者 Zhong-nan DUAN Zhan-jun LIU Hai-yang LI 《Water Science and Engineering》 EI CAS 2012年第3期350-360,共11页
According to the multi-project and program management theory, this paper analyzes the program generation principle and establishes a program based on progress goals. On the basis of the present situation of calculatio... According to the multi-project and program management theory, this paper analyzes the program generation principle and establishes a program based on progress goals. On the basis of the present situation of calculation of penalty for delay of the bidding section construction period with the critical path method, we studied the effects of contractor-induced delay of the bidding section construction period in detail, including the effects on the construction period of the bidding section itself, the earliest start times of the next bidding section and other subsequent bidding sections, and the construction period of the program, and then constructed a penalty model for delay of the bidding section construction period from the perspective of programs. Using the penalty model, we conducted a practical analysis of penalty for delay of the construction period of the Baoying station program in the South-to-North Water Diversion Project. The model can help determine the amount of penalty for delay of the construction period in bidding sections scientifically and reasonably, 展开更多
关键词 program establishment program management bidding section construction period critical path method (CPM) penaly model South-to-North Water Diversion Project
下载PDF
Parallel power system restoration planning using heuristic initialization and discrete evolutionary programming 被引量:3
18
作者 Dian Najihah ABU TALIB Hazlie MOKHLIS +1 位作者 Mohamad Sofian ABU TALIP Kanendra NAIDU 《Journal of Modern Power Systems and Clean Energy》 SCIE EI 2017年第6期991-1003,共13页
This paper proposes a sectionalizing planning for parallel power system restoration after a complete system blackout.Parallel restoration is conducted in order to reduce the total restoration process time.Physical and... This paper proposes a sectionalizing planning for parallel power system restoration after a complete system blackout.Parallel restoration is conducted in order to reduce the total restoration process time.Physical and operation knowledge of the system,operating personnel experience,and computer simulation are combined in this planning to improve the system restoration and serve as a guidance for system operators/planners.Sectionalizing planning is obtained using discrete evolutionary programming optimization method assisted by heuristic initialization and graph theory approach.Set of transmission lines that should not be restored during parallel restoration process(cut set)is determined in order to sectionalize the system into subsystems or islands.Each island with almost similar restoration time is set as an objective function so as to speed up the resynchronization of the islands.Restoration operation and constraints(black start generator availability,load-generation balance and maintaining acceptable voltage magnitude within each island)is also takeninto account in the course of this planning.The method is validated using the IEEE 39-bus and 118-bus system.Promising results in terms of restoration time was compared to other methods reported in the literature. 展开更多
关键词 Sectionalizing planning Parallel power system restoration Graph theory Heuristic initialization Discrete evolutionary programming(DEP)optimization method
原文传递
A BRANCH BOUND METHOD FOR SUBSET SUM PROBLEM 被引量:1
19
作者 吴士泉 《Acta Mathematicae Applicatae Sinica》 SCIE CSCD 1994年第3期302-314,共13页
This paper indicates the possible difficulties for applying the interior point method to NPcomplete problems,transforms an NP-complete problem into a nonconvex quadratic program and then develops some convexity theori... This paper indicates the possible difficulties for applying the interior point method to NPcomplete problems,transforms an NP-complete problem into a nonconvex quadratic program and then develops some convexity theories for it. Lastly it proposes an algorithm which uses Karmarkar's algorithm as a subroutine. The finite convergence of this algorithm is also proved. 展开更多
关键词 Subset sum problem nonconvex quadratic program convex envelope interior point method
原文传递
A Unified Approach for Developing EfficientAlgorithmic Programs 被引量:48
20
作者 薛锦云 《Journal of Computer Science & Technology》 SCIE EI CSCD 1997年第4期314-329,共16页
A unified approach called partition-and-recur for developing efficient and correct algorithmic programs is presented. An algorithm (represented by recurrence and initiation) is separated from program, and special att... A unified approach called partition-and-recur for developing efficient and correct algorithmic programs is presented. An algorithm (represented by recurrence and initiation) is separated from program, and special attention is paid to algorithm manipulation rather than program calculus. An algorithm is exactly a set of mathematical formulae. It is easier for formal derivation and proof. After getting efficient and correct algorithm, a trivial transformation is used to get a final program. The approach covers several known algorithm design techniques, e.g. dynamic programming, greedy, divide-and-conquer and enumeration, etc. The techniques of partition and recurrence are not new. Partition is a general approach for dealing with complicated objects and is typically used in divide-and-conquer approach. Recurrence is used in algorithm analysis, in developing loop invariants and dynamic programming approach. The main contribution is combining two techniques used in typical algorithm development into a unified and systematic approach to develop general efficient algorithmic programs and presenting a new representation of algorithm that is easier for understanding and demonstrating the correctness and ingenuity of algorithmic programs. 展开更多
关键词 programming method algorithm design method correctness of algorithmic program recurrence relation loop invariant.
原文传递
上一页 1 2 下一页 到第
使用帮助 返回顶部