检索结果-南通市图书馆

基于UML-NuSMV的并发系统建模与验证

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

华中科技大学学报（自然科学版） 2024年第2期52卷 90-95页

作者：马占有郭昊李召恺李健祥北方民族大学计算机科学与工程学院宁夏银川750030

为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换... 详细信息

为解决直接建立系统NuSMV(符号模型检测器)模型的困难,提出一种从UML(统一建模语言)模型转换到NuSMV模型的方法,实现了UML与NuSMV结合的形式化验证.首先,使用UML中的视图对系统进行描述,建立系统的UML模型;然后,设计转换规则并给出转换算法,实现从UML模型到NuSMV模型的自动转换;最后,使用计算树逻辑对系统的属性进行描述,并通过NuSMV完成对系统的形式化验证.以一个双按键并发电梯系统为例,说明了基于UML-NuSMV的并发系统建模与验证过程.

关键词：模型检测统一建模语言模型转换并发系统符号模型检测器

Analysis of G-Queue with Pseudo-Fault and Multiple Working Vacations

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2020年第4期33卷 1144-1162页

作者： ma zhanyou CHEN Li WANG Pengcheng School of Science Yanshan UniversityQinhuangdao 066004China LiRen College Yanshan UniversityQinhuangdao 066004China School of Transportation Science and Engineering Beihang UniversityBeijing 100000China

This paper presents a new model of discrete time Geo/Geo/1 repairable queueing system with pseudo-fault, negative customers and multiple working vacations. The authors assume that system service may be interrupted by breakdown or pseudo-fault, this system may become disabled only when it is in a regular busy period, and negative customers adopt two types of typical killing strategies. In this paper, the authors know that the evolution of the system can be described by a two-dimensional markov chain, and the two-dimensional markov chain satisfies the condition of quasi birth and death chains. Based on the method of matrix-geometric solution, the authors obtain distributions for the stationary queue length in RCH and RCE strategy, respectively. Moreover, the reliability of the system is analyzed and the number of customers and waiting time of a customer in the system in steady state are obtained. The authors analyze the impact of two killing strategies on the system *** paper studies the individually and socially optimal behaviors of positive customers, and presents a pricing policy for positive customers, therefore, the authors obtain the socially optimal arrival *** numerical results are provided to show the change of performance measures.

关键词： system assume stationary

Availability Analysis of a Repairable Series-Parallel System with Redundant Dependency

在线全文

学校读者我要写书评

暂无评论

Journal of Systems Science & Complexity 2020年第2期33卷 446-460页

作者： HU Linmin YUE Dequan ma zhanyou School of Science Yanshan UniversityQinhuangdao 066004China School of Economics and management of Science Yanshan UniversityQinhuangdao 066004China

This paper investigates the steady-state availability of a repairable series-parallel system with redundant *** 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 *** quantify the redundant dependency,a modified failure dependence function is introduced to determine the failure rate of the components in each *** 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.

关键词： Availability probability redundant dependency repairable system series-parallel

基于CRITIC和多策略秃鹰优化BiLSTM的水质预测研究

在线全文

学校读者我要写书评

暂无评论

安全与环境学报 2024年第9期24卷 3688-3702页

作者：雷冰冰韩镏石佳圆马占有牟云飞北方民族大学计算机科学与工程学院银川750021 北方民族大学图形图像智能处理国家民委重点实验室银川750021

科学有效地预测水质对于水环境的可持续发展和人类健康具有重要意义,为此以固原市某黄河断面的水质监测数据为研究对象,提出了基于指标客观性的权重赋权(Criteria Importance Though Intercriteria Correlation,CRITIC)法和改进的秃鹰搜... 详细信息

科学有效地预测水质对于水环境的可持续发展和人类健康具有重要意义,为此以固原市某黄河断面的水质监测数据为研究对象,提出了基于指标客观性的权重赋权(Criteria Importance Though Intercriteria Correlation,CRITIC)法和改进的秃鹰搜索(Improved Bald Eagle Search,IBES)算法优化双向长短时记忆网络(Bidirectional Long Short-Term Memory Network,BiLSTM)的组合水质等级预测模型。首先,采用CRITIC法确定各水质指标的权重,加权求和获得一项综合水质指标,从而提出一种改进的水质评价指标体系,以为BiLSTM提供更丰富、更可靠的水质特征信息。其次,在训练过程中引入Logistic映射和莱维飞行策略,并设计交叉共享及准反向搜索策略优化秃鹰搜索(Bald Eagle Search,BES)算法,以提升其种群多样性,增强寻优能力。最后,通过IBES算法迭代寻找BiLSTM的最佳学习率、隐藏层节点数以及正则化系数的超参数组合,进一步提高其预测水平。结果显示:与IBES-BiLSTM、BES-BiLSTM、GA-BiLSTM、PSO-BiLSTM和BiLSTM等模型相比,CRITIC-IBES-BiLSTM模型进行水质等级预测的准确率、精准率、召回率及F_(1)均最高,且具有更好的稳定性。

关键词：环境工程学水质预测指标客观性的权重赋权法(CRITIC)法改进的秃鹰搜索算法双向长短时记忆网络(BiLSTM)

同方期刊数据库

单重休假闸门服务的Geom／G／1离散时间排队系统

在线全文

学校读者我要写书评

暂无评论

运筹学学报 2007年第4期11卷 70-76页

作者：马占友田乃硕燕山大学理学院秦皇岛066004

文章研究了单重休假的Geom/G/1闸门服务系统,推导出稳态下系统队长的母函数,FCFS规则下的等待时间的母函数,使用离散时间队长和剩余工作量的分解性质,求出剩余工作量的母函数,最后给出服务周期的性能指标的母函数,及系统处在各种状态的... 详细信息

文章研究了单重休假的Geom/G/1闸门服务系统,推导出稳态下系统队长的母函数,FCFS规则下的等待时间的母函数,使用离散时间队长和剩余工作量的分解性质,求出剩余工作量的母函数,最后给出服务周期的性能指标的母函数,及系统处在各种状态的概率.

关键词：运筹学离散时间排队闸门服务再生循环法分解性质服务周期

Deletion of a 1,049 bp sequence from the 5′UTR upstream of the SiHEC3 gene induces a seed non-shattering mutation in sesame

在线全文

学校读者我要写书评

暂无评论

Journal of Integrative Agriculture 2024年第8期23卷 2589-2604页

作者： Ming Ju Guiting Li Qiuzhen Tian Hengchun Cao Qin ma Yinghui Duan Hui Guo zhanyou Zhang Yingying Huang Huili Wang Haiyang Zhang Hongmei Miao The Shennong Laboratory Zhengzhou 450002China Henan Sesame Research Center Henan Academy of Agricultural SciencesZhengzhou 450002China Key Laboratory of Specific Oilseed Crops Genomics of Henan Province Henan Sesame Research CenterHenan Academy of Agricultural SciencesZhengzhou 450002China

Sesame is a labor intensive crop with limited mechanized harvesting mainly due to the seed shattering(SS)*** this study,we performed a genetic analysis of the seed-shattering resistance(SR)trait with a SR sesame mutant *** the SS type,the parenchyma cells in the abscission zone of the 12M07 mutant are arranged loosely but adhere to the seed *** analysis of six generations derived from 12M07(SR)×Xiangcheng Dazibai(SS)showed that the SR trait is recessive and controlled by a single gene *** mapping of the F2population with 888,619 variants(single-nucleotide polymorphisms(SNPs)and insertion-deletion(InDels))and 31,884 structural variations(SVs)determined that only SV12002 in the 5′upstream region of gene Sindi0765000(named SiHEC3)in Chr.3 was significantly associated with the SR ***3 encodes the bHLH transcription factor.A 1,049 bp deletion occurred in the 5′UTR of Sihec3 in ***3 is mainly expressed in developing placental tissues,with the expression peaking in capsules at 45 days after pollination.A dual-luciferase reporter assay in tobacco confirmed that the promoter activity of Sihec3 was reduced because of the deletion of the 1,049 bp promoter ***–protein interaction network analysis showed that HEC3 is co-expressed with nine key proteins,such as SHATTERPROOF1(SHP1)and SEEDSTICK(STK)which participate in the secondary wall biosynthesis of the abscission layer in *** findings of this study show the important function of Sihec3corresponding with the SR trait and supply the genetic information for breeding new varieties that are amenable to mechanized harvesting in sesame and other crops.

关键词： sesame(Sesamum indicum L.) association mapping seed shattering structure variation bHLH transcription factor

Ceramide is involved in alcohol-induced neural proliferation

在线全文

学校读者我要写书评

暂无评论

Neural Regeneration Research 2013年第23期8卷 2178-2189页

作者： Zhixin Wang Tongxing Deng Jiexin Deng Jinbo Deng Xiaoqun Gao Yuanyuan Shi Bin Liu zhanyou ma Haixiao Jin Institute of Neurobiology Henan University Department of Anatomy Basic Medical CollegeZhengzhou University Department of Anatomy Luohe Medical College

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 e increased in two genotypes of pups after ethanol exposure. Compared with witd-type pups, the expression level of the important activator protein of the ceramide/ceramide-l-phosphate pathway, protein kinase C a, 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 a activating the ceramide/ceramide-l-phosphate pathway.

关键词： neural regeneration brain injury ceramide neural cells proliferation prenatal alcohol exposure sphingomyelin synthase 2 knockout mice sphingomyelin sphingomyelin synthase cera-mide-l-phosphate fetal alcohol syndrome grants-supported paper neuroregeneration

Identification of Fusarium wilt resistance gene SiRLK1 in Sesamum indicum L.

在线全文

学校读者我要写书评

暂无评论

The Crop Journal 2024年第1期12卷 252-261页

作者： 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 The Shennong Laboratory Zhengzhou 450002HenanChina Henan Sesame Research Center Henan Academy of Agricultural SciencesZhengzhou 450002HenanChina Key Laboratory of Specific Oilseed Crops Genomics of Henan Province Henan Sesame Research CenterHenan Academy of Agricultural SciencesZhengzhou 450002HenanChina

Sesame Fusarium wilt(SFW),caused by Fusarium oxysporum ***(Fos),is one of the most devastating diseases affecting sesame *** the genetic control of SFW resistance is pivotal for effective disease management in *** 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 *** target locus was located in a 1.24 Mb interval on chromosome 3 using a combination of cross-population association mapping and bulked segregant *** genetic mapping further narrowed the interval between 21,350 and 21,401 *** locus Sindi_0812400 was identified as the SFW resistance gene and officially designated *** gene encodes a specific malectin/receptor-like protein kinase with three putative tandem kinase domains and is considered a kinase fusion *** 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 *** findings provide valuable information for further functional analysis of SFW resistance genes and marker-assisted resistance breeding in sesame.

关键词： Breeding for resistance Genetic analysis Molecular analysis Tandem kinase domain

基于决策过程的广义可能性计算树逻辑模型检测

在线全文

学校读者我要写书评

暂无评论

中国科学：信息科学 2016年第11期46卷 1591-1607页

作者：马占有李永明陕西师范大学计算机科学学院西安710119 北方民族大学计算机科学与工程学院银川750021

本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能... 详细信息

本文研究了广义可能性计算树逻辑模型检测算法及其在系统验证中的应用,特别是在非确定性系统验证中的应用.首先引入作为系统模型的广义可能性决策过程和描述系统属性的广义可能性计算树逻辑,然后给出基于广义可能性决策过程的广义可能性计算树逻辑模型检测算法.该算法最大的优点是利用决策过程中的调度,将模型检测问题转换为多项式时间内模糊矩阵的运算或模糊矩阵不动点的计算.最后通过一个实例说明了广义可能性计算树逻辑模型检测在非确定性系统中的应用.

关键词：非确定性系统广义可能性决策过程调度广义可能性计算树逻辑模型检测