Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal re...Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation,design process model and design algorithm.The implementing scheme and formal description of feature taxonomy,feature operator,feature model validation and feature transformation are given in the paper.The feature based design process model suited for either sequencial or concurrent engineering is proposed and its application to product structural design and process plan design is presented. Some general design algorithms for developing feature based design system are also addressed.The proposed scheme provides a formal methodology elementary for feature based design system development and operation in a structural way.展开更多
Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a no...Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized List)is proposed,which is based on the general-list decomposition of polynomials,with three different weights and manipulation rules introduced to effect node sharing and the canonicity.Timing parameters and operations on them are also considered.Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits.The model is proved to be a uniform and efficient model for both bit-level and word-level functions.Then based on the WGL model,a backward-construction verification approach is proposed,which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than O(n3.6)and space complexity is less than O(n1.5))without hierarchical partitioning.Both the model and the verification method show their theoretical and applicable significance in IC design.展开更多
A new concept of rare axis based on statistical facts is proposed, and an evaluation algorithm is designed thereafter. For the nested regular expressions containing rare axes, the proposed algorithm can reduce its eva...A new concept of rare axis based on statistical facts is proposed, and an evaluation algorithm is designed thereafter. For the nested regular expressions containing rare axes, the proposed algorithm can reduce its evaluation complexity from polynomial time to nearly linear time. The distributed technique is also employed to construct the navigation axis indexes for resource description framework(RDF) graph data. Experiment results in Drug Bank and Bio GRID show that this method can improve the query efficiency significantly while ensuring the accuracy and meet the query requirements on Web-scale RDF graph data.展开更多
With the rapid development of modern high-tech, human society is advancing towards the information age. The advent of Intemet technology has brought mankind a new communication experience, and it makes communication b...With the rapid development of modern high-tech, human society is advancing towards the information age. The advent of Intemet technology has brought mankind a new communication experience, and it makes communication between people undergo a fimdamental change. Today＇ s information and communication has broken the traditional way, storage, use and exchange of information are all inseparable from the network, the platform. Network development is affecting all aspects of human behavior and production life. In network technology, web interface design is a very important part. Web interface design is inseparable from the visual arts, both in mutual integration and the overall design, so that the web interface has the aesthetic appeal of the visual arts and the humanities connotation. Due to the development of network technology, people also put forward higher requirements for web design. Web interface design should not only reflect the excellent content, but also create one of the most intuitive visual arts presentation form. This text will begin from a Web page design and production, analyzed and studied its visual art elements to achieve a reasonable and beautiful web interface.展开更多
This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are giv...This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control.Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure.Then sufficient condition for the feedback control case is obtained,and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations.Numerical examples are also provided to illustrate the proposed control design.展开更多
文摘Feature based design has been regarded as a promising approach for CAD/CAM integration.This paper aims to establish a domain independent representation formalism for feature based design in three aspects: formal representation,design process model and design algorithm.The implementing scheme and formal description of feature taxonomy,feature operator,feature model validation and feature transformation are given in the paper.The feature based design process model suited for either sequencial or concurrent engineering is proposed and its application to product structural design and process plan design is presented. Some general design algorithms for developing feature based design system are also addressed.The proposed scheme provides a formal methodology elementary for feature based design system development and operation in a structural way.
基金Sponsored by the National Natural Science Foundation of China(Grant No.69973014and60273081)the Natural Science Foundation of Heilongjiang Province(Grant No.F0209)HEU Foundation(Grant No.HEUF04088).
文摘Formal verification is playing a significant role in IC design.However,the common models for verification either have their complexity problems or have applicable limitations.In order to overcome the deficiencies,a novel model-WGL(Weighted Generalized List)is proposed,which is based on the general-list decomposition of polynomials,with three different weights and manipulation rules introduced to effect node sharing and the canonicity.Timing parameters and operations on them are also considered.Examples show the word-level WGL is the only model to linearly represent the common word-level functions and the bit-level WGL is especially suitable for arithmetic intensive circuits.The model is proved to be a uniform and efficient model for both bit-level and word-level functions.Then based on the WGL model,a backward-construction verification approach is proposed,which reduces time and space complexity for multipliers to polynomial complexity(time complexity is less than O(n3.6)and space complexity is less than O(n1.5))without hierarchical partitioning.Both the model and the verification method show their theoretical and applicable significance in IC design.
基金Supported by the National Natural Science Foundation of China(No.61373035 and No.61100049)National High Technology Research and Development Program of China("863"Program,No.2013AA013204)+1 种基金Fundamental Research Funds for the Central Universities(No.3122014C018 and 3122015C022)Scientific Research Funds Supported by Civil Aviation University of China(No.09QD02X)
文摘A new concept of rare axis based on statistical facts is proposed, and an evaluation algorithm is designed thereafter. For the nested regular expressions containing rare axes, the proposed algorithm can reduce its evaluation complexity from polynomial time to nearly linear time. The distributed technique is also employed to construct the navigation axis indexes for resource description framework(RDF) graph data. Experiment results in Drug Bank and Bio GRID show that this method can improve the query efficiency significantly while ensuring the accuracy and meet the query requirements on Web-scale RDF graph data.
文摘With the rapid development of modern high-tech, human society is advancing towards the information age. The advent of Intemet technology has brought mankind a new communication experience, and it makes communication between people undergo a fimdamental change. Today＇ s information and communication has broken the traditional way, storage, use and exchange of information are all inseparable from the network, the platform. Network development is affecting all aspects of human behavior and production life. In network technology, web interface design is a very important part. Web interface design is inseparable from the visual arts, both in mutual integration and the overall design, so that the web interface has the aesthetic appeal of the visual arts and the humanities connotation. Due to the development of network technology, people also put forward higher requirements for web design. Web interface design should not only reflect the excellent content, but also create one of the most intuitive visual arts presentation form. This text will begin from a Web page design and production, analyzed and studied its visual art elements to achieve a reasonable and beautiful web interface.
基金supported by the National Natural Science Foundation of China under Grant No.61174071
文摘This paper addresses the synchronization problem of Boolean networks.Based on the matrix expression of logic,solvability conditions and design procedures of the synchronization of Boolean networks with outputs are given for both open-loop and feedback control.Necessary and sufficient conditions on open-loop control are proposed first with a constructive design procedure.Then sufficient condition for the feedback control case is obtained,and corresponding design procedure is proposed with the help of algorithms to solve logic matrix equations.Numerical examples are also provided to illustrate the proposed control design.
