Component-based development needs a well-designed components library and a set of support tools. This paper prasents the design and implementation of a components library system model and its support tool UMLCASE, A s...Component-based development needs a well-designed components library and a set of support tools. This paper prasents the design and implementation of a components library system model and its support tool UMLCASE, A set of practical CASE tools is constructed. UMLCASE can use UML to design Use Case Diagram, Class Diagram etc. And it integrates with components library system. Key words component technology - components library - support tool for components library CLC number TP 311. 52 - TP 311 Foundation item: Supported by the National Natural Science Fundation of China (60373072) and National 973 Program (2002CB312001)Biography: MIAO Huai-kou (1953-), male. Professor, research direction: formal methods, software engineering and automatic reasoning.展开更多
At the present 50 to 100 microseconds are necessary for a liquid crystal to change its state from opacity to clarity; 1.14×10-5 microseconds are however proved to be enough for light to pass through a clarity liq...At the present 50 to 100 microseconds are necessary for a liquid crystal to change its state from opacity to clarity; 1.14×10-5 microseconds are however proved to be enough for light to pass through a clarity liquid crystal device. Rooted from this great difference in time, an optical adder was constructed with parallel through carry lanes (PTCL) composed of liquid crystals. Because all carries in PTCL process in parallel, the carry delay in the ternary optical computer's adder is avoided. Eliminating the carry delay in adder of ternary optical computer by physical means, the PTCL is also applicable for other types of optical adders. Moreover a light diagram of the adder and one PTCL structure are provided.展开更多
Ant colony optimization (ACO for short) is a meta-heuristics for hard combinatorial optimization problems. It is a population-based approach that uses exploitation of positive feedback as well as greedy search. In thi...Ant colony optimization (ACO for short) is a meta-heuristics for hard combinatorial optimization problems. It is a population-based approach that uses exploitation of positive feedback as well as greedy search. In this paper, genetic algorithm's (GA for short) ideas are introduced into ACO to present a new binary-coding based ant colony optimization. Compared with the typical ACO, the algorithm is intended to replace the problem's parameter-space with coding-space, which links ACO with GA so that the fruits of GA can be applied to ACO directly. Furthermore, it can not only solve general combinatorial optimization problems, but also other problems such as function optimization. Based on the algorithm, it is proved that if the pheromone remainder factor rho is under the condition of rho greater than or equal to 1, the algorithm can promise to converge at the optimal, whereas if 0 < rho < 1, it does not.展开更多
文摘Component-based development needs a well-designed components library and a set of support tools. This paper prasents the design and implementation of a components library system model and its support tool UMLCASE, A set of practical CASE tools is constructed. UMLCASE can use UML to design Use Case Diagram, Class Diagram etc. And it integrates with components library system. Key words component technology - components library - support tool for components library CLC number TP 311. 52 - TP 311 Foundation item: Supported by the National Natural Science Fundation of China (60373072) and National 973 Program (2002CB312001)Biography: MIAO Huai-kou (1953-), male. Professor, research direction: formal methods, software engineering and automatic reasoning.
基金supported by the Doctorate Foundation of Northwestern Polytechnical Universitythe Young Scholar Training Foundation of Northwestern Polytechnical University211 Key Laboratory Fund of Shanghai University.
文摘At the present 50 to 100 microseconds are necessary for a liquid crystal to change its state from opacity to clarity; 1.14×10-5 microseconds are however proved to be enough for light to pass through a clarity liquid crystal device. Rooted from this great difference in time, an optical adder was constructed with parallel through carry lanes (PTCL) composed of liquid crystals. Because all carries in PTCL process in parallel, the carry delay in the ternary optical computer's adder is avoided. Eliminating the carry delay in adder of ternary optical computer by physical means, the PTCL is also applicable for other types of optical adders. Moreover a light diagram of the adder and one PTCL structure are provided.
文摘Ant colony optimization (ACO for short) is a meta-heuristics for hard combinatorial optimization problems. It is a population-based approach that uses exploitation of positive feedback as well as greedy search. In this paper, genetic algorithm's (GA for short) ideas are introduced into ACO to present a new binary-coding based ant colony optimization. Compared with the typical ACO, the algorithm is intended to replace the problem's parameter-space with coding-space, which links ACO with GA so that the fruits of GA can be applied to ACO directly. Furthermore, it can not only solve general combinatorial optimization problems, but also other problems such as function optimization. Based on the algorithm, it is proved that if the pheromone remainder factor rho is under the condition of rho greater than or equal to 1, the algorithm can promise to converge at the optimal, whereas if 0 < rho < 1, it does not.
