论文部分内容阅读
针对Visual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功能与作用.首先阐述了接口与对象的基本概念,然后分析了开放限定和支持限定的作用机理,最后通过实例分析,揭示了接口作用域限定机制的本质特性和应用机理.
Visual Prolog的接口作用域限定机制
【摘 要】
：
针对Visual Prolog中的接口这一特殊作用域,在考察其限定机制基本问题的基础上,详细分析它所特有的支持限定和开放限定等机制的功能与作用.首先阐述了接口与对象的基本概念,
【机 构】
：
空军工程大学
【出 处】
：
空军工程大学学报：自然科学版
【发表日期】
：
2005年6期
【基金项目】
：
国防科技预研基金
其他文献
以修正PRONY的方法为基础,利用不同时刻噪声的不相关性,提出了一种快速、准确的频率估计算法,并利用FPGA技术在硬件上实现了这种算法.
淡入、淡出和消隐的共同特点是两个镜头之间的切换一个渐变的线性过程.渐变镜头切换识别是视频后台处理和视频数据库检索的关键技术之一.文中提出了自动检测视频序列中渐变镜
提出了一种新的数学分析模型,用于计算IEEE 802.11协议的平均包延时.通过与基于OPNET的仿真结果比较,证实该分析是有效的.分析结果证实,相对于基本访问机制,采用RTS/CTS媒体
利用各向异性扩散滤波模型对图像进行平滑的过程中,迭代停止准则对图像平滑的效果有着重要的影响.本文提出了一种简单实用的最优停止准则,该准则确定了一个标准,使得平滑后的
针对临时应急机场地基快速处理要求,提出了爆夯加固技术.详细分析了爆夯法的加固作用机理,并进行了室内小型爆炸模拟试验和野外大型爆炸试验,通过实验数据分析和理论上的研究
目前人们采用的信息安全风险评估方法基本局限于定性或半定量的方法.采用概率风险分析的方法,通过故障树分析网络系统被攻击的根本原因,并对网络构成的实质进行了剖析,同时分
传统的功能性模型由于其较低的抽象程度、过度简化的局限,不适合复杂并行测试系统建模."Rational统一过程"(RUP)是一种基于统一建模语言(UML),并与UML一起可以构成一种建模方
研究在无人飞行器末制导中,当目标做加速运动时的非线性滤波问题.首先建立了滤波器模型;接着对滤波算法进行了推导;然后利用扩展Kalman滤波方法进行估计.Monte-Carlo仿真表明
提出基于时空混沌序列的保密通信方法,提出了一种用时空混沌模型产生扩频地址码的方法,讨论了驱动序列的选择方法与原则,分析了其耦合同步特性,给出了一种具体的通信系统模型
在Ka及以上高频段卫星通信系统中,下行链路采用自适应纠错编码作为抗衰减对策将是一种很好的选择.文中首先给出了自适应纠错编码抗衰减系统的总体方案;提出了将收缩码与RS码