|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Availability Analysis of a Repairable Series-Parallel System with Redundant Dependency显示文摘This paper investigates the steady-state availability of a repairable series-parallel system with redundant dependency.The different types of components and repairmen are taken into account,the failure rate of the operating component varies as the number of other failed components and the repair rate of the failed component is constant in each parallel redundant subsystem.To quantify the redundant dependency,a modified failure dependence function is introduced to determine the failure rate of the components in each subsystem.Markov theory and matrix analysis method are used to get the steady-state probability vector of each subsystem and the steady-state availability of the entire system.A numerical example is presented to illustrate the obtained results and to analyze the effect of redundant dependency class on the system availability. | HU Linmin YUE Dequan MA Zhanyou | 2020 | Journal of Systems Science & Complexity2020，33，2： | 2 |
| 2 | Computation tree logic model checking based on possibility measures显示文摘 | Li Yongming Li Yali Ma Zhanyou | 2015 | Fuzzy sets and Systems2015，262，： | 1 |
| 3 | The discrete time Geom/Geom/1 queue with multiple working vacations 显示文摘 | TIAN Naishuo MA Zhanyou LIU Mingxin | 2008 | Applied Mathematical Modelling2008，32，： | 1 |
| 4 | Performance analysis of GI/M/1 queue with working vacations and vacation interruption显示文摘 | LI Jihong TIAN Naishuo MA Zhanyou | 2008 | Applied Mathematical Modelling2008，32，： | 1 |
| 5 | Pure limited service Geom/G/1 queue with multiple adaptive vacations显示文摘 | Zhanyou Ma Naishuo Tian | 2005 | Journal of Computational Information Systems2005，1，32： | 1 |
| 6 | Performance Analysis of GI/M/1Queue with Working Vacations and Vacation Interruption显示文摘 | Li Jihong Tian Naishuo Ma Zhanyou | 2008 | Applied Mathematical Modeling2008，32，12： | 1 |
| 7 | Performance Analysis of GI/M/1 Queue with Working Vacations and Vacation Interruption 显示文摘 | LI Jihong TIAN Naishuo MA Zhanyou | 2008 | Applied Mathematical Modeling2008，32，12： | 1 |
| 8 | The discrete time Geom/Geom/1 queue with multiple working vacations显示文摘 | Naishuo Tian Zhanyou Ma Mingxin Liu | 2008 | Applied Mathematical Modeling2008，32，2008： | 1 |
| 9 | Ceramide is involved in alcohol-induced neural proliferation显示文摘Prenatal alcohol exposure, especially during early pregnancy, can lead to fetal alcohol syndrome. The pharmacological and toxicological mechanisms of ethanol are related to the effects of ceramide. In this study, we established an alcohol exposure model in wild-type mice and in knockout mice for the key enzyme involved in ceramide metabolism, sphingomyelin synthase 2. This model received daily intragastric administration of 25% ethanol, and pups were used at postnatal days 0, 7, 14, 30 for experiments. Serology and immunofluorescence staining found that ethanol exposure dose-dependently reduced blood sphingomyelin levels in two genotypes of pups, and increased neural cell proliferation and the number of new neurons in the hippocampal dentate gyrus. Western blot analysis showed that the relative expression level of protein kinase C α increased in two genotypes of pups after ethanol exposure. Compared with wild-type pups, the expression level of the important activator protein of the ceramide/ceramide-1-phosphate pathway, protein kinase C α, was reduced in the hippocampus of sphingomyelin synthase 2 knockouts. Our findings illustrate that ceramide is involved in alcohol-induced neural proliferation in the hippocampal dentate gyrus of pups after prenatal ethanol exposure, and the mechanism may be associated with increased ex-pression of protein kinase C α activating the ceramide/ceramide-1-phosphate pathway. | Zhixin Wang Tongxing Deng Jiexin Deng Jinbo Deng Xiaoqun Gao Yuanyuan Shi Bin Liu Zhanyou Ma Haixiao Jin | 2013 | Neural Regeneration Research2013，8，23： | 1 |
| 10 | Identification of Fusarium wilt resistance gene SiRLK1 in Sesamum indicum L.显示文摘Sesame Fusarium wilt(SFW),caused by Fusarium oxysporum f.sp.sesami(Fos),is one of the most devastating diseases affecting sesame cultivation.Deciphering the genetic control of SFW resistance is pivotal for effective disease management in sesame.An inheritance study on a cross between the highly resistant variety Yuzhi 11 and the highly susceptible accession Sp1 using a Fos pathogenicity group 1 isolate indicated that resistance was conferred by a single dominant allele.The target locus was located in a 1.24 Mb interval on chromosome 3 using a combination of cross-population association mapping and bulked segregant analysis.Fine genetic mapping further narrowed the interval between 21,350 and 21,401 kb.The locus Sindi_0812400 was identified as the SFW resistance gene and officially designated SiRLK1.This gene encodes a specific malectin/receptor-like protein kinase with three putative tandem kinase domains and is considered a kinase fusion protein.Sequence analysis revealed that a high proportion(49.44%)of variants within the locus was located within the kinase domainⅢ,and several of which were evidently associated with the diversity in SFW response,indicating the critical role of kinase domainⅢin expression of disease resistance.These findings provide valuable information for further functional analysis of SFW resistance genes and marker-assisted resistance breeding in sesame. | Yinghui Duan Wenwen Qu Shuxian Chang Ming Ju Cuiying Wang Cong Mu Hengchun Cao Guiting Li Qiuzhen Tian Qin Ma Zhanyou Zhang Haiyang Zhang Hongmei Miao | 2024 | The Crop Journal2024，12，1： | 0 |
| 11 | Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems显示文摘Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications.Although there is an extensive literature on qualitative properties such as safety and liveness,there is still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system. | Xia Li Zhanyou Ma Zhibao Mian Ziyuan Liu Ruiqi Huang Nana He | 2024 | Computers, Materials & Continua2024，78，3： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员