期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
白云岩物质组分与结构对微孔储集体系形成的制约--以塔里木盆地下古生界白云岩为例
被引量:
15
1
作者
王小林
胡文瑄
+3 位作者
张军涛
钱一雄
朱井泉
吴仕强
《天然气地球科学》
EI
CAS
CSCD
2008年第3期320-326,共7页
塔里木盆地下古生界白云岩是重要的油气储层,由于经历了长期而复杂的成岩演化过程,其储集空间以次生孔隙为主,其中微孔储集体系分布广泛,很不均匀,并且规律性不强。通过对大量白云岩岩心薄片与显微照片的观察,结合电子探针分析,认为埋...
塔里木盆地下古生界白云岩是重要的油气储层,由于经历了长期而复杂的成岩演化过程,其储集空间以次生孔隙为主,其中微孔储集体系分布广泛,很不均匀,并且规律性不强。通过对大量白云岩岩心薄片与显微照片的观察,结合电子探针分析,认为埋藏过程中白云石与方解石的差异溶蚀是微孔储集体系形成的主要方式,白云岩的物质组分与微观结构对白云岩微孔的形成具有重要的制约作用;从白云岩成分上来讲,含灰云岩与灰质云岩是白云岩储层的主要岩性;白云岩中方解石的溶解与否,受方解石赋存状态的制约。根据白云岩显微结构中方解石和白云石两者之间的关系,将储集物性较好的粒状白云岩大致分为3个亚类,即粒间填隙型、粒内包含型、包含—填隙混合型,其中以第1种形式即"粒间填隙型"分布的方解石最容易被溶蚀并形成次生孔隙,包含—填隙混合型次之,粒内包含型最差。
展开更多
关键词
物质组分制约
结构制约
结构分类
微孔储集体系
白云岩
塔里木盆地
下载PDF
职称材料
基于命题逻辑的组件约束检测
被引量:
2
2
作者
陈宁
冯博琴
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2007年第2期172-175,共4页
针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法.通过命题符号化的过程,即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题.该算法首次使用受限真值表的概念来描述组件约束,清楚、准确地揭...
针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法.通过命题符号化的过程,即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题.该算法首次使用受限真值表的概念来描述组件约束,清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换,通过包含、否定和插入等规则来合并真值表,以解决检测组件约束时存在的冗余与冲突问题,并获得期望行为的最小组件集合,从而保证了组件约束之间相互一致.与基于规则模式表方法相比,所提算法克服了人工检测的不确定性,改善了检测的时间性能,并可将冲突错判率降低大约10%,平均处理时间降低大约33%.
展开更多
关键词
组件约束
命题逻辑
真值表
检测算法
下载PDF
职称材料
基于语义参数的三维复杂模型变形方法研究
被引量:
1
3
作者
孙霞
何坤金
《计算机应用研究》
CSCD
北大核心
2019年第5期1577-1580,1600,共5页
针对含有自由曲面的三维模型不易变形的问题,提出一种基于语义参数的三维复杂模型变形方法,旨在实现三维模型的快速设计。该方法利用变形控制点作为模型变形的基本元素,通过设置语义参数实现层次化变形:以变形控制点带动分组部件变形,...
针对含有自由曲面的三维模型不易变形的问题,提出一种基于语义参数的三维复杂模型变形方法,旨在实现三维模型的快速设计。该方法利用变形控制点作为模型变形的基本元素,通过设置语义参数实现层次化变形:以变形控制点带动分组部件变形,以分组部件促进三维模型整体变形。首先,采用Hausdorff测距法和均值聚类法,将已分组的电动车自由曲面替换成二次曲面;然后,根据变形控制点间及与部件顶点的关系,计算各分组部件内部和外部的约束条件;最后,编辑修改定义在变形控制点上的语义参数,实现模型自定义变形。电动车三维模型验证实验结果表明,该方法支持用户通过修改少量语义参数对模型进行变形,有效提升了三维模型个性化设计的效率。
展开更多
关键词
聚类分析
二次曲面
部件约束
语义参数
下载PDF
职称材料
基于产品特征向量的产品配置研究
4
作者
刘俊
黄秀玲
张智光
《制造业自动化》
北大核心
2008年第12期18-21,共4页
在制造行业中,为了提高产品配置对不同产品的适应能力,降低知识表达难度,提出了基于产品特征向量的产品配置方法。文章在产品特征可量化的条件下,建立了产品配置模型,给出了特征的向量表示方法,并根据产品特征向量,定义组件约束。在配...
在制造行业中,为了提高产品配置对不同产品的适应能力,降低知识表达难度,提出了基于产品特征向量的产品配置方法。文章在产品特征可量化的条件下,建立了产品配置模型,给出了特征的向量表示方法,并根据产品特征向量,定义组件约束。在配置求解过程中,将用户对产品特征的需求转化为产品特征向量,给出配置求解算法。最后提供成功案例。
展开更多
关键词
产品特征向量
组件约束
产品配置
ERP
下载PDF
职称材料
基于有向约束图的装配序列并行化方法研究
被引量:
5
5
作者
胡小梅
朱文华
俞涛
《机械设计与制造》
北大核心
2010年第4期163-165,共3页
并行装配与串行装配相比可以缩短装配时间,提高装配效率。为了实现产品的并行装配,提出了基于有向约束图的装配序列并行化方法。定义了装配约束矩阵和零件约束度的数学模型来描述装配体在装配过程中各零件的干涉状态,建立了装配体的有...
并行装配与串行装配相比可以缩短装配时间,提高装配效率。为了实现产品的并行装配,提出了基于有向约束图的装配序列并行化方法。定义了装配约束矩阵和零件约束度的数学模型来描述装配体在装配过程中各零件的干涉状态,建立了装配体的有向约束图描述零件间的约束关系,给出了基于关联解除的有向约束图分解方法生成装配序列,采用装配序列并行化策略产生了基于多叉树结构的并行装配序列。通过机用虎钳装配实例验证结果表明了该方法的可行性。
展开更多
关键词
有向约束图
装配序列
零件约束度
下载PDF
职称材料
基于状态监测的无尘作业车间设备检修方法研究
6
作者
周立波
唐晓杰
+2 位作者
汪从敏
夏雯
储源
《自动化与仪器仪表》
2022年第10期129-132,共4页
无尘作业车间设备检修是保障设备可靠运行的关键,针对传统设备检修方法效率低、时间长,影响工作效率的缺陷,提出一种基于状态监测的无尘作业车间设备检修方法。首先采用零部件约束关系建模方法,构建无尘作业车间设备之间的零部件关系约...
无尘作业车间设备检修是保障设备可靠运行的关键,针对传统设备检修方法效率低、时间长,影响工作效率的缺陷,提出一种基于状态监测的无尘作业车间设备检修方法。首先采用零部件约束关系建模方法,构建无尘作业车间设备之间的零部件关系约束数据分析模型。然后通过多目标优化建立无尘作业车间设备状态动态分布结构参数分析模型,结合不同的目标偏好实现对无尘作业车间设备安全量化评估,建立无尘作业车间设备检修的技术支持系统。通过对设备的状态特征检测和评估,在不同的潮流分布下提取设备的状态信息、特征参数和性状参数,通过全面测评和动态参数评价,实现无尘作业车间设备的检修流程优化控制。仿真结果表明,采用该方法进行无尘作业车间设备检修作业的线性规划能力较好,优化控制能力较强,节省了检修成本开销。
展开更多
关键词
状态监测
无尘作业车间
设备
检修
零部件关系约束
原文传递
题名
白云岩物质组分与结构对微孔储集体系形成的制约--以塔里木盆地下古生界白云岩为例
被引量:
15
1
作者
王小林
胡文瑄
张军涛
钱一雄
朱井泉
吴仕强
机构
南京大学地球科学系
中国石油化工股份有限公司勘探西北分公司
中国科学院地质与地球物理研究所
出处
《天然气地球科学》
EI
CAS
CSCD
2008年第3期320-326,共7页
基金
国家科技部基础研究发展规划(“973”)项目(编号:2005CB422103)资助
文摘
塔里木盆地下古生界白云岩是重要的油气储层,由于经历了长期而复杂的成岩演化过程,其储集空间以次生孔隙为主,其中微孔储集体系分布广泛,很不均匀,并且规律性不强。通过对大量白云岩岩心薄片与显微照片的观察,结合电子探针分析,认为埋藏过程中白云石与方解石的差异溶蚀是微孔储集体系形成的主要方式,白云岩的物质组分与微观结构对白云岩微孔的形成具有重要的制约作用;从白云岩成分上来讲,含灰云岩与灰质云岩是白云岩储层的主要岩性;白云岩中方解石的溶解与否,受方解石赋存状态的制约。根据白云岩显微结构中方解石和白云石两者之间的关系,将储集物性较好的粒状白云岩大致分为3个亚类,即粒间填隙型、粒内包含型、包含—填隙混合型,其中以第1种形式即"粒间填隙型"分布的方解石最容易被溶蚀并形成次生孔隙,包含—填隙混合型次之,粒内包含型最差。
关键词
物质组分制约
结构制约
结构分类
微孔储集体系
白云岩
塔里木盆地
Keywords
component
constraint
Texture
constraint
Texture
classification
Micro-porosity
reservoir
system
Dolomite
Tarim
basin
分类号
TE122.2 [石油与天然气工程—油气勘探]
下载PDF
职称材料
题名
基于命题逻辑的组件约束检测
被引量:
2
2
作者
陈宁
冯博琴
机构
西安交通大学计算机科学与技术系
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2007年第2期172-175,共4页
基金
国家高技术研究发展计划资助项目(2003AA1Z2610)
西安交通大学I
BM联合研究项目
文摘
针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法.通过命题符号化的过程,即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题.该算法首次使用受限真值表的概念来描述组件约束,清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换,通过包含、否定和插入等规则来合并真值表,以解决检测组件约束时存在的冗余与冲突问题,并获得期望行为的最小组件集合,从而保证了组件约束之间相互一致.与基于规则模式表方法相比,所提算法克服了人工检测的不确定性,改善了检测的时间性能,并可将冲突错判率降低大约10%,平均处理时间降低大约33%.
关键词
组件约束
命题逻辑
真值表
检测算法
Keywords
component
constraint
proposition
logic
truth
table
detection
algorithm
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于语义参数的三维复杂模型变形方法研究
被引量:
1
3
作者
孙霞
何坤金
机构
河海大学物联网工程学院
出处
《计算机应用研究》
CSCD
北大核心
2019年第5期1577-1580,1600,共5页
基金
国家自然科学基金资助项目(61472118)
常州市科技计划资助项目(CE20140008)
文摘
针对含有自由曲面的三维模型不易变形的问题,提出一种基于语义参数的三维复杂模型变形方法,旨在实现三维模型的快速设计。该方法利用变形控制点作为模型变形的基本元素,通过设置语义参数实现层次化变形:以变形控制点带动分组部件变形,以分组部件促进三维模型整体变形。首先,采用Hausdorff测距法和均值聚类法,将已分组的电动车自由曲面替换成二次曲面;然后,根据变形控制点间及与部件顶点的关系,计算各分组部件内部和外部的约束条件;最后,编辑修改定义在变形控制点上的语义参数,实现模型自定义变形。电动车三维模型验证实验结果表明,该方法支持用户通过修改少量语义参数对模型进行变形,有效提升了三维模型个性化设计的效率。
关键词
聚类分析
二次曲面
部件约束
语义参数
Keywords
cluster
analysis
quadric
surface
component
constraint
semantic
parameter
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于产品特征向量的产品配置研究
4
作者
刘俊
黄秀玲
张智光
机构
南京林业大学经济管理学院
南京林业大学机械电子工程学院
出处
《制造业自动化》
北大核心
2008年第12期18-21,共4页
基金
国家863金城CIMS重点应用工程(863-511-910-403)
文摘
在制造行业中,为了提高产品配置对不同产品的适应能力,降低知识表达难度,提出了基于产品特征向量的产品配置方法。文章在产品特征可量化的条件下,建立了产品配置模型,给出了特征的向量表示方法,并根据产品特征向量,定义组件约束。在配置求解过程中,将用户对产品特征的需求转化为产品特征向量,给出配置求解算法。最后提供成功案例。
关键词
产品特征向量
组件约束
产品配置
ERP
Keywords
product
characteristic
vector
component
constraint
product
configuration
ERP
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
基于有向约束图的装配序列并行化方法研究
被引量:
5
5
作者
胡小梅
朱文华
俞涛
机构
上海大学上海市机械自动化及机器人重点实验室
出处
《机械设计与制造》
北大核心
2010年第4期163-165,共3页
基金
上海市科委重点项目(061111014)
上海市产业创新重点项目(07CH-008)
上海市重点学科建设资助(Y0102)
文摘
并行装配与串行装配相比可以缩短装配时间,提高装配效率。为了实现产品的并行装配,提出了基于有向约束图的装配序列并行化方法。定义了装配约束矩阵和零件约束度的数学模型来描述装配体在装配过程中各零件的干涉状态,建立了装配体的有向约束图描述零件间的约束关系,给出了基于关联解除的有向约束图分解方法生成装配序列,采用装配序列并行化策略产生了基于多叉树结构的并行装配序列。通过机用虎钳装配实例验证结果表明了该方法的可行性。
关键词
有向约束图
装配序列
零件约束度
Keywords
Directed
constraint
graph
Assembly
sequence
component
constraint
degree
分类号
TH16 [机械工程—机械制造及自动化]
TP305 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于状态监测的无尘作业车间设备检修方法研究
6
作者
周立波
唐晓杰
汪从敏
夏雯
储源
机构
国网宁波供电公司电缆运检中心
宁波送变电建设有限公司
出处
《自动化与仪器仪表》
2022年第10期129-132,共4页
基金
永耀集团办《检修移动无尘作业车间的研制与应用》([2021]37号)。
文摘
无尘作业车间设备检修是保障设备可靠运行的关键,针对传统设备检修方法效率低、时间长,影响工作效率的缺陷,提出一种基于状态监测的无尘作业车间设备检修方法。首先采用零部件约束关系建模方法,构建无尘作业车间设备之间的零部件关系约束数据分析模型。然后通过多目标优化建立无尘作业车间设备状态动态分布结构参数分析模型,结合不同的目标偏好实现对无尘作业车间设备安全量化评估,建立无尘作业车间设备检修的技术支持系统。通过对设备的状态特征检测和评估,在不同的潮流分布下提取设备的状态信息、特征参数和性状参数,通过全面测评和动态参数评价,实现无尘作业车间设备的检修流程优化控制。仿真结果表明,采用该方法进行无尘作业车间设备检修作业的线性规划能力较好,优化控制能力较强,节省了检修成本开销。
关键词
状态监测
无尘作业车间
设备
检修
零部件关系约束
Keywords
state
monitoring
dust-free
workshop
equipment
overhaul
component
relation
constraint
分类号
TH17 [机械工程—机械制造及自动化]
原文传递
题名
作者
出处
发文年
被引量
操作
1
白云岩物质组分与结构对微孔储集体系形成的制约--以塔里木盆地下古生界白云岩为例
王小林
胡文瑄
张军涛
钱一雄
朱井泉
吴仕强
《天然气地球科学》
EI
CAS
CSCD
2008
15
下载PDF
职称材料
2
基于命题逻辑的组件约束检测
陈宁
冯博琴
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2007
2
下载PDF
职称材料
3
基于语义参数的三维复杂模型变形方法研究
孙霞
何坤金
《计算机应用研究》
CSCD
北大核心
2019
1
下载PDF
职称材料
4
基于产品特征向量的产品配置研究
刘俊
黄秀玲
张智光
《制造业自动化》
北大核心
2008
0
下载PDF
职称材料
5
基于有向约束图的装配序列并行化方法研究
胡小梅
朱文华
俞涛
《机械设计与制造》
北大核心
2010
5
下载PDF
职称材料
6
基于状态监测的无尘作业车间设备检修方法研究
周立波
唐晓杰
汪从敏
夏雯
储源
《自动化与仪器仪表》
2022
0
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部