论文部分内容阅读
针对演播类超媒体提出一处基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ，它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示，具有刻画超媒体主要性质的能力。着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒体逻辑结构、时序结构和语义结构的描述。
基于Petri网的超媒体形式化模型
【摘 要】
：
针对演播类超媒体提出一处基于Ｐｅｔｒｉ网的形式化模型ＯＯＰＮ，它由一个扩展Ｐｅｔｒｉ网、若干对象以及Ｐｅｔｒｉ网与对象之间的映射表示，具有刻画超媒体主要性质的能力。着重给出了ＯＯＰＮ模型的形式化定义以及它对超媒
【机 构】
：
武汉大学计算机科学与技术学院
【出 处】
：
武汉大学学报(自然科学版)
【发表日期】
：
1999年1期
其他文献
近年来,网络流行语汇迅速更迭并在现实社会的语境中得到了广泛应用,引发了新的“迷思”和迷群现象,社交媒体时代的迷群通过个性化的互动仪式与符号消费,彰显出迥异于传统媒体
2000年10月,河北农业大学生命科学学院正式成立,现有教职工96人,高级职称74人,研究生导师59人。学院拥有“生物学”一级学科博士授予权,“生物与医药”专业硕士授予权,设有生
随着我国空间技术科学的发展,遥感数据正以指数级增长,由于遥感数据的地理信息特征,海量遥感数据的存储和处理成了近年的研究热点,本文采用在商业上取得出色成绩的hadoop云计
含硫氮双齿配位基的有机硅聚合物的，三氯化铑反应，制备了－γ－Ｎ（β－丁硫基）乙基胺丙基硅氧烷铑络合物和聚－γ－Ｎ（β－苯硫基）乙基胺丙基硅氧烷各合物。
本文证明了如下两个结果.(1)设g∈L2(R)具有紧支集且有界,若{e2πixmtg(t-yn)}为一Gabor标架,则存在正常数A,B,使A≤∑|g(t-yn)|2≤B几乎处处成立.(2)设g∈L2(R)具有紧支集且
高考化学试题逐渐从“能力立意”向“素养立意”转变,研究高考试题对核心素养的落地开花具有导向作用,对教师的教和学生的学具有指导作用。化学工业流程题具有信息量大、知识
计算机辅助创新技术(CAI)的出现是对制造业CAX体系的发展和完善。该文介绍了计算机辅助创新技术的理论基础——TRIZ,及其解决创新问题的一般结构、流程。阐述了船舶设计中采
工程教育认证、新工科与一流本科专业建设的培养目标都是创新人才和复合技能型人才的培养。大学生创新创业教育和创新创业能力是通过课程教学体系尤其是实践教学平台的发展而
对三维Landau-Lifshitz方程u×(-△u+λ(u,n)n)=o,|u|=1,x∈ΩR3的Dirichlet常边值问题,证明了当λ＞λ1时,存在两个正则解,当λ＞max(λ1,λ*)时,存在三个正则解,除常数外,