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

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

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

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

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

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

苏州托普信息职业技术学院是经江苏省人民政府批准、教育部备案，列入国家统一招生计划，具有独立颁发文凭资格的全日制民办普通高校。 学院秉持“厚德、重能、实用、创新”的校训，坚持“以学生为主体，以教育教学为中心，以就业为导向”的办学理念，努力为学生成人成才创造良好条件。大力推进教育教学改革，积极探索和实践“校企合作、工学结合、顶岗实习”的人才培养模式。 学院2007年通过了江苏省教育厅组织的人才培养工作水平评估;2009年被省教育厅评为“文明宿舍单位”;2010年通过省教育厅高校公共卫生管理考核;2011年被省教育厅、省综治办、省公安厅授予“江苏省平安校园”称号;2012年通过省教育厅公共体育课程考核;2013年通过江苏省军事理论考核评估，2014年通过江苏省高等职业院校人才培养工作评估。 特色优势 独特的区位优势，创新的培养模式 学院地处全国百强县之首的昆山市，东接国际大都市上海，西邻历史文化名城苏州，位于中国经济最为发达的长三角洲。辖区内企业众多，外资、中外合资企业有6000多家，对人才需求极为旺盛，具有充足的人才培养资源优势。学院利用这一得天独厚的区位优势，以优势产业为依托，与优质企业紧密合作，深度融合，积极推行“校企合作、工学结合、顶岗实习”的人才培养模式，努力培养高素质技术技能人才，成效显著。 优良的成才环境，健全的育人体系 学院坐落在碧波万顷的阳澄湖畔，校园河湖相拥、风光旖旎、是典型的园林式、生态型校园。教学条件先进，生活设施完善。学院突出“以学生为本”的育人思想，严格管理，热情关爱，把促进学生成长成才作为一切工作的出发点和落脚点。积极构建“培养、教育、管理、服务、发展”五位一体的育人体系，充分发挥学生的主动性，强化学生的主体意识、责任意识。学校成立了文学、书法、礼仪、工艺、声乐、演讲、舞蹈、体育、摄影、影视表演等近40个兴趣小组和学生社团，挖掘发展学生兴趣特长，让追求成为学生修身立业的支撑。丰富多彩的校园生活，引导学生自信、自觉地开发潜能、彰显个性、完善自我、追求全面发展，健康快乐地生活，积极向上、不断提升。 广阔的就业前景，畅通的升学渠道 学院把提高毕业生就业质量和就业竞争力放在十分重要的位置，构建从入学到毕业的全程就业指导服务体系。学院与长三角地区的一百多家优质企业合作建立实习和就业基地。在顶岗实习期间，实行职业导师、专业导师、企业导师“三导师制”的教育管理模式，帮助学生尽快适应岗位需求。每年毕业生供不应求。学生升本的渠道畅通，学院积极鼓励、帮助学生通过“专转本”等渠道升本。 校企合作班介绍 这是一种创新的人才培养模式。 学院坚持先进的高职教育培养理念，依托昆山、苏州、上海等地区的产业优势，与优质企业紧密合作，根据实际工作岗位需求，实施学校企业双元教学，共同设计人才培养计划和课程体系。在校三年期间通过校企合作、工学交替循环式学习，达到“理论—实践”紧密结合，努力培养专业理论、专业技能兼优，有竞争力的高素质技术技能人才。 校企合作班学生与普通班学生一样享有学院的各种教育资源和专业学习时数，一样获得同等国家学历和相应的职业技能证书，一样享受学校各种奖助学金和贷款等，同时享有: 在企业顶岗实践期间获得相应的报酬，一部分用于抵缴部分学费，一部分作为生活补贴，减轻家庭负担 在企业上班期间食宿免费统一安排，并提供一份意外伤害保险 作为企业骨干员工、储备干部优先培养 就读校企合作班的学生可大幅度减轻完成学业的经济负担，还可优先获得优质企业的就业岗位。

广州市吉星信息科技有限公司创办于2000年，是集研发、生产、教育模式研究、销售为一体的高新技术企业。作为无线视频展台的开创者，无线全录播的引领者，吉星取得了众多的自主知识产权和专利技术。由吉星自主研发的“吉星智慧教育系统”、“无线全录播系统”已为10万+班级提供服务，获得了师生的好评和认可。   公司主要产品有：“强交互专递课堂”“无线全录播”“中考理化生实验教考系统”等系列教育方案产品与服务，为基础教育、职业教育的信息化建设提供整体的建设解决方案。   秉承“让老师教得更轻松，让学生学得更主动”的理念，吉星将不断研发升级，为实现教育均衡化和教育信息化贡献自己的力量。

上海卓宇信息技术有限公司成立于2004年，现有90余名专职技术工程师，其中博士工程师2名，硕士工程师26名，专注于向客户提供汽车行业专业虚拟仿真与物理测试解决方案，总部在上海，在安亭、无锡、长春、武汉设有办事处。        在汽车行业专用软件方面，卓宇信息现是西门子（Prescan/AMESim/STAR-CCM+等）、Mechanical Simulation（CarSim/TruckSim）、TraceTronic（ECU-TEST/TEST-GUIDE）、BETA（ANSA/META）、FUJITSU、BTC、IMK（EMA）、LivingSolids、FTI（FormingSuit）、Impact（VCS）等公司在中国区合作伙伴，可向客户提供有限元前后处理、系统动力学仿真、智能驾驶、智能座舱、自动化测试、智能制造、人机工程分析等专业分析软件和解决方案。        在咨询方面，卓宇信息向客户提供专业级整车咨询服务，如CAE建模、结构强度刚度、整车NVH性能分析、碰撞、CFD分析、热管理分析、热舒适性分析、多刚体分析、多学科系统建模与仿真等，项目经验涵盖内饰、外饰、底盘、发动机、车身等。除此以外，公司还基于智能驾驶和自动化测试工具向客户提供该领域的台架集成、测试、建模等服务。        公司客户覆盖几乎国内所有主机厂、零部件供应商、科研院所等单位，如一汽、一汽大众、上汽、上汽大众、吉利、广汽、北汽、长安、蔚来、小鹏、威马、东风商用车、北汽福田、重汽、陕汽、上汽大通、潍柴、中车、宇通、徐工、佳通轮胎、玲珑轮胎、汇众、万向、中汽研、交通部公路院、交通部科学院、公安部道交中心、中科院先进技术研究院、百度、腾讯、阿里、华为等。

武汉丰迈信息技术有限公司是一家高成长性、创新型的高新技术企业。公司坐落于武汉东湖高新技术开发区——中国光谷腹地，是长期专注于高校专业实验室建设、虚拟仿真一流课程建设的解决方案服务商。公司的产品主要面向电子信息工程、通信工程类专业教学，凭借优质的产品性能、良好的企业诚信和周到完善的售后服务，已与国内近千所高校都保持着友好稳定的合作关系，成为了高校专业人才培养助推器。 公司自2014年成立以来，凭借公司团队在研发、技术等领域深厚的积淀，目前已获得高新技术企业、双软企业、守合同重信用等资质，已拥有软件著作权32项，现为5G产业技术联盟会员单位。公司的“实验工坊”在线实验云平台、融合通信网络仿真、5G系统网络仿真、5G网络优化仿真等仿真教学产品，在行业中积累了显著的优势。 公司将继续以专业实验室建设、一流课程服务、校企共建为业务中心，以“嫁接产业导向与行业人才输出”为发展之本，不断加强校企合作，持续提升公司的经济效益和社会效益， 为争创“行业翘楚“的愿景而努力奋斗。