搜索筛选:
搜索耗时1.1234秒,为你在为你在102,285,761篇论文里面共找到 76 篇相符的论文内容
发布年度:
[学位论文] 作者:赵岭忠,,
来源:西安电子科技大学 年份:2007
以Prolog为代表的逻辑程序设计(LP)语言是一类重要的人工智能应用语言。其主要特点是问题描述和问题求解过程的分离。如何利用LP语言开发正确可靠的应用软件系统是逻辑程序设...
[期刊论文] 作者:赵岭忠,王雪松,,
来源:计算机应用研究 年份:2011
在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明,该算法在处理大规模含圈与或...
[期刊论文] 作者:钱俊彦,赵岭忠,
来源:计算机工程 年份:2006
Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标筘变迁系统(LTS)的Statecharb操作语义捕述方法,介绍了Statecharts及其项语法和一步语义,并基...
[期刊论文] 作者:钱俊彦,赵岭忠,
来源:兰州理工大学学报 年份:2008
状态爆炸是模型检验需解决的一个关键问题.基于GPVW算法,以及从LTL公式导出识别该公式的Bachi自动机,用OBDD符号表示,通过符号操作求解自动机乘积.采用符号方法求解出含有初始状态......
[期刊论文] 作者:赵岭忠,钱俊彦,,
来源:计算机应用研究 年份:2008
将基于调用模式语义和正确调用模式语义的程序分析技术应用于Prolog程序的CPM测试。通过调用模式分析获得内部过程被调用和成功调用的条件,利用前者删除不满足调用条件的测试帧,或当删除条件不满足时利用该条件更新测试规格中过程属性的划分准则;利用后者预测CP......
[期刊论文] 作者:钱俊彦,赵岭忠,
来源:计算机应用研究 年份:2005
模型检验是一种重要的形式化自动验证技术,通过状态空间搜索来保证软硬件设计的正确性。由于TCTL不是针对时间自动机,而是针对有限状态变迁系统的,从而无法使用TCTL直接对时间自动机进行模型检验。给出了一种从时间自动机到有限状态变迁系统的方法,并在不改变时......
[期刊论文] 作者:谢小天,赵岭忠,
来源:计算机工程 年份:2018
调机路径规划的核心是合理编排各台编组(解体)调机的移动路径以完成编组(解体)任务。但目前的编制工作仍以人工为主,存在编制作业的工作量大、计划编制不及时、计划调整困难等问题......
[期刊论文] 作者:张青伟,赵岭忠,,
来源:桂林电子科技大学学报 年份:2010
课程表问题是一个应用广泛、典型的组合优化和不确性调度问题,目前存在的求解算法多数缺乏声明性。一种基于回答集程序设计的TTP求解方法,可成功生成正确解集(答案),并用实验结......
[期刊论文] 作者:张俊琴,赵岭忠,
来源:桂林电子科技大学学报 年份:2017
针对顺序协商模型中的资源浪费问题,以及电子商务中间人模型的适用性低问题,提出一个基于ASP的中间人协商模型。利用回答集给出了协商建议的形式化描述,结合ASP规则将中间age...
[期刊论文] 作者:左贵征,赵岭忠,
来源:桂林电子科技大学学报 年份:2015
针对现有模型检测工具对活性描述不足、模型转换复杂,提出一种基于ASP及稳定失败语义的CSP模型检测方法。该方法采用时态逻辑LTL刻画性质,将进程的稳定失败模型和LTL公式转化...
[期刊论文] 作者:赵岭忠,张超,钱俊彦,
来源:计算机科学 年份:2012
传统并发通信顺序进程(CSP)性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证工具开发的难度;同时,主流的并发系统模型验证工具不支持在系统的一次运行中验......
[期刊论文] 作者:王雪松,赵岭忠,张超,,
来源:计算机应用研究 年份:2013
为了解决当前通信顺序进程(CSP)模型检测不支持在验证工具的一次运行中验证多个性质的问题,建立了基于ASP的CSP并发模型验证框架。主要研究在该框架下当待验证的系统性质不满足时生成相应性质反例的技术。把ASP程序调试中的ASP程序支撑原因分析技术应用于该问题......
[期刊论文] 作者:王雪松,赵岭忠,古天龙,,
来源:计算机科学 年份:2010
与或图搜索是人工智能领域一项重要的问题求解技术。基于传统数据结构的与或图表示技术极大地限制了与或图搜索算法可求解问题的规模。在无圈与或图符号OBDD表示的基础上,给...
[期刊论文] 作者:徐周波,古天龙,赵岭忠,
来源:通信学报 年份:2005
通过对网络及网络最大流问题的符号代数判定图描述,在Trff算法的基础上,给出了网络最大流问题的一种新的符号ADD求解算法。与Dinic、Karzanov算法相比,本文算法的空间复杂度较低。实验结果表明,该算法可处理更大规模的问题。......
[期刊论文] 作者:王勇,赵岭忠,张文辉,,
来源:信息网络安全 年份:2011
该文针对信息安全专业的特点,提出了摸索能力的概念,结合实践经验,提出了一系列培养学生摸索能力的教学方法,并且对于改进和完善考核方式以及加强摸索能力的考核提出了行之有效的方法。......
[期刊论文] 作者:赵岭忠,董荣胜,等,
来源:桂林电子工业学院学报 年份:2001
提出了一种实时系统任务模型,分析了该模型中周期和非周期任务可调度的条件,并给出了一种强实时非周期任务的可预测调度算法,该算法按照RMS算法的原则统一调度系统任务,保证系统......
[期刊论文] 作者:钱俊彦,赵岭忠,古天龙,
来源:计算机工程 年份:2005
模型检验是一种重要的形式化自动验证技术.检验一个模型是否满足LTL公式,可以把LTL公式转换为一个表示相同无穷状态序列的ω自动机,通过转换后的ω自动机与系统自动机的乘积...
[期刊论文] 作者:钱俊彦,赵岭忠,古天龙,
来源:计算机工程 年份:2005
提出了一种优化模型检验时间自动机的时钟等价规则,通过优化的时钟等价规则,使时间自动机等价后的域自动机状态数尽可能少,并在此基础上定义了适合于优化时钟等价规则的域自...
[期刊论文] 作者:钱俊彦,古天龙,赵岭忠,
来源:计算机工程 年份:2006
模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型是否满足所期望的性质,该文给出了一种基于EH...
[期刊论文] 作者:钱俊彦,古天龙,赵岭忠,
来源:计算机工程 年份:2005
给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局的语义函数等,并给出Statecharts一步的操作...
相关搜索: