期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到4篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
LΠ是Schweizer-Sklar参数化三角模及其剩余算子的逻辑(英文)
1
作者 王三民 赵彬 《模糊系统与数学》 CSCD 北大核心 2008年第6期1-4,共4页
证明了LΠ是Schweizer-Sklar参数化三角模及其剩余算子的逻辑。这一结果给出了构造两个或多个模糊逻辑的定理的交集的统一语义的一种方法。
关键词 非经典逻辑 Schweizer—Sklar参数化三角模 UL逻辑 BL逻辑 LΠ逻辑
在线阅读 下载PDF
新型滴灌双向流道参数化设计研究
2
作者 王新端 白丹 +1 位作者 郭霖 何靖 《西安理工大学学报》 北大核心 2017年第3期321-325,332,共6页
针对双向流道挡水件中后部存在较大低流速区的问题,对原有结构改进后提出新型双向流道结构。为了研究新型双向流道结构参数对其水力性能的影响,选取5个关键参数作为试验因素。采用均匀试验设计方法,设计8组试验方案制作流道样件,分别在... 针对双向流道挡水件中后部存在较大低流速区的问题,对原有结构改进后提出新型双向流道结构。为了研究新型双向流道结构参数对其水力性能的影响,选取5个关键参数作为试验因素。采用均匀试验设计方法,设计8组试验方案制作流道样件,分别在不同水头压力下测得各流道样件出流量,计算其流态指数及流量系数。采用通径分析定性地分析各结构参数对水力性能的影响效应。利用多元线性回归分析,建立了流态指数和流量系数与5个结构参数之间的量化模型,并通过试验验证了其准确性和可行性。结果表明,挡水件底部高度是流态指数的主要增进因子,而分水件与上挡水外壁的距离是其主要限制因子;挡水件垂直部分高度是流量系数的主要决策变量,且各参数都为增进因子。建立的量化关系模型效果显著,准确性高,定量地揭示了流道结构参数与其水力性能的关系,对设计性能良好的双向流道有一定指导意义。 展开更多
关键词 滴灌 双向流道 水力性能 参数化设计 通径分析 回归分析
在线阅读 下载PDF
RCC高速缓存一致性协议的带参验证 被引量：1
3
作者 孙鲁明 周琰 《计算机系统应用》 2014年第11期10-15,共6页
Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战.Cubicle是最近出现的基于SMT求解器的带参模型检测工具.我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模... Godson-T众核处理器的RCC高速缓存一致性协议是一种非常有特色的带参并发系统,对此协议的带参验证是一个很大的挑战.Cubicle是最近出现的基于SMT求解器的带参模型检测工具.我们使用了Cubicle带参模型检测工具,成功对RCC协议进行了建模和验证.实验结果表明,RCC协议在结点个数为任意规模时均满足协议的各种安全性质. 展开更多
关键词 众核处理器 缓存一致性协议 带参模型检测
在线阅读 下载PDF
运动控制器在丁字管加工机上的应用
4
作者 罗晓彬 《自动化信息》 2008年第8期63-64,75,共3页
开放式运动控制器为设计师提供了灵活的使用环境和方法，使设计师能设计出满足特殊需求的系统。使用开放式运动控制器开发的数控丁字管加工机，向用户提供了参数化编程方式，大大简化了用户的使用方法，降低了用户操作培训成本。
关键词 运动控制器 丁字管加工机 伺服系统 参数化编程
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部