期刊导航
期刊开放获取
唐山市科学技术情报研究..
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
超长指令字计算机体系结构及其优化编译技术
1
作者
张莉
周颖
唐毅
《微型计算机》
北大核心
1994年第3期1-5,共5页
超长指令字技术作为并行处理技术的一个重要组成部分而日益得到重视和研究。本文对VLIW计算机的体系结构及其优化编译器中所常用的优化技术-代码压缩算法做了较全面的综述。
关键词
超长指令字
计算机
体系结构
编译
在线阅读
下载PDF
职称材料
不精确Newton法与Broyden法的仿射不变收敛性
被引量:
6
2
作者
白中治
童培莉
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1994年第5期535-540,共6页
给出了不精确Newton法的半局部收敛性定理,通过改善条件γ_k/F(x ̄k)≤η_k(k=0,1…)使其具仿射不变性,建立起了不精确Newton法的具仿射不变性的半局部收敛定理,在一定条件下,讨论了Broyden方...
给出了不精确Newton法的半局部收敛性定理,通过改善条件γ_k/F(x ̄k)≤η_k(k=0,1…)使其具仿射不变性,建立起了不精确Newton法的具仿射不变性的半局部收敛定理,在一定条件下,讨论了Broyden方法的具仿射不变性的存在──收敛定理,从而,扩大了这两种方法收敛定理的收敛域。
展开更多
关键词
不精确牛顿法
Broyden法
仿射不变性
收敛性
在线阅读
下载PDF
职称材料
关于Fuzzy推理式的可信度估计
被引量:
1
3
作者
吴茂康
《计算机学报》
EI
CSCD
北大核心
1993年第2期158-160,F003,共4页
众所周知,Fuzzy逻辑比古典逻辑更为充分更为合理地反映了我们的客观世界。在Fuzzy逻辑中,公式的值可取为[0,1]中的任一实数。这一值可看作是该公式的可信度。若S为一公式,则T(S)代表S的可信度,在[1]中,已经对Fuzzy逻辑中的基本子句的归...
众所周知,Fuzzy逻辑比古典逻辑更为充分更为合理地反映了我们的客观世界。在Fuzzy逻辑中,公式的值可取为[0,1]中的任一实数。这一值可看作是该公式的可信度。若S为一公式,则T(S)代表S的可信度,在[1]中,已经对Fuzzy逻辑中的基本子句的归结式的值做了估计:设C_1,C_2为两个Fuzzy逻辑下的基本子句,R(C_1,C_2)为它们的任一归结式.max[T(C_1),T(C_2)]=b,min[T(C_1),T(C_2)]=a>0.5,b≥a。
展开更多
关键词
推理式
可信度
估计
FUZZY逻辑
在线阅读
下载PDF
职称材料
任意矩阵的连接法中的简化规则
被引量:
1
4
作者
缪准扣
《计算机学报》
EI
CSCD
北大核心
1989年第12期948-949,共2页
连接法的基本思想是证明矩阵中每一条路径都是互补的,即至少含有一个互补文字对,如果所有的路径是互补的则矩阵是互补的。因而原始待证公式是有效的,在[1]中W.Bibel给出了一阶逻辑的规范矩阵算法,这个算法容易推广到任意矩阵中。 作者在...
连接法的基本思想是证明矩阵中每一条路径都是互补的,即至少含有一个互补文字对,如果所有的路径是互补的则矩阵是互补的。因而原始待证公式是有效的,在[1]中W.Bibel给出了一阶逻辑的规范矩阵算法,这个算法容易推广到任意矩阵中。 作者在[2]中提出了几条应用于规范矩阵连接法的简化规则,本文提出两条可用于任意矩阵连接法的简化规则,它们的使用使得连接证明中要测试的路径和子目标的个数减少,并保证了原来矩阵的互补性。这两条规则作为定理来叙述并加以证明。
展开更多
关键词
矩阵
连接法
简化规则
在线阅读
下载PDF
职称材料
论CIMS的软件设计方法学
5
作者
童頫
《计算机应用研究》
CSCD
1992年第4期1-8,27,共9页
本文从计算机集成制造系统(CIMS)的需求和研究与开发目标出发,指出必须解决的若干计算机技术的关键问题,进一步基于作者关于CIMS将通过计算机软件的集成来实现的观点,较为全面地论述了从系统建模、系统分析到描述工具等主要的软件设计...
本文从计算机集成制造系统(CIMS)的需求和研究与开发目标出发,指出必须解决的若干计算机技术的关键问题,进一步基于作者关于CIMS将通过计算机软件的集成来实现的观点,较为全面地论述了从系统建模、系统分析到描述工具等主要的软件设计方法学问题,文末综述了CIMS研究与开发的发展前景。
展开更多
关键词
程序设计
CIMS
在线阅读
下载PDF
职称材料
神经处理器
6
作者
童頫
《微型机与应用》
1994年第4期2-6,共5页
神经计算的概念模型及其信息处理机制的实质;结合几个实例,论述了神经处理器的几种不同开发途径及其基本设计思想;同时结合实例讨论了神经处理器的应用范围及前景,特别强调了从神经计算基本特点出发,最好是和符号计算有机地结合起来;最...
神经计算的概念模型及其信息处理机制的实质;结合几个实例,论述了神经处理器的几种不同开发途径及其基本设计思想;同时结合实例讨论了神经处理器的应用范围及前景,特别强调了从神经计算基本特点出发,最好是和符号计算有机地结合起来;最后给出几点结论.
展开更多
关键词
神经处理器
神经计算
神经网络
在线阅读
下载PDF
职称材料
题名
超长指令字计算机体系结构及其优化编译技术
1
作者
张莉
周颖
唐毅
机构
上海科技大学计算机科学系
出处
《微型计算机》
北大核心
1994年第3期1-5,共5页
文摘
超长指令字技术作为并行处理技术的一个重要组成部分而日益得到重视和研究。本文对VLIW计算机的体系结构及其优化编译器中所常用的优化技术-代码压缩算法做了较全面的综述。
关键词
超长指令字
计算机
体系结构
编译
分类号
TP303 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
不精确Newton法与Broyden法的仿射不变收敛性
被引量:
6
2
作者
白中治
童培莉
机构
复旦
大学
数学所
出处
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1994年第5期535-540,共6页
文摘
给出了不精确Newton法的半局部收敛性定理,通过改善条件γ_k/F(x ̄k)≤η_k(k=0,1…)使其具仿射不变性,建立起了不精确Newton法的具仿射不变性的半局部收敛定理,在一定条件下,讨论了Broyden方法的具仿射不变性的存在──收敛定理,从而,扩大了这两种方法收敛定理的收敛域。
关键词
不精确牛顿法
Broyden法
仿射不变性
收敛性
Keywords
inexact Newton method
Broyden’s method,affine invariant
semilocalconvergence
分类号
O241.5 [理学—计算数学]
在线阅读
下载PDF
职称材料
题名
关于Fuzzy推理式的可信度估计
被引量:
1
3
作者
吴茂康
机构
上海科技大学计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1993年第2期158-160,F003,共4页
文摘
众所周知,Fuzzy逻辑比古典逻辑更为充分更为合理地反映了我们的客观世界。在Fuzzy逻辑中,公式的值可取为[0,1]中的任一实数。这一值可看作是该公式的可信度。若S为一公式,则T(S)代表S的可信度,在[1]中,已经对Fuzzy逻辑中的基本子句的归结式的值做了估计:设C_1,C_2为两个Fuzzy逻辑下的基本子句,R(C_1,C_2)为它们的任一归结式.max[T(C_1),T(C_2)]=b,min[T(C_1),T(C_2)]=a>0.5,b≥a。
关键词
推理式
可信度
估计
FUZZY逻辑
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
任意矩阵的连接法中的简化规则
被引量:
1
4
作者
缪准扣
机构
上海科技大学计算机科学系
出处
《计算机学报》
EI
CSCD
北大核心
1989年第12期948-949,共2页
文摘
连接法的基本思想是证明矩阵中每一条路径都是互补的,即至少含有一个互补文字对,如果所有的路径是互补的则矩阵是互补的。因而原始待证公式是有效的,在[1]中W.Bibel给出了一阶逻辑的规范矩阵算法,这个算法容易推广到任意矩阵中。 作者在[2]中提出了几条应用于规范矩阵连接法的简化规则,本文提出两条可用于任意矩阵连接法的简化规则,它们的使用使得连接证明中要测试的路径和子目标的个数减少,并保证了原来矩阵的互补性。这两条规则作为定理来叙述并加以证明。
关键词
矩阵
连接法
简化规则
分类号
O153.2 [理学—基础数学]
在线阅读
下载PDF
职称材料
题名
论CIMS的软件设计方法学
5
作者
童頫
机构
上海科技大学计算机科学系
出处
《计算机应用研究》
CSCD
1992年第4期1-8,27,共9页
文摘
本文从计算机集成制造系统(CIMS)的需求和研究与开发目标出发,指出必须解决的若干计算机技术的关键问题,进一步基于作者关于CIMS将通过计算机软件的集成来实现的观点,较为全面地论述了从系统建模、系统分析到描述工具等主要的软件设计方法学问题,文末综述了CIMS研究与开发的发展前景。
关键词
程序设计
CIMS
分类号
TH166 [机械工程—机械制造及自动化]
在线阅读
下载PDF
职称材料
题名
神经处理器
6
作者
童頫
机构
上海科技大学计算机科学系
出处
《微型机与应用》
1994年第4期2-6,共5页
文摘
神经计算的概念模型及其信息处理机制的实质;结合几个实例,论述了神经处理器的几种不同开发途径及其基本设计思想;同时结合实例讨论了神经处理器的应用范围及前景,特别强调了从神经计算基本特点出发,最好是和符号计算有机地结合起来;最后给出几点结论.
关键词
神经处理器
神经计算
神经网络
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
超长指令字计算机体系结构及其优化编译技术
张莉
周颖
唐毅
《微型计算机》
北大核心
1994
0
在线阅读
下载PDF
职称材料
2
不精确Newton法与Broyden法的仿射不变收敛性
白中治
童培莉
《电子科技大学学报》
EI
CAS
CSCD
北大核心
1994
6
在线阅读
下载PDF
职称材料
3
关于Fuzzy推理式的可信度估计
吴茂康
《计算机学报》
EI
CSCD
北大核心
1993
1
在线阅读
下载PDF
职称材料
4
任意矩阵的连接法中的简化规则
缪准扣
《计算机学报》
EI
CSCD
北大核心
1989
1
在线阅读
下载PDF
职称材料
5
论CIMS的软件设计方法学
童頫
《计算机应用研究》
CSCD
1992
0
在线阅读
下载PDF
职称材料
6
神经处理器
童頫
《微型机与应用》
1994
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部