期刊文献+
共找到237篇文章
< 1 2 12 >
每页显示 20 50 100
基于站台门PSL控制系统的优化开发
1
作者 徐文文 圣祝素 王敏 《机电工程技术》 2025年第17期140-143,161,共5页
城市轨道交通站台门系统有5种控制方式,其中就地控制盘(PSL)是系统级控制失效后,操作相对频繁的控制方式。PSL可以实现整侧滑动门的开关门,便于乘客上下车,保证轨道交通的正常运营。结合高职院校对站台门技能实训的需求,更好地掌握其功... 城市轨道交通站台门系统有5种控制方式,其中就地控制盘(PSL)是系统级控制失效后,操作相对频繁的控制方式。PSL可以实现整侧滑动门的开关门,便于乘客上下车,保证轨道交通的正常运营。结合高职院校对站台门技能实训的需求,更好地掌握其功能及控制原理,提出优化方案。针对城市轨道交通站台门实训装备整机运行与就地控制盘(PSL)实训模块独立拆装的矛盾,结合站台门设备庞大与实训场地有限的现实问题,基于当前站台门实训装备的就地控制盘(PSL)控制系统,提出建设模块化、小型化、独立化、移动式的实训项目装备,对其进行优化开发,增加红外探测报警和红外旁路等,优化PSL的电气控制功能,提高设备使用效率。通过对PSL盘面的合理布局及其控制功能优化升级,可以满足PSL的元件拆装、线路拆装、功能调试、整机运行等实训要求。将PSL从端门内移动到端门外,还适用于全自动运行线路。其立柱式设计,方便走线,底部增加了滑轮,可方便移动,便于在不同地方安装、调试和存储。这些优化设计有效解决整机运行操作与实训项目装调的矛盾问题,不仅实现直观地装调设备,增强实训项目的可操作性、可拆卸性、可调试性、可考核性,还提高了实训有效性和效果,体现了实训装备实用性的现实意义。 展开更多
关键词 站台门 psl 优化 调试 独立性
在线阅读 下载PDF
PSL空间关系扩展及其在企业建模中的应用 被引量:5
2
作者 姜艺 潘燕华 +1 位作者 葛世伦 朱俊武 《计算机应用研究》 CSCD 北大核心 2005年第11期146-148,共3页
PSL是面向制造业信息集成的过程规范语言,用户可根据需求对其基本理论进行扩展。为了满足企业建模对空间关系的刻画需求,以空间关系RCC理论为基础,实现了PSL空间关系扩展。最后给出一个基于空间关系扩展的PSL应用实例。
关键词 企业建模 psl 空间关系 本体
在线阅读 下载PDF
用PSL法生产细木工芯板 被引量:3
3
作者 金永明 钱俊 +2 位作者 楼坚强 俞友明 叶良明 《浙江林学院学报》 CAS CSCD 北大核心 2003年第1期5-7,共3页
为了促进杉木加工剩余物的工业化利用 ,分析了杉木边皮劈条及制板生产的可行性。对杉木边皮劈制的木条进行PSL法制板试验 ,测试其物理力学性能 ,分析了制板参数 ,选择了较佳的工艺。结果表明 :采用脲醛树脂 [固含量 49% ,粘度 0 1 2Pa&... 为了促进杉木加工剩余物的工业化利用 ,分析了杉木边皮劈条及制板生产的可行性。对杉木边皮劈制的木条进行PSL法制板试验 ,测试其物理力学性能 ,分析了制板参数 ,选择了较佳的工艺。结果表明 :采用脲醛树脂 [固含量 49% ,粘度 0 1 2Pa·s ( 2 0℃ ) ]对杉木边皮劈条进行热压胶合是可行的。当施胶量为 4% ,热压温度 1 1 0℃ ,热压时间 1 0min时 ,就能满足中高档细木工芯板对静曲强度、弹性模量和吸水厚度膨胀率的要求。表 3参 展开更多
关键词 边皮 杉木 psl 细木工芯板
在线阅读 下载PDF
猪多杀性巴氏杆菌5:A型Ts-8株psl基因的克隆和序列分析 被引量:3
4
作者 肖国生 曹三杰 +1 位作者 黄小波 文心田 《河南农业科学》 CSCD 北大核心 2008年第4期108-110,114,共4页
根据禽多杀性巴氏杆菌psl基因序列,设计了1对引物,从猪源多杀性巴氏杆菌5:A型Ts-8株中扩增出453bp的psl基因,将其克隆到pMD18-T载体后测序。序列分析表明,该基因与禽多杀性巴氏杆菌T16株的psl基因序列只相差2个碱基,同源性高达99%;与流... 根据禽多杀性巴氏杆菌psl基因序列,设计了1对引物,从猪源多杀性巴氏杆菌5:A型Ts-8株中扩增出453bp的psl基因,将其克隆到pMD18-T载体后测序。序列分析表明,该基因与禽多杀性巴氏杆菌T16株的psl基因序列只相差2个碱基,同源性高达99%;与流感嗜血杆菌编码P6蛋白的基因序列同源性为83%。猪psl基因的推导氨基酸序列与禽psl基因、P6蛋白的氨基酸序列同源性分别为100%,87%。结果表明,多杀性巴氏杆菌psl基因在猪和禽的菌株中是高度保守的,而且与P6蛋白的氨基酸序列具有较高的同源性。 展开更多
关键词 猪多杀性巴氏杆菌 psl基因 克隆 序列分析
在线阅读 下载PDF
PSL的有界模型检验 被引量:2
5
作者 虞蕾 赵宗涛 《电子学报》 EI CAS CSCD 北大核心 2009年第3期614-621,共8页
基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性... 基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程. 展开更多
关键词 psl(property specification language) 有界模型检验(bounded model checking BMC) SAT(propositional satisfiability) OBDD(ordered binary decision diagram)
在线阅读 下载PDF
单板条层积材(PSL)施胶方法与热压工艺的研究 被引量:7
6
作者 那斌 王雯雯 +2 位作者 王实建 王志强 卢晓宁 《西北林学院学报》 CSCD 北大核心 2012年第1期241-245,共5页
以杨木碎单板切成的单板条制作PSL为研究对象,通过分析单板条的尺寸形态、施胶的胶液浓度与施胶时间对单板条吸胶量影响,考察了3种不同的施胶方法、热压时间与温度对PSL物理力学性能的影响,优化了热压工艺。结果表明,单板条的尺寸形态... 以杨木碎单板切成的单板条制作PSL为研究对象,通过分析单板条的尺寸形态、施胶的胶液浓度与施胶时间对单板条吸胶量影响,考察了3种不同的施胶方法、热压时间与温度对PSL物理力学性能的影响,优化了热压工艺。结果表明,单板条的尺寸形态对其吸胶量没有显著的影响,它主要影响产品的均一性和外观质量;胶黏剂的浓度是影响单板条吸胶量的一个重要因素,选用胶液浓度为30%的酚醛树脂胶;施胶方法是影响PSL力学性能的重要因素;热压时间和热压温度对PSL的物理力学性能有显著的影响。综合考虑产品的物理力学性能和产品均一性,以单板条长度为100mm,采用喷胶方式,热压时间为35min、热压温度为150℃时制成的PSL的性能较好。 展开更多
关键词 单板条层积材 碎单板 施胶方式 热压工艺 物理力学性能
在线阅读 下载PDF
PSL2 X65QO/X65QS海洋抗腐蚀管线用无缝钢管生产实践 被引量:6
7
作者 周晓锋 程林 +2 位作者 吴永超 陈建伟 刘江成 《钢管》 CAS 2017年第1期40-44,共5页
从产品技术难点、钢种成分设计、生产工艺、热处理工艺等方面,介绍了PSL2 X65QO/X65QS海洋抗腐蚀管线用无缝钢管的生产情况,并统计分析其力学性能、管端内径不圆度等;依据相关标准进行HIC和SSC腐蚀试验及焊接工艺评定试验。结果表明:PSL... 从产品技术难点、钢种成分设计、生产工艺、热处理工艺等方面,介绍了PSL2 X65QO/X65QS海洋抗腐蚀管线用无缝钢管的生产情况,并统计分析其力学性能、管端内径不圆度等;依据相关标准进行HIC和SSC腐蚀试验及焊接工艺评定试验。结果表明:PSL2 X65QO/X65QS海洋抗腐蚀管线用无缝钢管具有强度波动变化小、均匀延伸率大、低温冲击韧性高、硬度低,且可焊性好、抗HIC和SSC性能优异等特点,满足用户要求。 展开更多
关键词 管线用无缝钢管 psl2 X65QO/X65QS 海洋服役 酸性服役 HIC SSC 焊接工艺评定
在线阅读 下载PDF
PSL602与WBZ-1202B保护装置调试中的几个问题 被引量:2
8
作者 张利敏 吕艳萍 丁坚勇 《电力自动化设备》 EI CSCD 北大核心 2002年第4期78-81,共4页
简介了PSL 6 0 2微机线路保护与WBZ 12 0 2B微机变压器保护装置人性化、透明化、开放性的特点。针对调试中出现的一些现象 ,从装置软件设计的角度给予深刻的剖析 ,如 :保护模件控制字的整定对试验结果的影响、复压闭锁方向过流保护方向... 简介了PSL 6 0 2微机线路保护与WBZ 12 0 2B微机变压器保护装置人性化、透明化、开放性的特点。针对调试中出现的一些现象 ,从装置软件设计的角度给予深刻的剖析 ,如 :保护模件控制字的整定对试验结果的影响、复压闭锁方向过流保护方向元件动作范围的确定、零序方向过流保护方向元件电压电流的获取 ,以及关于测试仪和保护调试分析软件PSVIEW使用中的一些特殊问题等。并对差动保护中TA二次电流相位校正软硬件手段的实现差异和 展开更多
关键词 psl602 WBZ-1202B 继电保护装置 调试 电力系统
在线阅读 下载PDF
求特殊射影线性群PSL(2,q)的元阶集的搜索算法 被引量:4
9
作者 王志刚 王绍恒 《计算机科学》 CSCD 北大核心 2002年第12期193-194,共2页
In this paper, in order to find a set of element orders of projective special liner group PSL(2,q) and num-bers of elements every order and order of group,we give a search algorithm and discuss complexity of the algor... In this paper, in order to find a set of element orders of projective special liner group PSL(2,q) and num-bers of elements every order and order of group,we give a search algorithm and discuss complexity of the algorithm. 展开更多
关键词 计算机 搜索算法 元阶集 射影线性群 psl(2 q) 有限群
在线阅读 下载PDF
PSL多路阀中二通压力补偿阀动态特性研究 被引量:1
10
作者 张远深 赵婧 +2 位作者 蔚亚 周慧珍 苗鹏军 《甘肃科学学报》 2014年第2期76-78,共3页
研究介绍了PSL负载敏感型比例多路阀的结构及工作原理,阐述了二通压力补偿阀在该负载敏感型比例多路换向阀中所起的作用及其结构,通过AMESim仿真软件对PSL负载敏感型比例多路换向阀中的二通压力补偿阀进行了建模和仿真分析,研究了PSL负... 研究介绍了PSL负载敏感型比例多路阀的结构及工作原理,阐述了二通压力补偿阀在该负载敏感型比例多路换向阀中所起的作用及其结构,通过AMESim仿真软件对PSL负载敏感型比例多路换向阀中的二通压力补偿阀进行了建模和仿真分析,研究了PSL负载敏感型比例多路换向阀中二通压力补偿阀的动态特性,分析了弹簧刚度对系统响应的影响.结果表明:弹簧刚度为80N/mm时,LS油路升压速度低于弹簧刚度为30N/mm时的升压速度,即弹簧刚度越大,系统响应越低. 展开更多
关键词 psl 负载敏感型比例多路换向阀 压力补偿阀 AMESIM 动态特性
在线阅读 下载PDF
工艺因子对杨木碎单板PSL材性变异性的影响 被引量:4
11
作者 高婧 王石建 +2 位作者 朱祥光 王志强 卢晓宁 《林业科技开发》 2011年第1期57-59,共3页
利用杨木碎单板制造PSL,考察板密度、板厚度、单板条长度以及铺装方式对PSL材性变异性的影响。研究表明,材性变异性均随板密度、板厚度的增大而减小,随单板条长度的增大而增大,铺装方式的影响中平行定向铺装时最小,定向抛洒铺装稍大,≤3... 利用杨木碎单板制造PSL,考察板密度、板厚度、单板条长度以及铺装方式对PSL材性变异性的影响。研究表明,材性变异性均随板密度、板厚度的增大而减小,随单板条长度的增大而增大,铺装方式的影响中平行定向铺装时最小,定向抛洒铺装稍大,≤30°角铺装时最大。各项工艺因子对顺纹抗压强度变异性的影响均较小。对工艺因子影响下的力学强度进行可靠性分析,得出PSL安全系数为:MOE 2.4~5.149;MOR 3.229~8.401;顺纹抗压强度1.131~1.54。 展开更多
关键词 单板条层积材 工艺因子 材性 变异性 可靠性
在线阅读 下载PDF
低温PSL-3S135钻杆用无缝钢管的开发 被引量:3
12
作者 周国帅 周家祥 +2 位作者 周晓锋 刘江成 窦志超 《钢管》 CAS 2016年第6期20-24,共5页
介绍了低温PSL-3 S135钻杆用无缝钢管的主要技术指标、钢种设计、生产工艺流程及力学性能检测结果。通过合金化技术、纯净钢冶炼、控制轧制、热处理等手段,保证了PSL-3 S135钻杆用无缝钢管具有较高的屈服强度,同时又具有良好的低温冲击... 介绍了低温PSL-3 S135钻杆用无缝钢管的主要技术指标、钢种设计、生产工艺流程及力学性能检测结果。通过合金化技术、纯净钢冶炼、控制轧制、热处理等手段,保证了PSL-3 S135钻杆用无缝钢管具有较高的屈服强度,同时又具有良好的低温冲击韧性和优良的高温强度。检测结果表明:生产的低温PSL-3 S135钻杆用无缝钢管的屈服强度高于950 MPa,-20℃管体纵向全尺寸冲击功∧100 J,可以保证该S135钻杆在苛刻条件下的使用安全性。 展开更多
关键词 S135钻杆用无缝钢管 psl-3 屈服强度 低温冲击韧性 高温强度
在线阅读 下载PDF
PSL逻辑及验证技术研究进展与展望 被引量:3
13
作者 虞蕾 赵宗涛 《计算机应用研究》 CSCD 北大核心 2010年第7期2414-2420,共7页
在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望。
关键词 属性规约语言 基于断言的验证 形式化验证 运行时验证
在线阅读 下载PDF
单板条平行成材(PSL)研究现状及发展趋势 被引量:6
14
作者 王宏棣 时兰翠 《林业科技》 北大核心 2007年第4期51-53,共3页
单板条平行成材(PSL)是由窄单板条沿木纤维长度方向定向成型的一种新型木质复合材料。PSL可用生产单板层积材(LVL)或胶合板的剩余窄小单板做原料,单板条涂饰胶粘剂,按轴向排列方式连续送人成型槽进行规格铺装,铺装成型的板坯再... 单板条平行成材(PSL)是由窄单板条沿木纤维长度方向定向成型的一种新型木质复合材料。PSL可用生产单板层积材(LVL)或胶合板的剩余窄小单板做原料,单板条涂饰胶粘剂,按轴向排列方式连续送人成型槽进行规格铺装,铺装成型的板坯再持续送人具有微波处理功能的压机,经四面挤压制成大幅面的PSL,最后锯解成要求的规格尺寸。由于单板条的随机铺装,单板条中的天然缺陷如节子、斜纹和幼龄材等分散在板坯中,使PSL的力学性能更加均匀稳定。 展开更多
关键词 单板条平行成材 发展趋势 木质复合材料 规格尺寸 单板层积材 psl 纤维长度 排列方式
在线阅读 下载PDF
桉木制结构复合材PSL柱的静动态弹性模量
15
作者 钟永 任海青 +2 位作者 邢新婷 高黎 李红霞 《建筑材料学报》 EI CAS CSCD 北大核心 2013年第6期998-1003,共6页
以新型桉木制结构复合材PSL柱为试验对象,进行了应力波无损动态力学性能测试和足尺顺纹受压静态力学性能测试,探讨了PSL柱动、静态弹性模量之间的关系,分析了应力波沿PSL柱斜对角向的传播机理,建立了PSL柱斜对角向动态弹性模量的简化计... 以新型桉木制结构复合材PSL柱为试验对象,进行了应力波无损动态力学性能测试和足尺顺纹受压静态力学性能测试,探讨了PSL柱动、静态弹性模量之间的关系,分析了应力波沿PSL柱斜对角向的传播机理,建立了PSL柱斜对角向动态弹性模量的简化计算模型.结果表明:PSL柱纵向动态弹性模量与宽度方向、厚度方向、斜对角向动态弹性模量的比值分别为11.4,41.9,1.7左右;PSL柱纵向动态弹性模量约为纵向静态弹性模量的1.46倍;受压损伤后PSL柱纵向和斜对角向动态弹性模量均为相应未损伤动态弹性模量的0.84倍左右.PSL柱斜对角向动态弹性模量主要取决于应力波沿纵向、宽度方向、厚度方向传播的距离分量及各方向动态弹性模量的大小. 展开更多
关键词 结构复合材(psl) 顺纹受压 无损检测 应力波 弹性模量 损伤
在线阅读 下载PDF
PSL低坍落度损失缓凝高效减水剂的研制 被引量:10
16
作者 刘彤 王冬梅 柳勇臻 《化学建材》 1999年第2期28-30,共3页
由马来酸酐、苯乙烯、丙烯酸羟基酯、丙烯酸、丙烯酸酯等单体经多元共聚制备水溶性聚合物(SMAH),用于改性萘系减水剂,制成PSL低坍落度损失缓凝高效减水剂,并进行配制混凝土的系统试验。
关键词 低坍落度损失 缓凝高效减水剂 混凝土 psl
在线阅读 下载PDF
中国胶合板集群区杨木碎单板PSL研制与开发的可行性分析 被引量:1
17
作者 吕柳 高婧 +2 位作者 卢晓宁 王石建 王志强 《中国林业经济》 2010年第6期58-60,共3页
在中国胶合板产业集群区内,大量的中小企业在用杨树为原材料生产胶合板,而产生了大量的杨木碎单板,这些碎单板如果没有更好的利用,就会被填充到胶合板中,影响胶合板的质量。因此,我们以这些碎单板废料为原料,以中小企业为对象,依据中国... 在中国胶合板产业集群区内,大量的中小企业在用杨树为原材料生产胶合板,而产生了大量的杨木碎单板,这些碎单板如果没有更好的利用,就会被填充到胶合板中,影响胶合板的质量。因此,我们以这些碎单板废料为原料,以中小企业为对象,依据中国丰富而廉价的劳动力资源优势,探讨产业集群内杨木碎单板PSL研制与开发的可行性,以期提高集聚区的胶合板质量,同时避免资源浪费。从PSL的技术研究现状、目前的市场需求、产品开发等方面,并结合胶合板的原料优势、分工优势和成本优势进行综合分析,研究的结论是在中国胶合板产业集群区内,利用胶合板生产的下脚料为原料,进行碎单板工业化生产,对于提高其价值,为企业创造更高的经济效益及社会效益是非常有意义的一项创新。 展开更多
关键词 杨木碎单板 单板条层积材 集群 效益
在线阅读 下载PDF
应用OBDD和PSL的航迹规划方法研究
18
作者 虞蕾 赵宗涛 《计算机应用与软件》 CSCD 2011年第2期47-51,105,共6页
航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无人飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据... 航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无人飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据问题的约束条件,在搜索中剪枝。模型检验的经典OBDD(有序二叉决策图)方法是表示状态和状态迁移的高效率的数据结构方法,可以简化状态系统的表示空间;而PSL是一种重要时序逻辑,利用PSL和一阶逻辑描述无人飞行器航迹规划的领域约束,以期在规划中剪枝搜索状态。在使用上述两种优化策略基础上设计了航迹规划搜索算法,并实现了该算法的规划仿真,仿真结果表明该方法是一种有效可行的航迹规划方法。 展开更多
关键词 航迹规划 OBDD psl
在线阅读 下载PDF
PSL构造双向交换自动机及非确定自动机的方法
19
作者 虞蕾 陈火旺 《软件学报》 EI CSCD 北大核心 2010年第1期34-46,共13页
PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时... PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时钟声明的公式很容易改写成非时钟公式,因此重点研究了非时钟FL逻辑.为便于进行模型检验,每个FL公式必须转化成为一种可验证形式,通常是自动机(非确定自动机).构造非确定自动机的过程主要是通过中间构建交换自动机来实现.详细给出了由非时钟FL构造双向交换自动机的构造规则.构造规则的核心逻辑不仅仅局限于是在LTL(linear temporal logic)基础上的正规表达式,而且全面而充分地考虑了各种FL操作算子的可能性.并且给出了将双向交换自动机转化为非确定自动机的一种方法.最后,编写了将PSL转化为上述自动机的实现工具.FL双向交换自动机的构造规则计算复杂度仅是FL公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值. 展开更多
关键词 psl(property specification language) FL(foundation language) 双向交换自动机 非确定自动机 模型检验
在线阅读 下载PDF
PSL603G型保护装置远跳回路存在的问题及解决措施 被引量:2
20
作者 王永胜 张迎宾 侯登旺 《内蒙古电力技术》 2007年第1期59-60,共2页
2006-01-03高顺变251高资I回光纤纵差保护动作,发现了PSL603G型光纤差动保护远跳回路存在接点抖动的问题,分析了抖动的原因,提出了3种解决措施。
关键词 psl603G型保护装置 远传跳闸 接点抖动
在线阅读 下载PDF
上一页 1 2 12 下一页 到第
使用帮助 返回顶部