公共文化服务平台

孙景昊: 作品数：20 被引量：41H指数：4; 供职机构：大连理工大学更多>>; 发文基金：国家自然科学基金国家重点基础研究发展计划中央高校基本科研业务费专项资金更多>>; 相关领域：自动化与计算机技术文化科学理学交通运输工程更多>>

合作作者

时变中国邮路问题的整数规划模型及算法研究: 本文提出了一类新的时变网络优化问题—时间依赖网络中国邮路问题。时间依赖特性使得该问题变得十分困难,传统理论在时间依赖网络中不再适用。因此本文围绕时间依赖网络中国邮路问题的计算复杂性、整数规划模型和算法等方面开展研究,具体...; 孙景昊; 关键词：时间依赖网络中国邮路问题整数规划时间自动机; 文献传递

一种基于DAG的启发式任务调度方法: 本发明属于实时嵌入式系统技术领域，具体涉及一种基于DAG的启发式任务调度方法。本发明将DAG的节点划分为几个子集，然后对每个节点子集进行调度，并将所有节点子集的调度合并为针对整个DAG上所有任务节点的调度。该方法可以在具...; 孙振宇孟亚坤孙景昊王继伟章宇王英霖郑浩然毕冉

带有分支结构OpenMP任务图的响应时间分析被引量：2: 2020年; 随着多核技术在实时系统中广泛应用,实时程序的并行化成为当前的研究热点.在实时领域,有向无环图(DAG)是刻画并行实时程序的理论模型.然而,传统的DAG任务图并不能刻画并行程序的实际特征(例如if-else控制流结构).于是,能够同时反映程序的并行负载特征和if-else控制流结构的分支并行任务图(conditional DAG:con-DAG)应运而生.目前,实时领域通常假设con-DAG满足某种特殊结构,即图中的并行子结构和分支子结构必须是单入口和单出口(简称为“单入单出”).在这种约束下,con-DAG的响应时间分析问题具有多项式时间算法.然而,现实的OpenMP程序具有更加灵活的结构.“单入单出”假设一旦失效,con-DAG响应时间分析是否依然存在多项式时间算法为开放性问题.本文针对一般情况下OpenMP程序的分支结构开展研究.对于非“单入单出”con-DAG图上响应时间分析问题,基于动态规划理论,提出了多项式时间的求解方法.实验表明,本文方法求得的con-DAG响应时间在之前方法的基础上能够提升3%,为实时并行程序的可预测性提供更精确的理论支撑.; 孙景昊孙景昊池瑶瑶曹蕾邓庆绪; 关键词：OPENMP 有向无环图多项式时间

时间依赖无向中国邮路问题的分支限界算法被引量：1: 2011年; 时间依赖网络相比传统网络模型有更广泛的应用领域,比如公交网络和通信网络都可以抽象成为时间依赖的网络模型。当模型中弧的访问代价为时间依赖的变量时,中国邮路问题的求解将变得非常困难。首先分析了传统的中国邮路问题求解算法,如奇偶图上作业法和Edmonds&Johnson算法,以及不能有效求解时间依赖中国邮路问题的根本原因;其次给出了一般时变无向中国邮路问题的特性,并在此基础上设计了该问题的分支限界最优化算法;然后针对FIFO(First In First Out)这一类特殊时变网络,设计了新的剪枝条件,从而得到了更有效求解FIFO网络的时变无向中国邮路问题的分支限界最优化算法;最后对算法进行了实验,算法实验结果正确。; 谭国真孙景昊肖宏业吕凯; 关键词：中国邮路问题分支限界

重载列车上人员攀车行为感知及其时间自动机模型: 2013年; 重载列车进港安全监测是我国港口信息化建设中的重点和难点问题。实现列车运行过程追踪自动化对于保证安全高效完成列车进港监测具有十分重要的作用。在速度触发的条件下,设计了能够实时感知人员攀车行为的低功耗信息物理系统,并基于时间自动机理论给出了该系统的实时行为模型。应用UppAal工具仿真了系统的运行轨迹,并验证了系统可达性、安全性、活性和实时性等系统关键性质。实验结果表明,系统不仅在逻辑上满足正确性,而且在任何系统状态上都不会对时间约束发生偏移性错误。; 王瑾孙景昊何兴权孟亚坤; 关键词：重载列车安全监测时间自动机 UPPAAL

GPU上两阶段负载调度问题的建模与近似算法被引量：7: 2014年; 随着硬件功能的不断丰富和软件开发环境的逐渐成熟,GPU(graphics processing unit)越来越多地被应用到通用计算领域,并对诸多计算系统(尤其是嵌入式系统)性能的显著提升起到了至关重要的作用.在基于GPU的计算系统中,大规模并行负载同时进行数据传输和加载的情况时常发生,数据传输延时在系统性能全局最优化中变得不容忽视.综合考虑负载的传输时间和执行时间,以总负载makespan最小化作为系统性能的全局优化目标,研究了GPU上负载"传输-执行"联合调度问题.首先,将负载的时间信息和并行任务数与矩形域的二维空间联系起来,建立了负载的2D双层矩形域模型;然后,将GPU上负载调度问题归结为一类Strip-Packing问题;最后,基于贪婪策略给出了近似度为3的多项式时间近似算法,算法复杂度为O(nlogn).该近似算法的核心是对数据传输阶段进行负载排序调度.这从理论层面上证明了GPU系统采取"传输-执行"两阶段调度的有效性,即,在数据传输阶段采取负载排序调度,在负载执行阶段采取先来先服务(first-come-first-serve,简称FCFS)调度,能够使GPU性能达到全局最优或近似最优.; 孙景昊邓庆绪孟亚坤; 关键词：PROCESSING

车间调度问题综合实验设计与开发: 2023年; 将研究成果转化为综合实验开发,探索智能分布式车间调度问题的求解方法。通过翻转课堂教学模式开展实验,建立智能分布式车间调度问题的数学模型,利用最大和算法对智能分布式车间调度问题实例进行分析,并编程实现。实验结果表明,最大和算法迭代较少次数后目标值趋于稳定。通过实验锻炼了学生模型构建、分布式求解算法和实验分析的综合能力,有助于学生了解科研的过程,培养学生的科研素质和创新能力。; 孟亚坤孙景昊王宇涵薛方红; 关键词：车间调度问题科教融合

基于BPT技术的自动化测试设计方法及其在SAP系统中的应用: 在当今软件开发过程中，软件测试已经越来越被人们所重视，它直接影响着整个软件生命周期。随着软件工程理论的不断发展，软件自动化测试在理论上也不断达到新的高度。基于BPT技术的自动化测试作为一种新的测试思想，它攻克了许多困难，...; 孙景昊; 关键词：软件开发软件测试

城市交通网络信号控制系统的实时演算模型被引量：8: 2016年; 基于实时演算(real-time calculus,简称RTC)理论,为单/双行道两类城市交通网络的定时和自适应两类信号控制系统建立了统一的形式化模型.首先,将车流和交叉路口分别建模为RTC的到达曲线和资源曲线;然后,根据不同信号控制策略,将紧邻路口间的曲线进行综合计算,得到整个交通网络的RTC模型.应用最小加代数方法,RTC模型能够计算车辆在路口的最长等待时间D和路口拥堵车队的最大长度B.基于RTC模型,应用MATLAB对8组不同规模的城市交通网格进行仿真,实验结果表明:(1)与双行道网络相比,单行道网络更能有效处理较稀疏的交通流.以定时控制为例,在车流频率u≤1/2时,单行道网络能够将交通拥堵指标D和B分别降低至少2.66倍和3倍;(2)双行道网络中,车流频率u存在一个临界区域,在临界域内,拥堵指标随车流频率递增变化,一旦u低于或超出临界域,拥堵指标则分别保持稳定不变或不可控;(3)自适应策略优于定时控制策略,例如在双行道网络中,自适应控制策略对应的拥塞指标D和B比定时控制策略分别降低1.68倍和1.26倍.; 孙景昊关楠邓庆绪张鑫杨丰源; 关键词：城市交通网络信号灯控制

一种用于工业4.0环境下车间作业调度问题的分布式Max-sum算法: 本发明公开了一种用于工业4.0中车间作业调度问题的分布式Max‑sum算法，属于车间作业调度技术领域。将分布式Max‑sum算法应用至工业4.0环境下车间作业调度问题中，将车间作业调度问题中各操作的开始时间定义为变量节点...; 余祺王宇涵孙景昊; 文献传递

孙景昊

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

孙景昊

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈