SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机

本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。

用抽象图画看图讲述发展想象能力的实验研究

用抽象图画看图讲述发展想象能力的实验研究李培美传统看图讲述都是用写实的图画，主要发展幼儿的观察能力、思维能力、口语表达能力。本实验突破这种局限，进行用抽象图画看图讲述的研究。抽象画作品的特点是写意，是主观精神的表现，一些抽象画具有不确定性和可发散性，...

基于整数线性规划重构抽象语义图结构的语义摘要算法

针对利用抽象语义(AMR)图来预测摘要子图存在的语义结构不完整问题,该文提出一种基于整数线性规划(ILP)重构AMR图结构的语义摘要算法。首先将数据预处理生成一个AMR总图;然后基于统计特征从AMR总图中抽取出摘要子图重要节点信息;最后利用ILP的方法来对摘要子图中节点关系进行重构,利用完整的摘要子图恢复生成语义摘要。实验结果表明,相比其他语义摘要方法,所提方法的ROUGE值和Smatch值都有显著提高,最多分别提高了9%和14%,该方法有利于提高语义摘要的质量。

一种考虑地图分布信息的分层路径搜索算法

目前存在大量的路径搜索算法,但大多数如传统的A*,Dijkstra等算法没有考虑地图中障碍物的分布信息,造成不必要的存储和时间耗费.实际上,搜索空间的分布在很大程度上影响着算法的性能,因此提出一种结合障碍物分布信息和抽象图思想的分层路径搜索算法CDHPA*.该算法首先依据障碍物的分布将地图划分为不均等的子区域,划分区域的数目由可调阈值确定;然后将子区域边界上的非障碍点作为抽象节点来构成完整的抽象图.根据障碍分布,抽象节点之间的最短路径采用曼哈顿距离或自底向上融合算法来计算;最后在抽象图上找到抽象路径并进行细化,得到实际路径.CDHPA*在同一幅地图上进行多次寻路时仅需一次预处理,在线寻路相比同类方法 M-A*、HPA*更快,并且得出的路径为最优路径.

软件逆向分析过程中的多维图谱抽取方法

由于软件逆向分析过程中产生的结果通常是形式化的符号,且复杂难懂,因此基于软件逆向分析进行代码阅读或漏洞挖掘等工作的效率非常低下。针对这种情况,首先设计多维图谱抽取框架,基于该框架定义多维图谱描述约束(schema),使多维图谱抽取与具体的逆向分析过程之间相互独立;给出逆向分析算法库的构造方式及算法库调用接口,实现基于多维图谱描述的抽象图谱生成;设计基于图形描述语言DOT的抽象图谱转换接口,实现抽象图谱的快速可视化;最后给出多维图谱抽取算法。实验结果表明,采用该方法能有效提高逆向分析过程中生成结果的可读性,大幅提升分析人员代码阅读及漏洞挖掘的工作效率。

基于加权AMR图的语义子图预测摘要算法

方法多数停留在挖掘词与词之间的浅层语义关系,没有很好地利用词句之间的完整语义信息,为此,提出一种改进的语义子图预测摘要的算法。将原始文本转化为相应的抽象语义表示(AMR)图,融合成一个AMR总图,基于WordNet语义词典对其进行冗余信息的过滤。在此基础上利用综合统计特征对不具有权值的AMR图节点赋予权值,通过筛选重要性程度高的部分构成语义摘要子图,并基于ROUGE指标和Smatch指标综合衡量生成摘要的质量。实验结果表明,与仅挖掘浅层语义关系的文本摘要基准算法相比,该算法ROUGE值和Smatch值明显提高。

基于变换的大图点边可视化综述

大图可视化是信息可视化领域的前沿课题之一,也是在线社会网络、信息安全、电子商务等热点行业大数据分析的重要支撑技术.基于变换的大图点边可视化方法由于其具有在线处理时间短、可视复杂度低、交互方法灵活多样等优点,近年来在学术界与实际商用系统中得到广泛重视与应用.文中从图可视化的基本概念及其在大图上的关键挑战出发,梳理了基于变换的大图点边可视化方法的典型分类与主要流程;通过详述3类基于变换的大图点边可视化典型方法(图数据抽象、视图变换与视角转换),阐明了不同方案的优缺点与适用场景,并进一步指出了未来工作的可行方向与潜在难点.

引入图像信息的多模态复述生成模型

在商品描述、新闻评论等多模态场景下,已有复述生成模型只能围绕文本信息生成复述。为了解决其因无法利用图像信息而导致的语义丢失问题,提出多模态复述生成模型(multi-modalityparaphrasegeneration model,MPG)来引入图像信息,并用其生成复述。在MPG中,为了引入与原句对应的图像信息,首先根据原句构建抽象场景图,并将与原句相关联的图像区域特征转换为场景图的结点特征。进一步地,为了利用构建好的场景图来生成语义一致的复述句,使用关系图卷积神经网络和基于图的注意力机制对图结点特征进行编码和解码。在评测阶段,提出句对相似度计算方法,从MSCOCO数据集中筛选出描述图像中相同物体的句对,并将其作为复述测试集进行评测。实验结果显示,所提出的MPG模型生成的复述拥有更好的语义忠实度,表明在多模态场景下图像信息的引入对提高复述生成质量的有效性。

基于局部图匹配的智能合约重入漏洞检测方法

针对以太坊中智能合约遭受重入漏洞攻击的问题,文章提出一种基于局部图匹配的智能合约重入漏洞检测方法。该方法首先将智能合约源代码转化为包含基本结构信息的抽象语法树,并根据重入漏洞的特点裁剪抽象语法树;然后从抽象语法树中提取更加丰富的控制流和数据流,进而生成包含语法和语义信息的局部抽象语义图数据。文章利用图匹配神经网络对局部抽象语义图进行模型训练和测试,使用开源智能合约漏洞样本数据集生成测试数据并对方案进行评估。实验结果表明,该方法能够有效检测智能合约中的重入漏洞。

大脑两半球的协同活动:右半球切除十四年后某些高级机能的观察

本文介绍了一癫痫病人切除右半球14年后大脑工作的情况。神经心理学检查表明:病人在非语言形式如线条、抽象图形的感知、认知和空间关系上遭到一定程度的破坏,但对颜色、音乐、具体人物和环境的认知和空间关系上没有明显障碍。左半球代偿了右半球部分功能,病人能胜任一般工作,并愉快地过着正常生活。

再认能力最佳年龄的研究——试用信号检测论分析

本实验取8个年龄组(多数年龄组又分正常实验组和暗示实验组,各组12名被试),用具体图形,抽象图形和词等三种材料,进行信号检测论的再认实验。 结果表明,各年龄阶段再认具体图形,小学高年级学生成绩最佳;再认抽象图形和词,初中学生最佳。我们认为,这是教育心理学中一个值得注意的问题。 在研究方法上,我们觉得信号检测论用于再认实验具有如下优越性:(1)信号检测论具有二个独立的指标d’和c,有利于分析人们的心理因素;(2)信号检测论把再认错误划分为二类,有助于分析错误原因;(3)信号检测论指标d’比传统再认法指标灵敏。

畸形的抽彩人:人性的沦丧与希望的渺茫——小说《抽彩》人物解读

文章对当代美国短篇小说《抽彩》从人物群像图、人物抽象图、人物变化图进行了解读。雪莉.杰克逊对愚昧盲从、自私残忍的极端畸形人物群像的刻画,具有高度抽象的象征寓意,它深刻揭示出资本主义运作机制下人性的扭曲及民主的假象,反映了战后资本主义社会的状况:理想信念丧失后人性沦丧、暴力遍存。人物变化图是作者关于传统、未来、理想与信念等方面的哲理性思考,反映了作者对人性的希望与迷茫。

分层路径搜索算法研究

自动寻路算法是智能游戏中的重要组成部分,通过对现有自动寻路算法的分析,了解目前已有自动寻路算法所存在的不足。基于地图划分的思想设计分层路径搜索算法,通过将地图细分,计算细分区域中抽象节点的最短路径,在地图加载过程中,实现地图的预处理,从而在确定了路径起始点和结束点之后,快速实现自动寻路。

传感器阵列结合化学计量学方法快速评估烟用包装材料中挥发性有机物

采用传感器阵列技术和化学计量学方法,对烟用包装材料纸中的挥发性有机化合物(Volatile organic compounds,VOCs)的相似度进行快速评估。从传感器阵列信号中提取出抽象气味因子图(Abstract odor factor maps,AOFMs)作为样品的特征谱图,对不同样品的AOFMs进行相似度计算,从而建立对样品的VOCs整体构成相似度评估的方法。本方法有效地从10种包装纸中识别出8种VOCs构成差异比较大的包装纸样品,以及2种VOCs构成相近的包装纸样品。相比于采用主成分分析(Principal component analysis,PCA)方法只能识别出2种以及平行因子分析(Parallel factor analysis,PACARAC)方法可识别出6种包装纸样品,本方法具有更高的识别准确率。本方法基于一个正确的传感器阵列信号模型,采用有明确且客观判别标准的相似度评估方法,能够根据样品响应数据的标准差辅助评估,在包装材料品质评估鉴定中具有潜在的应用价值。

弹载遥测系统模块划分综合分析方法研究

针对系统模块化设计过程中存在的模块划分问题,提出对数据流图进行抽象化建模,得到抽象数据流图,并对抽象数据流图进行规范化定义,描述在抽象数据流图基础上进行模块划分的规则。针对具体的弹载遥测系统问题,利用抽象数据流图和模糊聚类两种方法进行模块划分;然后计算模块之间总耦合度,得到相对统一的模块划分方案;最后通过对系统的分析得到最佳方案。利用方法得到的模块划分方案可以指导弹载遥测系统的构建,系统的稳定性和数据交互效率得到可靠保证。

程序语义差异计算方法分析与研究

本论文在介绍了程序语义差异的重要性的基础上,详细描述了目前所存在的几种计算语义差异的方法,分别是:基于程序切片的方法,分割方法,输入输出依赖关系法和基于抽象语义图的方法,并且在研究这些方法的基础上比较了他们各自的优缺点。

乐享非凡 尊贵之约——盘古七星酒店聚福园三层全新自助餐

对于美食爱好者来说,自然不会错过美食地图上任何一个可以宠爱味蕾的佳馔之地。现在,这份地图上又多了一个坐标——盘古七星酒店聚福园餐厅。走进餐厅,只见内部的设计淋漓尽致地体现出了“东魂西技”的元素,将传统汉代文化与时尚配饰布置融入点滴细节中。天然竹片的墙面与天花板、纯手工藤制的竖灯与餐椅、意大利定制的蓝色海星水晶吊灯、抽象图腾铜艺贴面的海鲜岛、返璞归真的仿旧竹帘,与玄幻的水立方、鸟巢遥相呼应,置身其中,

视觉语言基础研究(连载2)

[形态繁衍]课程课题二:微观形态方法:选取自然中的小型物品,拿在手中非同寻常地观看,记录其细节形态,生成抽象图形并且玩味图形结构。体验非常态的观察方法,体验抽象图形的生成方式。课题解析:在身边任意选取一个小小的物品仔细观看,你都会发现奇迹:它的身上充满了奇异的形态,而你从未真正地"看见"过。只有逼迫自己从泛泛地观看变为注目地观看。

找不到家园的汤姆

有的艺术风格会在不同地区重复出现,井以奇特的方式在人意料不到的时刻再次焕发山新的生命活力。张弓近期的绘画作品,虽然没有那么触目惊心,风格也似曾相识, 但依然给人愈发独特的感觉。从波恩“中国!”展《勇敢的汤姆》系列作品中。