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

项目简介： 无线网络技术已经彻底改变并对入们生活的方方面面产生了重大影响

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

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

杭州幻界网络科技有限公司是一家为广大游戏动漫制作团队提供后台技术支持并进行自主研发的团队，我们秉承服务客户，为广大研发团队提供满意的服务，欢迎各大公司前来咨询！！

山东六牛网络科技有限公司（以下简称：六牛科技），创立于2015年，总部位于临沂中印国际创新园，是国内专业互联网解决方案提供商，专注于移动互联网技术开发和产品运营，是国家高新技术企业、中国互联网协会会员单位、中国软件协会会员单位。 六牛科技作为国内高端专业互联网解决方案提供商，提供高端APP定制开发、DAPP开发、微信营销系统、高品质网站设计、区块链和各行业解决方案等服务。同时，六牛科技提供知识产权服务，包含专利申请、商标注册、版权登记、ISO体系认证、 高新技术企业认定、双软认定、山东省品牌申报、各项财政补助资金申请、法律诉讼、金融服务、知识产权贯标认证、两化融合贯标认证等服务。

神策数据（Sensors Data），全称神策网络科技（北京）有限公司，是国内专业的大数据分析和营销科技服务提供商，为企业提供神策营销云、神策分析云、神策数据根基平台三大产品方案，通过全渠道的数据采集与全域用户 ID 打通，全场景多维度数据分析，全通道的精准用户触达，帮助企业实现数字化经营。 神策数据立足大数据及用户行为分析的技术与实践前沿，提出基于数据流的企业运营框架——SDAF，即Sense（感知）、Decision（决策）、Action（行动）、Feedback（反馈）的数据闭环，并致力为客户打造基于 SDAF 运营框架的数据闭环。业务现已覆盖以互联网、品牌零售、金融、融合媒体、企业服务、高科技、汽车、互联网+ 等为代表的 30 多个主要行业，并可支持企业多个职能部门，目前已服务付费客户 2000 余家。公司总部在北京，并在上海、深圳、合肥、武汉、成都、西安、中国台北等地均拥有本地化的服务团队，覆盖全国及东南亚市场，同时，公司拥有专业的服务团队，为客户提供与营销和大数据相关的咨询、解决方案和专业服务。 神策分析，是一款可私有化部署的用户行为分析平台。提供私有化部署和 SaaS 两种部署方式、实现基础数据采集与建模，并可作为 PaaS 平台支持二次开发。基于用户的业务特点和多部门复合需求，神策分析助力用户建立高效的数据指标体系，用先进的事件模型抽象用户行为，提供多维度、多指标的交叉分析能力，全面支撑各个团队的日常数据分析需求，驱动业务决策。 神策智能运营，是基于用户行为洞察的一站式智能运营平台。集活动创建、执行、管理、反馈、迭代为一体的自动化平台，能够通过用户行为、属性、标签等数据筛选受众，实现最佳人群的精准触达，提升关键指标和运营效率，帮助企业释放运营价值，数据驱动业务持续增长。 神策智能推荐，是专注于赋能业务增长的推荐系统。以用户行为数据为基础，采用深度学习等先进的机器学习算法，帮助企业构建智能物品分发中心，实现对用户“千人千面”的个性化推荐，改善用户体验，持续提升核心业务指标。 神策用户画像是面向业务的用户标签及用户画像管理中台。全端采集用户行为数据，整合业务数据等多种数据源，帮助企业构建体系化用户标签图书馆，输出用户画像，赋能业务实现用户精细化运营和精准营销； 神策客景，是一款结合客户行为数据的精细化客户服务与管理平台，专为企业服务 SaaS 行业打造的客户全生命周期分析与运营工具，引入客户行为数据，追踪客户健康变化，构建客户分级体系差异化管理，同时可以自动预警客户风险和增购机会，触发任务对症下药，行之有效地提高续约续费率，促进企业 MRR 稳步上升。 目前，神策数据积累了中国银联、小米、中邮消费金融、海通证券、广发证券、东方证券、中原银行、百信银行、樊登读书、四川航空、VIPKID、东方明珠、华润、有赞、百姓网、货拉拉、闪送、Keep、36 氪、拉勾、VUE、春雨医生、聚美优品、边锋游戏、捞月狗、纷享销客等 2000 余家付费企业用户的服务和客户成功经验，为客户全面提供指标梳理、数据模型搭建等专业的咨询、实施和技术支持服务。

山东万正科技软件有限公司是在山东省软件技术产业园区注册的企业，已获双软认定及高新企业认证,多年服务于中国驾培行业信息化领域，具有资深的行业背景和丰富的行业经验，万正科技 ，以诚信.人性.责任.和谐为工作方针， 经过近2年不懈努力，孕育了“创新不止，客户第一，惜时如金”的万正文化和价值观，筑就了中国最专业的驾培软件中心和世界领先的驾培中心托管平台，成为驾驶员培训产业的领导者。走进2008年，万正科技的发展进入加速期，除了在传统驾培市场多有斩获，我们在驾驶员培训方面也有了领袖客户。公司发展取得的成绩有目共睹，万正科技将继续发扬创新精神，加强技术创新力度，进一步提高我们的服务水平，致力于中国驾培行业的发展，坚定地朝着我们的目标前进――推进中国的高科技创新，为中国的高科技服务行业持续、高速发展做出新贡献，为客户提供更加可靠的服务。 凭借准确的市场定位及雄厚的研发能力，2008年万正科技怀着创造未来的梦想，继续攀登高峰。为全国驾培行业提供“一站式”产品服务！ 

上海瑞聪网络科技有限公司以服务中小学信息化为己任，致力于发展低碳教育，促进学生成长，通过和教育专家及教育一线校长、教师的合作，启迪智慧,激发创新,传播教育先进之力量，促进教育均衡发展。公司主要通过云计算服务给家庭、学校、教育局等提供一个高效沟通的平台，并为教育系统的信息化建设提供一揽子解决方案。上海瑞聪网络科技有限公司和无锡尚蠡科技有限公司战略合作，为教育系统已经提供：校园办公平台、学生学业评价、教育资源库、校园书香网等应用平台；上海瑞聪网络科技有限公司则专注给客户提供全方位信息化外包服务，让学校专注于教育教学。

内置GPU芯片，支持深度学习算法，有效提升检测准确率 支持视频结构化功能：支持机动车抓拍、机动车属性提取，支持非机动车抓拍、非机动车属性提取，支持人体抓拍、人体属性提取，支持人脸抓拍、人脸属性提取，支持机非人数量统计，搜索报表（球机） 支持人脸检测；支持人脸优选抓拍；支持人脸增强；支持人脸属性提取；支持7种属性5种表情：性别，年龄，眼镜，表情，口罩，人种肤色，胡子；支持多种人脸抠图方案设置：单寸照，人脸；支持人脸识别（前端支持导入1万张人脸库） 支持绊线入侵、区域入侵、穿越围栏、徘徊、物品遗留、物品搬移、快速移动、停车、人员聚集检测；支持人车分类报警；支持联动跟踪 枪球一体化设计，兼顾全景与细节，达到单个产品既能看全也能看清的优势 支持双云台，设备具备全景、细节两个通道且都支持远程转动调节位置，灵活布控 细节相机支持5倍光学变倍，16倍数字变倍 全景细节都采用400万像素1/1.8英寸CMOS传感器 支持超星光级超低照度。全景相机：0.0006Lux/F1.0（彩色），0.0006Lux/F1.0（黑白）；细节相机：0.0005Lux/F1.35（彩色），0.0003Lux/F1.35（黑白） 支持H.265编码，实现超低码流传输 全景相机内置18米白光灯补光，采用暖色调和柔化处理，有效降低炫目程度；细节相机内置100米红外灯补光，采用倍率与红外灯功率匹配算法，补光效果更均匀 全景相机：水平范围：0°～360°连续旋转、垂直范围：0°～30° 细节相机：水平范围：0°～250°，垂直范围：-10°～90 支持300个预置位，8条巡航路径，5条巡迹路径 支持1路音频输入和1路音频输出 内置2路报警输入和1路报警输出，支持报警联动功能 支持IP67防护等级，8000V防雷、防浪涌和防突波保护 支持AC24V±25%宽电压输入