Implementing Outlines for the Chinese Environmental Labeling Program Byawarding certificates and labels to related manufacturers in accordance with certain environmentallabeling standards, environmental labeling, also...Implementing Outlines for the Chinese Environmental Labeling Program Byawarding certificates and labels to related manufacturers in accordance with certain environmentallabeling standards, environmental labeling, also called ''Green Label''or ''Eco-label'', certifies viagovernmental departments or public and private organizations that the whole process of producing,using, recalling and disposing of manufacturers'' products is in compliance with certainenvironmental requirements. Many countries are establishing and promoting environmental labelingplans. Environmental labeling, as an important promotion means for prevention and control ofpollution in a market-oriented manner, is being extended and developed constantly across the world.展开更多
The loop invariants take a very important role in the design,proof and derivation of the algorithmic program.We point out the limitations of the traditional standard strategy for developing loop invariants, and propos...The loop invariants take a very important role in the design,proof and derivation of the algorithmic program.We point out the limitations of the traditional standard strategy for developing loop invariants, and propose two new strategies for proving the existing algorithmic program and developing new ones. The strategies use recurrence as vehicle and integrate some effective methods of designing algorithms, e.g.Dynamic Programming,Greedy and Divide Conquer,into the recurrence relation of problem solving sequence.This lets us get straightforward an approach for solving a variety of complicated prob- lems,and makes the standard proof and formal derivation of their algorithmic programs possible.We show the method and advantages of applying the strategies with several typical nontrivial examples.展开更多
文摘Implementing Outlines for the Chinese Environmental Labeling Program Byawarding certificates and labels to related manufacturers in accordance with certain environmentallabeling standards, environmental labeling, also called ''Green Label''or ''Eco-label'', certifies viagovernmental departments or public and private organizations that the whole process of producing,using, recalling and disposing of manufacturers'' products is in compliance with certainenvironmental requirements. Many countries are establishing and promoting environmental labelingplans. Environmental labeling, as an important promotion means for prevention and control ofpollution in a market-oriented manner, is being extended and developed constantly across the world.
基金Research supported by the National Natural Science Foundation of China.
文摘The loop invariants take a very important role in the design,proof and derivation of the algorithmic program.We point out the limitations of the traditional standard strategy for developing loop invariants, and propose two new strategies for proving the existing algorithmic program and developing new ones. The strategies use recurrence as vehicle and integrate some effective methods of designing algorithms, e.g.Dynamic Programming,Greedy and Divide Conquer,into the recurrence relation of problem solving sequence.This lets us get straightforward an approach for solving a variety of complicated prob- lems,and makes the standard proof and formal derivation of their algorithmic programs possible.We show the method and advantages of applying the strategies with several typical nontrivial examples.
