基于格约化的实数整相关性算法

来源 :2004年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户:catticc
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文在LLL整数算法的基础上,提出了一个求实数整相关性的算法。通过设计相应的VC++程序,验证了算法的有效性,解决了在平面几何不等式自动生成中的系数处理问题,简化了对不等式的理解。
其他文献
容忍入侵方法是以入侵带来的影响,即系统部件或功能的失败作为处理对象,且在入侵发生时屏蔽其对系统带来的影响,因此符合可生存性和信息保障的要求.本文介绍了容忍入侵的基本
会议
三峡库区资源环境及移民概况;加强水土治理,确保三峡库区移民安置和生态环境安全的措施:加强领导,制定规划;调整政策,加强监督;落实措施,确保实施.有关建议:进一步加大"两个
会议
目的 对利伐沙班与依诺肝素预防全髋关节置换术(THA)后深静脉血栓形成(DVT)的累积Meta分析,旨在评价两者的有效性和安全性.方法 检索The Cochrane Library、Web of Science、
目的评价银杏叶提取物片联合胞磷胆碱钠治疗脑白质疏松引起的认知障碍的临床效果及其可能机制。方法选取2015年1月至2017年1月经确诊为脑白质疏松合并认知障碍的82例患者,随
目的 分析多重耐药鲍曼不动杆菌(MDR-AB)感染患者预后的影响因素.方法 回顾性收集2017年1月至12月确诊为MDR-AB感染病例共102例,采用单因素分析和Logistic多因素回归分析影响
本文对我国信息安全标准体系的建设和方法具体进行了论述,分析了我国信息安全标准体系的建设现状.文章对照美国的信息系统安全标准体系,整理提出了目前我国信息系统网安全标
目的 提出一种基于伸缩移动窗口的拉曼光谱峰识别方法,并且将其应用到药品的真假判别中.方法 采用一阶导数和插值法构建伸缩移动窗口,在移动窗口的同时进行窗口内的峰识别,利
Because the intrinsic characteristics of mobile ad hoc networks(MANETs) cause several vulnerabilities,anonymous routing protocols attract much more attention in
短信服务已风行全球,在亚洲与欧洲则尤为盛行,它不仅成为商家营销的法宝,也给人们带来了极大方便,但是,短信业务在发展过程中,还存在着不少问题应引起人们的注意.本文对此进
根据温度对聚合动力学的影响,本实验研究了一40℃下用CQ/EDMAB体系引发EO-BisGMA/TEGDMA (70wt%/30wt%)单体体系可见光固化的后固化效应,并研究了引发剂浓度及固化时间对后固化过