项目研究内容 ： 本系统的开发内容是实现一个能够对网络安全认证 协议进行形式化自动分析的模型检测系统， 该系统能够自动完成对协议的 建模、性质归纳及协议系统模型的验证，并在发现协议漏洞时，以直观的 图形化界面显示该漏洞的攻击序列图。 技术特点 ：抽象性：该系统具有较高的抽象性。协议的建模和验证过 程对用户来说是完全透明的

近年来我国大型计算机网络建设发展很快，网络规模越来越大，结构也越来越复杂，采用传统的方法和凭个人经验进行大型网络系统设计已成为不可能。此外，大型网络的运行状态和行为分析也就越来越重要，迫切需要一种工具软件对其进行研究，它是针对以上需要开发完成的。该成果具有重要的理论价值和使用价值。

产品详细介绍系统概述： 网络课程系统集成并整合了教育资源系统、网络课程系统、作业系统、在线测验系统、校内聊天系统以及Live直播系统等6个应用系统，提供了一套以课程为中心，集“资源汇集、课程建设、协作互动、基于教学和学习大数据的形成性评价于一体”的数字化学习解决方案，是开展网上自主学习的理想平台。 系统特色： 整体学情分析报告：生成整体数字化学习情况分析报告； 教师开课报告：生成以教师为分析对象的数字化教学报告； 课程分析报告：生成以课程为分析对象的教师视角课程分析报告； 课程学习报告：生成以课程为分析对象的学生视角课程分析报告； 学生学习报告：生成以学生为分析对象的数字化学习报告； 数字化学习工具种类丰富：学习笔记、学习问答、课程群聊、与老师一对一单聊、在线考试、试题层面的一对一互动、Live视频直播教学。

产品详细介绍腾创网络远程教育系统 远程现代化教育平台 网页语音视频教学平台  伴随着互联网技术信息共享高速发展的今天，实现了教育信息建设的浪潮，腾创网络教育平台就是其现代教育资源综合并且能够充分利用的新型教育模式。  教育资源在现在看来一直都是不停的在流失，并且我们国家目前区域的教育水平差距任然非常巨大，而整合优秀的教育资源，输送到相对教育水平落后的地区，是目前国内最大的需求，也是迫在眉睫刻不容缓，让所有的孩子们接受更加专业直接的直观高水平教育不再受到时间区域的影响，腾创网络教育平台本着创新中国教育，实现教育资源整合并且共享在腾创网络教育平台中，可以解决高水平教育的地域限制和时间限制的种种因素，考试中 75 ％都是与基础知识紧密相关的考查范畴，这方面恰恰是同学们容易忽略的地方，同步课程针对学生的弱项进行强化训练，按知识链条，逐点剖析，以点带面，讲练结合，探索规律并总结方法。 课程紧贴教学实际，达到同步讲解巩固，系统全面提高的效果。   腾创网络远程教育系统平台主要功能及优势 ：一、前台页面功能1.用户登录：新用户注册，用户登录，进入个人管理平台可以对自己的基本资料等进行管理。2.网络课堂：显示当前系统里面所有老师已经发布的课程。3.课件点播：显示当前系统里面所有老师发布的课件，支持的格式包括图片，PPT文档，word文档，FLV格式的视频等。4.答 疑 区：提供老师和学生在网络上进行文字互动交流。5.名师风采：当前系统里面老师的资料库。6.学习心得：学生可以发布自己的心得体会等供大家学习。二、电子课堂功能1.课堂模式：包括讨论模式和培训模式两种。培训模式支持正常的一对多的教学，老师讲课，多名学生听课，同时支持学生举手发言或者老师点名要求某一个学生发言；讨论模式下，可以选定几个学生的视频发布出来，进行视频语音的互动。2.用户列表：显示当前在该电子教室里面上课的所有用户。3.发言申请列表：在培训模式下，申请发言的学生举手之后会显示在发言申请列表里面，老师可以点击让该学生进行发言的。4.资料共享：系统支持PPT、PDF、图片、视频等多种格式的资料共享，老师可以上传资料共享，老师也可以指定某个学生上传资料共享。5.资料下载：共享的资料在上传的时候，上传者可以设置是否允许用户从服务器上下载该资料下来使用。6.电子白板：可以在白板上面进行文字，画图等多种操作。7.文字交流：系统有文字交流区域，且支持文字私聊的功能。8.桌面共享：老师或者老师指定的某个学生可以共享自己的桌面给在当前课堂里面的用户进行观看。9.同步操作：老师的操作支持同步操作，同步操作下，用户的显示和老师的操作是同步变化的。10.视频全屏：支持老师的视频全屏操作。11.视频设置：可以根据自己的网络实际情况进行视频音频的调整。更多产品信息请咨询【肖小姐】 QQ：417611849电话：13145883908

产品详细介绍

无线网络规划管理支撑系统主要为无线网络规划工作提供支撑手段和方法，通过对无线网络规划关键流程管控、规划资料统一管理，综合路测数据、CQT数据、投诉数据、话务量、数据流量、现网站点资源等多维度数据实现规划前的选址。

AYT-5G网络优化虚拟仿真系统是根据移动通信相关课程，基于真实路测软件，结合移动通信网络优化项目实际工程案例，紧贴网络优化教学中的重点难点，为移动通信专业实践课程打造的一款仿真软件。 5G网络优化虚拟仿真系统采用案例场景模式进行教学，内容丰富，独具特色，旨在培养契合企业需求的初中级网络优化工程师。

本发明属于结构优化技术领域，公开了一种面向多种微观结构的材料结构一体化构建方法，针对传统变密度法得到的连续变化的材料分布以及单元密度，基于后处理机制对材料区域进行划分与单元密度分组，实现对宏观结构内具有不同材料属性的区域进行定义与划分，实现对宏观结构内的多种微观结构进行定义；其次基于参数化水平集拓扑优化方法与均匀化理论建立材料结构一体化设计模型，即针对定义的多种微观结构与宏观结构进行一体化设计，实现宏观结构与多种微观结构并行化设计，在给定约束条件下，实现整体结构的性能达到最优。

该成果获2018年度国家科学技术奖科技进步类二等奖。创立了多模式公交网络供需辨识与协问设计技术，研发了多模式公交网络协同仿與与效能评估技术、多模式公交系统协调控制技术及面向多模式公交网络的智能版务技术与平台，大幅提升了多模式公交运行信总化管理水平和公众出行服务能力，项目攻克了城市多模式公交网络协同设计与智能服务的核心理论与关键技术，解决了当前城市公交系统缺乏协同、效率低下的问题，实现了城市多模式公交网络协同设计、综合评佔、协调控制与智能服务的技术突破.成果在京津翼、长三角、长江经济带等重点城市的工程项目中得到推广应用，全面提升了应用城市公交系统的整体效 能，有力支撑公交都市国家战略的实施，经济社会效益显著。

本发明公开了一种适用于星型无线多跳中继网络的最大跳数获得方法，包括步骤：步骤 1，构建各 普通节点的流守恒模型；步骤 2，构建节点干扰模型；步骤 3，构建各普通节点的数据传输量模型；步 骤 4，以接入点吞吐量最大为优化目标，以普通节点的流守恒模型和数据传输量模型、以及节点的干扰 模型为约束条件，构建求解最大跳数的线性规划问题；步骤 5，求解线性规划问题获得最大跳数。本发 明同时考虑了星型无线多跳中继网络中复杂的节点干扰模型和各节点的发送带宽需求