This paper considers the problem of test data generation for the core level verification of micro processors; namely, the problem of constructing a test program on the basis of its abstract form (test tem plate). To solve this problem, we propose an algorithm reducing it to a problem of resolving constraints. This paper addresses the verification of memory handling instructions (taking into acc...

This paper describes the design and testing method of a micro robotic detector. The detector was implemented with capacitors. The chip employs the concept of an ultrasonic rangefinder. The fly can detect and locate objects in all directions easily. The micro robot needs to have this capability. In order to implement this, detectors was built to resemble a “soccer ball”. A robust fabrication pro...

the effect of steel plate thickness on the repair effectiveness of rc beam is presented in this paper. a total of four beams were tested, one beam repaired by cfrp with a thickness of 1.2 mm and used as a control beam, and three beams repaired by a steel plate. steel plates with a thickness of 2 mm, 3 mm, and 4 mm were used in repairing the beams. the maximum load-carrying capacity, deflection ...

evaporation of micro-liter drops from solid surfaces at room condition is mainly governed by diffusion. therefore, there should be no difference between evaporation rate of sessile and pendant drops. however, some studies indicate a difference and explain the difference using buoyancy. the objective here is to reconcile the inconsistency in the literature. for that, first, by comparing two iden...

We numerically investigate the fluid–structure interaction of thin elastic cantilever micro-structures in viscous fluids. The Kirchhoff plate equation describes dynamics structure, and a boundary integral formulation represents fluid flow. show how displacement spectrum structures changes as geometry is altered from narrow beam to wide liquid. For beams, exhibits only few resonance frequencies,...