盐酸阿霉素脂质体注射液致腰背痛1例

盐酸阿霉素脂质体注射液是一种具有靶向性的脂质体阿霉素,能够富集至肿瘤区域,与进口试剂相比具有相似的药代动力学,且与传统蒽环类化疗药物相比具有更低的心脏毒性,已经在临床中被广泛应用。但脂质体阿霉素存在一些不良反应,如:呼吸困难、面色潮红、眩晕、过敏性休克、皮疹、手足综合征等。严重腰背部疼痛虽然发生率较低,但仍需要高度关注[1-2]。

“操作系统”迭代递进式教学方案的探索

针对操作系统这一专业核心课程,探讨了一种新的课程教学方案,按照知识引入、拓展和综合提升的顺序迭代递进,以学生中心,以产出为导向,紧密围绕理论基础、编程实践、理论习题、科研和产业训练有序推进。试行后的课堂调查显示,新方案取得了良好的教学效果。

基于历史数据和多目标优化的测试用例排序方法

针对如何提高测试用例序列的揭错效率和回归测试效益问题,提出一种基于历史数据和多目标优化的测试用例排序方法。首先,根据测试用例的文本主题相似性和代码覆盖相似性对测试用例集进行聚类,并根据历史执行信息对测试用例间的执行失败关系进行关联规则挖掘,从而为后续过程做准备;然后,利用多目标优化算法对每个类簇内的测试用例进行排序,在此之后生成最终排序序列,使相似的测试用例分隔开;最后,利用测试用例间的关联规则,动态调整测试用例执行次序,从而使可能失败的测试用例优先执行,以进一步提高缺陷检测效率。与随机排序方法、基于聚类的排序方法、基于主题模型的排序方法、基于关联规则和多目标优化的排序方法相比,所提方法的平均故障检测率(APFD)平均值分别提高了12.59%、5.98%、3.01%和2.95%,基于成本的平均故障检测率(APFDc)平均值分别提高了17.17%、5.04%、5.08%和8.21%。实验结果表明,所提方法能有效提高回归测试效益。

基于依赖模型的REST接口测试用例生成方法研究

REST接口中普遍存在依赖关系,导致生成合理的接口调用序列与输入参数变得十分困难。现有的大多数方法只考虑了其中一种依赖关系,并需要人工执行繁杂的前置操作,生成的测试用例有效性仍然较低。针对以上问题,文中提出了一种基于依赖模型的测试用例生成方法。通过解析OpenAPI文档,该方法提取了接口内的操作间依赖关系与参数间依赖关系,并据此建立了两种依赖模型,从模型生成测试用例,最后从3方面确定测试预言。实验结果表明,该方法的输入度量覆盖率达到了100%,状态码类别、状态码、响应资源类型的覆盖率分别达到了100%,91.67%,83.33%,并能在限定时间内检出接口内部缺陷;与RESTler和RESTest相比,该方法的输出度量覆盖率最大提高了36%,触发了最多次的异常响应状态码,检测到接口异常响应的比例最大提高了10%。该方法为REST接口的测试用例生成问题提供了有价值的参考。

基于深度学习和信息反馈的智能合约模糊测试方法

主流区块链平台以太坊上频繁发现由不安全编程引起的智能合约安全漏洞。为了提高模糊测试对合约代码的覆盖率,以更全面地检测安全漏洞,提出了一种智能合约模糊测试方法。首先构造智能合约交易序列数据集,再基于深度学习构建智能合约交易生成模型以生成模糊测试初始种子;然后根据覆盖率和分支距离信息,对智能合约进行信息反馈引导的模糊测试,提出了特定的测试用例染色体编码方式,并设计实现了相应的交叉和变异算子。所提方法能有效覆盖智能合约的深层次状态以及严格条件守卫的分支代码。在500个智能合约上进行实验,结果表明,所提方法的代码覆盖率为93.73%,漏洞检测率为93.93%,与ILF,sFuzz, Echidna方法相比,所提方法的代码覆盖率提高了3.80%~25.49%,漏洞检测率提高了4.64%~24.02%。所提方法有助于提升以太坊智能合约安全测试的有效性,具有参考价值。

基于代码相似性的测试用例重用及生成方法

为在测试用例自动化生成中有效利用现有用例信息,降低测试用例生成成本,提高生成效率,提出一种基于代码相似性的测试用例重用及生成方法。设计基于文本和度量的被测代码相似性检测方法,分别从语法和语义上检测并划分相似类型;针对不同相似类型,采用更名重用和补充重用生成测试用例。将代码相似性应用于测试用例生成,综合考虑代码的语法、语义等多维相似信息,提升代码相似性检测的准确性,能更有效运用重用技术提升测试用例生成效率。实验结果表明,所提方法具有更高的重用召回率和重用精度,在相同时间成本下生成的测试用例覆盖率更高。

一种改进的基于遗传算法的多跑道到达飞机调度

为解决具有多条跑道的大型机场在交通高峰期的飞机调度问题,提出了用遗传算法解决多跑道到达飞机调度的方法。算法以所有飞机的排列次序作为个体编码,在此基础上设计了交叉和变异算子。解码时首先确定各飞机的降落跑道,然后用改进的移动方法解决同一跑道上飞机之间的冲突并插入空闲时间,从而确定降落次序和时间。模拟结果表明,该方法能帮助管制员做出高效的飞机调度决策。

用线性规划求解工程混合料最优配料问题

According to the real requirement of mix design in highway engineering,as well as considering the optimal economic problem,we build a mathematical model.The main solution steps using the tool of "Pro-gramming Solution"which is supported by Excel are introduced.Finally the estimation in technical and eco-nomic aspect about the result of the proposed model is analyzed.The main advantage is that we build a linear programming mathematical model which object function aims to obtain lower cost of mixture.The result is precise and can be obtained easily by using Excel,so the operator can have not the ability of programming.

基于单机排序问题的降落飞机分组排序方法

为使单跑道降落飞机排序结果在实际操作时可行、简单,首先限制同一航路段上的飞机按照先来先服务的原则排序,在最终的排序中,其拓扑次序不变;其次提出了将飞机分组排序的思想,对同一航路段上刚好满足最小安全间隔的飞机做为一个飞机组参与排序。使用1|chains|∑wjcj做为排序模型,通过求解各飞机链的ρ因子可以快速得到排序结果。将本方法用于对双流国际机场和其它几个机场的实际航迹数据进行计算,得到的排序序列完全符合实际管制需要,具有很高的推广应用价值。

软件测试课程实践教学改革研究

很多软件测试课程实践部分是让学生使用一些过时的工具对一些小型的例子程序进行测试,学生收获不大。文章描述软件测试课程中实践项目的设计,包括实验目的、涉及的知识点、使用的工具、被测系统等,阐述这些实践项目的优势并展示教学效果。

分布式自动化软件测试实现技术研究

为了解决大型软件的分布式自动化测试问题,在分布式持续软件质量保证思想基础上,通过对现有自动化测试框架的分析,提出了一个基于Internet网络资源的分布式自动化软件测试平台,并实现了原型系统。平台集成了软件测试过程中需要的一系列工具,能有效利用Internet上的空闲资源进行大型软件系统的持续集成和测试。为实现测试任务的自动划分和调度,提出了基于空闲时间约束的任务调度算法,并对集合划分问题的ACO算法进行了改进,在其中添加了动态容量监控标准和前置与后置处理过程。通过在原型系统中进行MySQL测试,验证了平台架构和设计的可行性以及算法的有效性。

自适应遗传算法在飞机调度问题中的应用

基于自适应遗传算法,实现了单跑道降落飞机调度问题的求解.算法以所有飞机的排列次序做为个体编码,解码时用移动方法确定飞机的降落时间.适应度函数的构造综合考虑了飞机的提前和延迟带来的损失,选择算子采用期望值方法,交叉算子用顺序交叉,变异算子用倒位变异.为提高算法的执行效率并避免早熟收敛,对交叉和变异概率均采用自适应策略.仿真结果表明了自适应遗传算法用于飞机调度问题的有效性.

航空地图信息系统及关键技术

针对空管自动化系统和空管人员的实际需求,介绍了开发实现航空地图信息系统的主要技术。系统具备地物对象的编辑、航空地图数据的显示和存取等功能。文中分析了航空地图信息系统的模型,并给出了在UNIX操作系统中,基于Motif环境开发系统时的具体实现技术。

肝硬化患者无创心脏血流动力学指标变化及意义

目的：观察肝硬化患者无创心脏血流动力学指标的变化，并探讨其意义。方法肝硬化患者124例（肝硬化组）和乙型病毒性肝炎患者129例（对照组），采用无创性心脏血流动力检测仪记录两组30个心动周期的平均动脉压（MAP）、每搏指数（SI）、每搏出量（SV）、心输出量（CO）、心脏指数（CI）、左心做功（LCW）、左心做功指数（LCWI），取其平均值。记录肝硬化组Child-Pugh 分级、肝硬度、食管静脉曲张程度、有无腹水及病毒载量情况。结果肝硬化组MAP高于对照组，SV、SI均低于对照组，P均＜0．05。肝硬化患者中，CO、CI随着Child-Pugh分级的升高而增大，SI、SV、CO、CI、LCW、LCWI随着肝硬度的升高而增大；食管静脉曲张F2～3者CI高于F0～1者，有腹水者CO、CI均高于无腹水者；P均＜0．05。不同病毒载量肝硬化患者的无创心脏血流动力学指标比较，P均＞0．05。结论肝硬化患者无创心脏血流动力学指标发生改变，尤其是CO、CI，与肝硬化严重程度、肝硬度、有无腹水和食管静脉曲张有关。

多处理器实时系统可调度性分析的UPPAAL模型

随着多处理器实时系统在安全性攸关系统中的广泛应用,保证这类系统的正确性成为一项重要的工作.可调度性是实时系统正确性的一项关键性质.它表示系统必须满足的一些时间要求.传统的可调度性分析方法结论保守或者不完备,为了避免这些方法的缺陷,提出使用模型检测的方法来实现可调度性分析.提出了一个用于多处理器实时系统可调度性分析的模板,将与系统可调度性相关的部分包括实时任务、运行平台和调度管理模块都用时间自动机建模,并使用UPPAAL验证可调度的性质是否总被满足.符号化模型检测方法被用于推断可调度性,但是由于秒表触发的近似机制,符号化模型检测方法不能用于证明系统不可调度.作为补充,统计模型检测方法被用于估算系统不可调度的概率,并在系统不可调度时生成反例.此外,在系统可调度时,通过统计模型检测方法获取一些性能相关的信息.

航空炸弹飞行中的风场辨识

为实现航空炸弹飞行中的风偏修正,提出了一种基于位置矢量合成关系的风场辨识方法。文中首先建立了制导炸弹系统仿真平台以及可用的简化风场模型,其次推导了具体的辨识步骤,从而仅根据飞行中的弹道偏差得到了实时的风场信息,为弹道风偏修正提供了可靠数据。最后通过数字仿真,验证了采用该方法进行飞行中的风场辨识是合理有效的。

多相流中颗粒旋转运动特性的研究进展

多相流中分散相颗粒旋转运动特性研究对于进一步揭示多相流机理有重要意义,同时也有助于人们更全面地认识多相流动,因此,越来越受到学者们的关注。近年来,人们从理论模拟方面研究颗粒旋转对流场的影响,通过改进多相流数值模型来考虑颗粒旋转,获得了与实验吻合的结果,但由于模型本身的局限性,无法全面考虑颗粒旋转运动对颗粒群和周围流场的影响;在实验研究方面,人们尝试利用高速摄像方法测量颗粒的转速,并对实际气固两相流中颗粒的转速进行了测量,但更准确、有效的颗粒转速测量方法还需进一步探索。把直接数值模拟方法应用于颗粒旋转运动特性的模拟是进一步研究颗粒旋转运动特性需要突破的方向,另外,通过计算机视觉场景中的连续图像序列对目标物体进行三维运动和结构重建的技术,也将是颗粒转速测量方法的研究重点之一。

嵌入式软件内存泄露检测方法研究

动态内存分配为C/C++语言编程人员提供了极大的灵活性,但同时也带来了一个潜在的严重问题——内存泄露。与桌面系统相比,嵌入式系统处理能力弱、内存空间小、运行时间长,如果在程序运行期间发生内存泄露,将导致系统崩溃,造成不可预料的后果,因此需要在开发调试阶段尽早检测出造成内存泄露的代码。提出了一种基于动态检测技术和程序插装技术的嵌入式软件内存泄露分布式检测方法。该方法的实现思想是当程序在目标机运行时,插装代码自动截获内存操作函数,收集内存操作相关信息并把收集到的信息发送到服务器端处理,实现了嵌入式系统内存泄露的准确检测。实验结果证明,由于采用分布式技术进行信息处理,内存泄露检测效率得到了很大的提升。

联合检测甲胎蛋白和高尔基体蛋白73(ELISA法)对原发性肝癌诊断价值的Meta分析

目的:评价甲胎蛋白(alpha-fetoprotein,AFP)联合高尔基体蛋白73(Golgi protein 73,G P73)检测对原发性肝癌诊断的价值,以期为临床医生提供参考.方法:检索Pub Med、EMbase、Medline、万方数据知识服务平台、CNKI、中国生物医学文献数据库等中外数据库2015-02之前发表的,关于AFP联合GP73检测对原发性肝癌诊断价值的研究,并对纳入文献的参考文献进行二次检索.严格按照纳入标准和排除标准选择文献、提取数据,并对纳入的文献行质量评价、异质性分析.采用Meta Disc1.4、Stata12.0软件进行Meta分析.结果:共纳入符合标准的文献19篇.AFP、G P 7 3单项检测对原发性肝癌诊断合并后的敏感度、特异度、曲线下面积(area under the curve,A U C)、Q指数分别为0.58(0.56-0.61)、0.84(0.83-0.86)、0.7642、0.7052和0.78(0.76-0.80)、0.97(0.86-0.88)、0.8848、0.8153.A F P联合G P73检测合并后的敏感度、特异度、AUC、Q指数分别为0.88(0.87-0.90)、0.82(0.80-0.83)、0.9461、0.8853.联合检测的A U C、Q指数明显高于AFP、GP73单项检测,Z检验提示差异有统计学意义(均P<0.05).结论:AFP联合GP73检测对原发性肝癌的诊断价值较高,对临床医生有一定的参考价值.

基于有界模型检测的C/C++程序内存泄露检测

C/C++语言中的动态内存管理机制自由且灵活,但动态内存的使用容易引入内存泄露,导致系统性能降低甚至系统崩溃。为了更加有效地检测内存泄露,提出了一个基于有界模型检测技术的C/C++程序内存泄露检测方案MLD-CBMC。该方案以C/C++程序文件为输入,利用有界模型检测技术对程序进行展开处理,加入内存泄露性质,并利用可满足性模理论(SMT)对程序约束和性质组成的验证条件编码,使用SMT求解器对验证条件求解,将检测内存泄露问题转换为求解可满足性问题,实现C/C++程序内存泄露的检测。通过实验验证了方案的有效性,并与其他有界模型检测工具进行对比实验,实验证明方案对内存泄露的检测能力更强。