论文部分内容阅读
在《电脑知识与技术》2016年9月刊《SIP协议的分层TCPN建模》一文中,作者论述了SIP协议的分层TCPN建模,本文结合若干模型分析技术验证了此协议的正确性。经分析,指出可能出现死锁,并分析了死锁原因。最后针对协议的设计又提出了相应的优化措施。
分层TCPN模型下SIP协议的分析
【摘 要】
：
在《电脑知识与技术》2016年9月刊《SIP协议的分层TCPN建模》一文中,作者论述了SIP协议的分层TCPN建模,本文结合若干模型分析技术验证了此协议的正确性。经分析,指出可能出现
【机 构】
：
集宁师范学院
【出 处】
：
电脑知识与技术：学术交流
【发表日期】
：
2018年2Z期
【基金项目】
：
内蒙古自治区高等学校科学研究项目,项目名称:基于TCPN的SIP协议形式化验证与分析(项目编号:NJZY283),内蒙古自治区高等学校科学研究项目,项目名称:基于云计算的教学资源垂直搜索研究(项目编号:NJZC14291)
其他文献
根据2008~2016连续9年的历史数据对浙江省10个主要城市的商品房价格与居民消费水平、固定投资额、城市基础建设投资、人均总值等7个因素建立多元线性回归模型,通过在95%置信
AxeSlide斧子演示是一款基于Html5开发的演示文稿制作软件,它打破传统演示软件的线性表达方式,展示具有空间逻辑感和非线性关系的内容,辅助受众创建全局思维导图。本文阐述了AxeSlide斧子演示的功能优势,并结合厦门气象服务中心影视现有设备,对其在气象信息服务领域的应用进行实践研究。
从《农业图书情报学刊》现状分析,论述了期刊的发展,提高学术质量要有充足而优质的稿源做保证,编辑部要结合稿件录用随时与作者保持有效联系,及时了解行业动态,为广大读者、
采用卫星影像图与实地样方相结合的方法,对海南省东寨港的红树林植物种类和群落进行调查和分析,确定有红树植物17科27种,群落类型有红海榄群落、白骨壤群落、无瓣海桑+海桑群
当今社会,移动网络、地理信息系统(GIS)、智能手机等信息手段飞速发展并广泛运用,老旧的信息化体系已然难以适应教育学习、科学研究以及事务管理的要求,该文全方位剖析三维智慧校园系统的实际运用及成果,通过三维建模、We-bGIS、GPS定位等开发手段创建一个多元化、数据化、智能化的虚拟校园,进而实现校园管理便利化、校园资源共享化。
<正> 由于我国过去和现在经济、社会和政治情况改变的影响,改造旧人和培植新人已是苏维埃时代最重要最具特性的要素之一。人的高尚道德品质的培养,已成为共产主义教育体系中
该文以适应我中心为特定航空气象用户提供安全、多样的气象服务要求为出发点,首先对现有技术手段的不足和SSL VPN相关技术和产品优势进行了全面的剖析。然后详细地阐述了西南
由于科学技术的不断进步与发展,机电一体化技术得到了广泛的使用,在各行各业中都取得了良好的应用效果。为了促进机电一体化技术在未来的进一步发展,必须要对其应用现状进行
在全球化背景下,我国恐怖主义发展出现了恐怖活动呈波浪状浮动、与国际恐怖组织"合流"、恐怖主义的"本土化"等新特点。我国的反恐对策应该从建立国家层面的反恐常态化长效机
<正>习近平总书记强调,我国经济已由高速增长阶段转向高质量发展阶段,必须坚持质量第一、效益优先,推动经济发展质量变革、效率变革、动力变革。这一重大判断明确回答了新时