语义可感知的灰盒编译器模糊测试

1

作者 欧先飞 蒋炎岩 许畅 《软件学报》 北大核心 2025年第7期2947-2963,共17页

模糊测试技术在软件质量保障、软件安全测试等领域起到重要作用.然而,在面对编译器这样输入语义复杂的系统时,现有的模糊测试工具由于其变异策略中缺乏对语义的感知能力,导致生成的程序难以通过编译器前端检查.提出了一种语义可感知的... 模糊测试技术在软件质量保障、软件安全测试等领域起到重要作用.然而,在面对编译器这样输入语义复杂的系统时,现有的模糊测试工具由于其变异策略中缺乏对语义的感知能力,导致生成的程序难以通过编译器前端检查.提出了一种语义可感知的灰盒模糊测试方法,旨在提高模糊测试工具在编译器测试领域的效能.设计并实现了一系列可保持输入语义合法性并探索上下文多样性的变异操作符,并针对这些操作符的特点开发了高效的选择策略.将这些策略与传统的灰盒模糊测试工具相结合,实现了灰盒模糊测试工具SemaAFL.实验结果表明,通过应用这些变异操作符,SemaAFL在GCC和Clang编译器上的代码覆盖率相比AFL++和同类工具GrayC提高了约14.5%和11.2%.在为期一周的实验期间,SemaAFL发现并报告了6个以前未被发现的GCC和Clang缺陷. 展开更多

关键词 编译器测试 语义可感知的模糊测试 灰盒模糊测试

在线阅读 下载PDF 职称材料

基于在线信息的C2C顾客可感知风险评价研究 被引量：6

2

作者 王松 刘新民 丁黎黎 《商业研究》 CSSCI 北大核心 2011年第10期34-38,共5页

C2C环境下顾客购物过程中面临诸多风险,如何有效识别和评价这些风险至关重要。本文以顾客可感知风险为基础,从当前国内主流C2C交易平台的主要信息出发,本着可获取、可计量的原则,在考虑时间、消费者风险偏好等因素的基础上,从C2C网站风... C2C环境下顾客购物过程中面临诸多风险,如何有效识别和评价这些风险至关重要。本文以顾客可感知风险为基础,从当前国内主流C2C交易平台的主要信息出发,本着可获取、可计量的原则,在考虑时间、消费者风险偏好等因素的基础上,从C2C网站风险、卖家风险、产品风险、服务风险等方面建立风险计量指标体系,借助突变理论建立了风险综合评价模型,并对模型特点及应用进行了分析与总结。 展开更多

关键词 C2C 可感知风险 突变模型 综合评价

在线阅读 下载PDF 职称材料

可感知内部控制质量:度量方法与初步检验 被引量：19

3

作者 方红星 金玉娜 《财经问题研究》 CSSCI 北大核心 2013年第10期18-25,共8页

内部控制质量的度量一直是相关实证研究中难以克服的关键技术难题。与以往研究中复杂的内部控制评价方法不同,本文基于公司利益相关者的视角,立足于自愿性内部控制鉴证阶段,运用易于公开获取和理解的内部控制信息,结合内部控制目标的实... 内部控制质量的度量一直是相关实证研究中难以克服的关键技术难题。与以往研究中复杂的内部控制评价方法不同,本文基于公司利益相关者的视角,立足于自愿性内部控制鉴证阶段,运用易于公开获取和理解的内部控制信息,结合内部控制目标的实现情况,构建一套可被外界感知的内部控制质量的度量方法。通过2007—2010年深市A股非金融类主板上市公司相关数据的实证检验,表明可感知内部控制的度量方法具有较高的信度和效度。可感知内部控制质量的度量方法为内部控制影响因素、经济后果和市场反应类研究提供了计量基础,解决了相关研究中内部控制质量无法有效度量的难题。 展开更多

关键词 可感知内部控制质量 内部控制目标 自愿性内部控制鉴证

在线阅读 下载PDF 职称材料

基于可感知的数字图书馆个性化信息服务质量控制 被引量：2

4

作者 高雄 《图书馆论坛》 CSSCI 北大核心 2011年第1期114-116,134,共4页

以格鲁诺斯"可感知的服务质量"为契入点,通过构建可感知的个性化信息服务质量框架模型,分析数字图书馆的个性化信息服务中对用户期望服务质量和实际感知服务质量影响因素。要减小期望服务质量与感觉中的服务质量之间的差距,... 以格鲁诺斯"可感知的服务质量"为契入点,通过构建可感知的个性化信息服务质量框架模型,分析数字图书馆的个性化信息服务中对用户期望服务质量和实际感知服务质量影响因素。要减小期望服务质量与感觉中的服务质量之间的差距,提高用户可感知的个性化信息服务质量,必须从两方面同时着手,加强对其服务质量控制。 展开更多

关键词 数字图书馆 可感知服务 期望服务 质量控制

在线阅读 下载PDF 职称材料

人种志研究法在手术分离钳的可感知人机界面设计的应用

5

作者 施斌 吕坤勇 宋成利 《包装工程》 CAS CSCD 北大核心 2015年第18期58-61,134,共5页

目的分析最原始腹腔镜手术环境下的人与器械的工作关系,对多自由度手术钳可感知界面进行设计。方法前期以人种志为主要设计研究方法,获得腹腔镜手术人、设备、环境的原始资料,继而以医疗设备人机设计规则对手术钳的可感知界面的可用性... 目的分析最原始腹腔镜手术环境下的人与器械的工作关系,对多自由度手术钳可感知界面进行设计。方法前期以人种志为主要设计研究方法,获得腹腔镜手术人、设备、环境的原始资料,继而以医疗设备人机设计规则对手术钳的可感知界面的可用性进行深入设计。结论通过洞察原本状态下的手术现场获得设计切入点,并展开、贯彻到人机可感知界面设计,可获得最贴近实际应用需求的设计结果,而非室闭门造车式的研究性设计。 展开更多

关键词 人种志 分离钳 腹腔镜 可感知人机界面

在线阅读 下载PDF 职称材料

基于人类视觉系统和小波变换的可感知图像色域

6

作者 林茂海 罗运辉 +1 位作者 周世生 王佳 《中国印刷与包装研究》 CAS 2010年第S1期37-40,共4页

由于某些图像中部分像素的颜色低于人类视觉系统(HVS)的空间阈值,因而图像中这部分颜色信息对于人类视觉系统是不可感知的。本文提出一种考虑人类视觉特性的彩色图像小波变换方法,以减少冗余颜色信息,构建图像的可感知色域(PGI),用于基... 由于某些图像中部分像素的颜色低于人类视觉系统(HVS)的空间阈值,因而图像中这部分颜色信息对于人类视觉系统是不可感知的。本文提出一种考虑人类视觉特性的彩色图像小波变换方法,以减少冗余颜色信息,构建图像的可感知色域(PGI),用于基于图像的精确色域映射。考虑人类视觉系统模型的相对敏感度函数(CFS),在小波变换域的部分子频段实施颜色信息的缩减。继而采用通用凸壳算法实现色域可视化,所构建的可感知色域仅表示出图像的可感知的颜色信息。本文初步建立了一种可靠地确定图像可感知色域的方法,有助于进一步开发鲁棒性强、符合心理视觉的色域映射算法。 展开更多

关键词 可感知色域 小波变换 人类视觉系统 相对敏感度函数

在线阅读 下载PDF 职称材料

基于梯度可感知通道注意力模块的红外小目标检测前去噪网络 被引量：4

7

作者 林再平 罗伊杭 +5 位作者 李博扬 凌强 郑晴 杨晶贻 刘丽 吴京 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2024年第2期254-260,共7页

红外图像去噪在军事及民用领域应用广泛。现有基于深度学习的图像去噪方法主要为可见光图像设计,此类方法容易过度平滑图像细节,从而导致弱小目标丢失,为后续的检测任务带来困难。为了在去除噪声的同时保留好红外图像中的目标信息,本文... 红外图像去噪在军事及民用领域应用广泛。现有基于深度学习的图像去噪方法主要为可见光图像设计,此类方法容易过度平滑图像细节,从而导致弱小目标丢失,为后续的检测任务带来困难。为了在去除噪声的同时保留好红外图像中的目标信息,本文提出了一种基于梯度可感知通道注意力模块的红外弱小目标检测前去噪网络。该网络首先采用编码器-解码器结构来去除图像中的加性噪声,然后通过梯度可感知通道注意力模块对图像高频区域进行自适应增强,有效保持红外弱小目标的响应强度。此外,本文提出了领域第一个包含3981张含噪声的红外图像数据集。实验结果表明,该网络能够在有效去除加性噪声的同时避免过度平滑,很好地保留了红外图像中的目标信息,最终实现了在含噪声环境下的高鲁棒性红外弱小目标检测。 展开更多

关键词 红外小目标 检测前去噪 梯度可感知通道注意力模块

在线阅读 下载PDF 职称材料

财务报告舞弊行政处罚与可感知审计质量 被引量：3

8

作者 张宏伟 《南京审计学院学报》 2012年第3期77-85,共9页

以2001年至2008年间非金融类、非外资类正常交易A股公司为研究样本,考察财务报告舞弊行政处罚是否传递了可感知审计质量信息,实证研究结果表明:投资者总体上并不认可财务报告舞弊行政处罚传递了可感知审计质量信息,仅当投资者观察到反... 以2001年至2008年间非金融类、非外资类正常交易A股公司为研究样本,考察财务报告舞弊行政处罚是否传递了可感知审计质量信息,实证研究结果表明:投资者总体上并不认可财务报告舞弊行政处罚传递了可感知审计质量信息,仅当投资者观察到反映坏消息的审计意见(如审计师出具非标审计意见、审计意见未改善等)和反映审计师声誉信息(如审计师受到行政处罚)的情况下,投资者才认为财务报告舞弊行政处罚传递了可感知审计质量信息。 展开更多

关键词 财务报告舞弊行政处罚 可感知审计质量 市场反应 非标审计意见 审计师声誉信息 审计服务

在线阅读 下载PDF 职称材料

可感知长度和输出力的软体机器人模块的设计与控制研究

9

作者 彭广帅 王丽珍 《医用生物力学》 CAS CSCD 北大核心 2021年第S01期144-144,共1页

目的软体机器人因其内在的顺应性,为机器人与人体之间更安全的柔性人机交互提供了新的解决方案,但软体机器人的顺应性为软件机器人的传感和控制带来新的挑战。本文提出一种弹簧增强的软体机器人模块,该软体机器人模块可以感知长度和输出... 目的软体机器人因其内在的顺应性,为机器人与人体之间更安全的柔性人机交互提供了新的解决方案,但软体机器人的顺应性为软件机器人的传感和控制带来新的挑战。本文提出一种弹簧增强的软体机器人模块,该软体机器人模块可以感知长度和输出力,为大变形的软体机器人的传感和控制提供了一种新的解决方法。方法该软体机器人模块利用飞行时间测距传感器监测软体机器人模块的长度变化并结合软体机器人内部气压的测量值。 展开更多

关键词 软体机器人 测距传感器 人机交互 软件机器人 输出力 长度变化 可感知 顺应性

在线阅读 下载PDF 职称材料

用户主观感知视点下的农村地区互联网创新扩散研究 被引量：16

10

作者 叶明睿 《现代传播（中国传媒大学学报）》 CSSCI 北大核心 2013年第4期116-120,共5页

本文基于符号互动理论的视点,使用创新扩散理论所提供的测量指标,通过对互联网自身的可感知属性在农村居民主观认知中的反映来对互联网在中国农村地区的发展过程加以重新审视。研究结论认为,较低的可试性和可观察性以及落后的IT素养已... 本文基于符号互动理论的视点,使用创新扩散理论所提供的测量指标,通过对互联网自身的可感知属性在农村居民主观认知中的反映来对互联网在中国农村地区的发展过程加以重新审视。研究结论认为,较低的可试性和可观察性以及落后的IT素养已成为互联网在农村地区扩散的主要阻碍。研究还发现,未成年子女是中国农村家庭购买电脑和接入互联网的一个相对特有的显著影响因素。 展开更多

关键词 农村信息化 互联网 创新扩散 符号互动论 可感知属性

在线阅读 下载PDF 职称材料

对“存在就是被感知”的再认识

11

作者 程肇琳 《云南师范大学学报（哲学社会科学版）》 1989年第3期19-24,共6页

“存在就是被感知”是18世纪英国大主教贝克莱提出的一个著名观点,也是一切研究哲学的人非常熟悉的一个命题。在我国它被当作主观唯心主义的典型命题一再被批判因而也“臭名昭著”,几乎人人皆知。但在西方一些哲学家那里,贝克莱和他的... “存在就是被感知”是18世纪英国大主教贝克莱提出的一个著名观点,也是一切研究哲学的人非常熟悉的一个命题。在我国它被当作主观唯心主义的典型命题一再被批判因而也“臭名昭著”,几乎人人皆知。但在西方一些哲学家那里,贝克莱和他的这一命题受到的待遇却颇为不同。比如德国的叔本华就明确提出贝克莱的观点为哲学作出了贡献。当今人们对孔德主义、马赫主义、实用主义、逻辑实证论等哲学流派的研究十分热烈,而这些流派也或多或少受到过贝克莱的影响。尤其是现象学认为:任务物体只有当它成为一个意识的感知对象时它才真正存在。这一观点同贝克莱学说更是一脉相承。这促使我们再次注意贝克莱的学说。 展开更多

关键词 存在就是被感知 贝克莱 客观事物 主观唯心主义 认识主体 性观念 可感知 感性认识 认识客体 主客体关系

在线阅读 下载PDF 职称材料

恍惚之思,其中有道——读陈先发近作札记 被引量：1

12

作者 耿占春 《扬子江文学评论》 北大核心 2025年第1期16-26,共11页

如果说存在着一种可感知的“思想之诗”的话,或许很多人会想到陈先发的写作。他的诗为当代文学贡献了一种独特的沉思者形象,尤其是体现在陈先发近期诗章中的“思想-感知”的辩证运动,构成了极富魅力的言述。然而诗歌中的“思想”要素及... 如果说存在着一种可感知的“思想之诗”的话,或许很多人会想到陈先发的写作。他的诗为当代文学贡献了一种独特的沉思者形象,尤其是体现在陈先发近期诗章中的“思想-感知”的辩证运动,构成了极富魅力的言述。然而诗歌中的“思想”要素及其含义,依然处在难以言传或晦涩之中,抵达今天的诗歌,已在文明史中跨越了最漫长的旅程,这是否意味着人类的思想一直伴随着某种不能尽言之物?或者说,人类生活的世界只能在某个瞬间被意义的闪电所照亮,然后又将再次沉入晦暗地带。 展开更多

关键词 当代文学 陈先发 辩证运动 可感知 晦涩 沉思者

在线阅读 下载PDF 职称材料

从旅游者角度对旅游目的地形象的探讨 被引量：184

13

作者 宋章海 《旅游学刊》 CSSCI 北大核心 2000年第1期63-67,共5页

旅游目的地形象是吸引游客最关键的因素之一，是旅游整体营销理念中的重要概念。本文从旅游者角度探讨了旅游目的地形象的可感知性与不可感知性，并提出了正确运用旅游地形象要素进行形象策划的观点。

关键词 旅游者 旅游地形象 可感知性 不可感知性 旅游业

在线阅读 下载PDF 职称材料

品牌竞争力的生成及其贡献要素优势转化机制分析 被引量：26

14

作者 胡大立 谌飞龙 吴群 《科技进步与对策》 CSSCI 北大核心 2005年第7期81-83,共3页

从对竞争力的经济学解释入手,分析了竞争力产生的条件和品牌竞争力的内涵,指出品牌差别优势是品牌竞争力的产生源泉,品牌竞争力是企业在市场竞争中与竞争对手相较量时,由品牌所表现出来的一种市场力量。认为建立顾客可感知品牌差别优势... 从对竞争力的经济学解释入手,分析了竞争力产生的条件和品牌竞争力的内涵,指出品牌差别优势是品牌竞争力的产生源泉,品牌竞争力是企业在市场竞争中与竞争对手相较量时,由品牌所表现出来的一种市场力量。认为建立顾客可感知品牌差别优势是生成品牌竞争力的关键,并总结了几种要素优势转化为顾客可感知品牌差别优势的典型模式。 展开更多

关键词 品牌竞争力 品牌差别优势 顾客可感知 要素作用机制

在线阅读 下载PDF 职称材料

顾客价值理论对饭店服务流程优化的启示 被引量：32

15

作者 邹益民 奚高云 《商业经济与管理》 北大核心 2003年第8期50-53,共4页

顾客价值已被视为饭店企业竞争优势的新来源。本文通过对顾客价值理论的梳理 ,及其饭店顾客价值的驱动因素分析 ,探讨了饭店企业服务流程优化的目标与思路 ,并用实例分析了饭店服务流程的优化、整合的过程和方法。

关键词 顾客价值理论 饭店服务流程 优化 可感知价值理论 可让渡价值理论 价值过程理论 饭店顾客价值

在线阅读 下载PDF 职称材料

网络化移动应用的全局适应性数据预取机制 被引量：4

16

作者 张晓薇 曹东刚 +1 位作者 田刚 陈向群 《软件学报》 EI CSCD 北大核心 2010年第8期1783-1794,共12页

提出一种多目标的数据预取方法(multiple goals oriented data prefetching,简称MGODP)来满足不同用户的数据预取需求.MGODP不仅从用户偏好出发为其预取合适量的数据,而且从服务器角度出发,对于Client/Server模式下的数据访问提出全局... 提出一种多目标的数据预取方法(multiple goals oriented data prefetching,简称MGODP)来满足不同用户的数据预取需求.MGODP不仅从用户偏好出发为其预取合适量的数据,而且从服务器角度出发,对于Client/Server模式下的数据访问提出全局合作的方法,以大幅度提高服务质量.另外,MGODP提供了移动客户端和服务器之间平衡工作负载的合作机制,合理分配系统资源,保障系统性能.通过一系列实验可以看出,MGODP方法能够很好地满足不同用户的需求,并通过全局合作和负载均衡机制在保证用户性能需求的前提下,尽可能地减小对电池电量和网络带宽的消耗. 展开更多

关键词 数据预取 用户偏好 上下文可感知 移动计算 全局协作

在线阅读 下载PDF 职称材料

基于行为动力学的移动机器人安全导航方法 被引量：6

17

作者 郝大鹏 傅卫平 王雯 《系统工程与电子技术》 EI CSCD 北大核心 2014年第1期136-142,共7页

研究机器人行为动力学方法的导航问题,该方法在动态环境下存在碰撞危险。提出一种改进迭代最近点算法,可以在机器人导航过程中实时获取障碍物的位姿变化。根据位姿变化将障碍物分为静止障碍物、移动障碍物。结合环境信息的不完整性和运... 研究机器人行为动力学方法的导航问题,该方法在动态环境下存在碰撞危险。提出一种改进迭代最近点算法,可以在机器人导航过程中实时获取障碍物的位姿变化。根据位姿变化将障碍物分为静止障碍物、移动障碍物。结合环境信息的不完整性和运动障碍物速度信息,提出可感知速度障碍物(perceivable velocity obstacles,PVO)概念,该概念定义的障碍物是机器人感知障碍物区域沿其相对运动方向膨胀得到的避障区域,是一种虚拟障碍物。将PVO作为障碍物应用于行为动力学方法完成机器人导航控制。所提出的改进方法在不改变原有行为动力学方法的基础上,增加了安全导航功能,简单易用。仿真实例证实,在动态环境下,改进的行为动力学导航方法比经典的行为动力学导航方法更加安全。 展开更多

关键词 移动机器人 安全导航 行为动力学方法 迭代最近点算法 可感知速度障碍物

在线阅读 下载PDF 职称材料

基于对等网结构的流媒体系统研究 被引量：3

18

作者 杨波 廖建新 +1 位作者 朱晓民 吕新荣 《计算机工程》 CAS CSCD 北大核心 2007年第14期192-194,共3页

提出了一种可感知拓扑的增强型、锯齿型流媒体系统结构——ZETA,设计了一种基于ZETA结构的分段流媒体内容复制与替换算法ZSDC。仿真实验表明,ZETA结构与ZSDC算法配合,提高了流媒体系统的服务质量,节省了节点的存储资源,提供了可扩展性... 提出了一种可感知拓扑的增强型、锯齿型流媒体系统结构——ZETA,设计了一种基于ZETA结构的分段流媒体内容复制与替换算法ZSDC。仿真实验表明,ZETA结构与ZSDC算法配合,提高了流媒体系统的服务质量,节省了节点的存储资源,提供了可扩展性强、性能优越、QoS良好、具有负载均衡和容错机制的流媒体服务平台。 展开更多

关键词 对等网络 流媒体 内容复制与缓存算法 可感知拓扑的增强型锯齿型结构

在线阅读 下载PDF 职称材料

数字图像的分数阶微分自适应增强 被引量：4

19

作者 陈庆利 黄果 秦洪英 《计算机应用研究》 CSCD 北大核心 2015年第5期1597-1600,共4页

为了解决分数阶微分应用于图像处理中难以确定分数阶微分阶次的问题,首先分析了图像的分数阶微分增强效果在一定范围内随着分数阶微分阶次的增大而增大以及图像的平均亮度越大,恰可感知的亮度差异就越大的特点;然后,根据图像的整体灰度... 为了解决分数阶微分应用于图像处理中难以确定分数阶微分阶次的问题,首先分析了图像的分数阶微分增强效果在一定范围内随着分数阶微分阶次的增大而增大以及图像的平均亮度越大,恰可感知的亮度差异就越大的特点;然后,根据图像的整体灰度分布和局部灰度值构造了自适应分段函数来确定分数阶微分阶次。实验结果表明,该方法能自动寻找最佳微分阶次,增强后的图像视觉效果明显,图像增强视觉效果接近或超过最佳微分阶次下的视觉效果,增强图像的对比度明显高于最佳微分阶次下的对比度。 展开更多

关键词 图像增强 分数阶微分 自适应 韦伯—费希纳定律 恰可感知差异

在线阅读 下载PDF 职称材料

人脸跟踪技术在智能家庭服务系统中的应用 被引量：1

20

作者 刘文萍 付晓玲 +1 位作者 伊大成 李晓丽 《计算机应用研究》 CSCD 北大核心 2004年第10期139-140,共2页

提出了一个用于可感知人—机界面系统的快速且鲁棒性强的人脸提取和跟踪算法。算法分两步:首先利用皮肤颜色过滤法和背景去除技术提取出类似皮肤的区域;再利用区域填充和图像分析技术将人的面部分割出来。实验结果证明了此算法的可行性... 提出了一个用于可感知人—机界面系统的快速且鲁棒性强的人脸提取和跟踪算法。算法分两步:首先利用皮肤颜色过滤法和背景去除技术提取出类似皮肤的区域;再利用区域填充和图像分析技术将人的面部分割出来。实验结果证明了此算法的可行性和实时性。 展开更多

关键词 可感知用户界面 图像分割 实时人脸跟踪 区域标记 特征抽取

在线阅读 下载PDF 职称材料