收藏本站
《华中师范大学》 2015年
收藏 | 手机打开
二维码
手机客户端打开本文

互联网内容分级服务技术标准体系的形式化设计与验证

刘艳  
【摘要】:互联网内容分级服务正得到政府部门和研究机构的关注和重视,内容分级产品的开发和市场应用也日渐增长,但已有的产品各自采用私有解决方案,相互间无法互联互通,不利于互联网内容分级服务技术的产业化和大规模推广应用。开发统一、完备和相容的内容分级服务技术标准体系是解决该问题的有效技术手段。互联网内容分级服务是由许多功能服务主体所构成的大型分布式系统,在相关业务目标实现过程中,这些构成主体间将表现出复杂的、并发的协同交互行为。为确保系统功能正确实现,必须对所有构成主体的功能及其交互行为进行严格规范。现有技术标准体系主要采用工程经验方法来实现上述任务,其完备性和一致性没有得到充分验证。因此,运用形式化方法来完成相关技术标准体系的建模、设计和验证是必要的,并能为后续的各组成技术标准详细设计和系统开发提供坚实的理论基础。为此,本论文主要从以下四个方面对互联网内容分级服务技术标准体系进行了研究:(1)业务环境形式化目标建模和系统目标提取;(2)系统内部构成主体及其协同交互目标提取和形式化描述;(3)各组成技术标准及其相互关系的提取和形式化描述;(4)技术标准体系形式化验证和能力比较。本论文取得了以下四项成果:(1)构建了业务环境的形式化目标模型分析并提取各项核心业务目标,给出这些目标的形式化描述;对这些目标进行逐层精化,推得完整的业务环境形式化目标模型;从该模型提取出各项系统目标、环境假设和领域属性,并给出它们的形式化描述。该建模策略从理论上可确保,在各项环境假设和领域属性都被满足的前提下,只要正确实现各项系统目标,各项核心业务目标就确定会实现。(2)构建了技术标准体系的形式化目标模型采用目标中介状态提取和形式化目标精化技术,对各项系统目标进行逐层精化,得到完整的技术标准体系形式化目标模型;基于该模型中的叶目标及其承载主体,推得系统内部构成主体及其形式规约,由此确定对应的功能服务类技术标准;同时基于该模型的所有分支目标,推得相关构成主体间的交互行为形式规约,由此确定对应的协同交互类技术标准;最后,基于该模型中的目标精化关系,推得这些技术标准间的贡献关系。(3)完成了技术标准体系的形式化设计对每个功能服务类和协同交互类技术标准,给出了包括形式规约在内的完整描述;从这些技术标准形式规约中提取信息实体变量,由此确定对应的信息表示类技术标准,并给出包括信息实体属性说明在内的完整描述;由技术标准形式规约与信息实体变量的包含关系,推得信息表示类技术标准对其他类型技术标准的贡献关系;基于技术标准间的贡献关系,得到技术标准体系层次结构,并对其进行了完整描述。(4)严格证明了技术标准体系设计的完备性和一致性运用形式推理方法,对本技术标准体系的完备性和一致性给予了严格证明,为后续技术标准体系详细设计提供了坚实基础。同时,归纳并提炼出内容分级服务的各项基础能力,对每项能力分别给出标准支持与标准缺失的形式化描述,并由此得到本技术标准体系和其他已有技术标准体系在基础能力支持抽象层次上的形式化描述,最终推得它们在核心业务目标支撑能力方面的完整评价结果,结果表明,本技术标准体系相对其他已有技术标准体系,能对互联网内容分级服务各项业务目标提供更完整的支撑。本论文受到国家科技支撑计划重点项目《网络文化安全监管系统的体系构架、集成及示范应用》(No.2006BAK11B01)和“十二五”国家科技支撑计划项目(NO.2011BAK08B05)的支持。
【学位授予单位】:华中师范大学
【学位级别】:博士
【学位授予年份】:2015
【分类号】:TP393.4

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 ;互联网内容建设与规范[J];青年记者;2018年16期
2 杜智涛;张丹丹;;互联网内容生态:嬗变、反思与重构[J];青年记者;2018年16期
3 王四新;;互联网内容建设管理需协调的关系[J];青年记者;2018年16期
4 何波;;英国互联网内容监管研究及对我国的启示[J];世界电信;2016年04期
5 蒋伟;;移动互联网内容安全审计平台的设计与研究[J];信息安全与技术;2015年03期
6 时文;;网络文学何以如此火爆?[J];时事报告;2017年01期
7 ;《人民论坛》2016年19期刊文 互联网内容建设的未来方向[J];人民周刊;2016年17期
8 菀而;;史上最严《通则》发布?互联网内容整顿日臻严格[J];黄金时代;2017年08期
9 彭峰;邓义乔;杨纯洁;;中国互联网内容产业商业模式分析[J];沿海企业与科技;2007年08期
10 杜宏伟;;韩国互联网内容管制[J];世界电信;2006年03期
中国重要会议论文全文数据库 前10条
1 曾茜;;收缩与调适:中国的互联网内容监管政策变迁分析(2002——2012)[A];中国传媒大学第六届全国新闻学与传播学博士生学术研讨会论文集[C];2012年
2 杨布懿;;浅论新媒体与互联网内容创业领域统战工作[A];进一步加强新的社会阶层人士统战工作——2016统一战线前沿问题研究文集[C];2016年
3 张立;;数字出版产业规模、态势及政策法规研究[A];2008年第四届中国科技期刊发展论坛论文集[C];2008年
4 王宝元;王中平;崔震;黄燕;;全业务时代互联网内容信息安全的设想[A];中国通信学会信息通信网络技术委员会2009年年会论文集(上册)[C];2009年
5 李彦平;郭令忠;徐心和;;离散事件动态系统的基本特征与一般形式化描述[A];1996中国控制与决策学术年会论文集[C];1996年
6 刘立骐;吴启迪;;协作系统的问题形式化[A];1998年中国控制会议论文集[C];1998年
7 杨娟;王柏;艾波;;新一代电信运营支撑系统软件体系结构的形式化描述[A];’2004计算机应用技术交流会议论文集[C];2004年
8 李文健;;形式化的涵义及其认识论本质[A];1993年逻辑研究专辑[C];1993年
9 张正兰;张明;;多媒体元计算中虚拟媒体的形式化[A];第一届建立和谐人机环境联合学术会议(HHME2005)论文集[C];2005年
10 王育红;陈军;;主/客户数据库的语义差异分析与形式化描述[A];中国测绘学会2006年学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 雷李洪 韩妹;未成年人手机上网增多 移动互联网内容监管缺位[N];中国青年报;2011年
2 本报记者 周静;互联网内容平台面临强监管 倒逼企业加强自我审核[N];通信信息报;2018年
3 黑龙江大学新闻传播学院 王威;大数据时代的互联网内容建设与治理[N];中国社会科学报;2018年
4 周峥 谢晨光;互联网内容侵权案件激增[N];人民法院报;2018年
5 孟威 中国社会科学院新闻与传播研究所网络新媒体研究室主任 研究员 博士生导师;以互联网内容建设提高“四力”[N];辽宁日报;2018年
6 叶前;微信公众号付费阅读要来了,你愿掏钱吗[N];科技日报;2017年
7 本报记者 郜晓文;网上“话唠”长啥样[N];人民政协报;2017年
8 本报记者 刘仁;先量后质,互联网内容产业现活力[N];中国知识产权报;2011年
9 CBN记者 孙进;移动互联网内容江湖:想象力和创新力很重要[N];第一财经日报;2009年
10 ;新兴移动互联网内容企业的发展之路[N];中国文化报;2003年
中国博士学位论文全文数据库 前10条
1 刘艳;互联网内容分级服务技术标准体系的形式化设计与验证[D];华中师范大学;2015年
2 刘兵;关于中国互联网内容管制理论研究[D];北京邮电大学;2007年
3 李小宇;中国互联网内容监管机制研究[D];武汉大学;2014年
4 张化冰;互联网内容规制的比较研究[D];中国社会科学院研究生院;2011年
5 曹海涛;从监管到治理[D];武汉大学;2013年
6 刘怡;观众登场:美国互联网内容生产与消费融合研究[D];华东师范大学;2012年
7 钱振江;安全操作系统形式化设计与验证方法研究[D];南京大学;2013年
8 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
9 刘强;设计模式的形式化研究及其EMF实现[D];华东师范大学;2011年
10 陈军昌;非线性产业或经济系统的演化(创新)分析[D];江西财经大学;2009年
中国硕士学位论文全文数据库 前10条
1 温淇;互联网内容付费使用意愿和影响因素探析[D];暨南大学;2018年
2 冯晓婷;互联网内容管理相对人民事权益保护研究[D];广西大学;2018年
3 郝萌萌;互联网内容分析系统的设计与实现[D];北京交通大学;2018年
4 刘紫莹;我国互联网内容付费现象研究[D];华中科技大学;2017年
5 马俊佳;宁夏移动面向移动互联网内容的运营管理研究[D];宁夏大学;2015年
6 马勤;基于旁路阻断技术的互联网内容控制系统设计[D];复旦大学;2008年
7 熊瑛;运营商互联网内容管理平台的设计与实现[D];南昌大学;2014年
8 韩林力;中国互联网内容管理及其与WTO规则的一致性[D];中国政法大学;2013年
9 金鑫磊;移动互联网内容安全审计平台的设计与实现[D];北京交通大学;2014年
10 李松林;基于缓存技术的互联网内容平台研究与实现[D];电子科技大学;2017年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026