同步合成相关论文
研究了同步合成过氧化氢与过氧乙酸的方法,讨论了磷酸、溴离子质量分数和溶剂配比对合成反应的影响。过低或过高的磷酸或溴离子质......
当今,并发程序设计已成为计算机界关注的研究领域.众多学者利用Pteri网、时序逻辑等理论工具进行这一领域的研究.然而,这些理论模......
汇合性质和家态是Petri网的两种重要的性质，它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里，关于汇合性质和家态的系统......
Petri网的进程是对系统行为描述和分析的有力工具,它可以很清楚地反映出网系统运行中变迁之间的顺序、并发、同步等现象。然而,一......
抗生素的滥用导致了严重的水体污染, 如何处理水体中难以降解的抗生素是目前环境领域中重要的研究课题之一.研究发现, 二氧化钛具......
研究了同步合成网的语言性质,针对一类同步合成网,提出合法发射序列的一个多项式判定算法. 从而将这类问题的多项式可解性从坚持网......
Petri网语言是用于系统行为分析的有力工具,利用传统的语言运算并不容易刻画结构复杂Petri网的语言行为.为此,引入Petri网语言同步......
弱持续Petri网是Petri网的一个子类,与系统的持续性密切相关.本文刻画了活的弱持续Petri网的一个行为特征,即,如果在一个标识M下两......
着重研究同步合成操作中可回复性的保持性.讨论了在同步合成操作中系统间动态、并发的行为关系,即语言关系.提出一种基于最小可回......
人们在电影院里看到的电影是一种视觉和听觉合一的艺术。这种视听合一的艺术效果是在电影拷贝加工过程中，通过音画合成工艺实现的，音......
本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层......
《雪花》是小学二年级音乐科的一节歌唱课。为了增强学生的学习兴趣,教师可以将该课制成音乐MTV形式的课件进行教学,课件由动画、......
利用模块化设计的思想,首先为分布式数据库系统中各事务的每一种操作(读锁、写锁、解锁)构造一个基本的加权Petri网模型,并给出了......
Petri网的进程是用于系统行为和状态描述的有效工具，Petri网的进程表达式可以给出系统全部进程的描述，但是对于任意无界Petri网而言......
摘 要：Petri网进程是Petri网分析和验证的有效手段，而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成......
以立体视频左右放置合成算法为核心算法，使用DDRSDRAM作为帧同步缓冲器件，采用FPGA作为平台，实现了一套立体视频合成系统。该系统降低......
旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题。研究了Ada网的同步合成与分解，讨论了它们的语言性质，并利......
给出Petri网弱活性（无死锁）与活性的两个语言刻画，讨论了同步合成Petri网的语言性质，基于Petri网语言，给出了判定Petri网活性的充分必要......
把Petri网理论和音乐理论结合起来，提出了一个较完整的用自控网系统和时间Petri网建立的乐音体系模型．该模型借助Petri网有关理论成......
通过4-硝基邻苯二腈分别与对羟基苯甲酸和N,N-二甲基乙醇胺反应制备了4-(4-羧基苯氧基)邻苯二腈(CPPN)和4-(N,N-二甲胺基乙氧基)邻......
研究了T-图,P-图,CFR网(无冲突可重复网)的同步合成网与共享合成网的结构性质和动态性质,这些工作对T-图网系统,P-图网系统,CFR网......
Petri网同步合成与共享合成是复杂系统分析中两种重要的方法.为了适应更为复杂的系统分析需要,本文将同步合成与共享合成拓展为多......
采用溶胶-超声空化技术同步合成了生物质多元自掺杂TiO2复合催化剂,通过场发射扫描电镜(FESEM)、X射线衍射(XRD)、X射线光电子能谱......
本文探讨了网络课件编辑制作系统的设计方法和体系结构。针对目前网络课件共享性差，且制作过程复杂等问题，本文提出了基于XML的网络......
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T．图具有汇合性质，讨论共享合成与同步合成操作对Petri网汇......
探讨了网络课件编辑制作系统的设计方法和体系结构。针对目前网络课件共享性差，且制作过程复杂等问题，提出了基于XML的网络课件的元......
Petri网基本进程段的求取是Petri进程描述的前提和基础，然而直接求取通常是比较困难的。文章研究通过Petri网的同步合成操作求取基......
本文控讨了网络课件编辑制作系统设计方法和体系结构；提出了基于XML的网络课件的元数据注录模型、内容包装模型、网络课件存储模型......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
针对协同维修过程中共享资源约束、工序衔接时机和维修工时不确定3大问题,建立了一种基于合成Petri网的协同维修过程模型.该模型采......
