嵌入式固件脆弱哈希函数自动识别与破解方法

针对现有固件脆弱哈希函数识别误报率高、定位不准确、破解难度大等问题，提出一种嵌入式固件脆弱哈希函数自动识别与破解方法，基于机器学习模型和结构化匹配的脆弱哈希函数识别与定位技术以及基于VEX中间表达式（VEX IR）符号执行的Z3约束求解器（Z3 SMT）的求解方法，构建了从固件二进制文件的脆弱哈希函数的识别与定位到破解的完整自动化分析流程.实验结果表明，所提方法对多种架构和不同编译优化选项下编译的二进制文件的脆弱哈希函数的识别与定位的准确率高达98%，对类似于BKDR哈希函数（BKDRHash）结构的脆弱哈希函数能够准确定位，并快速破解出多个碰撞值.     

基于语义PROMETHEE的产品设计方案群体多准则求解

为了使产品设计方案评价和决策过程充分考虑决策者偏好特征,并避免模糊决策信息的失真,提出基于语义PROMETHEE的设计方案求解支持方法.定义了度量决策者偏好程度的权偏好函数和语义偏好函数,分别改进了传统PROMETHEE方法偏好函数在选型和数据处理上的局限性.对单一类型和区间类型的多粒度自然语义混合决策信息采用不同的语义变换模式,均转化为等效的二元语义类型作为语义偏好函数的保真信息输入.在此基础上,运用语义PROMETHEE方法的基本原理进行产品设计方案群体多准则求解.以停车设备的方案优选为例验证了本方法的可行性.     

AltiVec指令集模拟器的建模和实现

指令集模拟器（ISS）是研究新处理器架构必不可少的方法,研究基于AltiVec指令集建立SystemC模型,提出利用底层虚拟机技术来实现AltiVec ISS.实验表明,该模式比目前实现ISS的几种方法,如解释型编译、静态型编译、动态翻译技术等性能更为优化,且具有一定的灵活性.     

二进制文件同源性检测的结构化相似度计算

提出了一种利用二进制文件的结构化信息进行软件同源性相似度计算的方法.针对克隆软件的特点,设计了基本块签名,在文件-函数-基本块的层次化结构基础上,构建了基于基本块属性和结构化信息的基本块相似度度量,利用函数的结构化信息构建函数权重计算文件相似度,来衡量原文件和目标文件的同源性.针对常见克隆手段进行测试,对所提出的加权相似度算法与不加权算法、主流二进制比对工具的检测结果进行对比.结果表明,加权方法能更准确地衡量出2个文件的相似程度.     

一种多粒度语言评价模糊群决策方法

针对多粒度语言评价群决策问题进行研究,提出了基于多粒度语言评价群决策问题的数学模型。利用基于语义的模糊化函数将不同粒度的语言评价映射为同一区间上的三角模糊数,通过模糊语义距离引入了专家评价与群决策模糊评价的一致度,从而得到基于一致度的专家动态权重,实现了专家初始权重与动态权重的灵活均衡使用。最后通过一个应用实例说明了该方法的合理性和有效性。     

一种指令可编程的音频切换器智能控制系统

针对音频切换器的控制软件缺乏通用性的问题,基于.Net 4.0和WPF,开发一套音频切换器智能控制系统。该系统采用指令可编程的思想,将业务逻辑、数据处理及用户交互界面完全分离开,并将不同品牌音频切换器的控制指令和配置信息预先存储于XML文件中,当接入某切换器后,在程序运行时动态载入。该系统直接通过修改配置信息中的可编程指令集来实现对不同品牌切换器的自动控制,不需要对整个软件进行重新编译,从而提高了系统的通用性。     

信息物理融合系统语义模型分析

针对信息物理融合系统(Cyber-Physical Systems,CPS)需要提供合理的语义规范来保证信息和物理两个不同世界的同步,提出了CPS系统的语义模型方案,引入了(WoT)物维网框架,分析和介绍了物维网的框架结构特点.在此基础上提出了基于物维网框架的CPS系统架构,结合语义模型方案在分析系统需要解决的语义问题时分别给出相应的思路加以阐述,为进一步解决CPS系统语义模型问题提供了参考.     

基于语义的传感观测服务系统

为了使不同类型传感器网络能够自适应地访问和交换彼此的信息资源,研究分析基于传感网整合框架的传感观测服务。通过使用Tomcat服务器构建传感观测服务2.0系统,并针对传感观测服务SOS 2.0核心操作和信息模型,使用Java编程实现XML文档验证规则,首先通过使用schema对XML文档架构的正确性进行检验,其次使用schematron对XML文档架构的规范约束表达式进行验证。实验结果表明,借助XML文档验证规则,即可增加传感观测服务的语义信息,又能解决异构传感器之间的通信问题。     

基于形式化语义的启发式病毒检测引擎研究

对形式化语义在启发式病毒检测引擎上的应用进行了研究,在分析了基于虚拟机技术的反病毒检测引擎的效率问题后,又分析了启发式病毒检测引擎,发现其规则的选取对病毒判断的准确率影响很大,提出基于形式化语义的启发式病毒检测引擎。进行了计算机病毒语义关系框架及数据结构的设计,通过深入剖析不同病毒程序传染部分的代码结构,从而总结出病毒程序的典型语义特征,形成描述其典型语义特征的语义关系框架;在检测时抽取蕴涵在待检程序中的语义,进而建立描述程序语义关系框架;计算二者的匹配程度来确定程序是否含有恶意程序,从而达到检测未知病毒的目的。     

基于本体的语义网格原型框架研究

当前的网格环境将名字作为关键字对服务信息进行查找,缺乏机器可理解的语义信息,难以提供有效的智能服务。为此提出了一种新的语义网格框架——基于本体的语义网格原型框架OSGSA,并提出服务本体的匹配方法。将本体应用于语义网格中,能够有效地组织和管理语义,进而帮助用户准确查询所需要的信息,提高查准率和查全率。     

基于支持向量机的语义视频摘要

针对如何在语义层次上形成视频摘要问题,提出了一个基于支持向量机的风光记录片语义视频摘要算法。利用支持向量机对镜头关键帧进行语义分类,对每类镜头关键帧根据引入的镜头“重要性”函数提取构建视频摘要的帧。改变重要性函数阈值的大小,可以很方便的得到不同粒度的视频摘要。实验结果表明该算法形成的视频摘要较好地表达了视频的内容。     

语义驱动的Ontology聚类

提出了一种基于语义的Ontology相似性计算方法,该方法不仅考虑概念本身的相似性,还考虑了属性集合和相关概念集合的相似性,通过概念基本相似性极限控制属性集合相似性计算的可能性,通过语义半径控制相关概念集合的范围.将基于语义的Ontology相似性方法和凝聚层次聚类算法相结合实现了基于语义的Ontology聚类.实验表明:基于语义的Ontology聚类在性能上优于使用oMAP相似性方法的Ontology聚类.     

企业BOM信息管理系统的研究和实现

企业信息系统中的以）M是联系CAD、CAPP、PDM和ERP的纽带。Web Services是一种面向服务的体系结构,其优势在于跨平台互操作性和软件复用。文章对Web Services的体系结构、关键技术进行了探讨,提出了一种基于WebServices的BOM架构,并在此BOM架构的基础上为浙江省某企业在．NET平台上开发了基于Web Services的BOM信息管理系统,此系统为企业的BOM信息数据交换提供了高效的支持和一致性保证。     

基于手机位置数据的个体行为规律研究

研究个体在不同时间的行为规律性,以及不同个体行为之间的相似性,可以为个性化推荐以及基于位置的服务提供帮助.从手机的基站位置数据中,通过聚类方法找到参考位置,并根据参考位置,将人们杂乱无章的行为转变为到达和离开的二进制时间序列.定义二进制时间序列的相似度,利用异或算法检测个体行为模式.在Reality数据集上的实验结果表明,该方法是有效且可靠的.     

基于深度神经网络的蛋白质相互作用预测框架

为解决实验方法中结果存在较高假阳性率和假阴性率的问题,整合蛋白质特征数据,提出一种基于深度神经网络的蛋白质相互作用预测框架。提取蛋白质的GO语义相似性、序列相似性、蛋白质重要性以及亚细胞定位信息,得到低维度的输入数据。然后建立深度神经网络,进行预测。通过使用弃权技术,减少网络中复杂的互适应神经元,总体性能得到提高。预测框架在酿酒酵母蛋白质数据集上的准确率达到95.67%,精确度达到96.38%。实验结果表明:提取的特征数据较适合用于蛋白质互作的预测研究,且构建的基于深度神经网络的蛋白质相互作用预测框架具有出色的泛化性能,在多种数据上都能取得较好效果。     

一种基于多层语义相似性度量的图像检索方法

图像通常用关键词表示其语义信息,基于关键词的图像检索方式存在因用户理解差异而导致对图像语义理解的歧义问题。文中利用语言学本体WordNet中单词的语义层次,并综合考虑单词之间的同义关系、上下位关系等不同层次的抽象语义信息,通过建立检索词和标注词间的语义关联,统一不同用户对图像语义的理解和描述,再结合单词在不同抽象层次的语义信息计算图像的相似性距离,实现了基于高层语义的图像检索。实验结果表明,上述方法能有效提高图像的检索性能。     

基于双核处理器的主动磁悬浮轴承容错控制架构

为了满足针对多自由度磁悬浮支承系统的故障诊断与实时控制需求,提出一种基于异构的双核处理器ARM+DSP架构。硬件配置上以数字信号处理器(digital signal processing, DSP)作为从处理器执行多个环路的故障监测;而高级精简指令集处理器(advanced RISC Machines, ARM)作为主控制器执行转子位置控制算法,并根据从控制器的故障重构控制器而实现容错;软件结构上提出基于双核处理器的信息交互、任务分配与执行的设计方法,设计了双向中断来协调控制与监控代码间的执行时序。试验得到系统故障诊断与实时容错控制仅需1.8 ms,能够满足系统需求。试验结果证明了本研究所提出架构的有效性。     

基于投影的多粒度语言信息多属性群决策方法

针对具有多粒度语言评价信息的多属性群决策问题,提出了一种基于二元语义信息处理与投影的群决策方法。该方法首先给出了多粒度语言评价信息一致化为由基本语言评价集表示的相同粒度二元语义信息的方法;然后对于属性权重信息不完全的情形,建立了一种基于投影的多目标规划模型,以获得相应的属性权重,并利用二元语义的集结算子对语言评价信息进行加权集成,从而获得各个决策方案的排序和择优结果;最后通过实例分析,说明了该方法的有效性和可行性。     

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。     

基于神经网络的数字音频双重语义水印算法

基于语义的数字水印算法研究是当前数字音频内容管理领域的热点问题,该文设计基于统一内容定位技术的音频语义标引框架,建立数字音频语义水印模型。提出了基于RBF神经网络的双重语义水印算法,该算法用RBF神经网络自适应选择水印嵌入的最佳音频片段,用小波变换提取所选音频片段的近似分量和细节分量,分别在两种分量中嵌入不同的语义信息,形成双重语义水印,实现语义信息和原始音频信号的一体化传输。根据语义水印信息的不同属性描述,实现音频资源的有效检测与监督。实验结果表明,当嵌入信息量较大的语义水印时,该算法仍有较好的鲁棒性和不可听性。