在全世界范围内交通拥挤日益严峻，各国争相大力推广和实施公交优先的大背景下， 公交信号优先控制核心软件的研发具有重要的应用价值和广阔的市场前景。然而到目前 为止，包括 SCOOT、SCATS 等著名的交通控制系统在内，我国的交通控制实际中尚没有 实现公交优先控制的功能。公交信号优先涉及到控制系统的设计、控制策略的优化、控 制模型的求解以及社会交通流和公共交通流效益的均衡等多方面的内容。特别是在我国 公交系统流量大，网络复杂，可靠性差和背景交通拥挤严重，对信号协调要求较高等一 系列特征下，国外的相关交通控制软件并不能在国内的应用中有效提供公交优先控制功 能。 本软件以系统完备的公交优先控制理论体系为支撑，融合了已有的技术成果和前沿 的理论研究。软件运用先进的计算机和信息技术，并且面向中国城市交通状况和公交系 统特征，提供离线优化计算和在线优化计算的两类公交优先控制功能，分别对应了被动 优先和主动优先两种优先控制策略。软件能根据实时采集的公交车辆与社会车辆的状态 信息，结合公交调度运营系统，优化调整并输出考虑公交优先的最优配时方案。软件不 仅能单独运行执行离线计算，还能够以嵌入式或者一体化的形式运行于城市交通控制系 统内部，进行在线优化。软件的应用能够显著提高公交系统的运行速度，增强系统的可 靠性，进而实现公交系统整体运输效率和服务水平的提升。 

河北软件职业技术学院隶属于河北省教育厅，是河北省首家独立建制的以信息技术教育为主的高等职业院校，是河北最大的培养信息技术高技能人才的高职院校，国家优质专科高等职业院校建设单位、国家35所示范性软件职业技术学院、河北省重点建设示范性高等职业院校、河北省大学生创业教育示范学校。学院坐落于历史文化名城河北省保定市，校园占地面积300余亩，校舍建筑面积210000余平方米。现有在校生10500余名，其中信息技术类专业在校生7338人，规模位居全省高职院校首位。全国著名计算机专家、中国工程院院士倪光南先生为学院名誉院长。 在45年的办学实践中，学院秉承“笃学、恒志、尚行”的校训，遵循“学院与社会零距离，学生与岗位零距离”的办学理念，坚持“立足高职、服务IT”的办学定位，弘扬“以人为本、民主和谐、创业创新、自强不息”的学院精神。围绕实施京津冀协同发展、“雄安新区”千年大计，瞄准高端高新产业，加快新专业的布局和传统专业的升级改造，着力打造“一核”即信息技术，“四产”即电子信息产业、文化创意产业、装备制造业、现代服务业，“五群”即软件技术专业群、影视动漫专业群、智能制造专业群、互联网商务专业群、计算机应用专业群的特色专业集群。

海南软件职业技术学院是2003年3月经海南省人民政府批准设立，教育部备案，由原海南琼海师范学校升格而成的主要培养信息、软件行业的高素质技术技能人才的公办全日制高等职业院校，至今已有96年的办学历史。学校是海南唯一一所连续两次顺利通过教育部人才培养工作评估的公办高职院校、海南省优质高等职业院校立项建设学校、海南省毕业生就业工作优秀单位。学校坐落在红色娘子军的故乡、博鳌亚洲论坛永久会址所在地、中国优秀旅游城市、海南省东部中心城市——海南省琼海市市中心。学校占地326亩，建筑面积近18万平方米，固定资产总值41159万元，教学科研仪器设备7527万元，纸质图书近40万册，电子图书70万种，教学用计算机3398台。建有5个中央财政支持建设的高规格职业教育实训基地；建有98个校内实践基地，52个校外实习实训基地，省级实验教学示范中心2个；建有技能大师工作室6个、椰文化协同创新中心、大学生众创空间、大学生创业中心、软件研发中心、信息处理中心、艺术设计研发中心；建有千兆校园网、通讯网、监控广播电视网三网合一的信息化虚拟平台，实现校园WIFI全覆盖；建有大学生创业中心、软件研发中心、信息处理中心、艺术设计研发中心；被授权为第65国家职业技能鉴定所、国家动漫游戏人才培养工程授权合作伙伴、国家人力资源和社会保障部开源软件开发与应用能力测评试点单位、科技部行业专业资质资格培训基地、海南东部唯一的高等教育自学考试考点。学校设有软件工程学院（人工智能学院）、网络工程学院、经济管理学院、动画学院、机电工程学院、艺术传媒学院、国际教育与旅游学院、马克思主义学院、公共教学部、体育部，有在校生的专业32个，形成了以电子信息大类为主，艺术设计传媒、财经、旅游、文化教育等大类为辅协调发展的专业布局。现有国家级骨干专业1个，省级特色专业5个，省级精品课程13门，省级教学团队4个。学校现有来自全国27个省（直辖市、自治区）的在校生7300多人，教职工476人，专任教师286人，其中教授25人、副教授88人，具有博士、硕士学位168人，具有双师素质的教师166人。聘请校外兼职教师135人，客座（特聘）教授60人，外教3人。专任教师中有享受国务院政府特殊津贴专家1人，省有突出贡献的优秀专家1人，省“515人才工程”第一层次专家1人和第三层次专家2人，省科技创新十大领军人物1人，省优秀教师4人，省高校教学名师4人，省高等学校中青年骨干教师1人。学校不断完善科研管理制度和激励机制，推进学院科研工作实现跨越式发展。近五年，学校教师在省部级以上教学科研评比中获得奖励140项，其中，国家教学成果二等奖1项，全国微课教学比赛一等奖2项、二等奖2项、三等奖2项，省教学成果奖6项，省科技进步奖二等奖4项，省优秀科研成果二等奖1项，在“国际数字艺术设计作品展”中荣获金奖1项、银奖2项、铜奖1项；国家实用新型发明专利7项；主持省部级以上各类科研教改项目170项，其中，国家级项目2项、省级项目168项；出版专著35部，主编教材137部；发表论文1428篇，其中，全国中文核心期刊52篇，《SEI》《EI》《CPCI-SSH》等国际权威刊物检索收录169篇。学校贯彻“人才为根本、教学为中心、技能为主线、质量为生命、特色为追求”的办学方针，秉承“质量立校、人才强校、特色名校、服务兴校、依法治校”的办学理念，坚持“以服务为宗旨、以就业为导向、走产学结合发展道路”的办学方向，实施“实践主导，能力本位，校企合作”人才培养模式，形成了“产教融合、校企合作”的协同育人特色。近五年来，学生参加国家级、省部级各类比赛获奖466项，其中获得国家级一等奖10项、二等奖19项、三等奖34项，特别是2016年全国职业院校技能大赛荣获一等奖3项（全省高职仅4项），2017年全国职业院校技能大赛荣获一等奖1项（全省高职唯一1项），大学生男子排球队荣获2018－2019CUVA中国大学生排球联赛（高职高专组）亚军。2018届毕业生就业率为95.16%，用人单位对毕业生满意度为95%。学校坚持开放办学，全面深化“五位一体”协同育人和国际交流合作。与省内外87家企业积极开展深度合作，与7所中职学校合作开展6个专业的“3+2”分段培养和连续培养专科专业教育；与海南热带海洋学院合作开展2个专业的“3+2”分段培养校企合作本科专业教育；与俄罗斯、立陶宛、澳大利亚、美国、英国、加拿大、巴基斯坦、马来西亚、印度尼西亚、泰国等10余个国家和台湾地区的16所高校建立了友好合作关系，开展合作办学、教学与学术交流、师生互访。同时，每年招收留学生50余名。学校高质量的人才培养和良好声誉得到社会各界的充分认同与高度评价。学校被授予全国文明单位、全国学校艺术教育工作先进单位、全国首批职业院校数字校园建设实验校、教育部第二批现代学徒制试点单位、全国高职高专院校科研工作先进单位、全国五四红旗团委、国家设计教学创意中心等20多项称号。伴随海南自由贸易试验区和中国特色自贸港的建设，海南软件职业技术学院将再扬风帆，重新起航，全面推进改革创新，全力创建特色鲜明的优质高职名校。

基于复杂流动网络计算理论，将电站锅炉蒸发受热面抽象为以节点、受热回路和连接管等元件组成的流动网络系统，根据遵循的质量守恒方程、动量守恒方程、能量守恒方程及流动传热试验关联式，建立流量分配的非线性计算数学模型，采用Fortran和Visual Basic混合编程技术，开发出具有自主知识产权的通用电站锅炉水动力计算软件HYDROSYS。 软件根据系统部件以及实际功能划分为不同的设备和功能模块，各个模块间相互结合，可以对各种容量等级、各种蒸汽参数、各种炉型（П型、塔式、T型）、各种管圈型式（螺旋管圈水冷壁、垂直水冷壁）和燃烧技术（切向燃烧方式、墙式燃烧方式、W火焰方式、循环流化床燃烧方式）的亚临界汽包锅炉、超（超）临界直流锅炉水动力和壁温特性进行计算分析。

“船舶总体设计CAD软件系统”，它是融合现代造船技术、应用数学技术和计算机技术于一体的，面向多种类型船舶的报价设计、合同设计和部分详细设计的、基于微机和MS Windows 98/NT平台的、有充分自主版权的、符合中国国情的专业实用集成CAD软件系统。 软件由BSRA/Todd60系列船型库、船体型线变换光顺设计和绘图子系统、Holtrop’92阻力预报子系统、MAU/B系列螺旋桨设计和绘图子系统、性能计算子系统、总布置设计绘图子系统、基本结构设计绘图子系统、舾装设计绘图子系统、电气设计绘图子系统和动力装置设计绘图子系统等组成。它支持CCS/ABS/DNV/LR/BV/GL等船级社规范和IMO/SOLAS/MARPOL规则。它具有友好的图形用户界面和集成的数据库管理，并提供以DXF数据格式与AutoCAD等第三方软件的接口。它可以与基于Windows的其它应用软件进行动态连接与嵌入，提供计算、报表和图形为一体的文档输出。

针对电器电磁元件问题，如接触器、脱扣器、各种导电回路、触头系统等，开发了专用的电器电磁元件设计分析软件。

项目概况 SoundAlarm能为应用于各行业的计算机监控系统（DCS、PLC等控制系统）扩展真人发声的语音报警信息管理和报警功能。SoundAlarm通过计算机监控系统的公用数据接口获取实时信息，根据组态结果对报警信息进行报警状态、报警级别管理，结合操作人员的操作结果进行语音报警。 主要特点 1、不影响数据源系统的安全运行：以只读方式获取数据源系统（如DCS、PLC、MIS等系统）的实时数据；对数据源系统不存在任何操作。 2、对硬件要求低：只需一台低档通用多媒体计算机就可实现语音报警；当SoundAlarm与信息源运行在同一站点时，则只需对原站点计算机加一块普通声卡和多媒体音箱即可。 3、可实现分布式语音报警：SoundAlarm可以利用企业原有的局域网，利用网络上的信息资源实现分布式报警。 4、配置灵活：报警点和控制界面可灵活配置和修改；语音报警的级别分紧急、正常、一次三种优先级；监控的报警点分模拟量（分>、>=、一、>、=>五种方式）、开关量（分正向、反向两种方式）。 5、后台运行：正常运行时处于后台运行；只有在调试和修改配置时才调出其控制界面，进行育关配置和控制操作。 6、无需专门的维护：正常运行时其维护工作量近似为零。 技术指标 报警迟延：<ls。 CPU占用率：没有报警，平均低于0.5%，瞬态低于1%;有报警，平均低于1%，瞬态低于5%。 内存管理：占用2～2. 5M的内存，进行独立的内存管理。市场前景 成功应用于多台300MW机组DCS系统、热电厂全厂DCS系统、输煤程控系统、化学水处理车间控制系统等控制系统。可以为对语音报警有较高要求的DCS、PLC、FCS、MIS、SIS等计算机测控和信息系统实现语言报警功能扩展。

面向产品设计，主要研究产品设计中的几何计算与设计、性能计算与分析、材料集成计算与设计基础算法，实现产品设计CAD与CAE无缝集成设计。几何计算与设计，主要进行柔性产品设计、几何拓扑特性计算、体参数化建模等方面的研究。具体实例见（a）（b）（c）（d）图。性能计算与分析，主要研发基于新的产品描述的性能分析方法。材料计算与设计，主要进行非均质产品设计、材料集成计算工程方面的研究，具体实例参加（e）图。 面向工业领域，基于虚拟样机技术和知识工程，开发产品快速设计系统。主要开发基于Web3D技术的网络虚拟交互展示技术及系统，基于虚拟数字样机的产品快速智能设计系统，行业信息化管理软件等系统，具体实例参加（f）图。

软件可信性自动验证是新一代信息技术领域的新技术。我们基于原创性且国际先进水平的理论成果，自主研发了高效的自动推理工具；借鉴目前世界上最先进的程序形式化技术，形成了C程序自动验证系统和PLC程序自动验证系统，对指针安全、数组越界、溢出等常见复杂问题可实现自动验证或根据用户需要验证特殊性质，具有验证速度快、发现缺陷能力强、成本低的特点，从技术上突破了程序分析、程序测试的一些瓶颈，对提高软件质量具有不可替代的作用。目前，本自动验证系统已验证了涉及航空航天、武器装备、铁路、通讯等多种系统，显现出了明显效果，得到了认可。 该成果具有国际先进水平，自主可控，填补了国内程序可信性自动验证的空白，获得省部级和学会级三等以上奖励，有着有广阔的应用领域。。