检索结果-南通市图书馆

舟山海岛严重发热伴血小板减少综合征淋巴细胞亚群及 CD25表达特征动态分析

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

中华微生物学和免疫学杂志 2014年第5期34卷 359-363页

作者：姚燕珍鲍舟君李世波浙江省舟山医院检验中心 316004 浙江省舟山医院传染科 316004

目的：探讨舟山海岛地区严重发热伴血小板减少综合征（ severe fever with thrombocy-topenia syndrome，SFTS）患者淋巴细胞亚群及白细胞介素-2受体（CD25）表达的特征。方法采用血细胞分析仪、全自动生化仪及流式细胞仪分别检测SFTS... 详细信息

目的：探讨舟山海岛地区严重发热伴血小板减少综合征（ severe fever with thrombocy-topenia syndrome，SFTS）患者淋巴细胞亚群及白细胞介素-2受体（CD25）表达的特征。方法采用血细胞分析仪、全自动生化仪及流式细胞仪分别检测SFTS患者治疗前及治疗10 d后外周血血常规、血生化、淋巴细胞亚群，统计学分析其动态变化及相关关系。结果 SFTS患者治疗前白细胞、血小板、CD3＋T细胞、CD4＋T细胞均明显低于正常体检者。治疗10 d后，白细胞、血小板均明显上升， CD3＋T细胞、CD4＋T细胞仍低于正常体检者， CD25＋细胞高于正常体检者，差异有统计学意义（ P＜0．05）；SFTS死亡组T细胞、CD4＋T细胞、CD8＋T细胞和CD25＋细胞均显著低于痊愈组，差异有统计学意义（ P＜0．05）。 CD25＋细胞和B细胞与白细胞（WBC）呈正相关，血小板（blood platelet，PLT）与CD4＋T细胞呈正相关，差异有统计学意义（P＜0．05）；谷丙转氨酶（ALT）、肌酸激酶（CK）与CD3＋、CD8＋T细胞呈正相关，差异有统计学意义（P＜0．05）。结论新型布尼亚病毒（SFTSV）感染后机体免疫细胞比例发生改变，尤其是CD4＋T细胞减少，并与WBC、PLT和多种血清酶有一定的相关关系。

关键词：严重发热伴血小板减少综合征新型布尼亚病毒淋巴细胞亚群白细胞介素-2受体

在线全文

学校读者我要写书评

暂无评论

动态规划求解中国象棋状态总数

智能系统学报 2019年第1期14卷 108-114页

作者：魏印福李舟军北京航空航天大学计算机学院智能信息处理研究所北京100191

中国象棋空间复杂度是分析中国象棋博弈难度的重要指标,中国象棋空间复杂度分析是一个计数问题,即求解中国象棋状态总数。根据中国象棋棋子的着法特征,该问题可分解为若干子问题,利用动态规划分别解决这些子问题,能够求出中国象棋状态... 详细信息

中国象棋空间复杂度是分析中国象棋博弈难度的重要指标,中国象棋空间复杂度分析是一个计数问题,即求解中国象棋状态总数。根据中国象棋棋子的着法特征,该问题可分解为若干子问题,利用动态规划分别解决这些子问题,能够求出中国象棋状态总数的精确解。实验得出中国象棋状态总数约为7.54×10^(39.88),过去许多文献描述的中国象棋状态总数是不准确的,远远高估了中国象棋状态总数。基于动态规划的计数方法也可以用于计算其他棋类的空间复杂度,也能够用于寻找空间复杂度较低的残局棋型,为构建中国象棋残局库提供依据。

关键词：计算机博弈中国象棋组合计数空间复杂度动态规划计数算法问题求解状态空间

Recent progress on the J-TEXT three-wave polarimeter-interferometer

在线全文

学校读者我要写书评

暂无评论

Plasma Science and Technology 2022年第6期24卷 1-6页

作者：王钰涵高丽石鹏徐鑫周乙楠杨庆龙杨诚宇陶沁林沈呈硕汪亚军王璐陈志鹏夏冬辉陈忠勇王能超杨州军丁永华潘垣 J-TEXT Team International Joint Research Laboratory of Magnetic Confinement Fusion and Plasma Physics State Key Laboratory of Advanced Electromagnetic Engineering and TechnologySchool of Electrical and Electronic EngineeringHuazhong University of Science and TechnologyWuhan 430074People's Republic of China United Kingdom Atomic Energy Authority Culham Centre for Fusion EnergyCulham Science CentreAbingdonOxon OX143DBUnited Kingdom

The J-TEXT three-wave polarimeter-interferometer system(POLARIS),which measures timespace distribution of electron density and current density,has been optimized with both the optical system and the equilibrium reconstruction *** phase resolution of a Faraday rotation angle has been improved from 0.1 to 0.06 degree in chords from–0.18 to 0.18 m(plasma minor radius),and the sawtooth oscillation behavior has been detected by Faraday rotation angle *** combining the POLARIS measured data and the equilibrium and fitting code(EFIT),an upgraded equilibrium reconstruction method has been developed,which provides a more accurate temporal and spatial distribution of current density and electron *** means of the optimized POLARIS and improved equilibrium reconstruction,variations of profiles with increasing density have been carried out,under both Ohmic and electron cyclotron resonance heating discharges.

关键词： current density profile EFIT polarimeters

在线全文

学校读者我要写书评

暂无评论

安全协议分析中参与者个数上确界的论证

武汉大学学报（理学版） 2009年第1期55卷 79-84页

作者：刘锋李舟军周倜国防科技大学计算机学院湖南长沙410073 北京航空航天大学计算机科学与工程学院北京100083

为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷... 详细信息

为了明确安全协议分析和验证中所必需的参与者个数的上确界,改进了基于Horn逻辑的踪迹模型,在该模型中增加了策略向量,描述了攻击者对消息的截留能力以及消息接收的不确定性;提出了在Herbrand域和Herbrand基上的映射,该映射将潜在无穷的参与者限制在有穷的个体内;使用该映射给出了分析安全协议的保密性所必需的参与者个数的上确界n(φ),定义了语义保持.结果显示,对于安全协议的任意安全性质,若其Horn子句与协议程序在影射后保持原来的语义关系,则可以得出分析该性质所必需的参与者个数的上确界.

关键词：安全协议安全性质逻辑程序映射

农林废弃物吸附废水中重金属Pb2+的性能及机理研究进展

在线全文

学校读者我要写书评

暂无评论

材料导报 2020年第17期34卷 17115-17123页

作者：王路星周新涛罗中秋母维宏马越邵周军昆明理工大学化学工程学院昆明650500 昆明理工大学云南省高校磷化工重点实验室昆明650500

人体Pb 2+超标会造成贫血、肾功能衰竭、内分泌系统和中枢神经系统紊乱等症状。Pb 2+可通过含Pb 2+废水、废渣等形式对环境造成污染,其中含Pb 2+废水不仅对水源造成直接污染,同时也会在流经区域土壤形成Pb 2+富积而造成土壤重金属污染,... 详细信息

人体Pb 2+超标会造成贫血、肾功能衰竭、内分泌系统和中枢神经系统紊乱等症状。Pb 2+可通过含Pb 2+废水、废渣等形式对环境造成污染,其中含Pb 2+废水不仅对水源造成直接污染,同时也会在流经区域土壤形成Pb 2+富积而造成土壤重金属污染,因此对含Pb 2+废水的无害化处理刻不容缓。废水中Pb 2+的去除方法主要包括离子交换法、化学沉淀法、电化学法、膜过滤法和吸附法等,其中,吸附法因具有效率高、方便操作和成本低等优点而被广泛应用。商业活性炭吸附废水中Pb 2+的效果很好,但是高成本限制其使用,因此寻找活性炭替代吸附剂是吸附法处理含Pb 2+废水技术发展的关键。农林废弃物(AFW)因其来源广泛、种类繁多、成本低廉、吸附效果好、吸附材料可再生等诸多优势,被广泛应用于废水中Pb 2+的去除。可通过酸碱盐改性、结构改性、炭化改性、有机溶剂改性和复合改性等对AFW进行处理,以提高其吸附效率。同时,Pb 2+初始浓度、吸附剂量、pH值、温度和时间等因素对AFW吸附Pb 2+的效率有较大的影响。AFW可通过离子交换、络合作用、物理吸附、化学沉淀等多重作用机制实现Pb 2+的高效吸附,其吸附动力学一般符合准二级动力学模型,吸附热力学一般符合Langmuir热力学模型或Freundlich热力学模型。本文综述了AFW吸附废水中Pb 2+的研究现状与进展,从AFW改性、Pb 2+吸附影响因素及其作用机制等方面进行了讨论。最后,对AFW吸附Pb 2+研究中存在的问题进行了分析,并对其未来的研究方向进行了展望,以期为制备稳定可循环的AFW提供参考。

关键词：农林废弃物吸附废水重金属Pb 2+ 改性吸附机理

在线全文

学校读者我要写书评

暂无评论

基于模型检验的构件验证技术研究进展

计算机研究与发展 2011年第6期48卷 913-922页

作者：贾仰理李舟军邢建英陈石坤聊城大学计算机学院山东聊城252059 北京航空航天大学计算机学院北京100191 国防科学技术大学计算机学院长沙410073

模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模型检验的构件验证方法分为基于系统规约模型的验证和基于源代码的验证,分别对其研究现状和发展动态进行... 详细信息

模型检验以其自动化程度和完备性高、与构件技术互补性强等特点,在软件构件可信性质的分析和验证中发挥着日益重要的作用.将基于模型检验的构件验证方法分为基于系统规约模型的验证和基于源代码的验证,分别对其研究现状和发展动态进行了详细的综合评述.首先对模型检验与构件可信性质验证的关系进行了探讨,接着对基于SOFA,Fractal,CORBA及各种特定构件模型的验证方法和基于转化思想的源码验证、面向源码的直接验证及面向可执行代码的动态验证方法分别进行了评述.最后,指出了基于模型检验的构件验证技术所面临的主要挑战和未来的发展方向.

关键词：构件模型检验形式化描述验证可信性质

在线全文

学校读者我要写书评

暂无评论

写污点值到污点地址漏洞模式检测

计算机研究与发展 2011年第8期48卷 1455-1463页

作者：忽朝俭李舟军郭涛时志伟北京航空航天大学计算机学院北京100191 中国信息安全测评中心北京100085

设备驱动是允许高级程序与硬件设备交互的底层程序.通常设备驱动中的漏洞较之应用程序中的漏洞对计算机系统的安全具有更大的破坏性.写污点值到污点地址是Windows设备驱动程序中频繁出现的一种漏洞模式.首次明确地对该种漏洞模式进行描... 详细信息

设备驱动是允许高级程序与硬件设备交互的底层程序.通常设备驱动中的漏洞较之应用程序中的漏洞对计算机系统的安全具有更大的破坏性.写污点值到污点地址是Windows设备驱动程序中频繁出现的一种漏洞模式.首次明确地对该种漏洞模式进行描述,提出一种针对二进制驱动程序中该种漏洞模式的自动检测方法,并实现相应的原型工具T2T-B2C.该方法基于反编译和静态污点分析技术,与其他方法相比,既可以分析C代码,也可以分析本地二进制代码.该工具由T2T和B2C两个组件组成:首先B2C基于反编译技术将二进制文件转换为C语言文件;然后T2T基于静态污点分析技术检测B2C生成的C代码中出现写污点值到污点地址漏洞模式的语句.使用多种反病毒程序中的二进制驱动对T2T-B2C进行了评估,发现了6个未公开漏洞.评估结果表明:该工具是一款可实际应用的漏洞检测工具,可应用于对较大规模的程序进行检测.

关键词：漏洞二进制设备驱动反编译污点分析

基于热重启随机梯度下降和一类支持向量机信息融合的户变关系辨识方法

在线全文

学校读者我要写书评

暂无评论

南京工业大学学报（自然科学版） 2023年第3期45卷 276-283页

作者：马洲俊黄伟牛军伟朱红韦磊孙国强臧海祥国网江苏省电力有限公司南京供电分公司江苏南京210019 河海大学能源与电气学院江苏南京211100

为了提高低压台区户变关系校验的效率,提出一种基于用电量和电压信息融合的台区户变关系辨识方法。首先,基于用电量建立台区和用户的关系模型,利用热重启随机梯度下降法(SGDR)求解,并使用滑动时间窗进行多次判断,综合得出户变关系初步... 详细信息

为了提高低压台区户变关系校验的效率,提出一种基于用电量和电压信息融合的台区户变关系辨识方法。首先,基于用电量建立台区和用户的关系模型,利用热重启随机梯度下降法(SGDR)求解,并使用滑动时间窗进行多次判断,综合得出户变关系初步辨识结果;然后,使用初步辨识得到的正常户变关系用户的电压数据构成训练样本,构建一类支持向量机(OC-SVM)学习台区正常用户的电压特征,完成台区用户的户变关系最终辨识;最后,对实际台区数据进行分析。结果表明:该方法实现了低压台区户变关系的有效识别,验证了该方法的实用性和可靠性。

关键词：低压台区户变关系识别热重启随机梯度下降一类支持向量机信息融合滑动时间窗

Adoptive transfer of mix-cultured bone marrow cells prolongs the survival of cardiac allograft in mice

在线全文

学校读者我要写书评

暂无评论

Adoptive transfer of mix-cultured bone marrow cells prolongs...