共查询到20条相似文献,搜索用时 93 毫秒
1.
2.
3.
给出了我们所得到的关于哥德巴赫猜想、孪生素数猜想和余新河猜想的若干结果。详细证明将另文发表。 相似文献
4.
阎发湘 《辽宁大学学报(自然科学版)》1980,(1)
Bowen 曾提出一个猜想:方程=(m+1)~n (1)只有平凡解 n=1,m=2,这个猜想一直没有得到证明。Moser证明当 m≤10~(10)~6时,Bowen 猜想成立。柯召教授和孙琦、邹兆南先后研究了更一般的方程: 相似文献
5.
6.
张明志 《四川大学学报(自然科学版)》1995,(6)
设为Euler函数,R.D.Carmichael猜想:对每一正整数x,存在不等于x的正整数y,使得作者给出方程的解的结构,利用这种结构得到探求解的算法以及Carmichael猜想的反例所满足的一些条件,A.Schinzel猜想:对每个偶整数k,方程有无穷多解.作者证明:如果存在无穷多个素数p,使2p-1仍为素数,则Schinzel猜想成立. 相似文献
7.
利用差分的技巧给出了陈景润关于等幂和的两个递推公式的简单证明。由此递推公式得到S1^1(n)|S2m 1(n),S2(n)|S2m(n),同时给出了Bernoulli数B2κ 1=0的又一证明。利用一对共轭式,给出陈景润关于等幂和的另一结论的简单证明。通过归纳,给出了等幂和的一个猜想。该猜想和Bernoulli数有着密切的联系。 相似文献
8.
1904年由法国数学家庞加莱提出的庞加莱猜想,在最近几年终于获得了破解。在长达一百年的证明过程中,清楚地体现了创立科学理论的一般思维过程。本文回顾了证明庞加莱猜想的总过程,并利用创立科学理论的思维过程的理论予以分析说明,从而达到对庞加莱猜想证明过程进行哲学分析的目的。 相似文献
9.
陈小夏 《杭州师范学院学报(社会科学版)》1996,(3)
关于自然数n的乘法分拆数f(n)的上界,1983年J.O.Shallit提出了二个猜想:f(n)≤n,及f(n)≤ (n≠144).此二猜想分别于1986年、1990年得到证明,本文改进了这一上界,得到以下的结论:对一切满足n≥1023的自然数n,有f(n)< . 相似文献
10.
根据Hassell模型给出了一个Lyapunov函数,得到了该模型全局稳定性的一组明确的充分条件,解决了文献[1]对该模型全局性定理的一个不明确的猜想,并得到了严格的证明。 相似文献
11.
本文提出了一种利用代号源程序固化BASIC 用户程序的方法。根据BASIC程序运行原理,从RAM中调出代号源程序,对应EPROM所占空间,修改每一语句中指向下一语句行的指针,将修改指针后的代号源程序写入EPROM,再把EPROM 的首址装入微机通讯区中存储用户程序首址的单元中,实现了在EPROM中直接解释和执行BASIC程序。该方法具有固化方便、占用存储单元少等特点。 相似文献
12.
儿童电视节目是一类特殊的社会教育性节目,它与新闻、综艺类等节目不同,它在节目内容的设置和诉求载体的选择方面比较注重突出教化性和人文关怀。从业者为了使节目得到儿童的欢迎和认可,必须从“儿童本位”理念出发,合理地对节目内容进行构架,使儿童既能享受丰富多彩的节目,又能使他们在看节目中受到教益。 相似文献
13.
介绍了一个可计算复变量Srence 函数的Fortran 程序.该程序克服了西欧核子中心(CERN)程序库中相应程序只能计算实变量情形且仅给出其函数值实部的缺点.结果表明这个程序比CERN 库中的程序有很大改进. 相似文献
14.
设计程序的传送带的黑箱方法,建立了结合计划模型与方法,功能分解的构建方案的评价模型进行优化,并用动态规划的方法确定最佳组合的结构,解决了设计方案由于缺乏信息,难以量化和评估的。结果证明该方法确定最佳的程序集的正确和符合实际。 相似文献
15.
提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化. 相似文献
16.
袁桂慈 《兰州理工大学学报》1996,(3)
变量泵流量控制系统的软件为实时控制软件。用汇编语言编写.采用模块化结构,靠主程序将各功能模块连接起来.程序中以脉宽调制为基本算法,同时又引入抛物线的算法,可有效地抑制超调和振荡.此程序还采取了软件抗干扰措施,以提高系统的抗干扰能力. 相似文献
17.
18.
以PASCAL语言为模型,设计并实现了一个针对带有指针的嵌套式语言的全程数据流分析及程序分片系统,能够有效地处理程序中的指针,在程序测试、程序理解、程序调试、程序分片等领域都将有广泛的应用. 相似文献
19.
陈玲 《科技情报开发与经济》2011,21(25):111-113
开展高校图书漂流活动是高校图书馆创新服务的重要举措,高校图书馆是漂流活动的主体。介绍了在高校开展图书漂流活动的基本做法,分析了高校开展图书漂流活动的意义,探讨了在图书漂流活动中解决大学生诚信问题的措施。 相似文献
20.
提出了一个基于重写技术的程序开发系统,它提供了扩展的函数式语言和代数规约语言相结合的混合语言,该语言中引入了优化规则和测试等式说明机制.优化规则用于优化代码和满足某些特殊需求.运用测试等式说明机制可使程序员在程序中给出一些用于测试的等式,对程序进行测试,这些测试是在被开发系统形成前进行的.对优化规则和测试等式的证明,是由系统中的证明子系统(定理证明器)完成的.定理证明器的引入,提高了所开发系统的正确性,并且有利于缩短系统的开发周期. 相似文献