【摘 要】
：
根据基于时序逻辑和XYZ系统思想的多媒体数据描述模型,设计并实现了一种新的多媒体编著语言MAL(MULTIMEDIAAUTHORINGLANGUAGE),该语言具有抽象描述、同步描述、逐步求精设计
【机 构】
：
北京邮电大学计算机科学与技术系;中国科学院软件研究所
论文部分内容阅读
根据基于时序逻辑和XYZ系统思想的多媒体数据描述模型,设计并实现了一种新的多媒体编著语言MAL(MULTIMEDIAAUTHORINGLANGUAGE),该语言具有抽象描述、同步描述、逐步求精设计的描述等能力,将多媒体节目中媒体对象的建模和多媒体节目的设计过程在一个统一的框架内进行描述.以该语言实现为核心,研制了一个交互式可视多媒体编著环境.“,”According to multimedia data model based on temporal logic and XYZ system, the authors designed and implemented a new multimedia authoring language MAL. This language supports the specification of abstraction, concurrency and the procedure of stepwise refinement design, it can be used to specify modeling information units, design and script a multimedia title in a unified framework. A visual multimedia authoring environment based on MAL has been developed.
其他文献
随着喷气织机的广泛应用，如何提高浆纱的平滑性能、减小纱线间的摩擦系数，对降低经纱断头，提高织机效率，具有重要的作用。基于上述认识，1995年我们就开始寻求一种好的助剂来改善浆
德国祖克浆纱机因具有速度高、品种适应能力强，保护装置完善以及故障率低、自动化程度高等特点，深受纺织厂欢迎。陕西某公司原有祖克单浆槽浆纱机S232、S222各一台，2000年底又购
随着市场竞争的日益加剧，无梭织机的广泛使用其产品难度愈来愈大，而要生产好这些具有高附加值的产品，除对原纱品质，织造设备的机械状态和操作水平从严要求外，浆料的选择及上浆工艺
1998年初石家庄棉二锦宏纺织有限公司在PU-388.6片梭织机试织投产了CJ 14.6/14.6 433/335 294.6府绸，该品种纬密大、布幅宽，织造难度大。本文论述了浆料配方、浆纱质量、生产质
对现有超媒体系统中常用的几种导游机制进行了介绍和分析.借鉴PFNET(PATHFINDER网)这种网状模型,根据超媒体系统中的节点、链和用户使用习惯,提出了两类导游图,以期对用户浏览信息起到真正的导游作用,解决超媒体系统中的迷路问题.“,”Some navigation mechanism are introduced and analyzed. Based on PFNET(pathfinder net) which is a network model, according to nodes and
普梳14.6/14.6府绸系列，14.6/14.6 524/283.5 160 3/1斜纹，精梳14.6/14.6府绸系列以及最近两年试织投产的14.6/14.6 303.5/697灯芯绒是石家庄棉二锦宏纺织有限公司的主导产品，其
定性推理能为信息不完全的复杂系统产生行为预测,但推理分支可能出现组合爆炸,限制了它的应用.传统的算法不仅产生无法控制的推理分支,并且占用了大量的内存,不仅使用户不易
2000年末，一位浙江客户参观了江苏全丰集团有限责任公司的现代化生产线后，颇感兴趣，要求和我们合作，共同开发长丝型装饰窗帘布。该公司经市场调研，论证后，成功地在喷气织机上开发了
随着纺织生产中无梭织机日益增多，浆纱质量已成为提高生产效率的关键因素。通过近几年技术改造，大成纺织集团有限公司无梭织机特别是喷气织机已在织部占主导地位，形成了府绸防羽
首先给出了任务间次并行性存在的条件,讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程.此外,还就代码移动和任务合并对增强并行性、消减不必