01、一种基于程序演进模型的目标代码逆向工程系统
本发明公开了一种基于程序演进模型的目标代码逆向工程系统，可以自动地识别目标代码文件封装格式，区分目标代码文件代码段，并使用反汇编技术进行分析并生成相应的程序模型，又在前一个程序模型基础上，再次进行分析并生成新的程序模型，不断重复以上过程，逐步精化，最终生成.ASM可再汇编文件。采用本发明，可以对自混淆的、含有指令重叠的目标代码文件进行准确而有效的逆向工程，可以应用于含有自混淆指令，指令重叠等加壳恶意软件的分析与识别以及防反汇编闭源软件的分析。
02、一种基于程序演进模型的目标代码逆向工程方法
本发明公开了一种基于程序演进模型的目标代码逆向工程方法，可以自动地识别目标代码文件封装格式，区分目标代码文件代码段，并使用反汇编技术进行分析并生成相应的程序模型，又在前一个程序模型基础上，再次进行分析并生成新的程序模型，不断重复以上过程，逐步精化，最终生成.ASM 可再汇编文件。采用本发明，可以对自混淆的、含有指令重叠的目标代码文件进行准确而有效的逆向工程，可以应用于含有自混淆指令，指令重叠等加壳恶意软件的分析与识别以及防反汇编闭源软件的分析。
03、一种基于代数演算的中间代码优化系统
本发明公开了一种基于代数演算的中间代码优化系统，所述系统包括高级语言转换单元、代数优化单元及目标代码生成单元。其中高级语言转换单元用于完成对输入代码到规范型中间代码的转换；代数优化单元用于完成对所述规范性中间代码的优化；目标代码生成单元用于生成目标代码。本发明所述基于代数演算的中间代码优化系统通过给定的优化策略，对转换成规范型的中间代码进行优化。优化策略可以由用户自定义，提高优化效率；优化过程则由所述系统自动进行，实现自动化中间代码优化。
04、一种基于代数演算的中间代码优化方法
本发明提出了一种基于代数演算的中间代码优化方法，包括：高级语言转换步骤，将输入的源代码、其他形式的中间语言程序转换成为所述优化方法使用的中间语言程序，所述其他形式的中间语言指与所述优化方法所使用的中间语言不同的中间语言；优化步骤，向用户提供优化策略定制， (略) 硬件特性，定制特别的优化策略，使用优化策略对所述高级语言转换步骤的中间语言进行优化，得到经过优化的中间代码；目标代码生成步骤，将经过优化的 (略) 的可执行机器码。本发明基于形式化代数语义，所有的输入代码都可以在代数规则的支持下进行等价变化。代数规则的合理性，保证了转换的正确性。
05、一种空间飞行器的自适应重构方法及系统
本发明公开了一种空间飞行器的自适应重构方法及系统，该方法包括：S1：数据采集步骤；S2：数学符号形式化步骤；S3：形式化数学符号检测步骤；S4：自重构系统反馈步骤；S5：自重构系统优化步骤。该系统包括：数据采集模块；数学符号形式化模块，相当于数学符号表示模块；形式化数学符号检测模块，相当于模型检测模块；自重构系统反馈模块；自重构系统优化模块。本发明的方法和系统体现了程序、硬件、环境和规范四个方面相互作用相互影响，真实模拟了实际环境过程，能够做到发现问题并自适应重构，确保软硬件协同设计的可靠性。
06、一种空间飞行器的重构飞行控制方法及系统
本发明公开了一种空间飞行器的重构飞行控制方法及系统，该方法包括（1）采集软硬件信息；(2）将所采集的信息数学符号化表示：(3）设定环境场景数据：(4）进行规范化约束：(5）进行模型检测；(6）进行自适应和重构；(7）进行反馈优化；(8）重新建模测试，该系统包括数据采集模块，数学符号表示模块，模型检测模块，自重构系统反馈模块，自重构系统优化模块。本发明的方法和系统真实模拟了实际环境过程，能够做到发现问题并自适应重构，确保软硬件协同设计的可靠性。
07、一种基于GroupLasso的半监督哈希图像搜索装置
本发明提供一种基于 GroupLasso的半监督哈希图像搜索装置，属于图像搜索领域。所述装置包括：预处理模块，用于识别图像数据库中的标签图像和非标签图像，并对输入图像、标签图像和非标签图像进行预处理；训练学国际期刊上发表学术论文60余篇，已授权发明专利50余项、软件著作权82项。先后担任联合国工业发展组织 UNIDO 国别技术顾问、国家标准委员会 TC124/SC5 委员、软硬件协同设计技术与应用教育部工程研究中心副主任等。

经成本法评估,以2024年4月30日为评估基准日,在假设条件成立的前提下，华东师范大学拟向上海 (略) 转让的部分无形资产评估价值(不含增值税)为1.175.*，大写人民币:*佰点击查看>>万*仟*佰元整。

本项目交易价款采用分期付款方式，受让方应依据合同约定按期支付交易价款至上海技术交易所指定银行账户（账户名称：上 (略) ，开户行：上海浦东发展银行徐汇支行，账号：**）。上海技术交易所在收到受让方支付的交易价款后5个工作日内，将交易价款划转至转让方指定银行账户。

1、本项目为技术包整体转让项目，受让方需受让标的所包含的所有技术成果。 2、本项目公告期即为尽职调查期，意向受让方在挂牌公告期间，有权利和义务自行对标的进行全面了解，一经递交受让申请即表明已完全了解与认可标的状况及相关约定，自愿接受转让标的的全部现状及瑕疵，并愿意承担一切责任与风险，成为受让方后，不得以不了解标的状况及资产质量瑕疵等为由，拒付价款，否则视为违约。 3、意向受让方在充分了解标的情况下，于挂牌期内向上海技术交易所递交受让申请，经交易所审核后获得竞买人资格，交易所向意向受让方出具《受让资格确认通知书》。意向受让申请材料包括但不限于：主体资格证明材料、《意向受让申请书》、内部决策文件等材料。 4、信息发布期满，如只征集到一个符合条件的意向受让方，采用协议方式转让，意向受让方应当以不低于挂牌底价的价格受让标的；如征集到两个及以上符合条件的意向受让方的，则以 在线竞价 方式组织交易，按照交易规则确定受让方和受让价格。上技所在受让方确定后5个工作日内组织交易双方签订《技术交易合同》。 5、意向受让方须自行了解相关法律法规的要求，并在自行咨询专业人士、相关方和管理部门的基础上自行判断本项目的风险，决定是否受让标的，并自行承担由此产生的全部责任及后果，包括但不限于费用、风险和损失。 6、受让方若发生以下行为即视为违约，该受让方须承担相关的全部经济责任与风险，上海技术交易所有权向受让方追偿作为对相关方的补偿：（1）以不了解技术交易标的现状、瑕疵或相关风险为由发生逾期，拒付交易价款，放弃受让，向转让方追责等情形的；（2）以转让方未尽实披露等为由发生逾期，拒付交易价款，放弃受让，向转让方追责等情形的。 7、“结合自注意力机制的模糊测试漏洞挖掘方法”、“机载软件中目标代码到源代码的验证分析方法及存储介质”两项发明专利申请已进入实审阶段，若未能获得专利授权，或获得专利授权后又被撤销或被宣告无效的，只要转让方无重大过错(仅限于转让方不是该专利申请的合法申请人、或侵害他人专利权或专利申请权的情形)，除此之外的其他情况则不影响交易继续执行，即转让方不必返还己收取的转让费用。 8、转让方应配合受让方在规定时间内完成标的权属转移变更登记事项，标的权属变更登记过程中所涉及的税费按国家法律法规相关规定由受让方自行承担。 9、技术交易合同生效后，由受让方负责对专利局的有关通知进行答复，并缴纳有关费用，登记公告后专利申请被驳回的，由受让方承担权利与义务。 10、交易双方应按照上海技术交易所收费标准支付交易服务费，转让方交易服务费由受让方承担。

1、意向受让方应为依法设立并有效存续的境内企业法人、其他经济组织或具有完全民事行为能力的自然人。 2、意向受让方须财务状况良好、有信誉、有足够的支付能力。 3、接受联合方式举牌受让，不接受委托（含隐名委托）、信托举牌受让。 4、 意向受让方应符合国家法律、法规规定的其他条件。

01、一种基于程序演进模型的目标代码逆向工程系统
本发明公开了一种基于程序演进模型的目标代码逆向工程系统，可以自动地识别目标代码文件封装格式，区分目标代码文件代码段，并使用反汇编技术进行分析并生成相应的程序模型，又在前一个程序模型基础上，再次进行分析并生成新的程序模型，不断重复以上过程，逐步精化，最终生成.ASM可再汇编文件。采用本发明，可以对自混淆的、含有指令重叠的目标代码文件进行准确而有效的逆向工程，可以应用于含有自混淆指令，指令重叠等加壳恶意软件的分析与识别以及防反汇编闭源软件的分析。
02、一种基于程序演进模型的目标代码逆向工程方法
本发明公开了一种基于程序演进模型的目标代码逆向工程方法，可以自动地识别目标代码文件封装格式，区分目标代码文件代码段，并使用反汇编技术进行分析并生成相应的程序模型，又在前一个程序模型基础上，再次进行分析并生成新的程序模型，不断重复以上过程，逐步精化，最终生成.ASM 可再汇编文件。采用本发明，可以对自混淆的、含有指令重叠的目标代码文件进行准确而有效的逆向工程，可以应用于含有自混淆指令，指令重叠等加壳恶意软件的分析与识别以及防反汇编闭源软件的分析。
03、一种基于代数演算的中间代码优化系统
本发明公开了一种基于代数演算的中间代码优化系统，所述系统包括高级语言转换单元、代数优化单元及目标代码生成单元。其中高级语言转换单元用于完成对输入代码到规范型中间代码的转换；代数优化单元用于完成对所述规范性中间代码的优化；目标代码生成单元用于生成目标代码。本发明所述基于代数演算的中间代码优化系统通过给定的优化策略，对转换成规范型的中间代码进行优化。优化策略可以由用户自定义，提高优化效率；优化过程则由所述系统自动进行，实现自动化中间代码优化。
04、一种基于代数演算的中间代码优化方法
本发明提出了一种基于代数演算的中间代码优化方法，包括：高级语言转换步骤，将输入的源代码、其他形式的中间语言程序转换成为所述优化方法使用的中间语言程序，所述其他形式的中间语言指与所述优化方法所使用的中间语言不同的中间语言；优化步骤，向用户提供优化策略定制， (略) 硬件特性，定制特别的优化策略，使用优化策略对所述高级语言转换步骤的中间语言进行优化，得到经过优化的中间代码；目标代码生成步骤，将经过优化的 (略) 的可执行机器码。本发明基于形式化代数语义，所有的输入代码都可以在代数规则的支持下进行等价变化。代数规则的合理性，保证了转换的正确性。
05、一种空间飞行器的自适应重构方法及系统
本发明公开了一种空间飞行器的自适应重构方法及系统，该方法包括：S1：数据采集步骤；S2：数学符号形式化步骤；S3：形式化数学符号检测步骤；S4：自重构系统反馈步骤；S5：自重构系统优化步骤。该系统包括：数据采集模块；数学符号形式化模块，相当于数学符号表示模块；形式化数学符号检测模块，相当于模型检测模块；自重构系统反馈模块；自重构系统优化模块。本发明的方法和系统体现了程序、硬件、环境和规范四个方面相互作用相互影响，真实模拟了实际环境过程，能够做到发现问题并自适应重构，确保软硬件协同设计的可靠性。
06、一种空间飞行器的重构飞行控制方法及系统
本发明公开了一种空间飞行器的重构飞行控制方法及系统，该方法包括（1）采集软硬件信息；(2）将所采集的信息数学符号化表示：(3）设定环境场景数据：(4）进行规范化约束：(5）进行模型检测；(6）进行自适应和重构；(7）进行反馈优化；(8）重新建模测试，该系统包括数据采集模块，数学符号表示模块，模型检测模块，自重构系统反馈模块，自重构系统优化模块。本发明的方法和系统真实模拟了实际环境过程，能够做到发现问题并自适应重构，确保软硬件协同设计的可靠性。
07、一种基于GroupLasso的半监督哈希图像搜索装置
本发明提供一种基于 GroupLasso的半监督哈希图像搜索装置，属于图像搜索领域。所述装置包括：预处理模块，用于识别图像数据库中的标签图像和非标签图像，并对输入图像、标签图像和非标签图像进行预处理；训练学国际期刊上发表学术论文60余篇，已授权发明专利50余项、软件著作权82项。先后担任联合国工业发展组织 UNIDO 国别技术顾问、国家标准委员会 TC124/SC5 委员、软硬件协同设计技术与应用教育部工程研究中心副主任等。

经成本法评估,以2024年4月30日为评估基准日,在假设条件成立的前提下，华东师范大学拟向上海 (略) 转让的部分无形资产评估价值(不含增值税)为1.175.*，大写人民币:*佰点击查看>>万*仟*佰元整。

本项目交易价款采用分期付款方式，受让方应依据合同约定按期支付交易价款至上海技术交易所指定银行账户（账户名称：上 (略) ，开户行：上海浦东发展银行徐汇支行，账号：**）。上海技术交易所在收到受让方支付的交易价款后5个工作日内，将交易价款划转至转让方指定银行账户。

1、本项目为技术包整体转让项目，受让方需受让标的所包含的所有技术成果。 2、本项目公告期即为尽职调查期，意向受让方在挂牌公告期间，有权利和义务自行对标的进行全面了解，一经递交受让申请即表明已完全了解与认可标的状况及相关约定，自愿接受转让标的的全部现状及瑕疵，并愿意承担一切责任与风险，成为受让方后，不得以不了解标的状况及资产质量瑕疵等为由，拒付价款，否则视为违约。 3、意向受让方在充分了解标的情况下，于挂牌期内向上海技术交易所递交受让申请，经交易所审核后获得竞买人资格，交易所向意向受让方出具《受让资格确认通知书》。意向受让申请材料包括但不限于：主体资格证明材料、《意向受让申请书》、内部决策文件等材料。 4、信息发布期满，如只征集到一个符合条件的意向受让方，采用协议方式转让，意向受让方应当以不低于挂牌底价的价格受让标的；如征集到两个及以上符合条件的意向受让方的，则以 在线竞价 方式组织交易，按照交易规则确定受让方和受让价格。上技所在受让方确定后5个工作日内组织交易双方签订《技术交易合同》。 5、意向受让方须自行了解相关法律法规的要求，并在自行咨询专业人士、相关方和管理部门的基础上自行判断本项目的风险，决定是否受让标的，并自行承担由此产生的全部责任及后果，包括但不限于费用、风险和损失。 6、受让方若发生以下行为即视为违约，该受让方须承担相关的全部经济责任与风险，上海技术交易所有权向受让方追偿作为对相关方的补偿：（1）以不了解技术交易标的现状、瑕疵或相关风险为由发生逾期，拒付交易价款，放弃受让，向转让方追责等情形的；（2）以转让方未尽实披露等为由发生逾期，拒付交易价款，放弃受让，向转让方追责等情形的。 7、“结合自注意力机制的模糊测试漏洞挖掘方法”、“机载软件中目标代码到源代码的验证分析方法及存储介质”两项发明专利申请已进入实审阶段，若未能获得专利授权，或获得专利授权后又被撤销或被宣告无效的，只要转让方无重大过错(仅限于转让方不是该专利申请的合法申请人、或侵害他人专利权或专利申请权的情形)，除此之外的其他情况则不影响交易继续执行，即转让方不必返还己收取的转让费用。 8、转让方应配合受让方在规定时间内完成标的权属转移变更登记事项，标的权属变更登记过程中所涉及的税费按国家法律法规相关规定由受让方自行承担。 9、技术交易合同生效后，由受让方负责对专利局的有关通知进行答复，并缴纳有关费用，登记公告后专利申请被驳回的，由受让方承担权利与义务。 10、交易双方应按照上海技术交易所收费标准支付交易服务费，转让方交易服务费由受让方承担。

1、意向受让方应为依法设立并有效存续的境内企业法人、其他经济组织或具有完全民事行为能力的自然人。 2、意向受让方须财务状况良好、有信誉、有足够的支付能力。 3、接受联合方式举牌受让，不接受委托（含隐名委托）、信托举牌受让。 4、 意向受让方应符合国家法律、法规规定的其他条件。