Generalized Symbolic Trajectory Evaluation (GSTE) is an alternative model checking technique based on particular automata to specify the properties. Despite the success of GSTE, its state explosion remains a major hur...
详细信息
Generalized Symbolic Trajectory Evaluation (GSTE) is an alternative model checking technique based on particular automata to specify the properties. Despite the success of GSTE, its state explosion remains a major hurdle when applying it to large industrial designs. This paper presents two efficient theoretical underpinning abstraction algorithms based on assertion graph to combat the state explosion problem. We implement these two algorithms as a prototype system for discrete models. Experimental results show that the prototype system is 10x faster than the former without abstraction.
A set of simple indexed combinators and an associated linear abstraction algorithm are presented, allowing to translate a combinator expression into a combinator code containing no variables, in such a way that the le...
详细信息
A set of simple indexed combinators and an associated linear abstraction algorithm are presented, allowing to translate a combinator expression into a combinator code containing no variables, in such a way that the length of the generated code is less than twice the length of the original expression in the usual case. The key idea of this algorithm is to operate globally on all variables during the whole abstraction process. This set of combinators is intended for practical use as a reduction machine instruction set.
A fast algorithm is presented for translating lambda expressions to combinator trees with BC-chains. The time complexity of this algorithm is O (n log n) in the worst case, where n is the length of an input expression...
详细信息
A fast algorithm is presented for translating lambda expressions to combinator trees with BC-chains. The time complexity of this algorithm is O (n log n) in the worst case, where n is the length of an input expression. Furthermore it requires only O (n log n) working space. This result achieves a substantial improvement to the previously known algorithm having the quadratic complexity. The basic idea of the algorithm may be applied to practical processing systems, whether they use BC-chains or not.
The traditional method to keep drawings in Architectural Design Institute is that the paper drawings are archived artificially for management. However, these paper drawings are vulnerable to such problems as being ill...
详细信息
ISBN:
(纸本)9781467344975
The traditional method to keep drawings in Architectural Design Institute is that the paper drawings are archived artificially for management. However, these paper drawings are vulnerable to such problems as being illegible, missing and others. This system is designed in line with the requirements of design institute in drawing document management and boasts the following advantages: overcoming the drawbacks arising from traditional drawing management, making the best of computer network resources, and keeping drawing document in electronic form. With respect to the system security, the abstraction algorithm is adopted for encryption of data;as for the management of approval procedure, the workflow technology is used to accomplish a more secure conservation of drawing, index easier, normative and scientific management.
The paper presents a method for onboard-diagnosis which combines a model-based diagnostic scheme with a qualitative modelling approach. It is shown how a qualitative model which represents the qualitative, discrete-ev...
详细信息
The paper presents a method for onboard-diagnosis which combines a model-based diagnostic scheme with a qualitative modelling approach. It is shown how a qualitative model which represents the qualitative, discrete-event behaviour of the system can be set up in a systematic way by abstraction or by qualitative identification. Experimental results are given for the qualitative modelling and fault detection of a Common-Rail diesel injection system.
The traditional method to keep drawings in Architectural Design Institute is that the paper drawings are archived artificially for management. However, these paper drawings are vulnerable to such problems as being ill...
详细信息
ISBN:
(纸本)9781467344975
The traditional method to keep drawings in Architectural Design Institute is that the paper drawings are archived artificially for management. However, these paper drawings are vulnerable to such problems as being illegible, missing and others. This system is designed in line with the requirements of design institute in drawing document management and boasts the following advantages: overcoming the drawbacks arising from traditional drawing management, making the best of computer network resources, and keeping drawing document in electronic form. With respect to the system security, the abstraction algorithm is adopted for encryption of data;as for the management of approval procedure, the workflow technology is used to accomplish a more secure conservation of drawing, index easier, normative and scientific management.
暂无评论