【摘 要】
：
介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分
【基金项目】
：
国家高技术研究发展计划(863计划)
论文部分内容阅读
介绍了一种新型的卫星网网络管理协议,并阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S_不变量分析和T_不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础.
其他文献
对外汉语词汇教学是对外汉语教学的重要组成部分。在对外汉语词汇教学中,文化因素的导入是一个将汉语本身特点与其所蕴含的文化信息相结合起来的立体渗透过程。语言是文化的
入侵检测系统(IDS)是重要的信息安全措施,如何提高检测率是目前入侵检测系统研究的热点。文章从入侵事件时间戳的角度,对提高检测率进行了讨论。首先论述了计算机系统获取高精度时间戳的方法,然后分析了入侵检测系统对日志、注册表、网络包事件的时间戳精度要求。最后,以注册表访问事件为例进行了仿真,实验证明这种高精度时间戳能有效识别事件顺序,在一定程度上提高了入侵检测系统的检测率。
摘要：由于相关政策、体制不完善，班级心理委员工作存在长效性不足，专业度不足，作用发挥不充分等现象。面对高职院校学生心理危机情况，也缺乏一定的心理学专业知识。高职院校应为心理委员的工作营造良好的工作氛围，健全心理委员考核及激励机制，保持心理委员工作长效性。 关键词：心理委员；现状调查；方法探析 中图分类号：G715文献标志码：A文章编号：2095-9214（2016）08-0222-01 中共
作为常规主战陆基武器的火炮,目前在战争中仍然起着不可替代的作用。首先分析了火炮后坐动力学过程和典型故障因素,概括了表征火炮工作性能的三个指标和工作准则。基于ADAMS建立了用于仿真火炮故障的虚拟样机模型,仿真结果与试验数据对比说明了虚拟样机建立的准确性。利用相对灵敏度分析获得各典型故障因素对火炮工作性能指标的影响程度,解决了具有不同量纲的故障因素影响性能指标的比较难题。根据火炮极限射击条件,利用虚
摘 要：网络学习不仅跨越空间时间，也提高了传统教育的效率，系统可以辅助教师上传教学大纲、学生的评分标准及各项权重、作业要求、课件，让学生明确教学内容，教学范围，教学活动，考核要求，评估机制。网络学习的最大优势在于培养学生的思辨思维，用技术加速信息传播，培养学生的创新能力。 关键词：E-learning；大学教学；运用研究 中图分类号：G420文献标志码：A文章编号：2095-9214（2016
摘要：2015年10月第十五届中国教育信息化创新与发展论坛提出了“互联网+教育”的概念受到教育界人士的广泛关注。“互联网+教育”促进了信息技术与课程整合的研究，信息技术不仅包括计算机技术也包括互联网技术，还包括恰到好处地应用信息技术。本文意在提出现在信息技术在教学中的普遍问题，从而提出相应的解决对策。 关键词：信息技术；课程整合；对策 中图分类号：G423文献标志码：A文章编号：2095-92
为了满足不同的仿真需求,仿真调度服务应具有模块化、可配置、“即插即用”等特点。基于JMASE模块化面向对象仿真服务体系和运行时组件替换机制,用户可创建新的或选择已有的满足需求的标准化仿真调度服务模块进行仿真,既提高了建模与仿真的效率,又促进了模型的重用和互操作。阐述JMASE公共仿真服务理论,介绍面向对象实时仿真调度服务的基本原理、关键技术及实现方法,最后给出Windows平台下的实时性能测试。
摘 要：有效教学是一种提倡教与学的效率、效果和效用的教学观，核心问题是教学活动是什么样的教学才是真正有效的，什么样的教学是低效的，甚至是无效的。本文就高中数学教学方面如何实现有效教学进行了一些探讨。 关键词：高中数学;有效教学;探究学习 为了改变当前学校教育中，师生负担过重，课堂教学低质量、低效率的现状，需要加强有效教学的基础研究，探讨各学科如何通过探究学习方式实现有效教学。《数学课程标准（实
摘 要：加快发展现代职业教育已经成为国家政策和国家制度，但滞后的大学英语教学严重影响了高技术、高技能型人才的培养。文章分析了目前高职英语教学存在的困境，从教师反思教学和学生自主学习两方面入手，探讨了走出大学英语教学困境的方法。 关键词：教学困境；反思教学；自主学习 一、英语教学困境 （一）学生语言功底差，主动学习能力欠佳 我国的中小学英语教育不尽人意，分工不明显，英语教学过程存在本末倒置的
先分析了数据库管理系统中的事务处理,接着分析了多层结构及其在Delphi中的实现,最后以SQL SERVER和Delphi为例讨论如何在多层结构的各个层次上利用事务处理来实现数据的一致,既分别在客户端如何利用显式事务处理、在中间层如何利用隐式事务处理、在远程数据库服务器层如何利用触发器事务处理来实现数据一致。