科学效应及其知识表示与推理方法研究

科学效应是产品创新设计过程中的一种重要知识类型。建立科学效应知识模型,并实现知识推理,有助于功能的求解过程。Prolog是一种基于谓词逻辑的人工智能语言,广泛应用于专家系统的构建。采用一阶谓词的形式,以Prolog语言为载体,实现了科学效应知识的表示与推理过程,构建科学效应知识库系统。通过棉花采摘工具的功能分析与方案设计过程,验证了基于Prolog的科学效应知识模型的有效性。     

摄屏类图像重构算法

目前摄影摄像设备所采集图像的分辨率远远高于屏幕分辨率,因此摄屏类图像经缩放后往往有大量摩尔纹产生.针对该类图像摩尔纹干扰以及内存过大、图像短焦距畸等现象,本文首次提出了摄屏类图像重构算法.首先,通过长度自适应的线型滤波算法分离网状高频信号.再通过快速Greedy算法和贝努利随机游走提取图像的高频信息,根据液晶点结构的先验知识,构建完整的液晶排布模型并数学拟合,分离出被拍摄屏幕画面信息和液晶点网状纹路.最后对图像矩阵空间重构,以及颜色通道的插值恢复.重构算法在矩阵空间上与原始图像一致,实验样本与原图的直方图相似度达到80%以上,远高于摄屏图像与原图38.7%的相似度.算法保留了图像信息,舍去高频网状噪声,恢复原始矩阵空间,使图像更符合实际需求.     

一种基于国产异构众核处理器的C++智能源码转换框架

国产异构众核处理器是我国打破国际技术壁垒,在高性能计算领域取得突破的关键环节.围绕国产超算的软件生态环境建设,采用智能源码转换的方法盘活海量多核架构的遗产代码是加速软件研发效率,推动领域发展的重要途径.针对国产运算核心不支持C++编译的现状,基于开源的ANTLR语言翻译工具,提出了一种面向异构众核处理器的智能化C++语言向C语言转换的辅助框架.该框架聚焦面向对象语言的关键特征,基于抽象语法树,实现了基类和继承类、函数定义、基于标签法的模板实例化以及部分STL库的C语言转换,建立了待转换代码的自动化标注体系,极大地提高了C++代码的转换和移植效率.通过对可衡量的并行计算基准应用BableStream进行自动转换和移植测试,证实了该转换框架的有效性.