一种基于赋时Colored Petri网的工作流模型

工作流管理技术是20世纪90年代初新兴起的软件技术，其实现的关键在于工作流概念模型的建立。论文选择赋时Colored Petri网(Timed Colored Petri Net)作为工作流建模的主要工具，为了实现用Petri网来建立工作流模型，对petri网做了适当的扩展以适应模型管理。最后通过1个案例进一步阐述了基于Petri网的工作流建模技术。     

一种资源分配方案及其Petri网模型

优先级策略是最常用的资源分配方案，分析了优先级策略的不足，在此基础上，提出了一种临界值优先级资源分配方案，并建立了它的Petri网模型。     

任务调度问题的Petri网模型及其分析

提出任务调度问题的Petri网模型及其构造方法,给出了求解该Petri网模型的主任务线的方法,提出了并发段的概念,在此基础上计算出该任务调度问题所需处理机的最小台数.     

通信协议形式验证中的Petri网方法

Petri网,尤其是扩充类的Petri网对通信协议有很强的模拟能力.同时,Petri网能支持十分有效的验证技术.本文分析了需要验证的协议性质,提出了用线性不变量和标志机状态法全面分析这些性质的综合验证方法,并给出了对HDLC通信协议的验证实例.     

对卡尔文循环调控机理的数学模型研究

对于卡尔文循环的调控机理,多数学者认为:①FDPase,SDPase 和 Ru5PK 是ATP 和 NADPH 产生驱动作用的位点;②[CO_2]/[O_2]通过增强 Rubjsco 的羧化活性而促进CO_2同化。本文用数学模型证明第一个假设是错误的,而仅由后一个假设也不能解释 CO_2对卡尔文循环的促进作用。作者根据对数学模型的分析补充两个假设:①ATP 的驱动位点是在输出反应之中而不在循环内部;②RuBP 对输出反应有反馈抑制。据此计算出的调控规律与实验相符。这说明在卡尔文循环中尚有未被发现的调控机理,也说明数学模型是研究调控规律的必需工具     

卡尔文循环中的碳代谢研究进展

为了研究高等植物中的光合碳流入对光合的调控作用,研究者利用转基因方来减少或者增加参与卡尔文循环或者碳水化合物代谢中单个酶的活性。通过改变一些酶和1,7-二磷酸景天庚酮糖磷酸酶(SBFase)的活性已经成功提高了光合碳同化能力。本综述讨论了卡尔文循环中一些酶对控制代谢流入和碳水化合物代谢和植物生长的贡献,以期为通过生物工程的方法增加作物生产率提供参考。     

扩展Petri网及其子划分

Petri网是由德国的Carl Adam Petri提出,后来由Peterson加以阐述.它是1种适用于多种系统的图形化、数学化建模工具,为描述和研究具有并行、异步、分布式和随机性等特征的信息加工系统提供了强有力的手段,但用Petri网建模有其局限性,本文就其局限性提出一些扩展方法,最后提出Petri网的子划分.     

一种改进的基于CPN的密码协议攻击者模型

从目前的研究成果来看,基于CPN(Colored Petri Nets,着色Petri网)的密码协议形式化建模及其分析方法主要采用传统的Dolev-Yao攻击者模型。针对该攻击者模型在验证协议中存在的不足,提出一种改进的基于CPN的攻击者模型,利用该模型对具体的NS协议进行建模和分析,实验证明,对模型的改进完善了基于CPN的密码协议形式化建模和分析方法。     

Petri网中S不变量和T不变量的算法

在Petri网中,不变量、虹吸和陷阱的求解是一个重要的问题,本文拟用数学方法-矩阵变换和数理逻辑两种方法进行探讨.根据矩阵理论,提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.     

基于GSPN 的可追溯果蔬农产品供应链建模与性能优化

建立可追溯系统是保证农产品质量安全问题的有效手段,但单一的追溯模式不能满足和适应不同农产品的追溯需求,因此,定量化的分析和评估措施,是建设适用、高效和可靠的追溯系统的重要保证。论文基于广义随机Petri网(GSPN)理论构建了可追溯果蔬农产品供应链系统模型,实现了物质流、信息流和控制流的协同运行,并对其时间性能和运行效率进行了定量分析和评估,结果表明,GSPN模型能够准确描述供应链系统的运行过程,对农产品供应链和追溯系统的建设具有指导意义。     

基于Petri网的一种停止-等待协议的形式建模

基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对通信协议建模和分析的理想工具．通过对计算机网络通信中的停止一等待协议的描述．提出一个基于Petri网的停止等待协议的形式建模．     

Petri网系统中变迁的分级活性判定

活性(liveness)是Petri网的基本性质之一。从Petri网系统的有效(受控)可重复向量出发,给出一般Petri网系统中变迁为2级活或是3级活的判定依据。对于一个变迁t而言,t是二级活的,当且仅当存在一个有效(受控)可重复向量X,X有一个分量大于零;t是三级活的,当且仅当存在一个有效可重复向量X,X有一个分量大于零。最后,用实例说明判断方法的可使用性。     

基于扩展Petri网的新疆肉牛养殖溯源模型设计

在"一带一路"时代背景下,新疆的畜牧业发展迎来春天,且伴随着人们生活水平的不断提高,对食品质量安全更为关注。针对新疆的肉牛养殖环节,构建、验证基于扩展Petri网的肉牛养殖工作流模型,并结合射频识别(radio frequency identification,RFID)技术搭建溯源模型,该模型可提高数据采集的效率与精度,加快肉牛养殖企业的信息化、自动化建设步伐,实现肉牛养殖过程的可追溯性。     

基于分布式物联网的工业自动化安全性分析

借助现代嵌入式平台不断扩展的计算和通信功能,物联网技术可重构制造系统开发。基于控制解释型Petri网(CIPN)的顺序控制应用程序安全感知建模和验证,将工业物联网控制器的CIPN模型转换为TPN模型,并与工厂和安全感知通道模型耦合,在基于网络的攻击中实现系统级的安全性能验证。在实际应用案例中评估了该模型:当发生攻击时,通过在收发器上启用载波传输,可以从浸泡池中拾取工件后阻塞消息,证明已开发的安全自动化框架在分布式气动机械手上的适用性。     

采用Petri网进行修正的启发式船舶电网拓扑分析

针对船舶电力系统的特点，采用一种启发式电力网络进行拓扑分析模型建立以确定电力系统网络拓扑，在此基础上借鉴电力系统故障诊断的方法,采用Petri网技术对电网进行故障定位以及对不确定信号的诊断与排除，对拓扑分析结果进行修正，以保证拓扑分析的正确性。最后以典型船舶电力系统网络为例，验证了该方法的有效性。     

食物链和食物网角度探究农业生态系统物质能量高效利用对策

食物链和食物网是物质循环、能量流动的重要通道。本文从食物链、食物网和能量流动生态基本原理入手,阐明食物链的加环和优化食物网的两种方式,增加农业生态系统价值链,建立多层多种立体结构和多级循环转化的生产体系,旨在提高农业生态系统生产力。     

基于系统动力学的循环农业动态评价研究

基于系统动力学建模方法分析了循环农业动态评价问题,建立了循环农业模式的系统动力学动态评价模型。根据系统思考理论,将评价指标放入一个循环农业模式系统中进行分析,基于流程再造理论设计丘陵地区的循环农业流程,以此为据建立其SD仿真模型,分析该循环农业模式的合理性。根据丘陵地区循环农业SD模型中稻谷产量、总收入和污染量3个主要变量的分析结果,运行循环农业系统动力学动态评价模型,仿真得到评价结果,进而表明构建的丘陵地区循环农业流程合理可行,且运用系统动力学方法动态评价循环农业科学有效。     

人工林土壤养分极化动态理论模型

【目的】建立基于人工林土壤养分循环和枯落物分解的土壤极化模型,旨在为深入认识土壤养分极化成因和预测土壤养分极化趋势提供参考。【方法】从人工林生态系统养分循环规律的角度出发,建立人工林土壤养分极化推理和动态模型,通过实验室分解法和野外调查,对模型中主要参数的确定进行分析。【结果】分别建立了基于养分循环和枯落物分解的人工林土壤养分极化度推理模型及动态模型,并针对油松、落叶松、侧柏、刺槐、小叶杨、白桦和辽东栎等人工林,确定了模型中的主要参数。【结论】由于人工林土壤养分极化受林木对养分的选择吸收利用、枯落物分解等的综合影响,所以从人工林生态系统养分循环规律的角度来建立土壤养分极化动态理论模型是可行的。     

农产品供应链重构赋时层次有色Petri网建模与仿真研究

基于国内农产品供应链重构现实背景和系统复杂性,在对供应链系统及其重构内涵研究基础上构建农产品供应链组织结构、业务单元和功能模块重构框架;提出利用高级赋时层次有色Petri网(hierarchical timed colored Petri nets,HTCP-nets)表达复杂系统优势对农产品供应链重构进程建模、仿真和形式化定义;考虑土地流转引发以农产品生产供应企业为核心供应链重构,利用CPN Tools对农产品供应链重构HTCP-nets模型参数初始化、指标性能统计等仿真分析;最后,针对分析结论就如何改进重构进程和提高重构成功率与效率等提出相关建议。     

南瓜砧木嫁接对低温下西瓜幼苗耐冷性、光合作用及抗逆基因表达的影响

为阐明南瓜砧木嫁接诱导西瓜幼苗产生低温抗性的适应机制,研究了南瓜砧木‘青研1号’嫁接对低温10℃/5℃(昼/夜)胁迫下西瓜自交系‘97103’幼苗生长、叶绿素荧光、光合气体交换、卡尔文循环和抗逆相关基因表达的影响。结果表明:低温胁迫下西瓜自嫁苗PSⅡ最大量子产量(Fv/Fm)等叶绿素荧光参数与常温对照相比显著下降。低温处理5d后,西瓜自嫁苗和南瓜砧木嫁接苗PSⅡ有效量子产量(ΦPSⅡ)与常温对照相比分别下降92.9%和59.2%。南瓜砧木嫁接有效延缓了低温引起的PSⅡ损伤,同时促进卡尔文循环关键基因核酮糖-1,5-二磷酸羧化/加氧酶(Rubisco)大亚基基因(rbcL)、3-磷酸甘油酸激酶基因(PGK)、磷酸核酮糖激酶基因(PRK)、果糖1,6-二磷酸激酶基因(FBPase)转录水平显著增加,保持低温下较高水平的CO2同化速率(Asat)。此外,南瓜砧木嫁接促使低温下西瓜叶片蒸腾速率下降,减缓叶片萎蔫、皱缩,同时诱导谷胱甘肽过氧化物酶(GPX)、抗坏血酸过氧化物酶(tAPX)、谷胱甘肽还原酶(GR)和脱水蛋白(ERD10)等9个抗逆相关酶基因上调表达,增强了植株抗氧化能力。低温处理5d后,西瓜自嫁苗和南瓜砧木嫁接苗冷害指数分别为61.1%和22.2%,全株干质量与对照相比分别下降61.0%和33.2%。南瓜砧木嫁接通过调节蒸腾作用,减少水分散失,促进卡尔文循环关键基因和抗逆相关基因表达,减缓PSⅡ光抑制,减轻膜脂过氧化损伤,增强西瓜对低温的适应能力。