张居阳
- 作品数：14 被引量：79H指数：5
- 供职机构：华东师范大学软件学院更多>>
- 发文基金：国家自然科学基金吉林省杰出青年科学基金教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术理学更多>>
- “明月”约束调度求解器的设计与实现
- 调度问题是一类重要的组合优化问题,它无时不有,无处不在.它涉及的领域包括制造业、交通运输业、经济金融业、管理领域等.然而实际的调度问题往往都是NP完全问题,且具有动态随机性等特点,所以,虽说人们对于调度问题求解相关理论和...
- 张居阳
- 关键词：约束程序设计
- 基于约束的调度研究和实现被引量：2
- 2004年
- 运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实现了一个基于约束的调度求解算法CBS-1;并对一些典型问题进行了实验,实验结果表明算法提高了约束调度求解的效率和通用性。
- 张居阳礼欣孙吉贵
- 关键词：约束程序设计调度
- 稀疏二元约束满足问题的环割集粒子群算法(英文)被引量：1
- 2006年
- 提出了一个基于环割集的粒子群算法求解稀疏二元约束满足问题,把环割集和粒子群算法结合在一起,利用环割集减少粒子群算法中粒子的维数。用随机的稀疏二元约束满足问题进行实验,结果表明改进后的粒子群算法是有效的,迭代次数约为原算法的十分之一,运行时间比原算法运行时间少约7倍。
- 杨轻云孙吉贵张居阳王纯杰
- 关键词：二元约束满足问题粒子群算法弧相容
- 航天嵌入式软件可信性度量方法及应用研究被引量：10
- 2015年
- 航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.
- 王婧陈仪香顾斌郭向英王保华金晟毅徐建张居阳
- 专业英语在软件工程建设中的教学改革与实践被引量：5
- 2011年
- 专业英语在软件工程建设体系中属于一门基础和必修课程,如何培养学生学习专业英语的兴趣,提高学生阅读、理解外文资料能力和掌握专业知识的技能,是该课程建设的重点。本文将结合具体实践教学,探讨在软件工程专业建设中如何改善专业英语课程教学内容,改革教学形式,使学生及时获知软件技术前沿领域发展动态,培养学生商务沟通和写作能力,以适应国际软件行业和市场发展变化的需求。
- 毛宏燕姜宁康张居阳
- 关键词：软件工程专业英语商务沟通
- 基于约束的现代调度系统研究
- 现代调度问题往往都是NP完全问题,具有高复杂、动态随机等特性。本文主要研究内容为基于约束的现代调度,即运用约束程序设计方法来求解现代调度问题,从而拓展了约束程序设计在求解组合优化问题方面的应用领域。主要工作包括:通过对一...
- 张居阳
- 关键词：人工智能在线调度
- 文献传递
- SPFA算法的分析及改进被引量：17
- 2014年
- SPFA(Shortest Path Faster Algorithm)算法是一种对任意有向图求单源最短路径的算法。该算法实现简单,实际运行效果较好,在国内有着比较大的影响力。但遗憾的是,该算法一直缺少正确的理论分析。对该算法进行了分析,指出该算法在不存在源点可达负圈的有向图中,最坏情况运行时间为Θ(|V||E|);在存在源点可达负圈的有向图中,算法将无限运行下去。对此,给出了改进的SPFA算法,对于任意的有向图,该算法能够在O(|V||E|)内运行完毕。最后,从实际运行角度将SPFA算法与其它思想上同源的最短路径算法进行了一系列比较。
- 夏正冬卜天明张居阳
- 关键词：单源最短路径
- 约束程序设计
- 孙吉贵欧阳丹彤杨凤杰李占山张永刚于海鸿张一民李泽海刘云翔张居阳赵春宇景沈艳曹晓威姜英新白洪涛林海
- 运用了约束程序设计的思想和各类优化技术，同时把人工智能和运筹学算法有机结合起来，以求达到较高的问题求解效率和速度。对约束逻辑程序的语义，多重论域上的大规模的约束问题求解理论与算法，约束推理与诊断推理和嵌入到过程约言的约束...
- 关键词：
- 关键词：约束程序设计线性规划
- 基于约束的调度研究和实现
- 运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域.本文首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实现了一个基...
- 张居阳礼欣孙吉贵
- 关键词：约束程序设计调度组合优化
- 文献传递
- 多元约束混合搜索算法研究被引量：3
- 2007年
- 解空间搜索是约束求解的关键环节.目前较为常用的搜索算法一般是基于二元约束或单一搜索策略设计的.本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜索策略中不同算法或不同类搜索策略;分析并给出了不同混合算法的性能差异.系统测试结果表明混合搜索算法明显提高了解搜索效率和约束求解系统的性能.
- 孙吉贵张居阳陈尚伟
- 关键词：搜索约束满足问题
