首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  国内免费   2篇
  收费全文   1篇
  完全免费   4篇
  自动化技术   7篇
  2017年   2篇
  2015年   1篇
  2014年   1篇
  2013年   1篇
  2002年   1篇
  1998年   1篇
排序方式: 共有7条查询结果,搜索用时 78 毫秒
1
1.
基于Ontology的平面几何知识库设计   总被引:3,自引:0,他引:3  
文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例,先从总体上介绍了Ontology建模方法的思想,框架结构及优点,再详细描述了平面几何知识库的设计、组织结构及其实现,我们提出概念分层,等价类存贮、启发式双向推理、推理经验生成,交互解题,数字测试等多种平面几何知识库的相关技术,能生成与“吴法”等代数方法不同的、传统的、较优的可读证明,并提高了系统的重用性、可靠性、可维护性和知识扩展性。  相似文献
2.
本文阐述了基于COIN—A526e型智能多串口卡硬件的监控程序设计思想,并提供了主程序框图。  相似文献
3.
针对一类特殊的非线性方程组雅克比矩阵奇异的问题,提出了一种基于对偶空间的牛顿迭代方法。给出了一个显式的计算对偶空间的公式,在此基础上利用对偶空间作用于原方程组构造新的方程,使扩充后的方程组在近似值点的雅可比矩阵满秩,从而恢复牛顿迭代算法的二次收敛性。实验结果表明,改进后的算法一般迭代3次计算精度就可以达到10-15。所提算法丰富了代数几何中关于理想的对偶空间理论,也为工程应用中的数值计算提供了一种新方法。  相似文献
4.
传统的电子投票应用中,若投票服务器管理方出现安全问题,投票过程中的匿名性、完整性和公开可验证性将难以保证。针对此问题,设计实现了一个基于全同态加密技术的电子投票方案。首先,基于全同态加密算法,结合PKI和数字签名技术设计了一个安全电子投票方案;然后针对电子投票的特殊性,基于HElib同态算法库设计了一个高效的同态密文加法器;最后在同态密文加法器的基础上,实现了安全电子投票系统。安全性方面,该投票方案有效的解决了电子投票中匿名性、完整性和公开可验证性的难题。而在性能上,测试表明该投票系统可以基本满足应用场景的使用需求。  相似文献
5.
李轶  吴文渊  冯勇 《软件学报》2014,25(6):1133-1142
对有界闭域上的线性赋值循环程序终止性问题进行研究.利用Jordan 标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题.证明了当线性迭代映射满足一定条件时,该类循环程序不可终止的充分必要条件是:迭代映射在有界闭域上有不动点或周期轨.  相似文献
6.
李轶  李传璨  吴文渊 《软件学报》2015,26(2):297-304
对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.  相似文献
7.
朱广  李轶  吴文渊 《计算机科学》2017,44(1):194-198, 213
程序的终止性分析作为程序验证中重要的一环,在软件正确性验证中极为重要。对于一个线性循环程序,若该程序没有传统定义的线性秩函数,则基于传统定义的秩函数终止性分析方法失效。2013年,Bagnara提出了最终线性秩函数(Eventual Linear Ranking Functions)的定义,并证明了若某个程序存在最终线性秩函数,则该程序终止。由此,提出了新的方法来计算最终线性秩函数,构造了存在线性增函数和最终线性秩函数的等价半代数系统,并使用Mathematica工具对半代数系统进行求解,对比分析了各种最终秩函数求解方法的实际计算时间,结果证实了所提方法的优越性。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

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