期刊文献+
共找到160篇文章
< 1 2 8 >
每页显示 20 50 100
水稻早衰突变体psls1的基因定位及克隆 被引量:7
1
作者 黄雅敏 朱杉杉 +4 位作者 赵志超 蒲志刚 刘天珍 罗胜 张欣 《作物学报》 CAS CSCD 北大核心 2017年第1期51-62,共12页
水稻叶片早衰直接影响作物的光合效率,减少产量,降低品质。深入研究早衰的分子机制对控制和延缓衰老具有重要意义。本文报道了一个早衰突变体psls1(premature senescence leaf with spots)的基因定位及克隆结果。突变体在发育到七叶期以... 水稻叶片早衰直接影响作物的光合效率,减少产量,降低品质。深入研究早衰的分子机制对控制和延缓衰老具有重要意义。本文报道了一个早衰突变体psls1(premature senescence leaf with spots)的基因定位及克隆结果。突变体在发育到七叶期以后,叶片自下而上叶绿素含量下降,过氧化氢过量积累,突变体叶片逐渐黄化至枯萎;其他农艺性状如株高、分蘖数、主穗长、结实率和穗粒数也相应变差。电镜观察进一步发现,psls1衰老叶片中叶绿体降解、类囊体基粒片层模糊,嗜锇颗粒明显增多。遗传分析表明,psls1受1对隐性基因控制,利用psls1×IRAT129杂交组合F2分离群体中的1690个早衰个体,将基因PSLS1定位在第7染色体分子标记ZS-3和ZS-8之间89 kb的范围内。测序研究发现,区间内一个编码铁氧还依赖的谷氨酸合酶基因LOC_Os07g46460的第2外显子末位的G被替换为A,导致转录本的错误剪切,突变体的c DNA缺失了57 bp碱基片段。在突变体中该基因表达量下降,谷氨酸合酶活性降低,其产物谷氨酸含量显著下降、其他氨基酸代谢紊乱。水培低氮处理下可诱发突变体psls1早衰。研究结果表明,由于PSLS1突变使得谷氨酸合酶失活,氮代谢异常而导致突变体psls1早衰。 展开更多
关键词 水稻 早衰 基因定位 psls1基因 谷氨酸合酶(Fd-GOGAT)
在线阅读 下载PDF
铜绿假单胞菌胞外多糖生物合成与降解的研究进展
2
作者 曹家敏 朱艳芳 +2 位作者 华明明 杨波 胡征 《生物技术》 2025年第5期641-648,共8页
铜绿假单胞菌是临床中常见的一种条件致病菌。在慢性感染过程中,铜绿假单胞菌能够在各种表面或环境中形成生物膜或聚集体为自身提供针对抗生素的物理保护与免疫逃避。胞外多糖:藻酸盐、Pel和Psl是构成生物膜基质的重要组成成分,其与铜... 铜绿假单胞菌是临床中常见的一种条件致病菌。在慢性感染过程中,铜绿假单胞菌能够在各种表面或环境中形成生物膜或聚集体为自身提供针对抗生素的物理保护与免疫逃避。胞外多糖:藻酸盐、Pel和Psl是构成生物膜基质的重要组成成分,其与铜绿假单胞菌的致病性和耐药性密切相关。该文系统地介绍了藻酸盐、Pel和Psl的相关生物合成调控,并对针对AlgL、PelA、PslG如何参与调控胞外多糖的降解,以及糖苷水解酶/裂解酶作为抗生素辅助剂被用于抗菌应用进行了阐述,以期为深入研究靶向胞外多糖的抗生物膜治疗提供参考。 展开更多
关键词 铜绿假单胞菌 藻酸盐 PEL PSL 致病性 调控 糖苷水解酶 抗生素辅助剂
原文传递
基于站台门PSL控制系统的优化开发
3
作者 徐文文 圣祝素 王敏 《机电工程技术》 2025年第17期140-143,161,共5页
城市轨道交通站台门系统有5种控制方式,其中就地控制盘(PSL)是系统级控制失效后,操作相对频繁的控制方式。PSL可以实现整侧滑动门的开关门,便于乘客上下车,保证轨道交通的正常运营。结合高职院校对站台门技能实训的需求,更好地掌握其功... 城市轨道交通站台门系统有5种控制方式,其中就地控制盘(PSL)是系统级控制失效后,操作相对频繁的控制方式。PSL可以实现整侧滑动门的开关门,便于乘客上下车,保证轨道交通的正常运营。结合高职院校对站台门技能实训的需求,更好地掌握其功能及控制原理,提出优化方案。针对城市轨道交通站台门实训装备整机运行与就地控制盘(PSL)实训模块独立拆装的矛盾,结合站台门设备庞大与实训场地有限的现实问题,基于当前站台门实训装备的就地控制盘(PSL)控制系统,提出建设模块化、小型化、独立化、移动式的实训项目装备,对其进行优化开发,增加红外探测报警和红外旁路等,优化PSL的电气控制功能,提高设备使用效率。通过对PSL盘面的合理布局及其控制功能优化升级,可以满足PSL的元件拆装、线路拆装、功能调试、整机运行等实训要求。将PSL从端门内移动到端门外,还适用于全自动运行线路。其立柱式设计,方便走线,底部增加了滑轮,可方便移动,便于在不同地方安装、调试和存储。这些优化设计有效解决整机运行操作与实训项目装调的矛盾问题,不仅实现直观地装调设备,增强实训项目的可操作性、可拆卸性、可调试性、可考核性,还提高了实训有效性和效果,体现了实训装备实用性的现实意义。 展开更多
关键词 站台门 PSL 优化 调试 独立性
在线阅读 下载PDF
Time-specific study on the efficacy of stems and leaves of Arachis hypogaea L.targeting glycine/serine metabolism for insomnia treatment
4
作者 Yin Wang Yuling Huang +5 位作者 Guohua Wang Ting Jiang Shuwen Geng Hongzhan Xu Tingting Zhou Wenjing Zhang 《Journal of Pharmaceutical Analysis》 2025年第11期2760-2763,共4页
In nature,certain plants exhibit“sleep”behaviors,such as leaves opening during the day and closing at night[1],which is synchronized with the human circadian rhythm.Traditional Chinese medicine(TCM)describes this ph... In nature,certain plants exhibit“sleep”behaviors,such as leaves opening during the day and closing at night[1],which is synchronized with the human circadian rhythm.Traditional Chinese medicine(TCM)describes this phenomenon as the plant's“diurnal opening and nocturnal closing”trait.Peanut stems and leaves(PSL)refers to the stems and leaves of the leguminous plant Arachis hypogaea L.,which displays this characteristic.PSL has been used as a traditional herbal medicine in TCM for treating insomnia,it was recommended by the Chinese Sleep Research Society's Insomnia Diagnosis and Treatment Guidelines as a recommended monotherapy for treating insomnia in primary healthcare institutions in 2024[2].Based on this,our research group developed a TCM formulation from PSL,named Luo Hua An Shen Oral Liquid(LAOL),which has been clinically applied for over 40 years to treat insomnia.Numerous clinical studies have shown that taking PSL before bedtime promotes sleep[3],while daytime administration enhances daytime functioning.Moreover,our findings demonstrate that the therapeutic efficacy of PSL is independent of administration dosage,administration frequency,and moderate-to-vigorous intensity physical activity. 展开更多
关键词 Arachis hypogaea L insomnia treatment stems leaves psl refers stems leaves treating insomniait glycine serine metabolism arachis hypogaea leguminous plant
暂未订购
基于GPS数据的出租车路径选择行为研究 被引量:17
5
作者 杨扬 姚恩建 +1 位作者 潘龙 赵楠 《交通运输系统工程与信息》 EI CSCD 北大核心 2015年第1期81-86,共6页
出租车路径选择行为研究对于剖析城市交通流时空分布规律及交通流分配具有重要意义.基于北京市出租车调度系统采集的GPS(Global Positioning System)数据,本文首先通过旅程数据提取、地图匹配及双向扫除算法,构建车辆路径选择行为分析... 出租车路径选择行为研究对于剖析城市交通流时空分布规律及交通流分配具有重要意义.基于北京市出租车调度系统采集的GPS(Global Positioning System)数据,本文首先通过旅程数据提取、地图匹配及双向扫除算法,构建车辆路径选择行为分析所需的RP(Revealed Preference)数据.其次,在综合考虑道路网络条件和交通条件对驾驶员路径选择行为影响的基础上,构建基于PSL(Path-Size Logit)模型的出租车多路径概率选择模型.案例分析结果表明,出租车驾驶员更倾向于选择旅行时间短、转向次数少、主干路和次干路比例较高的路径.同时,文中所提出的路径选择行为建模方法,对于提高GPS数据的使用价值具有积极的意义. 展开更多
关键词 交通工程 路径选择行为 PSL模型 出租车 GPS数据
在线阅读 下载PDF
一种改进的非线性调频信号波形设计方法 被引量:11
6
作者 张群英 何佩琨 毛二可 《北京理工大学学报》 EI CAS CSCD 2000年第3期352-355,共4页
研究非线性调频信号波形设计方法 .依据相位逗留原理 ,采用动态优选法 ,给出了一种改进的非线性调频信号波形设计方法 .该方法可以根据脉冲压缩输出波形峰值主副比或者主瓣宽度的具体要求设计出更加实用的非线性调频信号波形 .增加了波... 研究非线性调频信号波形设计方法 .依据相位逗留原理 ,采用动态优选法 ,给出了一种改进的非线性调频信号波形设计方法 .该方法可以根据脉冲压缩输出波形峰值主副比或者主瓣宽度的具体要求设计出更加实用的非线性调频信号波形 .增加了波形设计的灵活性 ,运算量小 ,设计速度快 .采用该方法设计的波形脉压输出主副比低 .设计算例结果表明了该方法的有效性 . 展开更多
关键词 脉冲压缩 非线性调频信号 雷达 设计 雷达 PSL
在线阅读 下载PDF
PSL空间关系扩展及其在企业建模中的应用 被引量:5
7
作者 姜艺 潘燕华 +1 位作者 葛世伦 朱俊武 《计算机应用研究》 CSCD 北大核心 2005年第11期146-148,共3页
PSL是面向制造业信息集成的过程规范语言,用户可根据需求对其基本理论进行扩展。为了满足企业建模对空间关系的刻画需求,以空间关系RCC理论为基础,实现了PSL空间关系扩展。最后给出一个基于空间关系扩展的PSL应用实例。
关键词 企业建模 PSL 空间关系 本体
在线阅读 下载PDF
脉冲光激发系统法检测辐照中药材方法的建立 被引量:3
8
作者 毕福钧 张立雯 +1 位作者 林彤 江英桥 《中草药》 CAS CSCD 北大核心 2012年第11期2279-2283,共5页
目的建立辐照中药材的系统检测方法,为评价中药材质量及安全用药提供参考。方法利用脉冲光激发光系统(PSL)研究不同来源不同品种中药材在一系列辐照剂量(1、2、4、6、8、10 kGy)辐射后光子计数率的变化规律。以光子计数率700为筛查阈值... 目的建立辐照中药材的系统检测方法,为评价中药材质量及安全用药提供参考。方法利用脉冲光激发光系统(PSL)研究不同来源不同品种中药材在一系列辐照剂量(1、2、4、6、8、10 kGy)辐射后光子计数率的变化规律。以光子计数率700为筛查阈值,对中药材样品进行辐照初筛;以1 kGy作为校正剂量对光子计数率高于700的样品进行校正PSL。结果选定的28批中药材样品经上述一系列辐照剂量辐射后,光子计数率均比辐照前大幅增加;连续测定同一份样品4次,与第1次相比,光子计数率均呈现40%±10%、60%±10%和70%±10%的下降规律。辐照初筛的403批中药材样品中,光子计数率低于700的有307批,占76.2%;光子计数率高于700的有96批,占23.8%,其中经校正PSL法检测后依法判定为辐照过的阳性样品1批,占全部样品的0.25%。结论本法简单可靠,准确度较高,可用于辐照中药材的系统筛查。 展开更多
关键词 辐照 中药材 PSL筛查法 校正PSL法 光子计数率
原文传递
用PSL法生产细木工芯板 被引量:3
9
作者 金永明 钱俊 +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
PSL2 X65QO/X65QS海洋抗腐蚀管线用无缝钢管生产实践 被引量:6
10
作者 周晓锋 程林 +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
面向SOC芯片的跨时钟域设计和验证 被引量:5
11
作者 罗莉 何鸿君 +1 位作者 徐炜遐 窦强 《计算机科学》 CSCD 北大核心 2011年第9期279-281,297,共4页
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based v... 随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证。CDC设计应用于研发的一款65nm工艺SOC芯片(最高主频1GHz、10个时钟域设计、多种工作模式),该芯片已流片回来。经测试,芯片的功能正确,说明设计和验证方法是完备的。 展开更多
关键词 跨时钟域设计 基于断言的验证 PSL属性说明语言 符号模型检查 LTL线性时序逻辑
在线阅读 下载PDF
覆盖率驱动的芯片功能验证设计与实现 被引量:3
12
作者 罗莉 何鸿君 +1 位作者 窦强 徐炜遐 《计算机工程与科学》 CSCD 北大核心 2013年第1期36-40,共5页
随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流... 随着芯片集成度的发展,芯片性能越来越高,而上市时间越来越短,芯片验证在芯片设计中非常关键并贯穿于整个设计过程,验证的效率和质量直接决定着芯片的成败。提出了基于覆盖率驱动的芯片功能验证方法,定义了基于功能点覆盖率驱动的验证流程,利用PSL语言描述断言检查很有效,通过模拟工具检查断言是否成功,从而判断设计是否满足系统的功能要求。在网络接口芯片实际应用中,有效地降低了验证工作的复杂度,同时提高了验证的速度和质量。利用功能覆盖率数据判断测试激励的正确性和完整性,同时用覆盖率数据定量评价验证进程,提高了整个设计的效率。 展开更多
关键词 覆盖率驱动 功能验证 PSL SYSTEMVERILOG
在线阅读 下载PDF
胶液含量对单板条层积材柱构件性能的影响 被引量:3
13
作者 王志强 王转转 +2 位作者 赵丹 那斌 卢晓宁 《林业工程学报》 北大核心 2016年第6期34-38,共5页
为促进利用速生杨木单板生产单板条层积材(parallel strand lumber,PSL)以制备木结构建筑中的柱构件,将杨木单板条浸渍不同质量分数(10%,20%和30%)的酚醛树脂胶,采用热压工艺压制单板条层积材,并测定试件热压过程中的温度传递和轴心抗... 为促进利用速生杨木单板生产单板条层积材(parallel strand lumber,PSL)以制备木结构建筑中的柱构件,将杨木单板条浸渍不同质量分数(10%,20%和30%)的酚醛树脂胶,采用热压工艺压制单板条层积材,并测定试件热压过程中的温度传递和轴心抗压力学性能。结果表明,PSL热压升温曲线可分为快速升温阶段和缓慢升温阶段,在快速升温阶段,随着单板条浸渍胶液质量分数的增加,板坯传热速度逐渐增加。PSL柱轴心抗压力学性能随着单板条浸渍胶液质量分数的增加而提高,浸胶胶液质量分数为10%的PSL试件轴心抗压性能最低,浸渍20%和30%质量分数胶黏剂的PSL柱试件的初始弹性模量比浸渍10%质量分数胶黏剂的PSL柱试件分别提高841%和1577%,临界应力也分别提高3103%和3698%。单板条浸渍不同胶液质量分数的PSL柱试件轴心抗压破坏形式不同,主要包括顺纹贯穿的开裂破坏和柱端部压溃破坏。综合考虑,采用20%质量分数胶液浸渍单板条压制的PSL物理力学性能最为合适。 展开更多
关键词 杨木 单板条层积材(PSL) 胶液质量分数 热压温度传递 轴心抗压性能
在线阅读 下载PDF
猪多杀性巴氏杆菌5:A型Ts-8株psl基因的克隆和序列分析 被引量:3
14
作者 肖国生 曹三杰 +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
利用光释光法检测辐照食品 被引量:2
15
作者 冯敏 朱佳廷 +2 位作者 杨萍 王德宁 顾贵强 《江苏农业科学》 CSCD 北大核心 2012年第8期301-302,共2页
通过对欧洲标准EN 13751—2002的详细解读,介绍了1种利用光释光法检测辐照食品的方法。在苏格兰大学研究与反应堆中心组织的光释光法验证试验中,75个甲壳类食品样品的辐照情况都被正确鉴别,662个草药、香料、调味料以及4种混合食品样品(... 通过对欧洲标准EN 13751—2002的详细解读,介绍了1种利用光释光法检测辐照食品的方法。在苏格兰大学研究与反应堆中心组织的光释光法验证试验中,75个甲壳类食品样品的辐照情况都被正确鉴别,662个草药、香料、调味料以及4种混合食品样品(345个经过辐照,317个未经辐照)中577个样品被正确定性分类。光释光法适用于贝壳、草药、香料、调味料等辐照食品的鉴别检测。 展开更多
关键词 检测 光释光(PSL)法 香料 调味料 辐照食品
在线阅读 下载PDF
基于PLS和GAs的径基函数网络构造策略 被引量:5
16
作者 赵伟祥 吴立德 《软件学报》 EI CSCD 北大核心 2002年第8期1450-1455,共6页
鉴于传统径基函数网络(radial basis function network,简称RBFN)构造策略的不足,提出了基于偏最小二乘法(partial least squares,简称PLS)和遗传算法(genetic algorithms,简称GAs)的RBFN构造策略和一种更有效的径基宽度取值方法.在这... 鉴于传统径基函数网络(radial basis function network,简称RBFN)构造策略的不足,提出了基于偏最小二乘法(partial least squares,简称PLS)和遗传算法(genetic algorithms,简称GAs)的RBFN构造策略和一种更有效的径基宽度取值方法.在这个集成构造策略中,PLS克服了K-Means算法求取径基易陷入局部最优的弊病,并使合成径基比由正交算法获取的径基更具代表性;而所提出的径基宽度取值方法和GAs则为网络性能和结构的实质性改善与优化提供了保障.实验证实了基于PLS和GAs的RBFN构造策略及所提出的径基宽度取值方法的优越性、可靠性和有效性. 展开更多
关键词 PSL GAS 径基函数网络 构造策略 神经网络 聚类 正交算法 偏最小二乘回归 遗传算法
在线阅读 下载PDF
考虑换乘次数阈值的城轨乘客路径选择行为分析 被引量:2
17
作者 姚恩建 金方磊 +2 位作者 胡倩雯 张永生 杨扬 《西南交通大学学报》 EI CSCD 北大核心 2017年第3期639-645,共7页
为分析通勤与非通勤乘客通常因不同的到达时间约束而表现出不同的路径选择行为差异,基于非集计理论构建了路径选择模型.该模型首先提出了换乘次数阈值概念,用以分析不同换乘次数条件下,换乘时间对乘客感知效用的影响;其次,在利用广州地... 为分析通勤与非通勤乘客通常因不同的到达时间约束而表现出不同的路径选择行为差异,基于非集计理论构建了路径选择模型.该模型首先提出了换乘次数阈值概念,用以分析不同换乘次数条件下,换乘时间对乘客感知效用的影响;其次,在利用广州地铁实际路网数据生成有效路径集合的基础上,利用乘客实际路径选择数据确定乘客的换乘次数阈值;最后,基于改进PSL(path sized logit)模型的标定结果,对乘客路径选择行为进行对比分析.研究结果表明,通勤和非通勤乘客在高次数与低次数换乘条件下的换乘时间系数的比值分别为1.114 5、1.037 9,说明通勤者对高换乘次数的换乘时间更加敏感. 展开更多
关键词 通勤与非通勤 路径选择 换乘次数阈值 PSL模型
在线阅读 下载PDF
PSL602与WBZ-1202B保护装置调试中的几个问题 被引量:2
18
作者 张利敏 吕艳萍 丁坚勇 《电力自动化设备》 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
19
作者 王志刚 王绍恒 《计算机科学》 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的有界模型检验 被引量:2
20
作者 虞蕾 赵宗涛 《电子学报》 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
上一页 1 2 8 下一页 到第
使用帮助 返回顶部