山东科技大学计算机科学与工程学院
- 作品数：678 被引量：2,287H指数：18
- 相关作者：孙永丽杨长强李倩李哲王艺更多>>
- 相关机构：山东理工大学计算机科学与技术学院中国科学院计算技术研究所哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金教育部人文社会科学研究基金更多>>
- 相关领域：自动化与计算机技术文化科学经济管理理学更多>>
- 赣东山地丘陵区耕地细碎化时空变异与驱动因子探析——以江西省万年县为例被引量：14
- 2021年
- 从中观尺度探讨耕地景观细碎化演变特征及其机制,可反映区域人地关系变化,为耕地细碎化优化路径提供科学依据,推动耕地保护工作长足发展。选取赣东典型山地丘陵区万年县为研究区,基于GIS技术、景观格局指数、熵权法和地理探测器等研究方法对耕地细碎化演变与驱动因素进行了分析。结果表明:(1)万年县2009—2018年耕地细碎化程度明显加剧,耕地细碎化面积指数、形状指数均显著提高,分布指数呈现下降趋势;(2)万年县耕地细碎化主要驱动因素为高程、乡镇人口密度、距农村居民点距离以及坡度,各探测因子对耕地细碎化的影响呈相互增强或非线性增强效应;(3)综合发展型、工业贸易型、生态旅游型以及农业生产型乡镇主要驱动因子分异明显。因此,耕地细碎化优化工作应基于资源禀赋进行土地用途优化配置,基于社会功能分区进行乡镇发展政策牵引。
- 常玉旸张天柱张凤荣石敬诗谢臻
- 关键词：耕地细碎化景观格局指数
- 基于在线评论的政府数据开放平台用户增量需求研究被引量：5
- 2022年
- 深入研究政府数据开放平台用户需求特征,更有效地为用户提供数据服务,让开放数据创造更大的经济和社会价值具有重要意义。本文采集9个省(市、自治区)级政府数据开放平台的用户评论数据,首先运用LDA模型挖掘平台初建期和发展期用户需求主题,分析其需求热点;其次选取朴素贝叶斯算法研究用户需求主题的情感倾向;最后计算两个时期的平台用户需求主题相似度,揭示用户增量需求的动态演进路径。研究结果表明,“数据改进”“社会保障”“公共安全”等需求主题是用户持续关注的领域,其中“社会保障”主题的情感倾向概率为0.75,用户情感倾向积极,“数据改进”主题的情感倾向概率为0.22,用户情感倾向消极。本文研究平台用户需求主题、情感诉求以及需求变化,促进政府数据开放平台根据用户增量需求不断持续改进,为平台建设发展提供有力支持。
- 李冠赵毅
- 关键词：主题挖掘情感倾向文本相似度
- 基于Petri网展开的多线程程序数据竞争检测与重演
- 2023年
- 数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展开的新型数据竞争检测方法.首先,对程序的某一运行轨迹进行分析和挖掘,构建程序的一个Petri网模型,它由单一轨迹挖掘得到,却可隐含程序的多个不同运行轨迹,由此可在保证效率的同时降低传统动态分析方法的漏报率;其次,提出基于Petri网展开的潜在数据竞争检测方法,相比静态分析方法在有效性上有较大提升,而且能明确给出数据竞争的产生路径;最后,对上一阶段检测到的潜在数据竞争,给出基于CalFuzzer平台的潜在死锁重演调度方法,可剔除误报,保证数据竞争检测结果的真实性.开发相应的原型系统,结合公开的程序实例验证了所提方法的有效性.
- 鲁法明黄莹曾庆田包云霞唐梦凡
- 关键词：数据竞争PETRI网
- 扩展颜色逻辑Petri网及其可达性分析被引量：7
- 2020年
- 逻辑Petri网是一种增广Petri网模型,具有与图灵机等价的建模能力。颜色逻辑Petri网解决了逻辑Petri网中输出的不确定性表达问题。然而颜色逻辑Petri网描述不同子系统的并发过程,需要对每一个子系统建立一个子网模型。如果所有子网模型的结构相同,则可以引入多个有色托肯,从而用一个子网模型表示多个子系统的并发过程。因此,提出了扩展颜色逻辑Petri网模型及其可达性分析方法。首先,为了方便可达标识的表示和计算,引入多重集的素数表示法,用素数幂的乘积来表示一个多重集,并给出了判断变迁使能的方法。其次,通过定义颜色逻辑关联矩阵,给出了一步可达标识的计算公式以及可达树构造方法。最后,针对一个电子商务实例,分别用颜色逻辑Petri网和所提出的扩展颜色逻辑Petri网建立模型并进行比较分析,从而证明了提出的模型具有更简单的网结构,丰富了逻辑Petri网理论。
- 王振杜玉越亓亮
- 关键词：并发系统可达性分析电子商务系统
- GM卫星测高数据海面时变校正程序的I/O并行优化研究
- 2023年
- 海面时变校正是建立平均海平面模型数据处理过程中最关键的一步,可以消除或削弱海面时变的影响。本研究实现了时空客观分析法对GM卫星测高数据进行海面时变校正的串行程序,针对该程序运行耗时超长问题,研究其I/O特征,提出两种多进程I/O并行方案,并使用消息传递接口(MPI)文件视口函数对其进行优化。在高性能集群系统上的实验结果表明,合并再分配方案具有更好的负载均衡度;I/O并行优化后的合并再分配方案加速效果明显,最高开启448进程时,大数据量实验耗时9283.84 s,与56进程时相比,加速比为7.21,并且具有良好的强、弱可扩展性。
- 傅游徐方正梁建国
- 关键词：卫星测高消息传递接口I/O性能
- 基于运动矢量的视频可逆隐藏算法被引量：1
- 2020年
- 针对现有的基于运动矢量的视频信息隐藏算法存在破坏矢量局部最优性这一问题,提出一种基于视频运动矢量的可逆信息隐藏算法。算法对利用增强预测区域搜索(enhance predictive zonal search,EPZS)算法得到的最优预测矢量与运动矢量的差值进行微调,在差值的最低有效位嵌入水印。通过矢量差值扩展,实现了解码端运动矢量的无损恢复,让信息的嵌入不影响矢量的局部最优性,保证了解码视频质量不受运动矢量改变的影响。与传统的基于运动矢量的信息隐藏算法相比,本算法在嵌入水印的同时未大幅增加引入码流量。实验结果表明,该算法在控制码流和解码端的视频质量方面均具有良好的性能。
- 葛京杨红梅杨红梅颜斌
- 关键词：可逆信息隐藏运动矢量视频水印
- 灾变预测在企业安全事故预测中的应用被引量：2
- 2007年
- 简述了灰色理论中灾变预测的特点及其建模过程,并将其应用于企业安全事故预测之中。经检验,模型的精度等级为好,模型的预测结果可靠,对于企业安全事故的预测有一定帮助。
- 邓奇根曹庆贵王燕
- 关键词：安全事故
- 循环并发结构的过程模型修正方法
- 2019年
- 过程模型描述的行为与事件日志记录的行为之间存在很多偏差,为了使模型可以重演日志中记录的行为,需要对现有模型进行修正。对于存在循环并发结构的模型,现有修正方法得到的模型结构比较复杂,且不能正确地描述活动之间的关系,导致模型精确度较低。因此,针对循环并发结构,提出一种基于逻辑Petri网的动态模型修正方法。基于过程树,提出并发变迁集概念,通过连续日志动作的标识库所集与相应变迁前集之间的关系,进行偏差定位,并根据逻辑Petri网对模型进行动态修正。最后,通过实例验证了所提修正方法的正确性和有效性。
- 滕苑秀杜玉越王路
- 关键词：校准
- 换装行人重识别研究进展
- 2023年
- 行人重识别旨在建立目标行人在多个无交叉覆盖监控区域间的身份联系,在智慧城市、司法侦查和监控安全等领域具有重要应用价值。传统行人重识别方法针对短时间跨度场景,依赖行人外观特征的稳定不变性,旨在克服光照差异、视角变化和物体遮挡等挑战。与之不同,换装行人重识别针对长时间跨度场景,除受限于上述挑战还面临换装带来的外观变化问题,是近几年的一个研究难点和热点。围绕换装行人重识别,本文从数据集和解决方法两个方面综述国内外研究进展,探讨面临的挑战和难点。首先,梳理并比较了当前针对换装行人重识别的数据集,从采集方式、行人及样本数量等方面分析其挑战性和面临的局限性。然后,在简单回顾换装行人重识别发展历史的基础上,将其归纳为基于非视觉传感器的方法和基于视觉相机的方法两类。针对基于非视觉传感器的方法,介绍了深度传感器、射频信号等在换装行人重识别中的应用。针对基于视觉相机的方法,详细阐述了基于显式特征设计与提取的方法、基于特征解耦的方法和基于隐式数据驱动自适应学习的方法。在此基础上,探讨了当前换装行人重识别面临的问题并展望未来的发展趋势,旨在为相关研究提供参考。
- 张鹏张晓林包永堂贲晛烨单彩峰
- 关键词：视频监控生物特征数据驱动学习
- Knight不确定环境下由Lévy过程驱动的期权定价
- 2017年
- 为了研究Knight不确定环境下Lévy型金融市场中的期权定价,假设标的资产的价格服从Lévy过程,建立了Knight不确定环境下期权的动态定价模型以及欧式期权的最小定价模型,并借助等价概率测度、倒向随机微分方程(backward stochastic differential equation,BSDE)等理论分别求出了模型的显示解。最后,利用数值分析方法,研究了Knight不确定性参数对欧式看涨期权价格的重要影响。结果表明:Knight不确定风险对欧式期权定价影响显著,随着Knight不确定参数的增加,欧式看涨期权的最小价格呈现递减的趋势,最终将趋于稳健。
- 黄虹王向荣
- 关键词：KNIGHT不确定性LÉVY过程期权定价倒向随机微分方程
