نتایج جستجو برای: hybrid bi

تعداد نتایج: 236111  

Journal: :Journal of biochemistry 2009
Yoichi Osada Toshiro Sunatani In-San Kim Yoshinobu Nakanishi Akiko Shiratsuchi

Class B scavenger receptor type I (SR-BI) is a phosphatidylserine (PS)-recognizing receptor of testicular Sertoli cells responsible for the phagocytosis of spermatogenic cells undergoing apoptosis. Here, we determined signal mediators that compose a signalling pathway for SR-BI-induced phagocytosis. Results of a yeast two-hybrid analysis and a cell-free binding assay indicated that SR-BI binds ...

In this paper, two methods named distance and triangle methods are extended to evaluate the quality of approximation of the Pareto set from solving bi-objective problems. In order to use evaluation methods, a bi-objective problem is needed to define. It is considered the problem of scheduling jobs in a hybrid flow shop environment with sequence-dependent setup times and the objectives of minimi...

2015
ZHE KANG

-With the rapid development of Internet, the complexity of the network and control difficulty has increased dramatically. For the problem of fossilization network is more and more prominent, SDN (software defined network) arises at the historic moment. Due to SDN controller centralized control and the characteristics of shunt on SDN network equipment, this paper puts forward that part of nodes ...

Journal: :Discrete Event Dynamic Systems 2011
Yorai Wardi Magnus Egerstedt

We consider it a great privilege to introduce this two-part issue on Hybrid Systems to Discrete Event Dynamic Systems: Theory and Applications. Hybrid dynamical systems constitute an abstract modeling framework for systems with bi-layer dynamics: time-driven dynamics at the lower layer, and discrete-event dynamics at the upper layer. This framework provides useful analysis techniques and simula...

In this paper, two methods named distance and triangle methods are extended to evaluate the quality of approximation of the Pareto set from solving bi-objective problems. In order to use evaluation methods, a bi-objective problem is needed to define. It is considered the problem of scheduling jobs in a hybrid flow shop environment with sequence-dependent setup times and the objectives of minimi...

2017
Menglei Chang Huawen Hu Yuyuan Zhang Dongchu Chen Liangpeng Wu Xinjun Li

This study presents a novel visible light-active TiO₂ nanotube anode film by sensitization with Bi₂O₃ nanoparticles. The uniform incorporation of Bi₂O₃ contributes to largely enhancing the solar light absorption and photoelectric conversion efficiency of TiO₂ nanotubes. Due to the energy level difference between Bi₂O₃ and TiO₂, the built-in electric field is suggested to be formed in the Bi₂O₃ ...

Journal: :iranian journal of fuzzy systems 2010
muhammad shabir young bae jun mahwish bano

in this paper, we introduce and study the prime, strongly prime,semiprime and irreducible fuzzy bi-ideals of a semigroup. we characterize thosesemigroups for which each fuzzy bi-ideal is semiprime. we also characterizethose semigroups for which each fuzzy bi-ideal is strongly prime.

2003
Patrick Cousot Lisbeth Fajstrup Eric Goubault Maurice Herlihy Martin Raußen Vladimiro Sassone Alexander Kurtz Martin Raussen

In this paper, we reason that simulation and bisimulation are not adequate in the context of hybrid systems as they are only capable of comparing states that are reachable in a finite number of transitions. To solve this problem we extend labelled transition systems with a topology on the state space. We define topological versions of simulation and bisimulation that are also capable of compari...

Journal: :Electr. Notes Theor. Comput. Sci. 2004
Pieter J. L. Cuijpers Michel A. Reniers

In this paper, we reason that simulation and bisimulation are not adequate in the context of hybrid systems as they are only capable of comparing states that are reachable in a finite number of transitions. To solve this problem we extend labelled transition systems with a topology on the state space. We define topological versions of simulation and bisimulation that are also capable of compari...

2003
Patrick Cousot Lisbeth Fajstrup Eric Goubault Maurice Herlihy Martin Raußen Vladimiro Sassone Alexander Kurtz Martin Raussen

In this paper, we reason that simulation and bisimulation are not adequate in the context of hybrid systems as they are only capable of comparing states that are reachable in a finite number of transitions. To solve this problem we extend labelled transition systems with a topology on the state space. We define topological versions of simulation and bisimulation that are also capable of compari...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید