constants and sets (types). Moreover, the interface MI itself may be parameterised with the constant id, which is used as an unique identifier for a module instance within the interface. All such data structures become module parameters that can be instantiated when a module is imported. The concrete values or constraints needed for module instantiation are supplied within the USES clause of th...

In the present paper, by considering the notion of MV-modules which is the structure that naturally correspond to lu-modules over lu-rings, we prove some results on prime A-ideals and state some conditions to obtain a prime A-ideal in MV-modules. Also, we state some conditions that an A-ideal is not prime and investigate conditions that $Ksubseteq bigcup _{i=1}^{n}K_{i}$ implies $Ksubseteq K_{j...

Abstract This paper proposes 3D stacked module consisting of image sensor and digital logic dies connected through inductive coupling channels. Evaluation of a prototype module revealed radiation noise from the inductive coils to the image sensor is less than 0.4-LSB range along with ADC code, i.e., negligible. Aiming at high frame rate image sensor/processing module exploiting this attractive ...

in this paper rst we de ne the notions of positive implicativehyper mv -ideals of types 1,2,3 and 4 in hyper mv -algebras and we investigatethe relationship between of them . then by some examples we show that thesenotions are not equivalent. finally we give some relations between these notionsand the notions of (weak) hyper mv -ideals and (weak) hyper mv -deductivesystems of hyper mv -algebras.

Suppressing the leakage current in memories is critical in low-power design. By reducing the standby supply voltage (VDD) to its limit, which is the data retention voltage (DRV), leakage power can be substantially reduced. This paper models the DRV of a standard low leakage SRAM module as a function of process and design parameters, and analyzes the SRAM cell stability when VDD approaches DRV. ...

in this paper we characterize hyper mv -algebras in which 0 or1 are scalar elements . we prove that any nite hyper mv -algebra that 0is a scaler element in it, is an mv -algebra. finally we characterize hypermv -algebras of order 2 and order 3.

A prototype superconducting accelerator module housing six 176 MHz half wave resonators and three superconducting solenoids is currently under production at ACCEL as part of a 40 MeV linear accelerator at the SOREQ NRC [1]. The module will accelerate protons and deuterons from energy of 1.5 MeV/u up to 6.5 MeV. The design is based on a peak electric field of 25 MV/m and maximum 10 W of power di...