核医学科静脉注射放射性药物的护理体会

静脉注射是将一定量无菌药液注入静脉的方法,药液直接进入血液循环是发挥药效最快的给药方法,在核医学科最为常用,几乎所有的核医学检查都需要先静脉注射放射性药物,且注射情况直接影响检查图像的质量和诊断结果,故确保放射性药物的注射效果以及做好注射前后的护理工作具有重要意义。现将我科静脉注射放射性药物的护理体会报告如下。

唑类含能离子化合物的合成研究进展

综述了以咪唑、三唑、四唑以及五唑等唑类化合物为母体的一些含能盐的合成,系统总结了这类新型含能材料的熔点、密度、生成焓等理化性能以及爆轰性能,并分析了分子结构及取代基对含能盐性能的影响。对唑类含能盐在火炸药和推进剂等方面的应用进行了展望。附36篇参考文献。

辣椒开花结果期对干旱胁迫响应机制的研究

在遮雨网室以辣椒品种串串香、世纪红作为供试材料,研究不同抗干旱能力的辣椒品种对干旱胁迫的生理生化效应。结果表明,随干旱胁迫的加剧,辣椒叶片的叶绿素(Chl)含量呈现下降趋势,脯氨酸(Pro)和丙二醛(MDA)含量呈增加趋势,而超氧化物歧化酶(SOD)和过氧化物酶(POD)等保护酶活性则先升高后降低。品种串串香比世纪红有着相对较高的Chl含量、Pro含量及SOD和POD活性(或活性的增幅),相对较低的MDA含量,表明串串香抵御干旱胁迫的能力相对较强,世纪红则相对较弱。

冠心病患者心脏支架术后心脏功能恢复状况及心理状况的评估与护理干预

探讨冠心病行心脏支架术者康复护理对心脏功能恢复及心理状况的影响。方法 纳入2023年9月至2024年3月收治的冠心病患者120例,均采取心脏支架术治疗。按随机数字表法原则分成实验组(n=60)、对照组(n=60)。对照组的患者参照常规的护理干预措施,实验组的患者则基于心脏功能恢复的护理干预指导。比较两组手术前后的心脏功能恢复情况(HYHA分级Ⅰ级占比)及心理状况[广泛性焦虑量表(GAD-7)、抑郁筛查表]变化。结果 实验组患者术后后1周、2周、4周的NYHA分级Ⅰ级占比均高于对照组,差异有统计学意义(P<0.05),两组术后8周、16周的NYHA分级Ⅰ级占比与对照组差异无统计学意义(P>0.05)。在患者术后4周以及16周经焦虑评分与抑郁评分评价,在各个量表对应时间点得分,实验组都比对照组低(P<0.05)。结论 对冠心病实施心脏支架术的患者,采取心脏康复护理干预的方式,能够促进患者术后心脏功能的恢复,改善患者心理状况,值得推广。

大规模联邦仿真中实体迁移及其时间同步研究(一)——实体迁移协议与实现

实体迁移技术有利于改善大规模分布式仿真系统的性能.首先分析了新一代仿真体系结构HLARTI对实体迁移支持上的不足和现有HLA兼容型仿真系统中实体迁移实现方法的缺陷;然后提出了在HLARTI下进行实体迁移的协议,设计了实体最新状态传输机制、迁移启动机制、迁移期间的消息转发、处理机制等;给出了协议的执行过程和支持实体迁移的仿真应用程序的实现框架;最后测试了协议的正确性.与相关研究相比,迁移协议解决了迁移过程中时间同步问题,不会丢失消息,且能保证TSO消息按时戳序处理.

一种用于并行系统的非阻塞消息队列机制

并行线程之间的消息传递和同步机制与系统的并行性能密切相关。在并行系统中,人们期望不必要的同步尽可能少,以充分开发系统的并行性,提高系统的运行效率。非阻塞缓冲区机制(NBB)允许消息生产者和消费者在不使用同步机制的情况下实现消息传递。但是,NBB机制存在着消息缓冲区有限、在多生产者和/或多消费者情况下使用不便、有时甚至功能不能满足要求等问题。本文介绍的非阻塞队列机制(NBL)可看作是NBB的链表实现,但NBL可以有效地避免NBB的上述缺陷。本文描述了相关算法及其正确性证明。最后讨论了NBL机制的使用方法,并进行了有效性和性能评测。

面向实时感知性能的分布式交互仿真实体迁移技术

分布式交互仿真中的实体需要实时感知周围的实体和环境信息 ,当仿真系统中“实体-主机”对应关系固定不变时 ,由于系统内通信关系和可用资源的动态变动 ,往往导致信息传输延迟超过QoS要求 首先提出了实体对环境的实时感知性能的评价指标 ,通过分析信息传输延迟的组成 ,得出了利用实体迁移以提高实体实时感知性能的方法 深入研究了此时实体迁移请求的提出、不同迁移请求的协调和迁移请求的处理等问题 。

遗产系统及其解决方案的综述

1.引言 遗产信息系统是现代企业信息流的主干,它体现了机构运作的业务逻辑,代表了特定领域专业知识,是企业的财富,所以不能简单地抛弃它.为了充分利用遗产系统所包含的领域知识,让这些遗产系统仍然可用,企业或机构必须对遗产系统采取一定的措施.目前,有多种针对遗产系统的解决方案,理解每一种处理遗产系统的技术的优缺点是选择正确的解决方案的关键[14].这篇文章综述了什么是遗产系统,人们对遗产系统的态度,为什么要研究遗产系统,遗产系统的软件视角以及解决遗产系统的若干方法和这些方法的优缺点.

分布式虚拟环境中的实体划分技术的研究

构建大型的分布式虚拟环境时,系统内各实体的初始物理配置问题对系统性能的影响十分显著。论文首先分析了过去对该问题研究的不足,提出了一种综合性的系统代价度量标准和系统性能改善原则,并在此之上提出了一种初始实体划分算法。

右侧股骨近端骨密度测量价值的探讨

目的：探讨右侧股骨近端骨密度测量对诊断骨质疏松症的意义.方法：2014年5月～6月我科采用双光能X射线吸收法骨密度仪同时进行两侧股骨近端骨密度测量,北京地区患者769例,按年龄、性别、有无右侧下肢疼痛、抽筋或麻木症状分组,并进行左右两侧股骨颈骨密度和股骨颈BMD异常率的对比分析.结果：年龄≥71岁和有右侧下肢疼痛、抽筋或麻木症状的患者,左右两侧股骨颈BMD具有显著性差异,而且右侧股骨颈BMD异常率明显大于左侧.结论：对于年龄≥71岁和有右侧下肢疼痛、抽筋或麻木症状的患者,右侧股骨近端BMD测量对评价骨密度和诊断骨质疏松具有重要的价值.

混合式组播——分布式仿真中一种新型信息传输方式

大规模分布式仿真的信息过滤机制要求使用组播方式传送信息犤1犦,但是当前网络硬件对IP组播的支持很有限,远不能满足实际系统的需要。为此,该文引入了在性能上介于“点对点传送”和组播之间的混合式组播,提出了混合式组播优先的组播组分配算法以解决可用组播组数量偏少的问题。

一种基于规则的系统的软件体系结构的实现分析

1.引言 基于规则的系统或者称为专家系统、产生式系统是一种重要的应用系统,它广泛的应用于医疗诊断、航空航天、实时监控和辅助决策系统等关键领域中.国外在这方面的研究工作开展得较早,并且开发了一些产生式开发工具,如MYCIN,OPS5/OPS83,SOAR,CLlPS等,其中MYCIN是由美国斯坦福大学开发的一个帮助内科医生诊治感染性疾病的专家系统,于1978年最终完成[1].

一种在面向对象语言中嵌入规则的预编译器的实现

传统的基于规则的工具,如OPS5,CLIPS等都是自封闭的,很难集成在用C 等面向对象语言开发的实际系统中.该文在借鉴ILOGRules和CLIPS等工具的基础上提出了一种嵌入在C 语言中的规则语言,主要研究了把该规则语言翻译到生成Rete网络推理机的C 源文件的预编译器的实现方法.该规则语言对ILOGRules做了两点扩充,一是允许直接把C 语言嵌入在规则的条件部分和动作部分用来表达谓词测试和动作;二是增加了AND和OR两种模式成组关系,这样增强了规则表达实际问题的能力和规则与C 语言的互操作性.

基于关系模型的UML类图一致性检验

UML类图是UML建模语言的核心元素之一,类图模型的正确性和一致性对于保证需求分析的正确性至关重要。论文研究了UML类图模型的语义一致性问题,提出了一种自动检验类图一致性的方法。该方法以扩展的关系逻辑为语义基础,把一致性问题归结为关系逻辑公式的可满足性问题。实践表明,该方法能够有效的检查UML类图模型的一致性,发现需求分析中的错误和漏洞,在一定程度上保证了类图模型的正确性。

一种基于时间自动机的测试用例生成和构造方法

为了解决嵌入式控制器功能测试的一致性、完备性和自动化等问题,提出了一种基于需求模型的嵌入式控制器测试方法.首先给出了一种形式化描述嵌入式控制器功能结构和行为的方法,然后在行为模型的基础上提出了一种测试用例的生成方法,并给出了缩减测试用例个数和构造典型测试用例的若干条规则,证明了这样产生的测试用例集对于任意被测功能的完整覆盖性.最后通过一个测试案例说明了测试系统的实现方法以及实际效果.

一种基于模型的可视化汽车电子软件需求表示方法

汽车电子软件是一类控制汽车机械和动力部件、实现各种汽车安全和舒适功能的高可靠实时嵌入式软件,其需求分析和设计方法是目前软件工程面临的重要挑战之一。本文主要研究汽车电子软件的需求表示方法,将原始需求划分为多个层次和视角,采用多种图形语言对系统的各个侧面进行表示,并揭示各个部分模型之间的关系,力图以可视化的方式形成问题空间的全景"蓝图"和局部可缩放视图。该方法的使用,有利于降低表示需求的复杂度,便于从需求模型到设计模型的平滑过渡。

基于规则的UML设计模型的一致性检验

统一建模语言(UML)是业界公认的主流面向对象建模语言,为系统开发提供了丰富的建模元素。由于UML不同建模元素之间缺乏准确定义的关系,因此UML模型往往会出现不一致性问题。针对该问题,提出了一种基于规则的检验方法。该方法把UML设计模型和一致性条件分别映射为规则系统的事实库和规则库,如果事实库与规则库不匹配,则表示设计模型中存在不一致性。我们使用自主开发的一种“面向对象-规则语言系统”作为检验一致性的规则系统,它集成了面向对象语言和规则语言两种范型,有利于统一使用C++语言来设计并实现一致性检验工具,提高一致性检验效率。

基于扩展层次自动机的UML状态图完备性和一致性检验

UML状态图是UML中重要的建模元素之一,用以描述软件系统的离散行为。完备性和一致性是UML状态图模型最重要的性质之一,是进一步验证模型行为正确性的前提。给出了状态图模型完备性和一致性的定义,研究了对完备性和一致性进行检验的方法。该方法首先把状态图模型变换成扩展层次自动机(EHA),然后对EHA进行分析。EHA中间格式消除了状态图的复杂性,简化了冲突迁移的优先级判别,便于设计简捷有效的算法对完备性和一致性进行检验。该方法的主要优点是利用了EHA的特性,给出了组合状态上迁移的传播算法,解决了完备性和一致性分析的难点。

RETE网络中的优化编译模式及其PVS形式验证

In the compilation of rule program to the intermediate code--RETE network,optimizing compilation is an important comptler schema,and is a necessary step in the compiler verification. In this paper,we discuss optimization schemas in rule program compilation,and prove the semantic equivalence theorems of these schemas. Firstly,the structure of RETE network and Its PVS specification are represented. Secondly,three kinds of optimization schemas are listed. Then algorithms evaluating semantics of target RETE network are given. Finally,we prove the semantic equivalence theorems with theorem prover PVS (Prototype Verification System).

App合规性检测综述

随着App使用者数量迅速增长,个人信息主体隐私泄露问题也日渐严重。为此,近年来我国相继出台了有关App个人隐私信息安全的相关法律文件,有关部门也相继开展了App整治工作,旨在对App个人信息的采集、存储和处理等方面进行规范。综述了App合规性问题,揭示出我国App安全面临的挑战性问题,列举了我国各层次部门颁布的App相关法规和政策,并介绍了国家在App治理方面推出的相关措施;综述了App合规性检测方法,将国内外App合规性检测分成App隐私政策的完整性检测、一致性检测和可读性检测三类,并从不同维度和切入点对这三类检测方法进行了分析和总结;对国内App合规性检测平台及其相应功能进行了整理和分析;提出了App合规性检测仍存在的挑战性问题,并展望了未来的发展方向。