本发明公开了一种软件更新的补丁安全性检测方法及系统，所 述方法包括：通过对补丁预处理，进而进行中间代码分析以获得受补 丁影响的基本块，通过这些受补丁影响的基本块得到内存敏感型函数 及其变量，从其出发构造主要执行路径；在对路径的进行符号执行的 过程中，确定具体的路径条件，到达具体的内存敏感型函数时，结合 此时的路径条件和相应的安全检测器来判断是否存在软件更新安全问 题。本发明着重于检测软件更新后，新版本相对旧版本不同部

天津市大学软件学院是市委市政府批准设立的隶属于天津市教委具有独立法人的事业单位。学院2008年9月奠基，2010年10月正式启动。学院以软件产业发展的人才需求为导向，以建设国内一流、国际先进的“软件人才培养基地”和“高质量产教融合平台、高水平成果转化平台、高效能社会服务平台”（简称“一基地三高平台”）为目标，将教育链、产业链、人才链、创新链有机串联，打造了从工程实践到创新创业的软件人才培养生态系统，走出了一条政产学研用相结合的软件人才培养新路。   学院率先在全国提出“教学与产业相融，学校与企业互动”的产学合作协同育人理念，依托79所本科院校组成的“高校联盟”和150余家协同育人企业组成的“企业联盟”及300余家行业用人单位，形成高校办学资源和产业行业资源开放共享、高校学科与产业深度融合、高校与企业共同发展的发展格局，有效解决了信息技术行业实践教学资源孤立分散的问题。学院先后获批滨海高新区软件人才培养基地、天津市青年就业见习基地、天津市外国留学生实习实践基地、天津市专业技术人员继续教育基地、市商务局公共培训服务平台、天津市自主就业退役士兵适应性培训基地，承担了区域营商环境和产业人才“蓄水池”职能，培养了大批软件人才和各类专业技术人才，年常驻在校生7000余名，年实训人次稳定在10000人次左右。设立天津场外交易市场（OTC）高校板服务中心，牵头成立天津市虚拟现实和增强现实应用技术应用协会、天津市科学与艺术学会，引进天津市大数据协会，成立天津市软件行业协会人才工作专业委员会，更好地为产业服务。入选“天津市半导体集成电路人才创新创业联盟”和“天津市电子信息与大数据人才创新创业联盟”两个联盟，为软件及信息技术服务产业发展提供了有力人才支撑。京津冀协同发展十周年之际，学校被京津冀三地政府授予“京津冀软件人才培养基地”称号，已与60余家企业、13所高校签订“京津冀软件人才培养基地”协议，助力京津冀协同发展。       （一）打造高质量产教融合平台，有效解决产教“两张皮”问题 学院集合全市优质科技、教育、行业资源进行平台建设探索并实践政府引导的产教深度融合培养信息技术产业人才的管理体制和运行机制，实现了产教共同体在协同育人过程中的同频共振。学院现拥有1个国家级工程实践教育中心、1个国家级众创空间、2个国家级大学生实践教育基地、140个校企共建专业实验室、项目实训室和创新中心，与奇安信、麒麟软件等14家信创头部企业建立了深度合作关系。       （二）打造高水平成果转化平台，校企协同助力创新策源能力提升 学院持续推进产教深度融合，先后推出“协同创新计划”和“天软创业育成计划”，建设了国家级和市级众创空间“天软·创魔方”“中北·天软创业学院”、市级大学科技园“天软信创大学科技园”三个园区，构建了“校企协同开发-校企协同研发-产学研协同攻关”三层校企协同创新模型。同时，构建了科技资源成果库与产业需求项目库，精准服务各兄弟院校师生技术创新，并努力促进高质量创新成果转化为新质生产力。 （三）打造高效能社会服务平台，城校共生促区域经济提质增效 学院通过“管家+专家”的众创空间管理服务，以及自研的“十步问道创业成长力模型”创业辅导方法论，帮助来自天大、工大、师大、理工、城建等高校的数十家大学生初创公司开启了创业之路。通过“先联合培养人才，再落地注册”的高等教育服务区域产业路径，直接促成了中汽数据从北京亦庄迁徙落户天津西青，带动洪荒科技、齐物科技等一批产业链上的初创企业快速发展。

自2004年起，中岩科技陆续与近20余所国家双一流、985、211类重点大学及行业内专业技术学院建立校企共建合作中心，与50余所高校共建实习基地，中国科学院武汉岩土力学研究所、武汉中岩科技股份有限公司与相关高校合作共建实验室、定向提供教学培训服务，完成科研合作项目，促进学术交流，共同参与行业规范参编，借助学校得天独厚的教学和研发资源，结合我司对岩土工程领域智能化检测方法、检测设备方面的专业与专注，推动了院校和企业在教学专业课程、学校研发技术转化方面的有效合作和共同进步。

吉林省智教软件有限责任公司成立于2022年，是一家集高校学工一体化服务平台、高校人事平台、高校科研平台等高校业务管理系统产品研发、销售、服务为一体的高科技企业。自成立以来，“智教软件”坚持自主创新，以用户需求为导向，结合创始团队多年来在高校学工系统、人事系统、科研系统产品等领域的技术优势、以及对产品的深入理解，紧跟市场步伐，研制开发出多款具有自主知识产权的创新性系列产品，适合了教育行业不同需求用户的需要！“智教软件”凭借着对产品不断创新的研发投入，建设过硬的产品质量，强大的技术服务能力、优质的客户售后服务体系。全体“智教软件”人秉承着“客户至上、创新进步、感恩社会、优于行业”的企业经营理念，正在朝着成为高校业务管理系统类产品第一品牌的企业目标，披荆斩棘，奋勇前行！ “智教软件”给客户带来了什么：为高校教学改革及发展带来高品质的运行体验；让学生“最多跑一次”、让教师“最多审一次”、让领导“最多问一次”；为高校教学前言探路者提供优质的成长平台。谁影响了“智教软件”：对外坚持以高校客户为中心，通过创新型软件平台为高校客户创造价值；对内以努力钻研奋斗的员工为本，让真正贡献者得到行业最好的回报；对生态链遵从行业规范及政策法规，与合作伙伴、产业机构保持开放沟通。“智教软件”坚持的是什么：“创新、诚信、专业、服务”。踏踏实实的以高校为中心做好业务系统，长期研发投入；以高校客户业务需求为中心，长期艰苦奋斗，坚持自我批判并与时俱进。

本发明公开了一种主题事件更新方法库及城市多源时空信息并行更新方法，所提出的时空信息更新 与信息源、数据模型及尺度、更新方法、更新流程、质量控制和主题事件等多种因素有关，是在多源数 据融合以及异常变化发现的基础上对时空数据库进行的更新。并在此基础之上建立突发事件的更新机制、 基于主题事件联动更新机制以及 GPU 并行加速更新算法，从而针对时空信息更新内容、频率的需要， 实现城市时空实体和时空事件的动态信息更新。本发明根据相应的主题事件的判断及触发，通过 GPU 并行更新算法对相应数据及传感器进行更新，使得用户的时空信息保持最新状态的同时能发现用户关心 的重大突发事件，可以为智慧城市中的应急安全及交通疏导等提供技术支持。

2025年4月10日，央广网客户端以《走进代码与创新碰撞之地——天津市大学软件学院》为题对我校进行了报道。

2025年4月2日，央广网以《天津市特色化示范性软件学院协同发展联盟成立》为题对我校进行了报道。

可以量产/n成果简介：本成果总结提出了柑橘品种快速更新的高接换种技术规程，实际应用中取得了高接换种树当年恢复树冠、第2年开花结果、第3年恢复产量的效果。并在高效生态橘园建设中集成应用生草（百喜草）覆盖栽培、蓄水节水灌溉、施用生物有机肥、病虫害生物（释放捕食螨防治红蜘蛛）和物理（悬挂频振式杀虫灯诱杀害虫和黄色粘虫板捕杀蚜虫和粉虱）综合防治等技术，形成了以"施有机肥、空中挂灯、树上挂虫、地面种草、田头建池"等为主要内容的柑橘高效生态栽培技术体系。应用前景：柑橘品种更新和高效生态栽培技术集成既能做到快速更