This paper discusses a transport protocol and its formal description techniques for local network. The transport layer function, the transport services and a transport protocol design in a local network architecture m...This paper discusses a transport protocol and its formal description techniques for local network. The transport layer function, the transport services and a transport protocol design in a local network architecture model are presented. A transport protocol specification using the finite state automata (FSA) is given. The correctness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness, deadlock and livelock freeness, termination and reachability.展开更多
动态网络分析是复杂网络背景下机器学习和人工智能研究的热门方向之一。将形式概念分析方法与动态网络分析方法相结合,对动态网络中的概念及其网络特征值的动态性进行研究具有重要意义。首先,提出了动态网络形式背景,将动态网络数据与...动态网络分析是复杂网络背景下机器学习和人工智能研究的热门方向之一。将形式概念分析方法与动态网络分析方法相结合,对动态网络中的概念及其网络特征值的动态性进行研究具有重要意义。首先,提出了动态网络形式背景,将动态网络数据与形式概念分析统一到一个数据框架下,结合现实中的动态网络数据类型,对其中一类动态网络形式背景进行了分类和构造性分析;其次,提出了动态网络概念及其网络特征值的定义,为后面研究网络概念的动态性奠定了基础;接着,给出了各种网络概念特征值的变化速率的定义,并提出了网络对象概念动态性分析算法和网络属性概念动态性分析算法;最后,利用从Web of Science核心期刊库中提取的数据对所提出的两个算法进行实验,实验表明所提算法能对网络概念及其特征值的动态性进行有效的分析。展开更多
文摘This paper discusses a transport protocol and its formal description techniques for local network. The transport layer function, the transport services and a transport protocol design in a local network architecture model are presented. A transport protocol specification using the finite state automata (FSA) is given. The correctness of the protocol is verified by using the reachability tree technique with respect to the protocol properties of completeness, deadlock and livelock freeness, termination and reachability.
文摘动态网络分析是复杂网络背景下机器学习和人工智能研究的热门方向之一。将形式概念分析方法与动态网络分析方法相结合,对动态网络中的概念及其网络特征值的动态性进行研究具有重要意义。首先,提出了动态网络形式背景,将动态网络数据与形式概念分析统一到一个数据框架下,结合现实中的动态网络数据类型,对其中一类动态网络形式背景进行了分类和构造性分析;其次,提出了动态网络概念及其网络特征值的定义,为后面研究网络概念的动态性奠定了基础;接着,给出了各种网络概念特征值的变化速率的定义,并提出了网络对象概念动态性分析算法和网络属性概念动态性分析算法;最后,利用从Web of Science核心期刊库中提取的数据对所提出的两个算法进行实验,实验表明所提算法能对网络概念及其特征值的动态性进行有效的分析。
