نتایج جستجو برای: combinational system
تعداد نتایج: 2233544 فیلتر نتایج به سال:
In this paper posibility of design and optimization of combinational digital circuits using modified evolutionary algorithm is presented. Modification of evolutionary algorithm depends on introduction of multilayer chromosomes and genetic operators operating on them. Design results for four combinational circuits obtained using this method are compared with described in literature methods: Karn...
The traveling salesman problem (TSP) is one of the most important combinational optimization problems that have nowadays received much attention because of its practical applications in industrial and service problems. In this paper, a hybrid two-phase meta-heuristic algorithm called MACSGA used for solving the TSP is presented. At the first stage, the TSP is solved by the modified ant colony s...
The objective of this study is to explore the influence of current therapeutic recommendations on the prescribing trends of anti-hypertensive drugs in general medical practice in Palestine. Five hundred and seventy four anti-hypertensive prescriptions were analyzed. The percentage of mono-therapy prescriptions was 48.25% and that for combinational therapy prescriptions was 51.75%. Among the mon...
It is known that a class of acyclic sequential circuits called balanced circuits can be tested by combinational ATPG. The first contribution of this paper is a modified and efficient combinational single fault ATPG method for any general (not necessarily balanced) acyclic circuit. Without inserting real hardware, we create a “balanced” ATPG model of the circuit in which all reconverging paths h...
The molecular chaperone heat shock protein 90 (HSP90) facilitates the appropriate folding of various oncogenic proteins and is necessary for the survival of some cancer cells. HSP90 is therefore an attractive drug target, but the efficacy of HSP90 inhibitor may be limited by HSP90 inhibition induced feedback mechanisms. Through pooled RNA interference screens, we identified that heat shock fact...
Formal hardware verification ranges from proving that two combinational circuits compute the same functions to the much more ambitious task of proving that a sequential circuit obeys some abstract property expressed in temporal logic. In tracing the history of work in this area, we find a few efforts in the 1970s and 1980s, with a big increase in verification capabilities the late 1980s up thro...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید