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

基于HDFS的在线论文管理平台主要用于管理研究生和本科生毕业论文，学生在线提交论文，老师通过本系统下载论文。系统通过邮件将相关修改意见和答辩信息反馈给学生，所有版本论文和评审意见需存储归档。

可应用于高校组织举办的学期考试、招生考试、学位考试和日常考试、教学质量评价、教研分析等，场景包括线上考试、线下纸笔考试、局域网机考等。

吉林电子信息职业技术学院是国家教育部备案、吉林省教育厅直属的高职学院，是吉林省示范性高职学院。学院坐落在全国魅力城市——吉林省吉林市。 学院始建于1964年，时称“吉林有色金属工业学校”，后又名“中国黄金矿产公司吉林中等技术学校”(简称“黄金学校”)，1970年更名为“吉林冶金工业学校”，2002年独立升格为高等职业技术学院。 学院现有两个校区，占地面积510亩，总建筑面积近16万平方米;教职工486人，其中，教授34人，副教授等副高级职称的教师105人，享有国务院特殊津贴人员2人，长白山技能名师10人，宝钢教育奖优秀教师1人，吉林省黄炎培职业教育奖杰出教师1人，省级教学名师2人，吉林省优秀教师1人，吉林省职业教育先进个人2人，“双师型”教师158人，省级优秀教学团队6个。学院设有电气工程学院、信息技术学院、装备制造技术学院、财经学院、现代服务学院、建筑工程学院和基础部、思想政治理论课教学部、体育部，共6个二级院、3个教学部，在校生近万人。 学院树立了“学院工作以教学工作为中心、教学工作以学生为中心”的指导思想，坚持就业的导向地位，不断深化教育教学改革，努力提高教育教学质量。学院着力打造专业特色鲜明、师资力量雄厚、实习实训条件优越、就业有保障、学生有作为的品牌专业。现有机电一体化技术、电气自动化技术、移动通信技术、机械设计与制造、电子商务、高速铁路客运乘务、工程造价等45个招生专业。其中，电气自动化技术专业为教育部装备制造类专业示范点;自动化专业群、电子信息专业群、机械制造技术专业群、电子商务专业群、移动通信技术专业、会计专业被确定为吉林省高水平专业(群)立项建设;工业机器人技术、酒店管理、移动通信技术、焊接技术及自动化4个专业被吉林省教育厅批准为现代学徒制试点专业;金属矿开采技术专业被确定为省级特色专业;自动化专业群、电子信息专业群，移动通信技术专业被确定省级品牌专业建设项目;自动化专业群、矿业工程类专业群、冶金技术专业群、电子信息专业群、涉外旅游专业群等5个专业群被确定为“十二五”省级特色专业群;软件技术专业被确定为国家紧缺人才培养试点专业;电气自动化技术、机电一体化技术、冶金技术、涉外旅游、计算机网络技术、工业生产过程自动化技术等6个专业被确定为省级示范专业;我院被教育部批准为第三批现代学徒制试点单位。 学院坚持“以服务为宗旨，以就业为导向”的办学方针，先后与中国一汽、中国北车长春轨道客车、中金集团、大唐风电、武汉凯迪、中油化建、吉林钢铁、中国电信、中关村软件协会等700余家单位开展合作交流，并与中德诺浩、中兴通讯、上海大唐移动、东方领航、北京翔鹏、吉林启鸿等知名企业开展合作办学。同时，学院积极与德国柏林职教集团，韩国全州VISION大学、湖西大学、骊州大学、又松大学、安养大学、尚志大学、全南大学、嘉泉大学，印度韦洛尔科技大学，新加坡南洋理工学院、西门子学院、ABB培训中心等国外知名教育机构广泛开展实质性国际交流与合作，开设汽车营销与服务、汽车检测与维修技术两个中外合作办学专业。学院于2016年加入中德职教联盟，并被确定为副理事长单位。同年，中德职教联盟吉林示范基地在我院落成。学院牵头组建了“北方旅游职业教育集团”和“北方冶金职业教育集团”。“中国钢铁工业协会东北培训基地”“全国服务外包技能考试吉林市培训中心”“吉林市大学生创业培训基地”等先后在我院建成。我院毕业生就业率连续多年达90%以上，被评为“吉林省普通高等学校就业工作先进集体”。 学院积极服务地方经济发展，面向行业企业开展服务培训。先后为吉林省安监局、吉林建龙、鹿鸣矿业、夹皮沟矿业等单位开设业务骨干素质提升培训班，先后为长白山开发建设集团、长白县望天鹅风景区、夹皮沟金矿、红旗岭镍矿、大黑山钼矿、孟家岗铁矿等企业的科技开发项目提供了智力支撑。2015年12月，教育部同意在有色金属行业开展职业教育“走出去”试点。作为“全国有色金属行业职工继续教育基地”，我院将以面向中国有色矿业集团境外企业员工开展职业教育和培训为切入点，积极探索与中国企业和产品“走出去”相配套的职业教育发展模式，切实服务“一带一路”和国际产能合作。学院连续多年成功承办全国会计专业技术初级、中级职称无纸化考试，吉林省会计从业资格考试，吉林省施工现场管理人员考试、工程造价人员资格考试，大学英语、计算机、自学考试考点工作常态化开展。学院是吉林省首批设立职业技能鉴定训练基地院校之一，先后被确定为“国家职业技能鉴定基地”“吉林省职业技能鉴定基地”等，可鉴定工种达到57个。 近年来，学院先后获得“全国高职高专人才培养工作水平评估优秀学校”“吉林省示范性高职院校”“吉林省职业教育先进单位”“吉林省精神文明建设先进单位”“吉林省依法治校示范校”“吉林省首届黄炎培职业教育优秀学校奖”“全国高职院校心理健康教育工作先进集体”“全国教育信息化建设示范基地”“吉林省普通高等学校就业工作先进集体”“吉林省高校档案工作评估优秀学校”“全省高校安全保卫工作先进单位”“吉林省职业技能鉴定先进单位”“吉林省高校妇委会工作先进单位”“吉林省宣传思想工作创新奖”“吉林省大学生素质教育示范基地”“吉林省大学生思想政治教育评估优秀学校” “吉林市精神文明先进单位”等荣誉。 “十三五”期间，全院师生将在学院党委的带领下，萃取高等职业教育改革成果的精华，传承近半个世纪办学积淀的底蕴，遵循“尚德励志精技强能”的校训，努力把吉林电子信息职业技术学院建成服务区域、特色鲜明、社会认可、国内一流的优质高职院校!

（1）在传输平台上，采用工业光纤以太环网技术，以矿调度控制室为中心，分别向主副井绞车房、主抽风机房、压风机房等四处敷设矿用阻燃光缆，通过光纤收发器、光缆将信号传入调度控制室交换机，构成冗余的千兆环网。 （2）各子系统通过光纤收发器通过光纤连接到交换机上。 （3）在软件集成上，采用组态软件，通过一致的软件界面，实现对各类自动系统的综合、集中监测与监控。 （4）该系统提供的扩展接口，便于将来其它系统的接入和集成。

本项目的研究成果，能够帮助出行者在出行之前提前规划出行路径，在出行之中选择最优出行路径，同时可以获取实时交通诱导信息、服务信息、事故信息等，提高了出行舒适度和自由度；能够将快速路交通流合理的分配到路网之中，提高道路利用率，缓解局部区域交通拥挤，提升系统整体运行效益。另外，所开发的系统将车辆、道路和使用者应密结合起来，不仅能够有效地解决交通拥挤问题，还能对交通事故的应急处理、环境保护和资源的节约等都有显著的效果，最终有利于交通动态及静态信息在最大范围内、最大限度地被交通管理者、出行者、驾驶员所共享，并通过集成挖掘和多方式的交通信息的发布，从而实施整个快速路交通系统的优化运行，实现快速路管理的信息化和智能化。

 实时生产信息集成系统是“生产控制”与“生产管理”信息系统之间的桥梁，主要实现如下内容：  1、对流程工业中各套生产控制系统（DCS/PLC）的数据全面采集，集中存贮、统一管理，并生产历史数据提供长时间、高速的在线查询。  2、系统实时性极高、数据应用功能丰富，支持企业生产调度、远程监控、公司/车间生产优化与管理等多方面的数据应用。  3、对 MES、ERP、MIS 等企业信息系统，提供“生产数据”支持，生产数据自动获取，不再需要 烦琐低效的人工录入。

苏州数言信息技术有限公司是一家由上市高科技公司前CTO、名校教授学者、资深金融专家、技术大牛和留学生组成的物联网和大数据创业企业，2015 年创立于有加拿大“硅谷”之称的科技重镇滑铁卢。2016 年9 月，成立苏州数言信息技术有限公司，公司现位于苏州高铁新城。基于“创新赢得用户，数据创造价值”的企业理念、依托国内外知名大学的科研支持，我们致力于使用最先进的物联网和大数据技术，打造智能化的微环境系统，为学校、家庭、商场、办公室等各行业提供更节能、更健康、更人性化的智能微环境管控系统。

产品详细介绍  德睿人才市场信息发布系统（招聘中心信息发布系统、人才中心信息发布） 伴随着市场化的不断深入，各行各业供需双方急切的需要能通过各种渠道得以有效交流，进而达成交易。在众多的交流平台中，会展方式成为其中最为重要和发展最快的公共平台。 在会展业快速发展的同时，也出现了一些问题。由于参与的人和企业非常多，双方又存在一个寻找和洽谈的过程，在缺乏明确、便捷的信息公告平台的帮助下，常常会使会场呈现一种无序和混乱的状态，效率也受到很大影响。 许多企业为了吸引观众，只得采取张贴海报等方式发布企业的信息，虽然这在一定程度上起到了宣传、引导作用，但各家的海报五花八门，既不便于有关部门的统一管理，又使整个展馆的形象受到影响。同时粘贴的海报等宣传物又需要及时清理，才能将展位提供给其他企业，这既增加了主管部门的负担，也大大降低了会展资源的利用效率。 另一方面，由于展馆是人员非常集中的场合，非常需要主管部门的统一协调、管理，尤其是当出现紧急事件时，更需要能及时将管理部门的信息迅速传递给在场人员。因此，构建统一管理的实时性公告平台是必要的。 因此，为了更好的为企业和观众提供服务；为了提高展馆设施与资源的使用效率；为了便于主管部门的管理、协调工作；为了提升整个展馆形象和服务档次。需要建设一套统一管理、方便迅捷的公共信息服务平台。 （1）        显示终端分布及显示方式： 从信息发布的角度，会展中心的信息发布区域可分为三块：公共信息发布区，会展大厅，各办公楼层。在这些区域各相应地点（各展位上方、各楼层电梯口等），设置大屏幕等离子彩电（附美观小巧的控制终端设备）。 ü        在公共信息发布区，主要由管理人员，面向所有人员，发布管理信息和各种公告，从而起到统一的管理和导引作用。同时也可发布某些企业的广告。 ü        在大厅各展位上方，通过大屏幕彩电显示该展位的企业介绍等信息。各展位的信息各不相同，但管理人员仍可在各展位的电视屏幕上统一发放重要通知。 ü        在各楼层，由管理人员根据需要发布信息，如通知、公告、广告等。 由于采用先进的网络流媒体技术，各电视显示终端能够以灵活多样的形式发布信息。如图所示，全屏文字显示模式，可以通过 周期性屏幕切换，显示信息。  此外，还可以采取视频显示方式，这种显示方式集视频、文字、图片于一体，具有极强的灵活性与综合性。     （2）        信息发布与管理 根据展览中心的特点，信息的发布及管理由以下方式构成： ü        统一管理和发布，整个信息管理平台由主管部门控制，所有企业信息和各种公告信息均由管理人员统一制作和发布，或者由管理人员授权企业制作和发布； ü        设置企业信息服务区，各企业经过管理员授权，可以在自己展位的显示终端发布自身信息，包括企业介绍和招聘信息等。企业只能在规定的显示模板内选择信息发布的方式，避免了五花八门的海报式宣传，实现信息发布形式的统一化和标准化。企业所发行信息受管理员监管，管理员可随时中止某企业的非法信息； （3）        信息发布内容与形式的多样化 展馆除了提供供需双方的交互平台，还可以提供各种公益性服务。通过智能信息平台，管理人员可以在合适的时间播放各类公益节目。  

山东广纳信息技术有限公司注册地在济宁市高新区，注册资金1001万元，是一家专注于基于物联网应用、智能称重管理系统（无人值守过磅）、企业大数据分析（BI）、企业信息管理软件（ERP）等系统的研发、服务、销售的企业；自成立以来，经过近多年的不懈努力和孜孜追求，不断发展壮大，已成为鲁西南地区最大规模的应用软件开发、经销、服务商。 公司现为国家级高新技术企业，山东省双软认证企业，济宁市软件协会副理事长单位，济宁市物联网协会副理事长单位，济宁市网商协会理事单位；公司研发中心先后获得济宁市智能仓储工程技术中心、山东省软件工程技术中心（最高级）等荣誉称号。并获得其它各项荣誉30余项。 经过多年发展，公司先后通过了国家级高新技术企业认证、山东省双软企业认证、山东省软件工程技术中心认证、ISO质量管理体系认证。并取得软件著作权和专利共计50余项。 我们的目标：做国内最优秀的智能称重系统（无人值守一卡通系统）提供商和服务商。 我们的服务理念：为客户提供最优质的服务，让客户信赖，和客户建立长期的战略合作关系，助推客户发展，与客户共成长。客户至上，创造客户价值,赢得客户忠诚 ！ 公司主要产品: 1、物联网应用：；智能过磅称重管理系统（无人值守称重管理系统）、运销管理系统、基于移动终端的设备管理系统(企业级应用)、基于移动终端的进销存管理系统(企业级应用)。 2、企业ERP系统：财务管理系统、进销存管理系统、生产管理系统；集团资金管理、集团预算管理、CRM客户资源管理；HCM人力资源管理等。 3、企业大数据分析系统（BI）。