多媒体电子商务系统的形式模型研究
基本信息
批准号：60242002
项目类别：专项基金项目
资助金额：15.00
负责人：马华东
学科分类：
依托单位：北京邮电大学
批准年份：2002
结题年份：2005
起止时间：2003-01-01 - 2005-12-31
项目状态： 已结题
项目参与者：潘维民,邓芳,谢卫星,见良,李亮,姜崇凯,陈林,李辉,张晓军
关键词：
多媒体电子商务形式化方法
结项摘要
研究基于构件的多媒体系统集成框架,采用层次时间自动机对基于构件的系统框架进行建模;尝试采用区分服务等方法研究满足可靠性,实时性,安全性等服务质量需求的电子商务系统实现模型和协议;并运用时间自动机,时序逻辑等形式化技术对系统模型和协议进行分析,目标是研究出适合MPEG21的多媒体电子准则务系统的设计和分析方法.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
四川盆地东部垫江盐盆三叠系海相钾盐成钾有利区圈定:地球物理和地球化学方法综合应用
DOI：10.19762/j.cnki.dizhixuebao.2021191
发表时间：2021
2
黄曲霉毒素B1检测与脱毒方法最新研究进展
黄曲霉毒素B1检测与脱毒方法最新研究进展
DOI：10.3969/j.issn.1000-4440.2021.03.031
发表时间：2021
3
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
油源断裂输导和遮挡配置油气成藏有利部位预测方法及其应用
DOI：10.16509/j.georeview.2021.02.010
发表时间：2021
4
油源断裂活动期输导油气有利部位预测方法的改进
油源断裂活动期输导油气有利部位预测方法的改进
DOI：10.3969/j.issn.1673-5005.2021.06.005
发表时间：2021
5
基于水安全目标的城市绿地水体设计方法研究——以第二届河北省园林博览会(秦皇岛)园区为例
基于水安全目标的城市绿地水体设计方法研究——以第二届河北省园林博览会(秦皇岛)园区为例
DOI：
发表时间：2020
马华东的其他基金
批准号：60833009
批准年份：2008
资助金额：200.00
项目类别：重点项目
批准号：69873006
批准年份：1998
资助金额：12.00
项目类别：面上项目
批准号：61332005
批准年份：2013
资助金额：320.00
项目类别：重点项目
批准号：69603008
批准年份：1996
资助金额：10.00
项目类别：青年科学基金项目
批准号：90612013
批准年份：2006
资助金额：31.00
项目类别：重大研究计划
相似国自然基金
1
基于Petri网的电子商务系统形式化分析与验证技术研究
批准号：60573018
批准年份：2005
负责人：杜玉越
学科分类：F0204
资助金额：5.00
项目类别：面上项目
2
基于进程代数的电子商务协议形式化研究
批准号：60473006
批准年份：2004
负责人：傅育熙
学科分类：F0201
资助金额：20.00
项目类别：面上项目
3
安全电子商务协议及其形式化分析研究
批准号：60273029
批准年份：2002
负责人：姬东耀
学科分类：F0206
资助金额：20.00
项目类别：面上项目
4
安全电子商务协议及其形式化分析研究
批准号：60083007
批准年份：2000
负责人：卿斯汉
学科分类：F0206
资助金额：13.00
项目类别：专项基金项目