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

本实用新型涉及农业机械，尤其是一种超声波振动土壤挖掘装置。包括机架，其中，还包括变幅杆挖掘铲、超声波换能器和超声波发生器，所述变幅杆挖掘铲与超声波换能器固定连接，超声波发生器通过信号电缆线将电信号传递给超声波换能器，超声波换能器与机架连接；所述变幅杆挖掘铲包括铲刀和铲柄，铲柄的一端与超声波换能器固定连接，铲柄的另一端与铲刀固定连接，铲柄在竖直方向的截面面积从与超声波换能器的固定连接端到与铲刀的固定连接端由大到小逐渐过渡变化。可以有效解决土壤切削挖掘作业阻力大、耗能高等问题。

火灾事故调查是是一项技术性、政策性、规范性、法律性和时效性都很强的工作。由于火灾现场的千差万别，火灾调查这一专业执法工作所涉及的知识面特别广泛，在现场勘查过程中遇到的专业问题又相互交织在一起，加之建筑新材料、新工艺、新技术、新产品的不断涌现，使得火灾现场典型痕迹的发现和识别显得尤为重要。本课题选题从消防部队实际需求出发，以实际火灾现场中的痕迹为主要研究对象，收集提炼玻璃和混凝土等常见材料在火场高温条件下的痕迹特征，以解读痕迹形成的过程和规律，为火灾调查工作的开展提供有力支撑。

舆情监控是整合互联网信息采集技术及信息智能处理技术通过对互联网海量信息自动抓取、自动分类聚类、主题检测、专题聚焦，实现用户的网络舆情监测和新闻专题追踪等信息需求，形成简报、报告、图表等分析结果，为客户全面掌握网民思想、行为动态，做出正确舆论引导，提供分析依据。西安交通大学大数据分析技术与算法国家工程实验室舆情大数据分析研究小组在舆情监控领域进行了大量的研究工作，在数据方面构建了包括 Facebook、Twitter、微博、贴吧、门户网站、论坛在内的 100 余处主流站点的数据，构建了包括文本、图片、视频等在内的跨模态舆情大数据。该项目团队拥有完整独立自主的知识产权，实现了技术的自主可控，并且能够提供一站式社交网络信息处理方案和技术支持，如更广的数据采集扩展、丰富的数据分析、多样的舆情报告、多端的平台应用。目前该系统已应用于教育部考试舆情监控系统、榆林舆情监控系统、丝路学院知识中心，用户涵盖国家部委、公安、宣传、军队、高校等领域，并获得了用-- 25 --西安交通大学国家技术转移中心户的一致认可和高度评价。

一、项目简介舆情监控是整合互联网信息采集技术及信息智能处理技术通过对互联网海量信息自动抓取、自动分类聚类、主题检测、专题聚焦，实现用户的网络舆情监测和新闻专题追踪等信息需求，形成简报、报告、图表等分析结果，为客户全面掌握网民思想、行为动态，做出正确舆论引导，提供分析依据。西安交通大学大数据分析技术与算法国家工程实验室舆情大数据分析研究小组在舆情监控领域进行了大量的研究工作，在数据方面构建了包括 Facebook、Twitter、微博、贴吧、门户网站、论坛在内的 100 余处主流站点的数据，构建了包括文本、图片、视频等在内的跨模态舆情大数据。该项目团队拥有完整独立自主的知识产权，实现了技术的自主可控，并且能够提供一站式社交网络信息处理方案和技术支持，如更广的数据采集扩展、丰富的数据分析、多样的舆情报告、多端的平台应用。目前该系统已应用于教育部考试舆情监控系统、榆林舆情监控系统、丝路学院知识中心，用户涵盖国家部委、公安、宣传、军队、高校等领域，并获得了用-- 25 --西安交通大学国家技术转移中心户的一致认可和高度评价。二、产品性能优势1. 该系统能够通过对不同用户的不同需求，不同舆情监控

产品详细介绍V-HUB道路环境与车辆数据采集系统GPS道路环境与车辆数据采集系统基于GPS定位的道路交通环境与车辆数据采集系统是一种功能强大的仪器。它是基于新一代的高性能卫星接收器，其中主机主要用于测量汽车移动时的速度和距离，并且能够提供横纵向加速度值，减速度，时间和制动、滑行、加速等距离的准确测量。外接各种模块和传感器可以采集油耗，温度，加速度，角速度及角度，转向角速度及角度，转向力矩，制动踏板力，制动踏板位移，制动风管压力，车辆CAN接口信息等其它许多数据。由于它的体积较小及安装简便，其非常适合汽车综合测试时的使用。由于系统本身带有标准的模拟及数字模式的CAN总线接口，整个系统的功能可以根据用户的需要进行扩充。主要特点全套测量系统体积极小，安装简便迅速能完成国家标准要求的汽车动力性，经济性，操纵稳定性，制动性能等实验制动触发形式多样，使试验更加方便高精度、高可靠性，高耐振、抗冲击性能确保测试质量大容量紧凑式闪存卡（CF卡）即时存储数据，以便事后处理可扩展连接其他各种传感器等在线显示4个测量参数各种测量或采集到的参数可以实时显示可根据要求设定各种不同的试验条件进行试验制动触发形式多样，使试验更加方便WINDOWS操作界面的设定和分析软件，使用方便高精度、高可靠性，高耐振、抗冲击性能确保测试质量用GPS非接触式速度和距离测量现场即时打印功能，打印各个测量或采集到的参数，实现现场数据阅读大容量紧凑式闪存卡（CF卡）即时存储数据，以便后处理可扩展连接其他各种传感器绘制轨迹图，圈数定时参数能以标准的形式测量下列参数速度、距离、时间、位置、方向、高度、横向加速度、纵向加速度、垂直速度、与中心线的漂移、转弯半径用其它的硬件可测量的参数包括外部数字触发、温度、模拟电压、CAN 总线信息、偏航率、滚动角、倾斜角、滑行角度量程及精度序号 测量参数 量程 精度1 距离 -- 0.05%2 速度 0-1600公里/小时 0.1公里/小时3 时间 -- 0.001秒4 燃油消耗（实时显示） 0.3-120升/小时 ±0.2%5 X，Y，Z三轴向加速度 ±1.7g 1mg6 角速度（侧倾，俯仰，横摆） ±150°/s 0.1°/s7 转向力矩 ± 50Nm ±0.5Nm8 转向角 ±1250° 满刻度时0.1°9 温度 —— ——10 制动踏板力传感器（带实时显示器） 0-1500N 0.5%11 制动踏板行程 0 - 300 mm 0.1 mm12 制动管路压力 0-200 Bar 0.25%13 发动机转速 0-10000转/分钟 ±1转/分钟可进行的试验：滑行试验油耗试验爬陡坡试验最高车速试验加速性能试验制动性能试验操纵稳定性试验最小稳定车速试验最小转弯直径测量实验　　制动踏板力测量实验制动踏板行程测量实验制动管路压力测量实验汽车防抱制动系统性能实验温度测量实验里程，速度表校验等其它试验可满足的国家标准：oGB/T 12545 - 1990 汽车燃料消耗量oGB/T 12547 - 1990 最低稳定车速oGB/T 12536 - 1990 汽车滑行试验oGB/T 12543 - 1990 汽车加速性能oGB/T 12539 - 1990 汽车爬坡性能oGB/T 12544 - 1990 汽车最高车速oGB/T 12676 - 1999 汽车制动系统性能oGB/T 6323 - 94    汽车操纵稳定性试验方法oGB/T 12540 - 90   汽车最小转弯直径测定方法　oGB/T 13594 - 92   汽车防抱制动系统性能要求和试验方法规格GPS采用功能强大的全新的GPS引擎,可以提供以20-100Hz的更新率更新所有GPS参数包括速度,角度和位置，速度和角度是通过对GPS载波信号进行多普勒转换进行计算以提供高精度。模拟量输出2 x 16位模拟量输出可以通过用户配置输出速度或者其他GPS参数,用户用户其他的数据采集设备,输出电压范围为0到5V直流，分辨率为76 μV 每位。数字量输出有两类数字量输出，一个频率/脉冲输出对应于速度，第二个输出显示当前的数据采集状态。速度脉冲输出用户定义，可以改变每米的脉冲数，以仿效大部分其它类型的速度传感器。数字量输入两个数字输入，第一个用于制动触发器或事件测定并且连接到一个16位的事件定时器，可以使制动触发器时间的校准精度达到12μs。 第二个数字输入用于采用手持开关控制的遥控速度采集控制。CAN 总线两个单独的CAN总线接口，可以从外部模块接受数据，例如温度模块或频率模块，同时可以将GPS CAN数据传输到另外一个总线上。还可以从另外一个CAN总线源（例如车载CAN总线）中记录8个CAN信号。当需要从另外总线中记录数据的时候，可以从工业标准CAN数据库文件（.DBC）中下载数据。RS232 串行接口RS232 接口用于配置和输出GPS实时数据。必须要注意的是如果系统以高于20Hz的速度存储数据到CF卡中时，由于电脑串行口带宽只能到20Hz，以实时传输到软件中串行数据受到限制。这样要获得最好的精度，所有20Hz以上的测试必须在离线模式下对CF卡中的数据进行分析。CF卡接受1型的CF卡用于记录数据，数据以标准PC格式存储，允许快速的通过读卡器进行数据传输。文件格式位ASCII 文本格式，可以直接载入到VBOX.EXE软件中或者导入Excel和其它第三方软件中。