逻辑标记转换系统下预备模拟与稳定划分

1

作者 朱文涛 《计算机科学与探索》 CSCD 北大核心 2015年第7期877-886,共10页

Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成... Luttgen等人将进程代数与时序逻辑相结合,提出了逻辑标记转换系统(logic labeled transition system,LLTS)以及相应的精化关系——LLTS预备模拟。为给出判定LLTS预备模拟关系的具体方法,从划分对概念出发,给出了与LLTS预备模拟之间构成同构的稳定划分对定义,并提出了与判定LLTS预备模拟商集对应的一般化关系最粗划分问题,证明了二者之间具有等价性。由此作为理论基础,给出了一个判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的算子ρ,并验证了该算子的正确性,并以实例演示了该算子的具体操作步骤。 展开更多

关键词 逻辑标记转换系统 预备模拟 划分对 划分精化问题

在线阅读 下载PDF 职称材料

硫化氢介导的S-巯基化修饰及其化学检测技术 被引量：1

2

作者 张珍 全心雨 唐志书 《中国生物化学与分子生物学报》 CAS CSCD 北大核心 2024年第1期44-53,共10页

硫化氢(hydrogen sulfide, H_(2)S)是继一氧化氮和一氧化碳之后的第3种内源性气体信号分子,通过影响细胞信号通路调节机体各个系统,具有广泛的生理和病理作用。近年的研究发现,H2S的作用主要通过对靶蛋白进行S-巯基化修饰,改变其结构,... 硫化氢(hydrogen sulfide, H_(2)S)是继一氧化氮和一氧化碳之后的第3种内源性气体信号分子,通过影响细胞信号通路调节机体各个系统,具有广泛的生理和病理作用。近年的研究发现,H2S的作用主要通过对靶蛋白进行S-巯基化修饰,改变其结构,影响其活性、稳定性以及蛋白质之间互相作用,进而调控细胞内信号通路及相关生物学过程。本文基于国内外对S-巯基化修饰的研究,主要综述了:S-巯基化修饰的研究现状,详细总结了目前已揭示S-巯基化修饰及其具体半胱氨酸(cysteine, Cys)位点的研究,并进一步总结了S-巯基化修饰与S-亚硝基修饰之间的关系;S-巯基化修饰的反应类型,3种化学检测(马来酰亚胺法、改良生物素转换法和标记转换法)方法的检测原理和特点,通过S-巯基化修饰检测的条件和应用范围,将这3种方法进行对比,并对各方法在检测过程中应注意的事项进行了讨论。根据作者在S-巯基化修饰研究方面积累的经验,重点阐述马来酰亚胺法检测过程中,细胞和组织样品的制备及其较详细的实验步骤。此外,本文还讨论了当前S-巯基化修饰检测方法存在的不足及该领域未来亟待解决的问题,为S-巯基化修饰的相关研究提供参考。 展开更多

关键词 硫化氢 S-巯基化修饰 马来酰亚胺法 改良生物素转换法 标记转换法

在线阅读 下载PDF 职称材料

安全苛刻系统自动化测试的形式化语义模型 被引量：5

3

作者 吕江花 马世龙 +1 位作者 李先军 高世伟 《软件学报》 EI CSCD 北大核心 2014年第3期489-505,共17页

安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient... 安全苛刻系统的可信性需求典型而迫切,其可信性评估和验证具有测试依赖性.安全苛刻系统一般是复杂系统,手工测试实际上不可行,发展自动化测试手段是必然趋势.针对安全苛刻系统测试过程自动化中存在的高阶协同、实时和时序性,以Ambient演算、CCS演算、论域理论等为基础,给出测试过程的高阶协同定义,建立一种层次化演算模型,为测试过程提供一种信息化和自动化手段.模型通过对被测产品、测试设备与测试任务的抽象与组织,给出安全苛刻系统测试过程自动化的工作模式.最后,通过扩展标记转换系统定义,给出高阶协同行为的收敛性和正确性的证明,论证了模型的可计算性,验证了安全苛刻系统测试的可自动化.模型已应用于航天器的自动化测试中,并成为航天器测试行为的日常工作规范. 展开更多

关键词 安全苛刻系统 测试 自动化测试 设备协同 高阶演算 标记转换系统 实时

在线阅读 下载PDF 职称材料

体系结构层状态型方面的建模和编织——基于LTS的方法 被引量：1

4

作者 杨春花 王海洋 《计算机学报》 EI CSCD 北大核心 2011年第2期342-352,共11页

状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelle... 状态型方面是一种封装反应式关注点的方面,它需要专门的切点机制来跟踪系统的执行历史.然而当前在体系结构层还缺乏支持状态型方面建模的有效机制.针对这一问题,提出一种体系结构层状态型方面的建模和编织方法.它以标记转换系统(Labelled Transition System,LTS)为底层形式化,建立了用于识别系统运行轨迹中特定模式的切点机制,并定义了支持多种通知类型的编织运算.该方法当前已在一个基于FSP规范的原型编织工具上实现,并用一个实例说明了该方法的有效性. 展开更多

关键词 方面 状态型方面 编织 标记转换系统 面向方面的软件开发

在线阅读 下载PDF 职称材料

适用于MPLS流量工程的信令技术研究 被引量：2

5

作者 王森 张有光 刘红梅 《计算机工程与设计》 CSCD 北大核心 2005年第11期2989-2991,2997,共4页

MPLS被认为是下一代IP骨干网络技术,它的出现为流量工程的应用带来了有力的技术支持,同时也能应用于提供服务质量保证和构建虚拟网。作为两种支持MPLS流量工程的信令技术,CR-LDP和RSVP-TE有着各自的优缺点。首先介绍了这两种信令技术的... MPLS被认为是下一代IP骨干网络技术,它的出现为流量工程的应用带来了有力的技术支持,同时也能应用于提供服务质量保证和构建虚拟网。作为两种支持MPLS流量工程的信令技术,CR-LDP和RSVP-TE有着各自的优缺点。首先介绍了这两种信令技术的基本原理和技术特点,然后对它们在支持的服务模型、协议的可靠性、适应性、扩展性等方面进行了比较,最后指出了这两种信令技术综合应用的研究方向。 展开更多

关键词 多协议标记转换 流量工程 CR-LDP RSVP-TE

在线阅读 下载PDF 职称材料

阿仑膦酸钠治疗绝经后妇女骨质疏松症3年临床观察 被引量：18

6

作者 陈瑾瑜 盛正妍 +2 位作者 游利 陈琳 潘凌 《中国骨质疏松杂志》 CAS CSCD 2009年第4期284-287,共4页

目的观察阿仑膦酸钠治疗绝经后妇女骨质疏松症3年疗效。方法选取2005年8月至2006年1月骨质疏松门诊PMOP患者115例,口服阿仑膦酸钠70mg每周1次,同时每天补充钙剂800mg和活性维生素D0.25μg,疗程3年。定期测定治疗前后的腰椎、股骨颈与全... 目的观察阿仑膦酸钠治疗绝经后妇女骨质疏松症3年疗效。方法选取2005年8月至2006年1月骨质疏松门诊PMOP患者115例,口服阿仑膦酸钠70mg每周1次,同时每天补充钙剂800mg和活性维生素D0.25μg,疗程3年。定期测定治疗前后的腰椎、股骨颈与全髋骨密度值（BMD）及骨转换标记物。统计分析采用SPSS13.0软件。结果治疗3年后,腰椎、股骨颈和全髋部位骨密度均较治疗前显著提高（P〈0.01）,增幅分别为8.1%、3.5%和4.0%。治疗6个月,血清ALP、骨钙素和尿钙/肌酐比值分别下降16.7%、24.1%和13.4%,均较治疗前显著下降（P〈0.01）,其后各骨转换标记物仍维持较低水平,但无进一步下降。Pearson相关分析显示治疗6个月时骨钙素和尿钙/尿肌酐比值的变化与3年后腰椎、股骨颈和全髋部位BMD的变化值均呈负相关（P〈0.01）,血清ALP与腰椎BMD的变化值呈负相关（r=-0.231,P〈0.01）。治疗期间新发骨折4例。结论阿仑膦酸钠是治疗中国PMOP患者安全而有效的药物,治疗6月可显著降低骨转换标记物,3年中显著增加骨密度,而且,早期骨转换标记物的下降与3年后骨密度的改善呈负相关。 展开更多

关键词 阿仑膦酸钠 骨密度 骨转换标记物 骨质疏松症

在线阅读 下载PDF 职称材料

原发性骨质疏松症患者与对照人群血清骨钙素水平比较的Meta分析 被引量：12

7

作者 刘仲宇 叶瑜 戎利民 《中国骨质疏松杂志》 CAS CSCD 北大核心 2017年第10期1280-1285,共6页

目的比较原发性骨质疏松症(osteoporosis,OP)患者与对照人群血清骨钙素(serum osteocalcin,s OC)水平。方法荟萃分析。检索CENTRAL、Pub Med和CNKI等国内外大型数据库,筛选关于骨质疏松症患者与对照人群s OC水平比较的病例对照研究,对... 目的比较原发性骨质疏松症(osteoporosis,OP)患者与对照人群血清骨钙素(serum osteocalcin,s OC)水平。方法荟萃分析。检索CENTRAL、Pub Med和CNKI等国内外大型数据库,筛选关于骨质疏松症患者与对照人群s OC水平比较的病例对照研究,对纳入研究进行Meta分析,比较在不同性别及检测不同s OC分子片段的情况下原发性骨质疏松症患者与对照人群体内的s OC水平,以获得相关临床证据。结果共纳入22项女性研究(包括2906人)以及13项男性研究(包括1338人)。绝经后骨质疏松(postmenopausal osteoporosis,PMO)组与对照组相比s OC水平明显升高[95%置信区间(confidence interval,CI)为(1.59,5.84),P=0.0006],与PMO的高骨转换率相符。而男性原发性OP发病机制不同于PMO,OP组与对照组相比s OC水平无统计学差异[95%CI(-2.31,3.98),P=0.60],此结果可能与男性原发性OP骨代谢状态较为复杂且存在异质性有关。结论 PMO患者s OC水平升高,结果对于PMO具有较高的辅助诊断价值。男性原发性OP患者s OC水平变化情况仍有争议,综合分析结果与对照组无差异。s OC检测尚缺乏统一标准,本研究结论尚需高质量临床研究进一步验证。 展开更多

关键词 骨钙素 骨转换标记物 骨质疏松症 META分析

在线阅读 下载PDF 职称材料

含有新算符的代数运算规则学习的有效样例设计 被引量：12

8

作者 张华 曲可佳 张奇 《心理学报》 CSSCI CSCD 北大核心 2013年第10期1104-1110,共7页

为了探索含有新算符的代数运算规则学习的有效样例设计方式,分别采用"转换标记法"和"解释法"设计"指-对数转换"运算和对数运算的样例,考察了初中三年级学生代数运算规则样例学习的迁移效果。结果显示:(1... 为了探索含有新算符的代数运算规则学习的有效样例设计方式,分别采用"转换标记法"和"解释法"设计"指-对数转换"运算和对数运算的样例,考察了初中三年级学生代数运算规则样例学习的迁移效果。结果显示:(1)采用"转换标记法"设计的样例可以明显提高"指-对数转换"规则样例学习的迁移效果;(2)采用"解释法"设计的运算样例,能够明显促进"对数运算规则"的样例学习迁移效果,并与被试的基础知识有关。 展开更多

关键词 新算符 指-对数转换规则 对数运算规则 转换标记法 解释法

在线阅读 下载PDF 职称材料

数学运算规则的样例学习:实验研究与理论探索 被引量：4

9

作者 张奇 张笑笑 《苏州大学学报（教育科学版）》 CAS 2015年第1期83-95,共13页

在样例学习研究领域,作者着眼于规则的样例学习研究,尤其是对数学运算规则的样例学习做了一系列的实验研究和理论探索。最初的实验研究在小学生四则混合运算规则和"去括号"运算规则的实验中取得了预期结果。但在小学生代数运... 在样例学习研究领域,作者着眼于规则的样例学习研究,尤其是对数学运算规则的样例学习做了一系列的实验研究和理论探索。最初的实验研究在小学生四则混合运算规则和"去括号"运算规则的实验中取得了预期结果。但在小学生代数运算规则的样例学习实验研究中却遇到了问题。经过对问题原因的深入分析,提出了数学运算样例中新算符及新规则设计的"解释法""转换标记法"和"解释一标记法",并在指数与对数转换规则和对数运算规则以及分数和比例运算规则的样例学习实验中证实了这些样例设计方法的优越性。根据上述实验研究,作者对样例学习的性质、样例学习理论的建构等理论问题以及样例学习如何兼顾学生个体差异等教学实践问题作出了明确的回答。 展开更多

关键词 运算规则 样例学习 新算符 解释法 转换标记法 解释一标记法

在线阅读 下载PDF 职称材料

帕米膦酸二钠治疗绝经后妇女骨质疏松症3年临床观察 被引量：1

10

作者 陈飞 陈月云 +3 位作者 刘瑶 王安才 周进 胡素颍 《中国骨质疏松杂志》 CAS CSCD 2011年第7期596-599,共4页

目的观察帕米膦酸二钠治疗绝经后妇女骨质疏松症3年疗效。方法选取2007年8月至2008年6月PMOP患者97例.每月三次静脉输注帕米膦酸钠30mg.同时每天补充钙剂800 mg～1200mg和活性维生素D 0.25ug.疗程3年。定期测定治疗前后的腰椎、股骨颈... 目的观察帕米膦酸二钠治疗绝经后妇女骨质疏松症3年疗效。方法选取2007年8月至2008年6月PMOP患者97例.每月三次静脉输注帕米膦酸钠30mg.同时每天补充钙剂800 mg～1200mg和活性维生素D 0.25ug.疗程3年。定期测定治疗前后的腰椎、股骨颈与全髋骨密度值(BMD)及骨转换标记物(血清CTX、尿CTX、NTX、血清TRACP5b)。结果①治疗3年后.腰椎、股骨颈和全髋部位BMD均较治疗前显著提高(P<0.001);②治疗6个月,血清I型胶原交联羧基端肽(CTX)、I型胶原交联氨基端肽(NTX)、尿CTX/Cr、尿NTX/Cr、尿吡啶啉/肌酐(PYD/Cr)、尿脱氧吡啶啉/肌酐(DPYD/Cr)和血浆抗酒石酸酸性磷酸酶均较治疗前显著下降(P<0.01),其后各骨转换标记物仍维持较低水平,但无进一步下降。Pearson相关分析显示治疗6个月时尿吡啶啉和脱氧吡啶啉、血浆抗酒石酸酸性磷酸酶的变化与3年后腰椎、股骨颈和全髋部位BMD的变化值均呈负相关(P<0.01)。③治疗后疼痛明显缓解生活能力明显改善,治疗期间新发骨折2例。结论帕米膦酸二钠是治疗PMOP安全有效,早期骨转换标记物的下降与3年后骨密度的改善呈负相关。 展开更多

关键词 帕米膦酸钠 骨密度 骨转换标记物 骨质疏松症

在线阅读 下载PDF 职称材料

电力宽带数据通信网的设计方案 被引量：2

11

作者 元翔 范方黎 《电力系统自动化》 EI CSCD 北大核心 2000年第18期56-60,共5页

阐述了电力宽带数据通信网的网络结构、建网原则和组网技术。对现在比较通用的 3种组网技术 (IP over ATM,IP over SDH,IP over Optical/WDM)进行了分析和比较 ,并阐述了 IP overATM模式通过多协议标记转换 (MPLS)技术在电力专网中的实... 阐述了电力宽带数据通信网的网络结构、建网原则和组网技术。对现在比较通用的 3种组网技术 (IP over ATM,IP over SDH,IP over Optical/WDM)进行了分析和比较 ,并阐述了 IP overATM模式通过多协议标记转换 (MPLS)技术在电力专网中的实现 。 展开更多

关键词 电力宽带数据通信网 ATM 多协议标记转换

在线阅读 下载PDF 职称材料

逻辑LTS预备模拟关系的判定算法

12

作者 朱文涛 《计算机工程与应用》 CSCD 北大核心 2016年第17期41-48,共8页

进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从... 进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来,Gerald Luttgen等人将二者进行结合,提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟,并从划分对的角度出发,给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法,并证明其正确性。 展开更多

关键词 逻辑标记转换系统 预备模拟 划分对 稳定性 判定算法

在线阅读 下载PDF 职称材料

基于分层特征的代码克隆检测方法 被引量：1

13

作者 张冬梅 陈永乐 杨玉丽 《计算机工程》 CAS CSCD 北大核心 2021年第10期125-131,共7页

针对现有代码克隆检测方法通常存在标记表示单一而抽象语法树构造复杂的问题,提出一种结合分层特征的代码克隆检测方法。使用双层双向长短时记忆网络提取行级和全局代码层次的深层语义信息,挖掘目标代码的语义特征。引入注意力机制调整... 针对现有代码克隆检测方法通常存在标记表示单一而抽象语法树构造复杂的问题,提出一种结合分层特征的代码克隆检测方法。使用双层双向长短时记忆网络提取行级和全局代码层次的深层语义信息,挖掘目标代码的语义特征。引入注意力机制调整重要标记及代码行的影响权重,增强语义形式的代码克隆检测效果,并采用softmax分类器识别克隆代码。实验结果表明,该方法的召回率和精确度分别为91%和97%,相比NICAD、CCIS、CCLearner方法对于复杂语义形式的克隆代码具有更好的检测效果。 展开更多

关键词 标记转换 分层特征 双向长短时记忆网络 注意力机制 代码克隆检测

在线阅读 下载PDF 职称材料

原发性骨质疏松症的疗效评价 被引量：11

14

作者 段亚威 柴昊 +3 位作者 安一方 李付礼 张伟 孙永强 《中华骨质疏松和骨矿盐疾病杂志》 CSCD 北大核心 2021年第2期199-206,共8页

原发性骨质疏松症作为常见老年性疾病之一,其诊疗越来越受到关注。然而在临床中,骨质疏松症的诊疗率普遍较低,患者的依从性也差强人意。这就需要合适的评价方法明确药物的疗效,增强医患双方信心、改善患者依从性。临床中常用的评价方法... 原发性骨质疏松症作为常见老年性疾病之一,其诊疗越来越受到关注。然而在临床中,骨质疏松症的诊疗率普遍较低,患者的依从性也差强人意。这就需要合适的评价方法明确药物的疗效,增强医患双方信心、改善患者依从性。临床中常用的评价方法有骨密度、骨转换标记物、骨强度评估、症状表现及中医疗效评价,这些方法各有利弊,互为补充。本文参考国内外相关文献,对原发性骨质疏松症的疗效评价方法做一综述,以期为临床提供帮助。 展开更多

关键词 骨密度 骨强度 骨转换标记物 原发性骨质疏松症 疗效

在线阅读 下载PDF 职称材料

试论现代汉语口语中“然后”一词的语法化 被引量：15

15

作者 王伟 《北京第二外国语学院学报》 2004年第4期69-77,共9页

本文首先列举了“然后”一词在古代汉语篇章中的传统用法 ,又通过问卷调查和语料分析详细说明了论点 ,即“然后”在现代汉语口语中正在发生语法化。该词可以表达添加、因果、时空等连接关系 ,同时也可以被用作语篇中的话题转换标记。它... 本文首先列举了“然后”一词在古代汉语篇章中的传统用法 ,又通过问卷调查和语料分析详细说明了论点 ,即“然后”在现代汉语口语中正在发生语法化。该词可以表达添加、因果、时空等连接关系 ,同时也可以被用作语篇中的话题转换标记。它还引领一个“话题转换标记———主语 (第二人称 )———表示心理过程的动词———语气助词 (吗 )”的句法结构。“然后”已经成为语篇中保持信息流动的一个重要手段。就“然后”语法化机制的问题本文提出了 展开更多

关键词 现代汉语 “然后” 语法化 话题转换标记

在线阅读 下载PDF 职称材料

血清抗酒石酸酸性磷酸酶-5b和组织蛋白酶K随年龄及绝经变化的分析 被引量：6

16

作者 黄永平 王亮 《中国骨质疏松杂志》 CAS CSCD 北大核心 2018年第11期1405-1409,1505,共6页

目的调查西南地区不同年龄组健康女性抗酒石酸酸性磷酸酶-5b(TRACP-5b)、组织蛋白酶K(CTSK)的总体趋势和分布情况,并确定绝经状态对二者的影响。方法共研究了2125名女性[包括绝经前(n=1557)和绝经后(n=568)妇女,年龄分别为20～79岁]。... 目的调查西南地区不同年龄组健康女性抗酒石酸酸性磷酸酶-5b(TRACP-5b)、组织蛋白酶K(CTSK)的总体趋势和分布情况,并确定绝经状态对二者的影响。方法共研究了2125名女性[包括绝经前(n=1557)和绝经后(n=568)妇女,年龄分别为20～79岁]。所有纳入研究的女性均在标准化条件下采集静脉血样,并采用ELISA法测定血清中TRACP-5b和CTSK含量,通过双能X射线吸收测定法测定腰椎(L_1-L_4)和股骨颈的骨密度(BMD)值。结果随着年龄的增加,TRACP-5b、CTSK发生适度变化,均逐渐增加,并且在60岁以后TRACP-5b和CTSK水平均保持稳定。与绝经前妇女相比,绝经后妇女的血清TRACP-5b、CTSK、完整PTH均显著增加(P<0.05),而Mg水平均显著降低(P<0.05)。与绝经前相比,不同绝经年限妇女的TRACP-5b、CTSK水平均显著增加(P<0.05)。逐步多元线性回归分析发现,年龄、BMI、FSH、LH和PTH是TRACP-5b的影响因素,CTSK的影响因素包括年龄、BMI、FSH、LH和PTH。结论建立的TRACP-5b、CTSK参考区间值有助于在很长时期内评估该西南地区妇女骨转换情况。 展开更多

关键词 TRACP-5b 组织蛋白酶K 骨转换标记 参考区间 西南地区

在线阅读 下载PDF 职称材料