检索结果-南通市图书馆

基于Petri网的面向公共过程的协同业务过程验证方法

在线全文

学校读者我要写书评

暂无评论

计算机集成制造系统 2024年第8期30卷 2854-2871页

作者：汪煜祺莫启王佳能王佳谢仲文代飞云南大学软件学院云南昆明650091 云南大学云南省软件工程重点实验室云南昆明650091 云南财经大学教务处云南昆明650091 泰山学院智慧文旅产业学院山东泰安271000 西南林业大学大数据与智能工程学院云南昆明650091

如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模... 详细信息

如何在保护隐私性的前提下高效地验证协同业务过程的正确性,是业务过程管理领域中一个重要的研究问题。为此,提出一种基于Petri网的面向公共过程的协同业务过程正确性验证方法。首先,采用Petri网对组织的私有过程和协同业务过程进行建模;然后,基于私有过程的控制流,定义了基本块结构(包含顺序、选择、并发、循环及同步链接结构)并提出对应抽取规则集;最后,将私有过程的控制流转换为通信进程代数(ACP),利用ACP进程的等式理论证明抽取前后模型的正确性一致。通过大量实验,并与现有典型验证方法进行对比分析,结果表明:相较于现有的方法,所提方法可以在保护组织隐私性的前提下极大地提高协同业务过程正确性的验证效率。

关键词：协同业务过程私有过程公共过程抽取规则正确性验证

在线全文

学校读者我要写书评

暂无评论

良种杉木高效栽培造林技术及经济效益分析

农家科技 2024年第6期 82-84页

作者：莫启泉广西融安县西山林场

杉木是一种经济价值高、生长速度快、适应性强的树种,在我国南方地区广泛种植。杉木不仅可以用于房屋建筑、桥梁建筑等,还可以用于造纸、板料等领域,具有较高的经济价值和应用价值。目前,我国很多地区都在大力发展杉木种植产业,但由于... 详细信息

杉木是一种经济价值高、生长速度快、适应性强的树种,在我国南方地区广泛种植。杉木不仅可以用于房屋建筑、桥梁建筑等,还可以用于造纸、板料等领域,具有较高的经济价值和应用价值。目前,我国很多地区都在大力发展杉木种植产业,但由于种植技术水平有限,杉木种植的产量和质量较低。本文以良种杉木为例,从良种杉木栽培技术、造林技术以及经济效益三个方面进行分析。

关键词：良种杉木生长特性栽培造林技术经济效益

跨组织业务流程合规性检查与异常行为诊断方法

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

计算机集成制造系统 2024年

作者：李会玲刘聪张在贵沈晓林莫启曾庆田云南大学软件学院山东科技大学计算机科学与工程学院山东理工大学电气与电子工程学院山东理工大学计算机科学与技术学院济南浪潮数据技术有限公司

跨组织业务流程中的多个参与组织需要在保证流程业务隐私的同时协作配合完成业务目标，但由于业务不规范或流程变更等原因导致的流程行为异常，给各组织执行跨组织业务流程带来极大的风险与损失。针对此问题，本文提出了一种跨组织业务... 详细信息

跨组织业务流程中的多个参与组织需要在保证流程业务隐私的同时协作配合完成业务目标，但由于业务不规范或流程变更等原因导致的流程行为异常，给各组织执行跨组织业务流程带来极大的风险与损失。针对此问题，本文提出了一种跨组织业务流程合规性检查与异常行为诊断方法，能够在保证各参与组织业务隐私的前提下检测跨组织业务流程中存在的异常行为。首先，各组织从事件日志中挖掘各自的流程模型，与事件日志进行组织内部合规性检查，其次，各参与组织构造交互事件日志和交互流程模型，再次，由可信第三方将多个交互事件日志与交互流程模型进行集成得到集成交互事件日志与跨组织交互模型以进行跨组织合规性检查，结合组织内部与跨组织合规性检查时出现的异常行为进行异常行为诊断。最后，通过一个跨组织业务流程案例分析验证了本文方法在跨组织业务流程合规性检查中的有效性和可用性。

关键词：跨组织业务流程跨组织交互模型合规性检查异常行为诊断事件日志

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

高中地理教学中的实践活动教学研究

中文科技期刊数据库（全文版）教育科学 2024年第7期 0104-0107页

作者：莫启诚梧州市第二中学广西梧州543000

高中地理课程作为一门实践性非常强的学科,随着我国教育改革工作的不断发展,高中地理教学工作也受到了一定的冲击。因此高中地理教师除了进行地理知识点的教学之外,还需灵活应用各种实践活动教学模式,加深学生对地理知识点理解程度基础... 详细信息

高中地理课程作为一门实践性非常强的学科,随着我国教育改革工作的不断发展,高中地理教学工作也受到了一定的冲击。因此高中地理教师除了进行地理知识点的教学之外,还需灵活应用各种实践活动教学模式,加深学生对地理知识点理解程度基础上,实现学生地理学科素养的培养,本文就高中地理教学中实践活动教学模式进行探究分析。

关键词：高中地理教学实践活动教学策略

基于后张法预应力施工技术的公路桥梁建设研究

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

交通建设与管理 2024年第1期 143-145页

作者：莫啟铭贵州省都匀公路管理局贵州黔南558000

通过后张法预应力张拉施工技术的应用,根据锚固点位置布设斜孔洞,以倾斜孔设计角度为标准,安装标准槽孔架于拱架内,按照间隔距离在钢绞线下部设置承载结构;通过在U形锚固板上焊接斜杆结构,实现对水平筋与斜筋的连接,结合不同类型预应力... 详细信息

通过后张法预应力张拉施工技术的应用,根据锚固点位置布设斜孔洞,以倾斜孔设计角度为标准,安装标准槽孔架于拱架内,按照间隔距离在钢绞线下部设置承载结构;通过在U形锚固板上焊接斜杆结构,实现对水平筋与斜筋的连接,结合不同类型预应力钢材最大张拉应力标准,逐渐增加阶段性控制张拉进程,使桥梁预应力筋平均张拉力达到设计标准,保障公路桥梁的施工安全。

关键词：公路桥梁后张法锚固点设置孔道灌浆张拉施工

在线全文

学校读者我要写书评

暂无评论

波浪作用下小流域生态护岸结构研究

水上安全 2024年第5期 79-81页

作者：莫启忠柳州市水库移民服务中心广西柳州545000

本文以融安县大良镇的良北村和古兰村的生态清洁型小流域水土保持工程为基础,对其河道、沟渠治理中的护岸结构进行了研究。遵循水利行业的规范和要求,利用有限元分析软件分析了护岸结构在波浪作用下的动力特性及水流作用下的冲刷情况。... 详细信息

本文以融安县大良镇的良北村和古兰村的生态清洁型小流域水土保持工程为基础,对其河道、沟渠治理中的护岸结构进行了研究。遵循水利行业的规范和要求,利用有限元分析软件分析了护岸结构在波浪作用下的动力特性及水流作用下的冲刷情况。通过搜集整理工程资料,并参考行业规范使用专业软件,对该项目中的护岸结构的冲刷深度进行了计算,并证明了在该地区,生态护岸作为一种兼具工程效用和环境价值的结构形式是可行的。

关键词：波浪作用小流域生态护岸结构动力特性

在线全文

学校读者我要写书评

暂无评论

水土保持监督管理工作中存在的问题及对策

中国科技期刊数据库工业A 2024年第5期 0203-0206页

作者：莫启忠柳州市水库移民服务中心广西柳州545000

水土保持是一项重要的环境保护工作,涉及到农田、山地、河流等多个领域。水土保持监督管理工作的目标是保护土壤和水资源,防止水土流失、水质污染和生态退化。然而,在实际工作中,水土保持监督管理部门常常面临一些问题,这些问题可能会... 详细信息

水土保持是一项重要的环境保护工作,涉及到农田、山地、河流等多个领域。水土保持监督管理工作的目标是保护土壤和水资源,防止水土流失、水质污染和生态退化。然而,在实际工作中,水土保持监督管理部门常常面临一些问题,这些问题可能会影响到工作的效果。本文将探讨在水土保持监督管理工作中存在的问题,并提出相应对策。

关键词：水土保持监督管理问题对策

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

英语动词前置构式的句法语义和认知理据

英语研究 2024年第1期 90-104页

作者：莫启扬重庆大学外国语学院重庆400044

动词前置构式属于非典型话题结构,体现了概念参照点关系,以表述类事件的前置动词短语为参照点,以存在核为目标。该构式是对先前语篇中的基线进行一系列加工阐释后形成的交互小句,具有独特的句法语义特征和语篇功能,主要用于明确前置动... 详细信息

动词前置构式属于非典型话题结构,体现了概念参照点关系,以表述类事件的前置动词短语为参照点,以存在核为目标。该构式是对先前语篇中的基线进行一系列加工阐释后形成的交互小句,具有独特的句法语义特征和语篇功能,主要用于明确前置动词所述事件的发生状况或存在状态,有别于明确事件参与者的分词倒装,也有别于让步倒装。让步倒装强调主语与前置成分之间,或主语所参与事件的实际结果与该事件应该产生的结果之间构成的对立性和反预期性。前置的动词是存在核之外的剩余部分,仅充当语篇锚定,不占据存在核的默认锚定成分位置,因此,前置不会引起倒装。

关键词：动词前置概念参照点存在核分词倒装让步倒装

在线全文

学校读者我要写书评

暂无评论

鹅卵黄性腹膜炎的防治措施

吉林畜牧兽医 2024年第8期45卷 67-69页

作者：莫启顺天柱县农业农村局贵州天柱556600

本研究针对鹅卵黄性腹膜炎的防治措施进行了系统分析,重点探讨了疾病诊断、病理分析、病因分析及预防措施。诊断方法包括临床症状观察、实验室检测和影像学检查;病理分析揭示了组织病变和炎症机制;病因涵盖病毒性、细菌性传染病、高烧... 详细信息

本研究针对鹅卵黄性腹膜炎的防治措施进行了系统分析,重点探讨了疾病诊断、病理分析、病因分析及预防措施。诊断方法包括临床症状观察、实验室检测和影像学检查;病理分析揭示了组织病变和炎症机制;病因涵盖病毒性、细菌性传染病、高烧热性疾病和应激因素。预防措施包括鹅舍卫生清洁、消毒除菌、营养补充、疫苗接种、控制饲养规模和避免应激反应。通过优化饲养管理和科学预防,有效降低鹅卵黄性腹膜炎的发病率,保障鹅群健康和养殖效益。

关键词：鹅卵黄性腹膜炎预防措施治疗措施