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

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

本系统主要包括电源系统、数据远传及控制模块、GPRS模块、服务器数据库系统、客户端软件系统、现场采集单元电路模块、传感器系统、机箱、安装系统等。主要用于边远地区设备工况巡检及网络化传输控制。目前在助航标志遥测遥控、油田抽油井工况无线巡检、汽车调度等方面推广应用。系统工作原理及布置原理框图如图1-3。 该技术在助航标志遥测遥控应用方面于2003年4月获得省部级鉴定为国际先进水平。目前相关技术已经申请多项中国专利，并在油田、交通等行业或领域推广应用。

产品详细介绍腾创网络远程教育系统 远程现代化教育平台 网页语音视频教学平台  伴随着互联网技术信息共享高速发展的今天，实现了教育信息建设的浪潮，腾创网络教育平台就是其现代教育资源综合并且能够充分利用的新型教育模式。  教育资源在现在看来一直都是不停的在流失，并且我们国家目前区域的教育水平差距任然非常巨大，而整合优秀的教育资源，输送到相对教育水平落后的地区，是目前国内最大的需求，也是迫在眉睫刻不容缓，让所有的孩子们接受更加专业直接的直观高水平教育不再受到时间区域的影响，腾创网络教育平台本着创新中国教育，实现教育资源整合并且共享在腾创网络教育平台中，可以解决高水平教育的地域限制和时间限制的种种因素，考试中 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

产品详细介绍

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

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

我国的电力工业在近十年内有了很大的发展，并将有更大的发展。作为电站的大型设备，其运行的安全性、可靠性和经济性是至关重要的，不仅关系到电厂的安全与生产效益，而且对国民经济有直接影响。 但是多年以来，汽轮发电机组损失均在千万元以上，直接经济损失则在数百亿元以上。据统计，1988年至1991年四年来全国发电机事故总台达219台次，占装机总台数（462台

产品详细介绍 驭文图书管理系统 适用于各行各业图书馆自动化管理，高效快捷的图书录入，读者录入、图书借还、统计分析、条码打印、书标打印、备份管理等业务场景；软件支持sip2系统，可与北创图书自助借还书机无缝对接。 驭文图书管理系统免费版还能提供非常多的功能，比如图书录入、读者录入、图书流通操作等功能，不过也有收费版的，如：图书的藏书量有相应的1000条典藏数据限制，如需增加会涉及收费版。 产品详情 图书管理端采用Client/Server架构；图书信息查询系统采用 ,rowser/Server体系结构。 支持多种操作系统平台。如当今主流的操作系统Windows XP/2003/2008等。 采用SQL server数据库作为数据库服务器平台。 支持输入书籍ISBN码就可以获取书目信息。 具有强大的广域网环境应用服务功能，在数据库存贮级、应用检索级、用户界面级均能够实现各种不同国际、国内标准与协议的应用。

产品详细介绍《瑞天图书管理系统2018标准版》是一款适合于中小型图书馆使用的图书管理软件。目前我们此款软件在全国各地已经有数千家中小学、大中专及企事业单位正在使用。  《瑞天图书管理系统 2018标准版》软件背景： 从2005年起此款软件开始销售，最初取名为“瑞天图书管理系统 2005 ”此款软件一直销售于全国各地，并且为我们的用户提供永久免费升级服务 。在时间的洗礼中，我们的软件不断的完善，在功能方面也不断的强大， 因而更高效、更稳定、更专业 。于是到了2011年03月，我们这款软件正式更名为《瑞天图书管理系统 2018标准版》，依然为我们的用户提供永久免费升级服务。  《瑞天图书管理系统 2018 标准版》软件功能： 常用功能： 书籍管理、期刊管理、物品管理、读者管理、借、还、预借、续借和统计分析等。  ·操作灵活：数据录入可以手工录入，也可以是直接导入 ( 支持 EXCEL 、 MARC 等多种格式 ) ；软件有数据库连接管理，不仅可以连接本地数据库，也可以连接网络数据库，从而实现联机操作；软件既可以根据图书的标准分类法实现资料的自动分类，也可以根据自己自定义的分类方法对资料进行分类；软件 具备 条形码打印功能，其作用跟专业的条码打印机相当；软件本身可以配合会员卡和扫描枪等相关硬件使用，操作更方便。  ·界面简单： 系统采用 windows 风格，并结合的使用习惯和图书馆的标准流程，真正地做到“傻瓜化”。  ·智能化好：可以自动查重，自动生成和打印书标，可以根据 ISBN 码 自动产生出版社和出版地字段，可以根据中图分类号自动获取分类名称；  ·开放性好： 可导入或导出ＥＸＣＥＬ等多种格式数据，从而真正地实现了资源共享；  ·报表丰富： 该软件提供了大量报表，并提供了随机查询和智能组合查询功能。  ·安全性好： 系统提供了备份管理功能，所以不管是因为计算机病毒或者硬件原因导致的系统崩溃，都可以在片刻间把所有的数据通过备份管理恢复过来；并且相关的用户权限设定也很自由，避免了未授权的普通用户对图书或相关信息的非法修改；并且本系统有屏幕保护的作用，可以在用户离开后有效的防止别人在未授权的情况下修改您的数据。  打印功能： 条码打印功能（不仅为使用者省去了购买价格昂贵的条码专用打印机的费用，而且条码产生更方便，与系统结合更紧密）  书标打印功能（书标打印设计灵活、简单、好看、方便，可以实现套打）。  网络数字化功能:  ·支持图书馆图书信息 web 查询和发布等 与 Intranet/Internet 实现无缝连接；  ·支持触摸屏和普通计算机查询。  ·支持一卡通实现借阅服务解决方案。  ·本系统完全可以配合条码扫描枪使用，操作会更流畅，更简单。  技术简介： 本系统采用 C/S 结构，完全支持多用户操作；可运行于 Windows9x/WindowsNT/2000/Xp/2003/vista/win7 平台，有良好的兼容性、先进性与扩充性；可在线升级。  　　 系统特点：操作简单、界面清晰、功能强大、运行稳定快速、系统资源占用少。  该软件分为“单位版”和“学校版”两个版本；根据实际需求，在软件＂界面设置＂中作简单的设置，就可以实现单位版和学校版的相互转换。  　　而且根据实际需求，在软件＂界面设置＂中作简单的设置，也可以实现租金版和普通版的相互转换，从而实现一些个性化的功能。  操作推荐： 本软件可以配合本公司刚刚开发的《瑞天书目数据共享平台》使用，平台可以通过图书的ＩＳＢＮ码远程获取书目数据，从而让图书录入功能变得异常轻松，《瑞天书目数据共享平台》近期免费开放，欢迎大家使用！ 　 特别注意： 软件在WINDOWS操作系统中首次运行必须以管理员身份进行(特别是VISTA操作系统，若安全级别设置较高，首次运行须用鼠标右键单击我们的图书管理系统，选择“以管理员身份运行”)，否则会产生数据库连接失败，首次运行正常以后就可以以非管理员身份运行了。