In this report we revisit the theory introduced in [2]. We formulate it in terms of correlation functions so showing that the introduction of filtering functions is not necessary. We also describe an algorithm of equivalence checking for circuits with a known specification that is based on computation of correlation functions only (no filtering functions are computed).

The purpose of this work was to join and assess the development of solid state joints of dissimilar material AA6082 aluminum alloy and AISI 304 stainless steel, via continuous drive friction welding process, which combines the heat generated from friction between two surfaces and plastic deformation. Tests were conducted with different welding process parameters. The results were analyzed by me...

The dissimilar joint between aluminum/titanium alloys (Al 6082 and Ti G2) were successfully achieved by CO2 laser welding with a single pass and without filler material using the overlap joint design. Laser welding parameters ranges combinations were experimentally determined using Taguchi approach with the objective of producing welded joint with acceptable welding profile and high quality of ...

This paper describes a bitmap approach to clustering and prediction of trends in time-series databases. Similar trend patterns, rather than similar data patterns, are extracted from time-series database. We consider four types of matches: (1) Exact match, (2) Similarity match, (3) Exact match by shift, and (4) Similarity match by shift. Each pair of time-series data may be matched in one of the...

vibration in the air slide tables of ultra precision machines prevents gaining accuracies within nanometer level. in this work, dissimilar types of internal vibration including small vibrations and pneumatic hammers have been tested and some measures have been offered to reduce their effects. this paper has also proceeded to the vibration tests on the air slide tables built with different numbe...