导读:本文包含了通信图论文开题报告文献综述、选题提纲参考文献,主要关键词:通信,信史,测试,时序,中华人民共和国,中国,语法。
通信图论文文献综述写法
赵泓,肖雪龙[1](2010)在《通信革命的力量——评《中国通信图史》》一文中研究指出中国科学院院士、微波通信及光纤通信专家叶培大先生有言:"信息的流动对于人类社会而言,确实如同血液之于躯体。"信息的有序流动需借助一定的媒介或技术,而通信则是服务于人的信息表达、存储和传送的(本文来源于《中国出版》期刊2010年14期)
赵泓,肖雪龙[2](2010)在《通信革命的力量——评《中国通信图史》》一文中研究指出《中国通信图史》以社会史和技术史的视角,梳理了中国通信史的发展脉络,构思精巧,视野广阔。该书收集了大量的第一手材料,包括通信行业最新研究的成果与数据,资料的丰富、完整和具有代表性是该书的一大亮点。将中国通信史划分为话语时代、符号时代、仿真时代、虚拟时代,体现了编着者对通信发展内在逻辑的准确把握。如何面对通信技术发展所带来的诸如垃圾信息泛滥等问题,是本书再版时需要考虑的。(本文来源于《中国编辑》期刊2010年04期)
张姝,戎玫,张广泉[3](2008)在《基于时序逻辑的UML2.0通信图语义研究》一文中研究指出UML2.0通信图可以表示对象之间的交互,很适合用于对系统的交互行为建模,但由于UML缺乏精确语义,使得难以对其所表示的系统行为进行分析和验证。XYZ/E是可执行线性时序逻辑语言,既可描述系统的静态语义和动态语义。在定义UML2.0通信图的形式化语法的基础上,给出了通信图的XYZ/E时序逻辑语义,为进一步的系统分析和验证提供了形式化基础。(本文来源于《计算机工程与设计》期刊2008年21期)
孙莹,蒋波,王赫[4](2007)在《UML通信图和Petri网转换方法的研究》一文中研究指出软件建模是软件开发中的一个重要环节。UML是一种很有效的方法,但由于缺乏形式化的语义,使得其应用受到一定限制。Petri网具有形式化的语义和成熟的分析技术,因此,研究了将UML通信图转换为Petri网的转换规则,还讨论了这个转换的逆转换,以及自动转换程序的必要性及可行性。从而使得在系统建模的早期阶段就可以利用Petri网的各种分析方法对系统模型进行分析验证。(本文来源于《系统仿真学报》期刊2007年S1期)
张峻,张广泉,王辉,戴晔[5](2007)在《UML 2.0通信图的一种测试用例生成方法》一文中研究指出提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.(本文来源于《苏州大学学报(自然科学版)》期刊2007年02期)
通信图论文开题报告范文
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
《中国通信图史》以社会史和技术史的视角,梳理了中国通信史的发展脉络,构思精巧,视野广阔。该书收集了大量的第一手材料,包括通信行业最新研究的成果与数据,资料的丰富、完整和具有代表性是该书的一大亮点。将中国通信史划分为话语时代、符号时代、仿真时代、虚拟时代,体现了编着者对通信发展内在逻辑的准确把握。如何面对通信技术发展所带来的诸如垃圾信息泛滥等问题,是本书再版时需要考虑的。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
通信图论文参考文献
[1].赵泓,肖雪龙.通信革命的力量——评《中国通信图史》[J].中国出版.2010
[2].赵泓,肖雪龙.通信革命的力量——评《中国通信图史》[J].中国编辑.2010
[3].张姝,戎玫,张广泉.基于时序逻辑的UML2.0通信图语义研究[J].计算机工程与设计.2008
[4].孙莹,蒋波,王赫.UML通信图和Petri网转换方法的研究[J].系统仿真学报.2007
[5].张峻,张广泉,王辉,戴晔.UML2.0通信图的一种测试用例生成方法[J].苏州大学学报(自然科学版).2007