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

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

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

产品详细介绍系统概述： 网络课程系统集成并整合了教育资源系统、网络课程系统、作业系统、在线测验系统、校内聊天系统以及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

产品详细介绍

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

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

产品详细介绍《瑞天图书管理系统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操作系统，若安全级别设置较高，首次运行须用鼠标右键单击我们的图书管理系统，选择“以管理员身份运行”)，否则会产生数据库连接失败，首次运行正常以后就可以以非管理员身份运行了。

产品详细介绍经过多年在图书馆行业中的工作和研究后，我们发现，图书管理工作是一项长期的系统工程，如果能够按照科学的方法进行有条不紊的管理，会有事半功倍的效果；但是一旦管理方法不得当，不但浪费大批时间和资源，而且还会导致图书财产的损失。 跟大多数行业一样，每个行业都有自己的行业特点和规定，图书馆行业也一样，也有着自己的一些约定俗成的规定和标准，按照这些标准来操作，不仅使得不同的图书馆之间资源共享变得容易，而且读者在不同的图书馆查阅资料时也会变的相对容易。 随着计算机技术的进步，现在的很多图书馆都会知道配合图书管理软件来管理图书，但是现在市场上的软件质量良莠不齐，建议客户可以避免选择以下几种软件： 1、华而不实型，软件表面上界面做的不错，但是没有几个能真正用的好的功能； 2、滥竽充数型，有些图书管理软件开发商，还没有完全了解图书馆的工作机制，却想当然地做出来一些功能让用户去用，让原本就不规范的图书管理工作变的更加不规范； 3、自以为是型，一些特别专业的图书管理软件，什么功能都有，特别复杂，什么工作都严格按照标准规定，不知道具体问题具体分析，让用户无止尽的学习软件，把所有问题都抛给用户； 4、东拼西凑型，此类软件近期突然大量浮现，可能是与一些招标文件的要求有关，一般是标书上指定的功能基本上在软件都能找到影子，但是基本上也都是虚张声势，没有什么实际用处，完全忘了软件本身是个相互关联的整体，把一些不相关的功能硬生生的拉到一起。 《瑞天图书馆自动化管理系统旗舰版》是一款符合图书馆相关规定和标准的图书管理软件，为了减轻用户的负担，本软件系统集成了远程数据获取功能和著者号生成功能等模块，使得软件更好用、更实用，本系统很多功能完全从客户角度出发，尽量让软件易学易懂，能真正做到“好软件，不用学”的效果；本系统分为加强版和精简版两个版本，虽然精简版软件功能经过了部分精简，但是仍然不失图书馆行业标准的专业性和管理图书功能的强大性，对于大多数图书馆来说，精简版软件系统完全可以满足需求；对于要求较高的图书馆，可以选择我们的加强版系统软件。（凡购买加强版图书管理软件的，我们会赠送一款WEB查询系统，请点击此处查看查询端详情） 安装说明：本系统后台数据库使用的是当今比较流行的MS SQL SERVER数据库，全面兼容主流数据库版本（如SQL SERVER2000、SQL SERVER2005和SQL SERVER2008等），安装本图书管理系统之前，请确保您的局域网中已经安装好了SQL SERVER数据库服务器（若没有安装SQL SERVER，可以随时到网络上搜索并下载本数据库安装软件并安装，任何问题请与我们的工作人员联系）。首次安装好本图书管理系统后仅需要进行简单的相关数据库连接设置就可以正常使用了（第一次连接数据库时需要创建，有对应的复选框，直接选中就可以了）。 若自己实在找不到相关SQLSERVER数据库，可以安装以下免费版SQLSERVER 2005(Express Edition版本)，两款中随意选择一款，其中Microsoft SQL Server 2005 Express Edition with Advanced Services SP3安装程序中多了一个SQLSERVER 2005图形化客户端管理工具（注意：一般安装了 SQL Server 2005 Express Edition版本，默认实例名是【SQLEXPRESS】，所以访问的时候服务器名应该是【服务器IP地址或者计算机名\SQLEXPRESS】）： 进入Microsoft SQL Server 2005 Express Edition SP3 官方简体中文版下载页面（大小：59M) 进入Microsoft SQL Server 2005 Express Edition with Advanced Services SP3 官方简体中文版下载页面(大小：267M) 当然，如果有需要，您可以自行寻找其它数据库版本，任何问题请联系我们的在线客服！    更多资讯及相关产品讯息可登录北创科技官网wwwbc863.com进一步了解。