搜索筛选:
搜索耗时0.4577秒,为你在为你在102,267,441篇论文里面共找到 53 篇相符的论文内容
发布年度:
[期刊论文] 作者：沈云付,
来源：数学杂志 年份：1995
同余式ｘ_ｉ~２≡ａ（ｍｏｄｐ）相异解的个数的递推公式沈云付（北京师范大学，北京１００８７５）设ｐ为奇素数，ｍ，ｎ为正整数．同余式（１）的解数仅与ａ的Ｌｅｇｅｎｄｒｅ符号有关，有相同的Ｌｅｇｅｎｄｒｅ...
[期刊论文] 作者：沈云付,
来源：北京师范大学学报：自然科学版 年份：1994
在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。...
[期刊论文] 作者：沈云付,
来源：湖州师专学报 年份：1991
本文用模型论和数论方法讨论整数环的某些扩环上一些丢番图方程素元解的问题.这里讨论的丢番图方程有三类:1、Pell方程x~2-dy~2=1,d是不等于零的有理整数.2、Mordell方程x~3+...
[期刊论文] 作者：沈云付,
来源：湖州师范学院学报 年份：1990
本文不用特征而直接用勒让德符号和线性代数方面的知识导出Fp上不定方程x12+x22+…+xn2=a...
[期刊论文] 作者：沈云付,
来源：中国科学：技术科学英文版 年份：1996
Using Boolean operations and concatenation product w.r.t special trees,quantifier hierarchies are given by way of alternate existential and universal quantifier...
[期刊论文] 作者：沈云付,
来源：黑龙江科技学院学报 年份：2001
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：沈云付,
来源：中国科技博览 年份：2016
[摘 要]在采矿的过程中经常会遇到不良岩体。这种岩体在施工的过程中容易出现破裂，严重时甚至会出现崩解的现象，对施工会产生较大的影响。施工单位常采用上向进路机械化高强度采矿的技术来解决不良岩体条件的采矿问题。但这种采矿方式的工艺较为复杂，并且采矿率低，......
[期刊论文] 作者：沈云付，YunFuSHEN,
来源：黑龙江科技学院学报 年份：2005
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7...
[期刊论文] 作者：沈云付,潘磊,,
来源：计算机学报 年份：2015
随着光通信技术的应用和千位三值光学计算机系统研究的推进,确保数据信息免受各种干扰以及系统的可靠运行显得十分重要.该文给出了三值汉明码的一种分组形式,提出了三值汉明...
[期刊论文] 作者：张东方,沈云付,,
来源：计算机工程与设计 年份：2010
为了对Web应用进行验证,保证Web应用的可靠性和质量,提出了将Web应用的SCXML描述提取出通用状态机的算法。在对Web服务应用的语言SCXML的各构成要素进行深入分析的基础上,该...
[期刊论文] 作者：王波,沈云付,
来源：计算机工程与设计 年份：2009
谓词抽象是解决软件模型检查中状态空间爆炸的最有效方法之一,针对Java语言面向对象的特性,描述了一种对Java程序语言中间形式的谓词抽象算法,该算法将Java程序抽象成为布尔...
[期刊论文] 作者：彭聪,沈云付,
来源：上海大学学报:自然科学版 年份：2019
计算机处理器的可靠性设计非常重要.设计了三值光学处理器(ternary optical processor,TOP)三模冗余(triple module redundancy,TMR)光电表决系统,针对三值光学处理器运算单...
[期刊论文] 作者：沈云付,吴悦,
来源：计算机教育 年份：2004
近几年来，我们根据上海大学“三制”教学模式和教育部的要求，在课程体系设置和教学改革方面进行了一些尝试。本文就计算机专业“三制，，教学模式的课程设置原则、存在的问题以及一......
[期刊论文] 作者：邹月亮,沈云付,,
来源：计算机工程 年份：2006
鉴于连铸结晶器内数值模拟计算量大、耗时较长、传统串行算法很难满足现代工业要求的特点，提出了基于MPI的并行算法。该算法通过数据空间分块、各功能模块划分计算的方法对模...
[期刊论文] 作者：徐光明,沈云付,,
来源：计算机工程与设计 年份：2006
分布式的无组织性的Peer-to—Peer（P2P）网络信息检索和查找系统由于不需要集中的目录管理和数据存储最近成为研究的热门。提出了一个高效的能增加搜索概率的P2P搜索算法，它的关...
[期刊论文] 作者：沈云付,潘磊,,
来源：电子学报 年份：2013
本文在三值汉明码一位检错纠错研究工作的基础上,对三值汉明码的检错纠错方法进行进一步研究.给出了扩展三值汉明码的形式,通过对扩展三值汉明码的错误分析获得了一位纠错和...
[期刊论文] 作者：潘磊,沈云付,
来源：计算机科学 年份：2011
三值光学处理器是三值光学计算机中最重要的器件，人们对此进行．了许多研究。目前，基于MSD的三值光学计算机加法器主要是将加数和被加数改写为MSD数，进行T、W变换，再进行T′、W′变......
[期刊论文] 作者：朱长生,沈云付,
来源：计算机工程与应用 年份：2003
该文在分析传统数据库连接池的基础上，指出了传统数据库连接池的不足，提出了自适应数据库连接池的概念，详细给出了一个切实可行的构建自适应数据库连接池的实施方案。实际运行的......
[期刊论文] 作者：高鹏飞,沈云付,
来源：计算机技术与发展 年份：2008
模型检查技术在硬件和协议设计方面已经取得很大成功，但在软件验证方面仍存在很多困难。其主要问题是如何从源代码中自动抽取验证所要模型并精简其状态空间。文中通过对程序切......
[期刊论文] 作者：沈云付, 解晓方,,
来源：计算机应用与软件 年份：2011
Petri网是一种应用非常广泛的建模工具,它能深刻、简洁地描述控制系统,特别是能较好地描述并发系统的结构,并能对系统的动态性质进行分析。在探讨了Petri网的模型检查的基础...
相关搜索：
