导读:本文包含了计算机证明论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:证据,计算机,盖然性,算法,波导,狭义相对论,举证责任。
计算机证明论文文献综述
温新奇,靳海涛[1]（2019）在《调和数相关恒等式的计算机辅助证明》一文中研究指出针对含有调和数的相关恒等式的证明问题,先利用形式留数得到调和数的一个超几何表示,将调和数的相关和式转化为超几何求和问题,再结合经典的Gosper算法或Zeilberger算法,得到其不定和或斜递推关系,最后通过取形式留数得到原始和式的相应不定和或递推关系,并给出了几个经典调和数恒等式的新证明。(本文来源于《天津职业技术师范大学学报》期刊2019年02期）
[2]（2019）在《长期保留光的方法被证明 可用于研制光子计算机》一文中研究指出最近,美国加利福尼亚大学(UC)圣地亚哥分校工程师证明了一种有效捕获光的新方法,利用一种由矩形金属波导和光散射陶瓷组成的超材料设备,能使光停住并长时间保留在光腔中。这项研究攻克了当前纳米光学中一个重要难题,研究人员正在寻找捕获光的方法,用光作光学计算线路和微型开关等设备。相关论文已发表在《物理评论快报B辑》上。"因为电子线路相对较慢,未来的目标是造出能用光而不是电子来执行各种运算的计算机。据我们预期,光学计算机将比电子计算机的速度快(本文来源于《技术与市场》期刊2019年05期）
顾正义[3]（2018）在《侵害计算机软件着作权案件中Telnet远程取证的证明效力》一文中研究指出【裁判要旨】通过Telnet远程取证方式检测目标服务器的相应端口,其反馈信息具有较高的确定性,已经可以达到民事诉讼证据高度盖然性的标准。如果一方抗辩其仅使用了试用版或者使用的是其他软件,则应由提出抗辩的一方提交服务器日志等相关证据进行反证。若提出抗辩一方未提交任何证据,仅是简单否认,则应由其承担不利后果。(本文来源于《人民司法(案例)》期刊2018年05期）
陈国进,邓燕辉[4]（2018）在《论运用计算机远程登录命令程序取证的证明效力》一文中研究指出【裁判要旨】在侵害计算机软件着作权纠纷案中,原告通过Telnet命令远程访问被告网站服务器所得到的反馈信息并不具有确定性、唯一性,仅凭该反馈信息不足以证明被告安装、使用了被诉侵权计算机软件。在涉案计算机软件存在免费使用的试用版、个人版以及付费使用的企业版等多个版本的情况下,原告在证明被告使用了被诉侵权计算机软件的同时,还需证明被告具体安装、使用的是哪种版本的软件。原告未能提供充分证据证明上述事实,即未完成举证证明责任,(本文来源于《人民司法(案例)》期刊2018年05期）
秦元明[5]（2018）在《运用计算机程序命令Telnet远程登录所取证据具有证明效力》一文中研究指出知识产权侵权行为往往比较隐蔽,导致权利人取证手段少、举证能力弱、举证负担重,举证责任问题仍然是权利人在知识产权民事诉讼中面临的难题之一。通过创新取证方法和合理分配举证责任,可以减轻权利人的举证负担,降低权利人的维权成本,进而激发社会公众的创新活力,促进社会科技文化繁荣进步。权利人运用计算机Telnet程序命令远程登录所取的证据已经达到高度盖然性的证明标准,宜认定其具有证明效力。(本文来源于《人民司法(案例)》期刊2018年05期）
文姝[6]（2017）在《计算机远程收集证据证明力研究》一文中研究指出在近几年发生的计算机软件着作权侵权纠纷中,权利人为获取证据采取了多种手段。其中,采取计算机远程登录取证的方式成为很多权利人的选择,但各地法官对采用计算机远程登录手段所收集的证据态度不一,从而造成实践中对该类证据认定混乱的局面。本文运用比较分析法、数据收集法、综合分析法,以现有的理论作为支撑,对美国磊若软件公司与深圳市朗科科技股份有限公司计算机软件着作权纠纷一案中所存在的疑难问题进行逐层分析,针对采用计算机远程登录方式收集到的证据证明力认定问题具体分析,并提出相关建议。第一部分,介绍案情的基本情况并归纳争议焦点。在叙述了美国磊若软件公司诉深圳市朗科科技股份有限公司计算机软件着作权侵权一案的基本情况之后,归纳本案主要争议焦点为远程登录收集的证据是否具备足够的证明力,能否作为认定侵权的证据。第二部分,与案例争议焦点相关的法理分析。探究了远程登录取证的相关概念、证据能力以及影响远程登录取证收集的证据证明力的因素即包括关联程度、可靠性、完整性。第叁部分,本文案件的分析及结论。在前文所引入的理论基础上,结合本文案例实际情况,通过对一审、二审及再审法院不同判决结果的分析,得出结论:远程登录收集的证据与待证事实关联程度较高,具有可靠性、完整性,具有足够证明力。第四部分,本文案件的启示与建议。在对50份案例分析总结的基础上,提出计算机远程收集证据证明力这一命题。在一般情况下,对计算机软件侵权案件中采用远程登录方式收集的证据应当予以采信,但当被告提供合理的抗辩证据时仍要遵循实质性相似原则对软件进行比对后才能做出判决。同时,还提出应当从保全证据公证规则和电子数据鉴定规则两个方面对计算机远程收集证据方面进行完善。(本文来源于《西南政法大学》期刊2017-03-09）
陈春燕[7]（2016）在《计算机网络安全远程证明方法研究》一文中研究指出计算机网络远程证明是一个综合完整性校验的身份识别的过程,同时向验证者提供了一份可信平台状态报告。本文设计的基于Merkle散列树的远程证明方案可以确保计算设备主动、周期性地向计算机网络管理中心发送自己的平台运行状态,存储容量开销和计算成本所需减少,从而减轻了计算机网络管理中心的计算压力。同时,在完整性报告上绑定时间戳以确保认证的新鲜性。(本文来源于《电脑知识与技术》期刊2016年32期）
刘霞[8]（2016）在《计算机模拟证明四中子结构存在》一文中研究指出科技日报北京11月7日电 （记者刘霞）据物理学家组织网日前报道，美国爱荷华州立大学的物理学和天文学教授詹姆斯·瓦瑞和访问学者安德烈·希罗科夫领导的国际科研团队，使用复杂的超级计算机模拟，证明了曾被认为不可能存在的、由四个中子组成的亚原子结构——四中子准稳(本文来源于《科技日报》期刊2016-11-08）
梅晓春,俞平[9]（2016）在《计算机数值方法证明广义相对论的行星运动理论不成立》一文中研究指出广义相对论对牛顿引力理论进行修正,在光和行星的运动方程中引入α/r~3的项。由于数学上的困难,目前计算引力场中光和行星轨道运动时都采用近似方法,导致许多重要信息丢失。广义相对论运动方程的轨道极点由一元叁次方程确定,有一个或叁个实数解。外太空恒星发出的光在太阳系引力场中的轨道是单极点的。本文的严格计算证明,该极点在离太阳中心约5549米的地方。因此外太空恒星发出的光要进入太阳内部被消融,不可能被地球人观察到,地球的夜空应当是黑暗的。然而事实并非如此,广义相对论的光在太阳引力场中的两个实验检验都不成立。精确数值计算结果表明,行星绕日运动轨道存在叁个实数极点,第叁个极点位于太阳内部施瓦西半径外0.3毫米的地方。行星沿两个相连的叁极点类椭圆的轨道运动。因此如果广义相对论正确,行星必将沿小椭圆轨道进入太阳内部被毁灭,这显然与事实不符。恒星在星系中运动时,也存在相同的问题。按照现有广义相对论行星运动方程的近似解,另外一种近似的替代图像是,水星不进入第叁极点,但轨道要发生严重的形变。水星绕日一周近日点距离增加9.4万千米,远日点距离减小7.4万千米。水星绕日一周轨道的半正焦弦要改变几千米,这种改变是不对称的和可以累加的,会导致轨道严重变形最终崩溃。由此产生的巨大反差,使广义相对论关于水星近日点进动的计算变得微不足道。然而天文观察并没有发现水星轨道有这样大的改变。本文最后证明,在牛顿引力理论中考虑狭义相对论效应,会导致水星近日点百年16.5″的进动。需要解释的只剩百年26.5″,广义相对论百年43″的计算结果误差达到38.4%。如果在地球参考系的岁差和章动,以及其他行星对水星的引力摄动的计算中也考虑狭义相对论效应,还会引起更大的进动值修正。因此广义相对论对水星近日点进动的计算实际上没有意义。在广义相对论的四个经典实验检验中,与引力场方程有关的叁个实验解释都是错的。因此对牛顿引力理论的修正只能按狭义相对论的方式进行,广义相对论对牛顿引力理论的修正不可能是正确的,爱因斯坦弯曲时空引力理论不成立。(本文来源于《前沿科学》期刊2016年02期）
蔡姝婷[10]（2016）在《偏微分方程解存在性的计算机辅助证明》一文中研究指出针对具有初值的非线性的偏微分方程,首先,采用牛顿法求出方程的近似解。接着,利用计算机软件Matlab的帮助,证明在这个近似解的附近存在精确解。主要的方法是将偏微分方程的解转化为一个紧算子的不动点,然后在计算机中构造一个候补的集合,验证该算子在这个集合中存在一个不动点。这个过程是通过将不动点定理转化为可以计算的条件,然后在计算机软件中进行验算。最后,将理论应用在两类偏微分方程上,得出相应方程的近似解,以及相应的数值验算结果。(本文来源于《龙岩学院学报》期刊2016年02期）
计算机证明论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
最近,美国加利福尼亚大学(UC)圣地亚哥分校工程师证明了一种有效捕获光的新方法,利用一种由矩形金属波导和光散射陶瓷组成的超材料设备,能使光停住并长时间保留在光腔中。这项研究攻克了当前纳米光学中一个重要难题,研究人员正在寻找捕获光的方法,用光作光学计算线路和微型开关等设备。相关论文已发表在《物理评论快报B辑》上。"因为电子线路相对较慢,未来的目标是造出能用光而不是电子来执行各种运算的计算机。据我们预期,光学计算机将比电子计算机的速度快
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
计算机证明论文参考文献
[1].温新奇,靳海涛.调和数相关恒等式的计算机辅助证明[J].天津职业技术师范大学学报.2019
[2]..长期保留光的方法被证明可用于研制光子计算机[J].技术与市场.2019
[3].顾正义.侵害计算机软件着作权案件中Telnet远程取证的证明效力[J].人民司法(案例).2018
[4].陈国进,邓燕辉.论运用计算机远程登录命令程序取证的证明效力[J].人民司法(案例).2018
[5].秦元明.运用计算机程序命令Telnet远程登录所取证据具有证明效力[J].人民司法(案例).2018
[6].文姝.计算机远程收集证据证明力研究[D].西南政法大学.2017
[7].陈春燕.计算机网络安全远程证明方法研究[J].电脑知识与技术.2016
[8].刘霞.计算机模拟证明四中子结构存在[N].科技日报.2016
[9].梅晓春,俞平.计算机数值方法证明广义相对论的行星运动理论不成立[J].前沿科学.2016
[10].蔡姝婷.偏微分方程解存在性的计算机辅助证明[J].龙岩学院学报.2016
论文知识图
