广西青年科学基金(0728093)
- 作品数：3 被引量：1H指数：1
- 相关作者：赵岭忠王雪松钱俊彦古天龙张会兵更多>>
- 相关机构：桂林电子科技大学西安电子科技大学更多>>
- 发文基金：广西青年科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 目标独立的Prolog程序路径依赖分析语义被引量：1
- 2008年
- 在Prolog程序分析中,考虑程序的执行路径和非逻辑的cut操作可提高程序分析的精度。当前用于Prolog程序路径依赖分析的语义因依赖于程序执行的目标而不适合目标独立的程序分析。为此,本文采用了一种携带路径信息并允许cut操作的Prolog抽象语法,在此基础上给出了Prolog的操作语义和一种目标独立的标号树(LT)语义,并证明了LT语义相对于操作语义的正确性。LT语义可作为目标独立的Prolog程序路径依赖分析的基础。
- 赵岭忠古天龙钱俊彦
- 关键词：上下文信息
- 基于OBDD的含圈与或图搜索算法研究
- 2011年
- 在含圈与或图理论框架基础上,给出了基于OBDD的含圈与或图符号表示方法,并提出了一种求解含圈与或图最小代价解图的符号搜索算法。实验结果表明,该算法在处理大规模含圈与或图时具有明显优势。
- 赵岭忠王雪松
- 关键词：有序二叉决策图
- 串行通信服务器中的自适应以太网设计
- 2007年
- 串行通信服务器中的自适应快速以太网,其硬件包括运行操作系统及应用程序的MPC860T主处理器电路及其外围电路。快速以太网接口电路,负责以太网数据的收发。串行通道电路又分,负责配置监控服务器的SMC接口和负责4个HDLC数据收发功能电路。4个HDLC通道提供符合RS-232C和RS-422标准的接口。
- 王雪松张会兵赵岭忠熊凤
- 关键词：接口
