Risk factors of gastrointestinal bleeding with dabigatran etexilate for stroke prevention in atrial fibrillation patients and its preventive strategies

新型口服直接凝血酶抑制剂达比加群酯预防卒中疗效确切,但消化道出血风险不容小视。本文结合近5年达比加群酯用于预防心房颤动患者脑卒中时致消化道出血的临床随机试验和详细个案报道,对达比加群酯致消化道出血的可能危险因素、预防达比加群酯致消化道出血的措施等作一综述。临床医师应权衡应用达比加群酯的利弊,保证治疗的安全、有效。Dabigatran etexilate, a new direct thrombin inhibitor, has precise clinical curative effect on reducing the risk of stroke in patients with atrial fibrillation, but the risk for major gastrointestinal bleeding is significant. This paper reviewed risk factors and preventive strategies of gastrointestinal bleeding with dabigatran etexilate for stroke in atrial fibrillation patients according to randomized trials and case reports in recent five years. Clinician should balance the risk of bleeding with treatment outcome of dabigatran etexilate to ensure the effectiveness and safety of treatment

类泛素蛋白及其中文命名

泛素家族包括泛素及类泛素蛋白,约20种成员蛋白.近年来,泛素家族领域取得了迅猛发展,并已与生物学及医学研究的各个领域相互交叉.泛素家族介导的蛋白质降解和细胞自噬机制的发现分别于2004和2016年获得诺贝尔奖.但是,类泛素蛋白并没有统一规范的中文译名. 2018年4月9日在苏州召开的《泛素家族介导的蛋白质降解和细胞自噬》专著的编委会上,部分作者讨论了类泛素蛋白的中文命名问题,并在随后的\"泛素家族、自噬与疾病\"(Ubiquitinfamily,autophagy anddiseases)苏州会议上提出了类泛素蛋白中文翻译草案,此草案在参加该会议的国内学者及海外华人学者间取得了高度共识.冷泉港亚洲\"泛素家族、自噬与疾病\"苏州会议是由美国冷泉港实验室主办、两年一度、面向全球的英文会议.该会议在海内外华人学者中具有广泛影响,因此,参会华人学者的意见具有一定的代表性.本文介绍了10个类别的类泛素蛋白的中文命名,系统总结了它们的结构特点,并比较了参与各种类泛素化修饰的酶和它们的生物学功能.文章由45名从事该领域研究的专家合作撰写,其中包括中国工程院院士1名,相关学者4名,长江学者3名,国家杰出青年科学基金获得者18名和美国知名高校华人教授4名.他们绝大多数是参加编写即将由科学出版社出版的专著《泛素家族介导的蛋白质降解和细胞自噬》的专家

Some biometeorological features of wheat field in the ecological conditions of oasis at the Heihe Region

观测分析了 HEIFE地区绿洲中麦田的一些微气候特征 ,结果表明 SPAC中水势随高度呈显著梯度分布 ,在土壤 -植物以及植物 -大气界面 ,水势值存在两个大的跳跃 ;水势廓线存在明显的日变化 ;SPAC各部分水势变化的起伏顺序是大气 >植物 >土壤 ,说明水势变化受植物水分代谢进程直至气象因子的强烈影响和控制。冠层上方近地面风温湿的时空剖面显示出白天与夜晚相比 ,大气混合得较好 ;日出前则大气较为稳定 ;在典型晴天条件下 ,麦田上方的大气存在内边界。其结构受来自沙漠干热风的影响和控制。冠层内部也存在着温度、湿度、CO2 浓度、PAR、蒸腾作用、光合作用、气孔导度和叶温的垂直梯度 ,其廓线的日变化主要受太阳辐射的强烈控制 ,同时也受冠层内部不同层面叶片水分代谢强弱以及土壤状况的影响 ,其温湿廓线表现出与冠层上方不同的变化模式。 【英文摘要】 We observed and analysed some characteristics of biometeorology over and within canopy in spring wheat field in the ecological conditions of oasis during HEIFE program.Water potential in SPAC appeared a well vertical profile and the profile showed an obvious diurnal variation.There were water potential jumps in the SPAC junction boundaries.Sequence of variation intensity for water potential in each part of the SPAC was atmosphere,plant and soil.It is shown that the water potential was influenced and control...中国科学院资助;; 国家自然科学基金!( No.94 870 0 4 );; 日本文部省资助!( No.0 2 0 4 1 0 4 3

Some characteristics of energy exchange at the underlying surface of desert and oasis in Hexi Corridor

在河西走廊黑河地区沙漠和绿洲下垫面生态条件下,用涡旋相关法研究了能量输送的不同模式和日变化进程;以及两种生态条件下能量输送间可能存在的相互关系。在沙漠生态条件下,大部分净辐射用于显热散失,另一部分用于向地下传输,较少部分则用于潜热输送,其方向在白天向下,在夜间向上;其Bowen比为13.16。在绿洲的麦田生态条件下,能量输送的基本模式为:大部分净辐射用于潜热散失,其输送方向与沙漠相反,另一部分用于显热散失,其输送方向一般在午后约3h即由上传转为下传。土壤热通量在最大时一般不超过40W/m2。冠层光合作用固定的能量则更小,其数量级维持在10W/m2以下,小麦不同生长阶段各能量分量占净辐射的比例有所变化。麦田的Bowen比从分蘖期的0.33降到拔节期末的0.095。当有干热大风自沙漠吹向绿洲时观测了典型的绿洲效应,其能量输送模式发生很大变化,显热显著下传,地热流量减弱,潜热散失强烈,起风后约2h潜热甚至高于净辐射。表明沙漠的能量组分参与了麦田的能量平衡过程。 【英文摘要】 With eddy correlation,we studied the pattern and dinurnal variation course of energy transfer for the underlying surface of desert and wheat field in oasis and their possible relationship between two ecological conditions at Heihe River region in Hexi Corridor during the HEIFE project.In the desert,the most net radiation( Rn )was consumed by sensible heat( H )transfer,another part of Rn conducted into desert surface,and a small part of Rn was dissipated by latent heat( LE ) transfer on a fine ...中国科学院资助项目;;国家自然科学基金;;日本文部省资助项

temporal specification composition techniques for multimedia program design

组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型是必须的 .目前 ,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等 .但是 ,这些模型描述层次过低 ,很难支持两个多媒体节目之间的时序描述 .通过引入单位流的概念和扩展两种时序关系 ,研究一种多媒体节目时序描述的结构化技术 ,使复杂的多媒体节目易于理解 ,以方便用户运用组合方法把一些可以复用于不同多媒体节目的节目模块进行组合设计 .中国计算机学

XYZ系统在多媒体领域的应用研究

本文主要研究XYZ系统在多媒体领域的应用问题。XYZ系统是一个以增强软件可靠性和提高软件生产率为目的的程序开发支撑系统，它由时序逻辑语言（TLL：Temporal Logic Language）XYZ/E和以该语言为基础的一组软件工程工具组成。为了在多媒体领域中应用逐步求精、程序自动生成和面向形式规范的并发系统测试等形式化技术，本文首先研究一个表达能力足够的Allen区间代数（Interval Algebra）的子集合，以它作为多媒体对象时序关系的描述语言。其次，本文研究基于该描述语言的基本求精规则。对这些规则作严格的正确性证明之后，在利用这些规则进行逐步求精过程中，无需再进行语义一致性检查，从而简化了求精过程，便于多媒体领域的工程师接受逐步求精方法。接着，本文研究了从时序描述到XYZ/RE表示的可执行同步器的自动转换，XYZ/RE 是时序逻辑语言族XYZ/E中表示实时系统的子语言。最后，本文对一类特殊的时序描述分别给出自动生成事件序列前后约束（CSPE：Constraints on Succeeding and Preceding Events）和时间自动机（Timed Autoamta)的方法，依据生成的结果，一方面可以应用CSPE的测试理论和工具进行同步器的同步测试；另一方面根据时间自动机，进行非确定性测试，可以较容易地判断运行结果正确与否，在进行确定性测试时，可以辅助自动生成测试用例。In this thesis we mainly study how to apply XYZ System to the multimedia field. XYZ System is a programming support system with the goal to enhance reliability and productivity of software development. It consists of a Temporal Logic Language (TLL) XYZ/E to serve as its kernel and a suite of software engineering tools. In order to introduce the formal techniques such as stepwise refinement, automatic transformation and testing based on formal specification to the multimedia field, we first present a powerful subset of Allen's interval algebra as the temporal specification language to multimedia program. The we find some basic refinement rules oriented to the temporal specification language. After the correctness of these rules has been proved, in the stepwise refinement procedure the semantic consistency need not be considered so that the engineers in multimedia field easily accept this formal method. Thirdly we study the automatic transformation from the temporal specification to synchronizer in XYZ/RE which is a sub-language representing real time system in XYZ/E. Finally, two methods generating CSPE(Constraints on Succeeding and Preceding Events) constraints and timed automata from temporal specification are presented respectively. Based on these results, on one hand, we can test synchronizer by using CSPE-based methodology and tools directly. On the other hand, we can select timed test sequences from timed automata when considering the deterministic testing of synchronizer, and decide whether the running results are correct when considering the nondeterministic testing of synchronizer

construction of timed automata for temporal specification of a distributed multimedia software system

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍ ｅｄ ａｕｔｏｍ ａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时，可以辅助自动生成测试用例中国计算机学

the completeness and consistency of temporal specifications for the multimedia program

完全性和协调性是形式规范的两个基本性质 .针对不同的形式规范 ,完全性和协调性的定义可能是不同的 .该文首先根据通信顺序进程的理论 ,把一个多媒体流用两个瞬时事件表示 ,并且定义了时间区间向量的概念和在它之上的一些运算 .基于这些准备工作 ,文中给出了多媒体系统中媒体对象时序关系描述的完全性和协调性的形式定义 .由于文中讨论的时序描述语言较简单 ,但是对于多媒体领域又是足够的 ,因此 ,与相关工作比较 ,该文研究的完全性和协调性的形式定义更直观 ,判定算法也更高

temporal logic based hypertext specification

将基于时序逻辑的多媒体脚本描述模型从线性顺序时空关系描述推广到非线性时空关系的超文本描述，提出了一种新的超文本模型．通过该模型可将超文本的结点、链和超文本结构的逐步求精过程在一个统一的框架内描述．使用该模型设计的一个超文本标注语言已经实现，并基于该语言开发了一个交互式超文本编著环境

面向SELinux的角色权限研究

SELinux通过组合IBAC,RBAC和TE模型实现了策略灵活性,然而其策略配置复杂且规则数目庞大,很难保证角色权限的正确分配.对SELinux策略语言进行了形式化表述,引入任务、全局域转换图、角色最大任务图、角色授权任务图等概念,用来刻画角色与域之间的授权关系,同时使用上述概念对最小特权原则、角色支配、责任分离等RBAC经典问题进行了讨论.认为该方法可以有效指导SELinux中角色权限的配置和验证过程.中国计算机学