Cm命题演算的定理机器证明系统

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.     

黎曼猜想什么时候会被证明出来?

首先从对数学猜想证明的理解得出了影响证明数学猜想的两个重要因素,即数学猜想的证明依赖于必要的数学进展和合适的数学家;接着对这两个因素进行分析;由于对黎曼猜想的证明来说,无论是所需要的数学知识和方法是否具备还是是否有合适的数学家二者都是不确定的,因而无法肯定该猜想什么时候才能被证明出来。     

基于联盟链的微电网身份认证协议

目前，微电网电力交易存在着身份认证协议不安全、交易中心化、数据无法追踪溯源、节点之间缺乏共识等问题，而区块链具有分布式存储、去中心化、数据不可篡改等优势.为此，基于联盟链的微电网身份认证协议，将区块链应用于微电网的身份认证以解决上述问题.首先，使用零知识证明解决了新节点的身份认证问题.其次，将其ID写入Merkle树并在整个联盟链中广播，利用区块链可以保证数据不被篡改的原理确保了数据的安全性和可追溯性，解决了传统电力交易的中心化、数据存储不安全、电力交易无法追踪溯源等问题.最后，凭借着瑞波共识协议所具有的安全高效的优势有效地解决了节点之间的共识问题.通过方案对比可知：该方案采用的零知识证明在身份认证中具有计算开销小及瑞波共识机制算法具备共识速率快的优点.经过安全性分析及性能分析可知：该方案在解决微电网的身份认证安全性问题的同时又能保证节点的运行性能最优.     

基于区块链的图书侵权记录存证平台

针对越来越频繁的音频阅读图书内容对图书构成侵权行为而未能及时有效存证的困境，提出一种以区块链技术对图书版权侵权记录进行自动存证的方案.首先，将网络爬取的音频信息进行处理，与图书内容查重比对后将结果存入私有区块链结构；其次，在基于工作量证明共识的基础上设计实现了复杂度可行的共识算法；最后，结合密码学的摘要信息认证与数字签名验证机制对区块数据进行安全性检查.系统测试结果验证了平台的效率和可靠性.     

2015年中国仿真大会征文通知

中国系统仿真学会拟定于2015年7月下旬在哈尔滨召开2015年中国仿真大会。本次大会由中国系统仿真学会主办,空军哈尔滨飞行学院飞行仿真技术研究所承办。会议以"现代建模与仿真技术新进展"为主题。欢迎国内外仿真科学与技术领域的科技工作者及会员积极投稿。一、征文内容     

低噪声放大器高线性度偏置的数学证明

通信技术日新月异,通信产品的更新换代越来越快,性能越来越优,客服体验要求越来越高,无疑对通信芯片的设计提出了更高的要求和挑战。通信芯片的核心在于接收机,而接收机的关键在于低噪声放大器。低噪声放大器的核心指标是噪声、增益和线性度。低噪声放大器线性度对整个系统的线性度起着重要作用,它的非线性越小越好。低噪声放大器的线性度受偏置电路的直流阻抗影响较大。文中对一种工作在S波段,能极好地提高低噪声放大器线性度的偏置电路给出了数学证明。     

新形式强极值原理的新证明

用全新的方法证明了新形式的二阶完全非线性微分算子的强极值原理.     

一个初等数学命题的证明及其应用

本文给出了一个初等数学命题:a3+b3+c3-3abc=(a+b+c)(a2+b2+c2-ab-bc-ca)的六种证明方法,并给出了具体应用。     

“灰姑娘”的现代演绎——论迪斯尼动画片《仙履奇缘》及其续集对佩罗《灰姑娘》的改编

迪斯尼推出的《仙履奇缘》三部曲是对佩罗版《灰姑娘》的改写、续写和重写。三部影片在对原文本故事进行改编的同时,影片所塑造的灰姑娘这一人物形象也在不断由传统向现代转化。《仙履奇缘》三部曲中明显地植入了现代价值观念,是对传统《灰姑娘》故事的现代演绎。     

归纳、猜想与数学归纳法的证明

归纳、猜想与证明这类题目对培养学生的创造性思维,具有很好的训练作用。这类题型是:第一步给出命题(与自然数有关)的结构;第二步要求学生计算出最初的三个至四个初始值;第三步要求学生通过已计算出的初始值,应用不完全归纳法,发现其命题的一般性规律,作出科学的猜想和判断——敢于猜想,善于猜想,最后用数学归纳法对所作的猜想——般性结论,作出完整科学的证明。