PSL空间关系扩展及其在企业建模中的应用

PSL是面向制造业信息集成的过程规范语言,用户可根据需求对其基本理论进行扩展。为了满足企业建模对空间关系的刻画需求,以空间关系RCC理论为基础,实现了PSL空间关系扩展。最后给出一个基于空间关系扩展的PSL应用实例。

单板条层积材(PSL)施胶方法与热压工艺的研究

以杨木碎单板切成的单板条制作PSL为研究对象,通过分析单板条的尺寸形态、施胶的胶液浓度与施胶时间对单板条吸胶量影响,考察了3种不同的施胶方法、热压时间与温度对PSL物理力学性能的影响,优化了热压工艺。结果表明,单板条的尺寸形态对其吸胶量没有显著的影响,它主要影响产品的均一性和外观质量;胶黏剂的浓度是影响单板条吸胶量的一个重要因素,选用胶液浓度为30%的酚醛树脂胶;施胶方法是影响PSL力学性能的重要因素;热压时间和热压温度对PSL的物理力学性能有显著的影响。综合考虑产品的物理力学性能和产品均一性,以单板条长度为100mm,采用喷胶方式,热压时间为35min、热压温度为150℃时制成的PSL的性能较好。

用PSL法生产细木工芯板

为了促进杉木加工剩余物的工业化利用 ,分析了杉木边皮劈条及制板生产的可行性。对杉木边皮劈制的木条进行PSL法制板试验 ,测试其物理力学性能 ,分析了制板参数 ,选择了较佳的工艺。结果表明 :采用脲醛树脂 [固含量 49% ,粘度 0 1 2Pa·s ( 2 0℃ ) ]对杉木边皮劈条进行热压胶合是可行的。当施胶量为 4% ,热压温度 1 1 0℃ ,热压时间 1 0min时 ,就能满足中高档细木工芯板对静曲强度、弹性模量和吸水厚度膨胀率的要求。表 3参

猪多杀性巴氏杆菌5：A型Ts-8株psl基因的克隆和序列分析

根据禽多杀性巴氏杆菌psl基因序列,设计了1对引物,从猪源多杀性巴氏杆菌5:A型Ts-8株中扩增出453bp的psl基因,将其克隆到pMD18-T载体后测序。序列分析表明,该基因与禽多杀性巴氏杆菌T16株的psl基因序列只相差2个碱基,同源性高达99%;与流感嗜血杆菌编码P6蛋白的基因序列同源性为83%。猪psl基因的推导氨基酸序列与禽psl基因、P6蛋白的氨基酸序列同源性分别为100%,87%。结果表明,多杀性巴氏杆菌psl基因在猪和禽的菌株中是高度保守的,而且与P6蛋白的氨基酸序列具有较高的同源性。

低温PSL-3S135钻杆用无缝钢管的开发

介绍了低温PSL-3 S135钻杆用无缝钢管的主要技术指标、钢种设计、生产工艺流程及力学性能检测结果。通过合金化技术、纯净钢冶炼、控制轧制、热处理等手段,保证了PSL-3 S135钻杆用无缝钢管具有较高的屈服强度,同时又具有良好的低温冲击韧性和优良的高温强度。检测结果表明:生产的低温PSL-3 S135钻杆用无缝钢管的屈服强度高于950 MPa,-20℃管体纵向全尺寸冲击功∧100 J,可以保证该S135钻杆在苛刻条件下的使用安全性。

PSL逻辑及验证技术研究进展与展望

在简要介绍PSL的分层结构和语法与语义基础上,综述了PSL验证技术的应用研究现状,分析了各种方法、技术的优缺点,最后指出了PSL验证技术的未来研究展望。

工艺因子对杨木碎单板PSL材性变异性的影响

利用杨木碎单板制造PSL,考察板密度、板厚度、单板条长度以及铺装方式对PSL材性变异性的影响。研究表明,材性变异性均随板密度、板厚度的增大而减小,随单板条长度的增大而增大,铺装方式的影响中平行定向铺装时最小,定向抛洒铺装稍大,≤30°角铺装时最大。各项工艺因子对顺纹抗压强度变异性的影响均较小。对工艺因子影响下的力学强度进行可靠性分析,得出PSL安全系数为：MOE 2.4~5.149;MOR 3.229~8.401;顺纹抗压强度1.131~1.54。

PSL的有界模型检验

基于SAT的有界模型检验被视为是基于OBDD的符号化模型检验技术的重要补充,是并行反应式系统的一种有效验证方法.然而,直至现在,有界模型检验已验证的属性逻辑还十分有限.PSL是一种用于描述并行系统的属性规约语言(IEEE-1850),包括线性时序逻辑FL和分支时序逻辑OBE两部分.通过模型检验可验证系统的PSL属性,本文提出了PSL的有界模型检验方法及其算法框架.首先,定义PSL逻辑的有界语义,而后,将有界语义进一步简化为SAT,分别将PSL性质规约公式和系统M的状态迁移关系转换为SAT命题公式,最后验证上述两个SAT命题公式合取式的可满足性,这样就将时序逻辑PSL的存在模型检验转化为一个命题公式的可满足性问题,并用一个队列控制电路实例具体解释算法执行过程.

中国胶合板集群区杨木碎单板PSL研制与开发的可行性分析

在中国胶合板产业集群区内,大量的中小企业在用杨树为原材料生产胶合板,而产生了大量的杨木碎单板,这些碎单板如果没有更好的利用,就会被填充到胶合板中,影响胶合板的质量。因此,我们以这些碎单板废料为原料,以中小企业为对象,依据中国丰富而廉价的劳动力资源优势,探讨产业集群内杨木碎单板PSL研制与开发的可行性,以期提高集聚区的胶合板质量,同时避免资源浪费。从PSL的技术研究现状、目前的市场需求、产品开发等方面,并结合胶合板的原料优势、分工优势和成本优势进行综合分析,研究的结论是在中国胶合板产业集群区内,利用胶合板生产的下脚料为原料,进行碎单板工业化生产,对于提高其价值,为企业创造更高的经济效益及社会效益是非常有意义的一项创新。

PSL多路阀中二通压力补偿阀动态特性研究

研究介绍了PSL负载敏感型比例多路阀的结构及工作原理,阐述了二通压力补偿阀在该负载敏感型比例多路换向阀中所起的作用及其结构,通过AMESim仿真软件对PSL负载敏感型比例多路换向阀中的二通压力补偿阀进行了建模和仿真分析,研究了PSL负载敏感型比例多路换向阀中二通压力补偿阀的动态特性,分析了弹簧刚度对系统响应的影响.结果表明:弹簧刚度为80N/mm时,LS油路升压速度低于弹簧刚度为30N/mm时的升压速度,即弹簧刚度越大,系统响应越低.

基于PSL与XML的软件过程描述模型SPRM的设计和实现

本文在研究CMM的基础上提出了一种利用过程规范语言PSL对软件过程进行建模的思想,设计并给出了一个软件过程描述模型SPRM。该模型遵循CMM3级对软件过程定义的要求,采用XML Schema作为其统一描述语言,保证了软件过程的统一性和可扩展性,有利于实现软件过程的互操作与过程资源的共享,为实现统一的软件过程管理打下了基础。最后,本文利用SPRM模型实现了一个过程实例——简单评审过程,说明了如何利用SPRM定义企业的不同软件过程。

桉木制结构复合材PSL柱的静动态弹性模量

以新型桉木制结构复合材PSL柱为试验对象,进行了应力波无损动态力学性能测试和足尺顺纹受压静态力学性能测试,探讨了PSL柱动、静态弹性模量之间的关系,分析了应力波沿PSL柱斜对角向的传播机理,建立了PSL柱斜对角向动态弹性模量的简化计算模型.结果表明:PSL柱纵向动态弹性模量与宽度方向、厚度方向、斜对角向动态弹性模量的比值分别为11.4,41.9,1.7左右;PSL柱纵向动态弹性模量约为纵向静态弹性模量的1.46倍;受压损伤后PSL柱纵向和斜对角向动态弹性模量均为相应未损伤动态弹性模量的0.84倍左右.PSL柱斜对角向动态弹性模量主要取决于应力波沿纵向、宽度方向、厚度方向传播的距离分量及各方向动态弹性模量的大小.

PSL构造双向交换自动机及非确定自动机的方法

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公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值.

应用OBDD和PSL的航迹规划方法研究

航迹规划是决定无人飞行器飞行航迹优劣的关键环节。由于无人飞行器飞行空域广,态势也较复杂,实际规划中常常面临搜索的状态多、收敛时间慢等问题,这成为无人飞行器执行飞行任务的瓶颈,解决的优化策略包括:缩小问题的状态空间以及根据问题的约束条件,在搜索中剪枝。模型检验的经典OBDD(有序二叉决策图)方法是表示状态和状态迁移的高效率的数据结构方法,可以简化状态系统的表示空间;而PSL是一种重要时序逻辑,利用PSL和一阶逻辑描述无人飞行器航迹规划的领域约束,以期在规划中剪枝搜索状态。在使用上述两种优化策略基础上设计了航迹规划搜索算法,并实现了该算法的规划仿真,仿真结果表明该方法是一种有效可行的航迹规划方法。

基于PSL的制造过程信息描述方法研究

为解决企业制造过程信息的描述和交互问题,提出了一种基于可扩展标记语言(XML)的过程描述元模型。在该模型中,定义了基于过程描述语言(PSL)本体的语义映射规则及映射的具体过程,对过程描述语言本体进行了语义分析,实现了对过程信息的语义层次描述;借助可扩展标记语言的语法结构,建立基于可扩展标记语言的过程描述语言核心元素的描述规则,并作为过程信息语法层次描述的统一标准,实现过程信息在语法层次的信息转换。最后,通过具体的可选工艺信息描述实例,验证了该模型及实现方法的有效性和可行性。

基于PSL/Sugar语言的RISC模块验证

由于RISC具有流水线结构和指令多样性的特点,传统的Co Verification方法使RISC验证工作复杂而艰巨.在用PERL语言编写产生的随机测试机器码的基础上,利用Accellera组织提出的PSL/Sugar语言,结合Cadence公司的ABV验证工具,探讨了一种新颖的RTL级RISC模块的ABV验证模式.实验证明,该方法简单、快捷、可靠,能保证验证功能覆盖率达到100%,可以节省大量验证工作量,缩短SOC的开发周期,为加快芯片从设计到产品化的过程增加了一道安全的技术保障.

基于PSL断言的宽带电路交换芯片验证

利用基于PSL断言的验证方法验证了宽带电路交换芯片XYDXC160的设计。该芯片单片支持64路2.488Gb/s STM-16帧结构的SDH码流的输入/输出,实现1 024×1 024 STM-1流的无阻塞电路交换。断言技术的引入,降低了验证工作的复杂度,提高了验证的速度和效率,确保了验证工作的质量。

Survivin RNAi联合PsL 5F影响MCF-7细胞增殖和凋亡的研究

目的探讨RNAi介导的基因治疗联合天然药物半边旗提取物5F(Ps L 5F)对肿瘤细胞增殖和凋亡的影响。方法采用腺病毒介导Survivin RNAi联合PsL 5F作用乳腺癌细胞MCF-7,免疫印迹法检验Survivin被沉默的程度,通过MTT检测细胞的增殖情况,流式细胞术检测细胞凋亡情况。结果免疫印迹实验发现Survivin蛋白的表达明显被抑制;MTT实验表明联合作用对细胞增殖的抑制作用从单独应用的50.00%(P<0.001),提高到86.12%(P<0.001);流式细胞术也发现联合应用能更大程度地促进细胞的凋亡。结论 Survivin RNAi和PsL 5F联合作用,可显著提高对MCF-7细胞增殖的抑制作用和对细胞凋亡的促进作用,这为肿瘤的综合治疗提供了理论基础和实验室依据。

基于PSL的本体交换技术研究及应用

在实践中由于创建本体的工具、理论的不同而产生本体交换的需要,而PSL正是为解决过程应用中本体的交换问题而设计的,这里讨论了PSL本体的结构,并以工艺过程中的毛坯和库存过程中的原材料两个概念为例来说明PSL的本体交换机制。

6072阶单群同构于PSL(2,23)的初等群论证明

仅用Sylow定理证明6 072阶单群一定同构于PSL(2,23).