期刊文献+
共找到52篇文章
< 1 2 3 >
每页显示 20 50 100
LTS仿真模型组合验证方法 被引量:1
1
作者 冯晓宁 王卓 王金娜 《哈尔滨工程大学学报》 EI CAS CSCD 北大核心 2014年第5期589-593,618,共6页
为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型... 为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。 展开更多
关键词 仿真模型组合 标签转移系统 语义相似度
下载PDF
基于LTS的Statecharts操作语义研究
2
作者 钱俊彦 赵岭忠 《计算机工程》 EI CAS CSCD 北大核心 2006年第22期43-45,共3页
Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法,介绍了Statecharts及其项语法和一步语义,并基于进程代数描述Statecharts的并发行为,使用结构化的操作... Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标签变迁系统(LTS)的Statecharts操作语义描述方法,介绍了Statecharts及其项语法和一步语义,并基于进程代数描述Statecharts的并发行为,使用结构化的操作语义SOS规则描述Statecharts的组合语义,从而得到相应的LTS。 展开更多
关键词 STATECHARTS 操作语义 标签变迁系统
下载PDF
基于LTS图的构件规约匹配
3
作者 林雪云 《福建工程学院学报》 CAS 2009年第6期672-676,共5页
构件重用是缩减软件设计周期和提高软件可靠性的有效方法。基于构件的软件开发(CBSD)主要花费在于构件的检索和修改,而匹配过程则是关键。文章提出一个基于LTS图模型(Labeled Transition System)的形式化构件匹配方法,此方法将构件匹配... 构件重用是缩减软件设计周期和提高软件可靠性的有效方法。基于构件的软件开发(CBSD)主要花费在于构件的检索和修改,而匹配过程则是关键。文章提出一个基于LTS图模型(Labeled Transition System)的形式化构件匹配方法,此方法将构件匹配分为结构匹配和功能匹配两部份。结构匹配过程通过树的同构匹配完成,用于检查构件的可调整性;功能匹配则通过S-Forced模拟完成,用于确保得到适当的功能。 展开更多
关键词 lts ltstree ltsforest S-forcedsimulation ltsgraphmatching
下载PDF
逻辑LTS预备模拟关系的判定算法
4
作者 朱文涛 《计算机工程与应用》 CSCD 北大核心 2016年第17期41-48,共8页
进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从... 进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从划分对的角度出发,给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法,并证明其正确性。 展开更多
关键词 逻辑标记转换系统 预备模拟 划分对 稳定性 判定算法
下载PDF
基于极限条件的VFLLT码系统设计与性能研究
5
作者 赵旦峰 钱晋希 李炜 《计算机应用与软件》 CSCD 2011年第8期162-164,189,共4页
针对LT(Luby Transform)码的编码效率不高、时延长且译码概率低等弊端,将数学极限分析方法引入到LT码的度数分布中,提出了一种不定帧长LT码VFLLT(variable frame length LT)编译码系统方案,其核心思想是将原始数据进行适当的帧长设计,... 针对LT(Luby Transform)码的编码效率不高、时延长且译码概率低等弊端,将数学极限分析方法引入到LT码的度数分布中,提出了一种不定帧长LT码VFLLT(variable frame length LT)编译码系统方案,其核心思想是将原始数据进行适当的帧长设计,通过不定帧长的方法对原始数据进行拆分编译码。在理论推导过程中,详细分析了该不定帧长LT码设计方法的编译码复杂度和平均度数。理论分析和仿真结果表明:与传统LT码相比,不定帧长LT码能够有效地提高编码效率和译码概率,降低其编译码运算量和度数分布值,增强了LT码在实际系统应用时的可行性。 展开更多
关键词 极限分析方法 不定帧长 lt 编码系统
下载PDF
基于LT-GaAs外延片的THz片上系统 被引量:1
6
作者 吴蕊 苏波 +3 位作者 赵亚平 何敬锁 张盛博 张存林 《光谱学与光谱分析》 SCIE EI CAS CSCD 北大核心 2021年第5期1373-1378,共6页
太赫兹(THz)波在物质检测方面发挥着巨大的作用,是一种非常有潜力的生化传感工具。但是传统的太赫兹时域光谱系统(TDS)结构复杂,系统的集成度低,占用空间较大。所以,如何对THz波进行有效引导、实现集成化传输并得到高质量光谱就成为太... 太赫兹(THz)波在物质检测方面发挥着巨大的作用,是一种非常有潜力的生化传感工具。但是传统的太赫兹时域光谱系统(TDS)结构复杂,系统的集成度低,占用空间较大。所以,如何对THz波进行有效引导、实现集成化传输并得到高质量光谱就成为太赫兹光谱系统的研究热点。太赫兹片上系统是将THz的产生、传输以及探测都集成到同一芯片上,然后通过相干探测的方法获得THz时域光谱。它可以实现对多种样品的检测,尤其在对难于取样的微量样品探测方面具有广泛的应用价值。它无需光路准直,操作简便,成品率高。两个研究工作都是基于低温砷化镓(LT-GaAs)外延片开展的。首先将一根直径为200μm的铜线固定在LT-GaAs外延片的上方,通过真空蒸镀的方法制备出天线电极,同时得到天线间隙,研制出基于LT-GaAs外延片的THz天线。利用波长为800 nm的飞秒激光对其进行测试,得到了质量较高的THz信号,验证了天线的实用性。然后在另一外延片上利用光刻微加工工艺制作出传输线和微电极,得到了集成的THz片上系统。使用波长为1550 n m的飞秒激光分别激发片上系统的太赫兹产生天线和探测天线,天线产生的太赫兹波在传输线上传播,在探测端同样得到了质量较高的THz时域信号,证实了THz片上系统的可行性。该方法省去了腐蚀牺牲层以及LT-GaAs薄膜的转移、键合等步骤,极大地提高了片上系统的成品率,避免了薄膜转移过程中易破碎及腐蚀液存在毒性的问题。最后,研究了外加电压对从片上系统中获得的THz波性能的影响,结果为电压越高,THz波的信号强度越强;另外,通过在传输线上方垂直放置铜箔的方法验证了THz波沿着传输线传播的事实。该研究中采用的基于LT-GaAs外延片的片上系统的制备方法简单,制作周期短,制作过程安全,应用领域广泛,这为将来与微流控芯片相结合实现对液体样品的探测打下了基础。 展开更多
关键词 太赫兹 外延片 lt-GAAS 光电导天线 片上系统
下载PDF
An image encryption scheme based on three-dimensional Brownian motion and chaotic system 被引量:6
7
作者 Xiu-Li Chai Zhi-Hua Gan +2 位作者 Ke Yuan l Yang Lu Yi-Ran Chen 《Chinese Physics B》 SCIE EI CAS CSCD 2017年第2期99-113,共15页
At present, many chaos-based image encryption algorithms have proved to be unsafe, few encryption schemes permute the plain images as three-dimensional(3D) bit matrices, and thus bits cannot move to any position, th... At present, many chaos-based image encryption algorithms have proved to be unsafe, few encryption schemes permute the plain images as three-dimensional(3D) bit matrices, and thus bits cannot move to any position, the movement range of bits are limited, and based on them, in this paper we present a novel image encryption algorithm based on 3D Brownian motion and chaotic systems. The architecture of confusion and diffusion is adopted. Firstly, the plain image is converted into a 3D bit matrix and split into sub blocks. Secondly, block confusion based on 3D Brownian motion(BCB3DBM)is proposed to permute the position of the bits within the sub blocks, and the direction of particle movement is generated by logistic-tent system(LTS). Furthermore, block confusion based on position sequence group(BCBPSG) is introduced, a four-order memristive chaotic system is utilized to give random chaotic sequences, and the chaotic sequences are sorted and a position sequence group is chosen based on the plain image, then the sub blocks are confused. The proposed confusion strategy can change the positions of the bits and modify their weights, and effectively improve the statistical performance of the algorithm. Finally, a pixel level confusion is employed to enhance the encryption effect. The initial values and parameters of chaotic systems are produced by the SHA 256 hash function of the plain image. Simulation results and security analyses illustrate that our algorithm has excellent encryption performance in terms of security and speed. 展开更多
关键词 image encryption logistic-tent system(lts memristive chaotic system three-dimensional(3D) Brownian motion
下载PDF
Pathological significance and regulatory mechanism of lymphotoxin β receptor overexpression in T cells of patients with systemic lupus erythematosus 被引量:1
8
作者 Cheng Yin Xubing Cai +4 位作者 Huijuan Wang Bingjie Gu Xiaofan Yang Rong Zhang Xiaohui Ji 《The Journal of Biomedical Research》 CAS CSCD 2018年第2期113-122,共10页
Systemic lupus erythematosus(SLE) is a typical autoimmune disease. Lymphotoxin β receptor(LTβR) signaling plays an important role in autoimmune inflammations. LTβR-Ig fusion protein, LTβR blocking agent, has b... Systemic lupus erythematosus(SLE) is a typical autoimmune disease. Lymphotoxin β receptor(LTβR) signaling plays an important role in autoimmune inflammations. LTβR-Ig fusion protein, LTβR blocking agent, has been used to treat SLE, while its mechanism remains to be fully elucidated. In this study, to investigate the expression of LTβR in the T cells of SLE patients and its roles in the pathogenesis of SLE, we isolated the peripheral blood T cells of SLE patients and normal controls to detect expression of LTβR by flow cytometry and RNA assay. T cells were also stimulated with LIGHT, a ligand of LTβR, and then detected for their LTβR expressions and apoptosis by flow cytometry. Also, their expressions of inflammatory factors and receptors were determined by RNA assay. The results showed that LTβR positive cells were 22.75%±6.98% in CD3~+ cells of SLE patients, while there were almost no LTβR positive cells in CD3~+ cells of normal persons. Moreover, LTβR expression was remarkably higher in CD3,CD4 and CD8 positive T cells of active SLE patients than non/low active patients(all P〈0.05), and positively correlated with increased Ig level, decreased complement level and renal damage. Moreover, the stimulation of SLE T cells with LIGHT promoted higher expression of LTβR, IL-23 R and IL-17 A, and apoptosis of T cells. In conclusion,we demonstrated a high expression of LTβR in the T cells of SLE patients which may be associated with pathogenesis of SLE. 展开更多
关键词 lupus erythematosus systemic(SLE) lymphotoxin β receptor(ltβR) interleukin-17(IL-17) interleukin-23 receptor(IL-23R)
下载PDF
基于PLC的LT风洞内三维高精度探针定位系统
9
作者 李洋 李建勇 《工业仪表与自动化装置》 2016年第4期61-63,共3页
机翼模型受力试验是飞机翼型设计必不可少的关键环节,风洞是进行空气动力学试验的必备装置。该文介绍了基于LT(低湍流)风洞的探针三维高精度位移测控系统的组成,详细分析了LT风洞现场实验条件及应满足的控制要求,在此基础上,论述了系统... 机翼模型受力试验是飞机翼型设计必不可少的关键环节,风洞是进行空气动力学试验的必备装置。该文介绍了基于LT(低湍流)风洞的探针三维高精度位移测控系统的组成,详细分析了LT风洞现场实验条件及应满足的控制要求,在此基础上,论述了系统的总体设计方案,硬件结构和触摸屏的组态过程,重点论述了PLC的硬件配置及控制软件的设计。运行实践证明,该系统满足设计要求,运行可靠。有效地解决了翼型实验研究中探针在风洞中准确定位控制的难题。 展开更多
关键词 lt风洞 探针 位移测控系统 触摸屏 PLC
下载PDF
HYDRODYNAMICS OF LIQUID-LIQUID-SOLID SYSTEM IN OPEN TURBINE ROTATING DISC CONTACTOR
10
作者 陈晓祥 苏元复 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 1993年第2期53-61,共9页
A number of experiments regarding hydrodynamics have been carried out in the open turbine rotating disc contactor using quartz particles as solid phase, tap water and kerosene as liquid phase. Flooding phenomenon has ... A number of experiments regarding hydrodynamics have been carried out in the open turbine rotating disc contactor using quartz particles as solid phase, tap water and kerosene as liquid phase. Flooding phenomenon has been observed. The variables studied include the rotor speed, compartment height, stator ring opening, column diameter and the superficial velocity of each phase. Correlations for predicting the solid phase holdup and characteristic velocity have been developed. In comparison with liquid-liquid system, the presence of solid particles will result in higher dispersed phase holdup but lower characteristic velocity and total throughput. 展开更多
关键词 Liquid-liquid-solid system OTRDC
下载PDF
陆探一号卫星SAR载荷关键技术
11
作者 邓云凯 王宇 +4 位作者 刘开雨 欧乃铭 刘大成 张衡 王吉利 《测绘学报》 EI CSCD 北大核心 2024年第10期1881-1895,共15页
陆探一号是我国首个采用差分干涉测量技术实现地表形变监测应用的合成孔径雷达(SAR)卫星星座,其01组双星分别于2022年1月26日和2022年2月27日成功发射并在轨运行。双星在轨后具有双基编队干涉和双星组网两种模式。在双星干涉成像模式下... 陆探一号是我国首个采用差分干涉测量技术实现地表形变监测应用的合成孔径雷达(SAR)卫星星座,其01组双星分别于2022年1月26日和2022年2月27日成功发射并在轨运行。双星在轨后具有双基编队干涉和双星组网两种模式。在双星干涉成像模式下,利用双基InSAR条带模式获取全国高精度DEM;在双星组网成像模式下,双星同轨道间隔180°在轨稳定运行,重访周期由8 d下降至4 d,获取时序相干数据,具备高精度地表形变监测的能力。此外,陆探一号SAR系统具备多模式极化优势,可获取单航过多极化InSAR、混合极化SAR数据,可用于林业、国土资源调查及灾害监测等。本文对陆探一号SAR载荷的关键技术,包括相位同步、模糊抑制与系统定标等进行系统性阐述和分析。陆探一号SAR载荷实现的最高分辨率为3 m,最大幅宽可达400 km,同时干涉模式方位模糊度优于-20 dB,系统性能优良,本文通过地面测试和在轨实测数据对陆探一号多模式成像性能进行验证。 展开更多
关键词 陆探一号 相位同步 系统定标 极化SAR 模糊抑制
下载PDF
激光跟踪测量系统角度自动校正装置设计 被引量:16
12
作者 刘万里 曲兴华 +1 位作者 欧阳健飞 王占奎 《光学精密工程》 EI CAS CSCD 北大核心 2008年第9期1695-1700,共6页
研制开发了一种能使激光跟踪测量系统在动态条件下连续测量的角度自动校正装置。它主要由精密圆形导轨和角度方位自动调节机构组成,能使角锥棱镜在动态测量过程中始终指向激光跟踪测量系统,从而实现在动态条件下的连续工作。利用研制的... 研制开发了一种能使激光跟踪测量系统在动态条件下连续测量的角度自动校正装置。它主要由精密圆形导轨和角度方位自动调节机构组成,能使角锥棱镜在动态测量过程中始终指向激光跟踪测量系统,从而实现在动态条件下的连续工作。利用研制的角度自动校正装置对激光跟踪测量系统进行了角度误差补偿试验,结果表明,该装置使激光跟踪测量系统的水平角测量误差由34.69μm减小到9.71μm,垂直角测量误差由35.43μm减小到10.03μm,从而有效地提高了激光跟踪测量系统的角度测量精度,解决了激光跟踪测量系统在动态测量中受角锥棱镜逆反射器接收角度范围限制而导致的无法连续测量问题。 展开更多
关键词 激光跟踪测量系统 角度校正装置 角锥棱镜
下载PDF
百叶箱和通风防辐射罩气温观测系统的数据对比与订正 被引量:10
13
作者 严家德 王成刚 +1 位作者 金莲姬 王巍巍 《气候与环境研究》 CSCD 北大核心 2015年第5期533-543,共11页
气温是常规地面气象观测的基本要素,其观测方法和误差直接关系到对大气过程的理解和预报精度。开展不同气温观测系统间的对比和分析,保证观测数据的准确性和可比较性,对大气科学以及天气气候的预测、预报研究具有重要意义。本文利用2009... 气温是常规地面气象观测的基本要素,其观测方法和误差直接关系到对大气过程的理解和预报精度。开展不同气温观测系统间的对比和分析,保证观测数据的准确性和可比较性,对大气科学以及天气气候的预测、预报研究具有重要意义。本文利用2009年9月至2010年8月的对比实验数据,分析了百叶箱气温观测系统和通风防辐射罩气温观测系统的数据差异,讨论了系统误差与环境温度以及辐射误差与太阳辐射和环境风速之间的关系,给出了相应的订正方法,最后对订正效果进行了检验。结果表明:与通风防辐射罩的气温数据相比,百叶箱的气温数据偏高,其中夜间平均偏高0.19°C,白天平均偏高0.29°C;系统误差是环境温度的一元线性函数,气温每升高1°C,系统误差就会增加0.006°C左右;辐射误差是太阳辐射与环境风速互相耦合作用的结果:太阳辐射有较强的增温效应,与辐射误差呈现近似的抛物线函数关系;环境风速有较好的冷却效应,与辐射误差呈现出近似的负指数函数关系;经误差订正后,夜间和白天的数据误差均减小到了0.0°C,-0.2-0.2°C的样本比例分别从订正前的64.5%和45.3%提高到了83.7%和80.6%,一致率提高到了92.3%和96.0%。 展开更多
关键词 百叶箱 通风防辐射罩 气温 对比 订正
下载PDF
安全苛刻系统自动化测试的形式化语义模型 被引量:5
14
作者 吕江花 马世龙 +1 位作者 李先军 高世伟 《软件学报》 EI CSCD 北大核心 2014年第3期489-505,共17页
安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient... 安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范. 展开更多
关键词 安全苛刻系统 测试 自动化测试 设备协同 高阶演算 标记转换系统 实时
下载PDF
基于Quantum PLC和iFix的低温多效海水淡化控制系统 被引量:4
15
作者 康权 吕庆春 +1 位作者 俞永江 李楠 《工业仪表与自动化装置》 2014年第5期17-21,共5页
针对低温多效蒸馏海水淡化(LT-MED)装置的控制特点和工艺需求,采用QUANTUM PLC,iFix组态软件和工业以太网通信技术相结合,设计了以顺序逻辑控制为主、单回路PID闭环调节为辅的低温多效海水淡化冗余控制系统。通过在印度尼西亚INDRAMAYU... 针对低温多效蒸馏海水淡化(LT-MED)装置的控制特点和工艺需求,采用QUANTUM PLC,iFix组态软件和工业以太网通信技术相结合,设计了以顺序逻辑控制为主、单回路PID闭环调节为辅的低温多效海水淡化冗余控制系统。通过在印度尼西亚INDRAMAYU燃煤电站工程2×4500 t/d低温多效海水淡化装置的实际应用证明,该系统很好地满足了工艺控制要求,系统运行稳定可靠。监控画面显示直观,操作简单,便于印尼方操作人员学习掌握。 展开更多
关键词 低温多效海水淡化 PLC IFIX 控制系统
下载PDF
嵌入式API测试套生成方法和技术 被引量:2
16
作者 赵会群 孙晶 +1 位作者 张爆 王同林 《软件学报》 EI CSCD 北大核心 2014年第2期373-385,共13页
随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论... 随着嵌入式计算机系统应用的不断扩展,嵌入式系统的可靠性引起了学术界和工业界的广泛关注,也提出了很多增进可靠性的方法和技术.然而,现有的方法和技术在测试套生成方面论述不多,所以在处理大批量嵌入式系统测试工作中遇到了挑战.讨论抽象测试套生成方法和适配技术,提出了LTS(labeled transition system)到BT(behavior tree)的转换算法,从而使TTCN(test and testing control notation)测试套可以通过转换嵌入式软件的LTS描述产生.还介绍了基于上述转换算法的嵌入式软件测试工具包,以及一个嵌入式物联网识读器测试案例研究. 展开更多
关键词 嵌入式软件 软件测试 测试与测试控制语言 标签转换系统
下载PDF
软件组件组装行为兼容性检查研究 被引量:1
17
作者 张驰 褚楚 《计算机工程与应用》 CSCD 北大核心 2016年第11期30-33,共4页
在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS... 在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。 展开更多
关键词 接口 组件视图 行为兼容性 标签转换系统(lts)
下载PDF
执行器和和传感器同时发生随机故障的网络切换系统的鲁棒H_∞控制 被引量:3
18
作者 刘永慧 苏庆堂 《上海电机学院学报》 2017年第4期187-195,共9页
考虑了状态不可测时一类网络切换系统的鲁棒H_∞控制。控制系统的执行器和传感器同时故障,且每个通道的数据丢失概率由区间[0,θ](θ≥1)上满足随机分布的一个随机变量来描述,因此,故障模型更具有一般性。设计一个基于状态观测器的反馈... 考虑了状态不可测时一类网络切换系统的鲁棒H_∞控制。控制系统的执行器和传感器同时故障,且每个通道的数据丢失概率由区间[0,θ](θ≥1)上满足随机分布的一个随机变量来描述,因此,故障模型更具有一般性。设计一个基于状态观测器的反馈控制器;运用平均驻留时间方法,给出了系统均方指数稳定并满足给定H_∞性能的充分条件。数值仿真验证了该设计方法的有效性。 展开更多
关键词 切换系统 控制 执行器/传感器故障 平均驻留时间
下载PDF
基于行为投影的Web服务组合行为兼容性研究
19
作者 张驰 褚楚 +1 位作者 唐颖军 陈升 《计算机工程与应用》 CSCD 北大核心 2016年第20期46-51,共6页
Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过... Web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。 展开更多
关键词 WEB服务组合 服务视图 行为投影 行为兼容性 标签转换系统
下载PDF
SLE患者淋巴毒素-β基因转录水平及多态性分析
20
作者 孙敏 侯俭 +1 位作者 崔新羽 王楠 《北华大学学报(自然科学版)》 CAS 2000年第2X期126-128,共3页
目的 探讨LT-β在SLE患者免疫调节紊乱中的作用。方法 PBLRNA斑点杂交测定LT-β基因转录水平;PCR-RLFP法分析LT-β基因多态性。结果 SLE中LT-β基因转录比正常对照显著增高(P〈0.05)。未发... 目的 探讨LT-β在SLE患者免疫调节紊乱中的作用。方法 PBLRNA斑点杂交测定LT-β基因转录水平;PCR-RLFP法分析LT-β基因多态性。结果 SLE中LT-β基因转录比正常对照显著增高(P〈0.05)。未发现LT-β基因的XhoI有多态性。结论 提示LT-β参与SLE的免疫调节紊乱。 展开更多
关键词 系统性红斑狼疮 淋巴毒素 多态性 基因转录
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部