首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   7篇
  自动化技术   7篇
  2011年   2篇
  2010年   1篇
  2009年   1篇
  2008年   2篇
  1997年   1篇
排序方式: 共有7条查询结果,搜索用时 15 毫秒
1
1.
基于MBR的拓扑、方位、尺寸结合的定性空间推理   总被引:1,自引:0,他引:1  
解决实际问题需将多方面空间关系结合进行推理,多方面空间关系结合推理已成为定性空间推理的研究热点;已有工作主要集中在两方面空间关系结合,缺少两方面以上空间关系结合工作.为解决上述问题,通过最小外包矩形近似表示区域对象,利用其在坐标轴上投影间的关系表示相应空间关系;提出扩展矩形关系模型,实现拓扑、方位和尺寸关系的统一表示和推理;给出RCC8、主方位及尺寸关系转换成扩展矩形关系的转换算法;讨论其上关系取反和复合,指出其复合是基于相容性而非存在性;证明(强预)凸扩展矩形关系约束网是可处理的.  相似文献
2.
Pi演算与动态描述逻辑DDL的关系研究   总被引:1,自引:0,他引:1  
分析了Pi演算与动态描述逻辑DDL之间的关系:DDL分别从静态结构与动态结构两方面对Pi演算的若干过程定义进行描述,体现了过程的逻辑结构及过程间逻辑关系的变化;以一种基于Pi演算的过程模型为基础,分析了ALC描述逻辑、TBox和ABox的语义,并通过一个例子说明Pi演算对DDL动态知识的变化过程的描述.以上工作表明:DDL的可判定推理可解决基于Pi演算的动态系统的某些一致性检测问题,而Pi演算对动态系统的描述能力可解决DDL动态知识的变化过程的描述问题.  相似文献
3.
RCC5与主方位关系结合的定性空间推理   总被引:1,自引:0,他引:1  
解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述是近似的,不适于精确推理;因此分别采用主方位模型和RCC5描述方位、拓扑信息.根据定义给出基本RCC5和主方位关系间的相互依赖及异质复合表;讨论了其上约束满足问题,得到一个路径相容算法,并分析了推理复性问题.  相似文献
4.
OOFL是我们设计的一种面向对象的函数式语言,该语言具有对象式语言和函数式语言的优点。本文详细介绍了OOFL到C++的转换技术,构造了OOFL语言的元程序设计环境,探讨了对象函数式语言的一些实现方法,并在微机上实现了OOFL到C++的转换系统。  相似文献
5.
可复用的软件资产的确定为软件复用活动提供了基础.特征模型通过特征以及特征之间的关系来有效地组织特定领域的软件需求,为领域需求的复用提供有力支持.面向方面系统设计着眼于减少软件开发中需求或代码的纠结,将识别出的横切关注点封装成aspect,有利于开发模块化良好的软件产品以及高效的软件维护和复用.为方便特征复用,提出了一种在系统需求分析级别对特征模型进行aspect化封装的方法,可提取出遗留系统中的可复用部分.首先,通过分析同一领域遗留系统的需求文档,识别出系统关注点,建立领域的关注点层次结构;其次,基于领域关注点层次结构,提取领域特征,并对相似特征进行aspect化封装,形成特征层次模型;最后,基于建立的特征模型以及封装的aspect开发新系统,达到软件复用目的.基于新方法进行了实例分析,通过复用两个不同的Web遗留系统得到一个新的Web系统.可以看出新方法对同一个领域中的多遗留系统地复用有较好的指导意义.  相似文献
6.
针对大学本科高级语言程序设计教学中对学生学习兴趣的培养不够重视的实际状况,文章在分析学习兴趣对教学重要性的基础上,就如何培养和提高学生的学习兴趣进行了深入的研究;结合笔者在计算机本科教学改革中所作的尝试,着重从融洽师生感情、认识课程重要性、精心选择例题、多模式教学、丰富学习交流互动渠道和改进实验体系6个方面给出了合理有效的方法,有效地培养和提高学生的学习兴趣,在很大程度上提高了整体教学效果。  相似文献
7.
RSA是当前应用最广泛的公钥密码系统,它的安全性依赖于大整数分解的困难性.对RSA大整数N=pq,若存在整数t=uv,使|pv-qu|~2<4m,其中m=「N· uv~(1/2)」+1.给出了一个基于一元二次多项式的能有效分解N的算法,并用算例验证了其有效性.进而,为了保证RSA的安全性,根据连分数理论,给出了选取安全的RSA大整数的一个新的准则.  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号