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

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

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

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

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

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

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

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

       长沙东玛克信息科技有限公司是一家专业聚焦教学和会议音频技术产品研发、生产、销售、服务的高新技术企业。其前身为2006年成立的佛山东玛克、2016年成立的深圳东玛克。       本公司主营产品为基于吊麦超远程拾(扩)声技术的“智慧无感扩声系统”，该系统高度集成动态噪声消除、自适应反馈抑制、自动增益控制、空间混响消除等多项前沿技术，仅需一支吊麦、一台主机、一对音箱即可8-15米超远距离拾音并实现高清、保真、稳定扩声，为广大教育机构教学扩声、政企单位会议扩声应用提供了革命性技术产品及解决方案。       目前产品已成功应用于清华大学、北京大学、武汉大学、中南大学、国防科大、南京大学、南京航空航天大学、山东大学、长沙市一中、雅礼中学、复旦附中、石门中学、湖南省人民政府、长沙市教育局等上千家高等院校、中小学校和政企单位行业示范性客户。

青岛睿维申信息科技有限公司成立于2014年09月26日，注册地位于山东省青岛市黄岛区军民融合创新示范古镇口核心区山川路1860号，法定代表人为赵永明。经营范围包括一般项目：人工智能理论与算法软件开发；计算机软硬件及外围设备制造；可穿戴智能设备制造；雷达及配套设备制造；集成电路设计；集成电路制造；光通信设备制造；光通信设备销售；光电子器件销售；网络与信息安全软件开发；雷达、无线电导航设备专业修理；电子元器件制造；电力电子元器件制造；电子产品销售；计算机软硬件及辅助设备零售；机械设备研发；机械设备销售；电子、机械设备维护（不含特种设备）；信息系统集成服务；信息系统运行维护服务；信息技术咨询服务；软件开发；软件销售；仪器仪表销售；通信设备制造；通讯设备销售；通讯设备修理；智能仪器仪表销售；可穿戴智能设备销售；集成电路销售；互联网数据服务；计算机系统服务；数据处理和存储支持服务；仪器仪表制造；智能仪器仪表制造；仪器仪表修理；电子专用设备制造；安防设备制造；信息安全设备制造；安防设备销售；信息安全设备销售；技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广。（除依法须经批准的项目外，凭营业执照依法自主开展经营活动）青岛睿维申信息科技有限公司对外投资1家公司，具有1处分支机构。