搜索筛选:
搜索耗时1.2984秒,为你在为你在102,285,761篇论文里面共找到 38 篇相符的论文内容
发布年度:
[期刊论文] 作者：宋国新,
来源：党政干部论坛 年份：1994
近几年,各地大力加强粮食市场建设,出现了可喜的局面.这是粮食商品经济发展的必然要求,也是贯彻社会主义市场经济理论原则的具体步骤.我国粮食市场经过几十年的发展变化,在体...
[期刊论文] 作者：宋国新,
来源：华东化工学院学报 年份：1990
提出了生成测试数据的结构归纳法,并举例说明如何运用结构归纳法产生程序的测试数据,以利于程序员有规则地产生测试数据。它对提高测试效率,改善软件产品的可靠性有促进作用...
[学位论文] 作者：宋国新,
来源：复旦大学 年份：2002
固体超强酸具有酸强度高、无污染、无腐蚀性等特点,作为一类环境友好的催化材料在石油化工、有机合成等领域具有广泛的应用价值.该论文研究了各种制备和预处理等条件对于该实...
[期刊论文] 作者：宋国新,,
来源：中学数学杂志（高中版） 年份：2001
第Ⅰ卷(选择题,共60分)rn一、选择题:本大题共12小题,每小题5分,共60分.在每小题给出的四个选项中,只有一项是符合题目要求的....
[期刊论文] 作者：宋国新,,
来源：高中数学教与学 年份：2002
由于初、高中教材之间的跨度大,因此搞好高中数学起始部分即集合知识的学习就显得至关重要.高一同学因学习方法的不适应,对集合的概念缺乏深刻的理解,解题时考虑不周的现象...
[学位论文] 作者：宋国新,
来源：复旦大学 年份：2002
固体超强酸具有酸强度高、无污染、无腐蚀性等特点,作为一类环境友好的催化材料在石油化工、有机合成等领域具有广泛的应用价值.该论文研究了各种制备和预处理等条件对于该实验室发现的新型SO/ZrO固体超强酸的性质和催化性能的影响,并将该催化剂应用于常温下正......
[期刊论文] 作者：李琦,宋国新,
来源：华东理工大学学报：自然科学版 年份：2000
介绍了由ＣｈｒｉｓｔｉａｎＨｉｄｂｅｒ提出的在线挖掘关联规则算法Ｃａｒｍａ，提出了该算法的若干改进，减弱了原算法第一步有交易的子集ｖ被插入集合Ｖ的条件，同时改进了ｍａｘＭｉｓｓｅｄ的计算公式，使其计算更为简单。实验证明，以上改进提高......
[期刊论文] 作者：程华,宋国新,
来源：计算机工程 年份：2001
对于开放式的语音通信模型,H.323和SIP都是基于IP的语音通信的体系结构的标准.通过对SIP协议的相关技术的研究,提出在Web的客户端浏览器上用Java来实现SIP协议的客户端用户代...
[期刊论文] 作者：宋国新,喻萌,
来源：计算机学报 年份：1990
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。...
[期刊论文] 作者：Hoa.,CAR,宋国新,
来源：计算机科学 年份：1989
本文对Dijkstra的不确定性顺序程序设计语言,给出完整的一组代数法则。用Scott的域论把迭代和递归解释为连续泛函的不动点。提出了类似于最弱前置谓词的演算,以帮助人们从程...
[期刊论文] 作者：Hoa.,CAR,宋国新,
来源：计算机科学 年份：1989
域的性质本节使用文献的方法,介绍迭代和递归。序关系作为预备知识,我们先考察程序之间序关系的性质。定义 P Q P ∪Q=P。这意味着Q是一个比P更确定的程序。Q能做的事情...
[期刊论文] 作者：刘冬梅,宋国新,
来源：华东理工大学学报：自然科学版 年份：2002
研究并行系统的软硬件划分方法,建立了一种基于并行语言PL的代数语义的形式化软硬件体系结构.提出了一种基于基本调度块(BSB)的并行系统优化划分方法.该方法首先将PL程序分解...
[期刊论文] 作者：刘冬梅,宋国新,
来源：华东理工大学学报：自然科学版 年份：2001
基于并行语言的操作语义,提出一组将语言构造模块转化为硬件电路的规则.利用这些规则,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路.硬件实现的正确性可以通过转...
[期刊论文] 作者：王奇,宋国新,
来源：华东理工大学学报：自然科学版 年份：2000
介绍超链接环境下基于链接的网页排序算法，比较和分析了ＰａｇｅＲａｎｋ算法和ＨＩＴＳ算法，指出了ＰａｇｅＲａｎｋ算法更适合于搜索引擎的服务器端，而ＨＩＴＳ算法更适合于搜索引擎的客户端，还构造并初步实现了在信息检索中，应用......
[期刊论文] 作者：宋国新,王琳,等,
来源：复旦学报：自然科学版 年份：2002
考察了焙烧温度、活化温度等因素对S2O8^2-/ZrO2(PSZ)固体超强酸常温下催化正戊烷反应性能的影响，利用色谱－质谱（GC－MS）、傅里叶红外（FT－IR）、原位X－射线粉末衍射（XRD）、此表面测定（BET）、......
[期刊论文] 作者：宋国新,虞慧群,
来源：高技术通讯 年份：1997
提出了ＣＩＭＳ中形式化面向对象软件开发的方法。使用ＲＡＩＳＥ（工业软件工业的严格方法）规范语言，建立了ＭＲＰＰⅡ系统的形式化模型，并且实现了该系统。同时，还研究了对象系统的相容性检查技术。基于经典......
[期刊论文] 作者：胡爱军,宋国新,
来源：华东理工大学学报：自然科学版 年份：2001
研究和开发基于网络的并行程序设计语言是并行领域的主要研究方向之一.介绍了基于工作站网的管理分组共享对象系统,该系统能对以共享数据对象模式实现虚拟共享存储的并行程序...
[期刊论文] 作者：虞慧群,宋国新,
来源：华东理工大学学报：自然科学版 年份：1998
研究了ＭＲＰＩＩ系统开发的形式化方法。使用形式化语言ＲＳＬ定义ＭＲＰＩＩ系统的规范和精化关系。以库存管理子模块为例，详细介绍了将形式化方法ＲＡＩＳＥ应用于ＭＲＰＩＩ系统的规范、精化、验证和实现。......
[期刊论文] 作者：宋国新,邵志清,
来源：华东理工大学学报：自然科学版 年份：1996
提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统，实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。...
[期刊论文] 作者：王玉君,宋国新,
来源：吉林农业 年份：2002
东丰县永合乡六合村二组农民李彦来,近两年靠养鹅养羊走上致富路,被乡亲们传为佳话....
相关搜索：
