奖励性操作条件反射实验在学习记忆研究中的应用

动物行为学是用于评价动物学习记忆的基本实验手段,广泛应用于生理病理机制研究及药效评价。评价大小鼠学习记忆行为检测方法根据实验原理可分为惩罚性、自发性和奖励性三类,其中奖励性操作条件反射实验是基于奖励性原理和斯金纳条件反射原理的行为学检测方法,为检测动物学习记忆中的高级认知功能提供了一种更全面更精细的检测手段,尤其适合于现代高科技条件下执行复杂操作任务时的认知作业能力评价。本文对奖励性操作性条件反射实验的发展历程、实验装置、实验方法及应用领域等方面进行了概述,为此类方法今后在国内学习记忆行为学领域的研究与应用提供参考。

基于数据挖掘的骨质疏松症动物模型建立与分析

目的探讨骨质疏松症动物模型的建立要素及检测指标,为骨质疏松症动物模型的标准化提供参考。方法在中国知网、万方、维普和PubMed数据库中检索近10年收录的骨质疏松症动物实验文献,归纳实验动物种类、造模方式、检测指标等要素,用Excel、SPSS Modeler 18.0进行数据分析。结果共纳入符合条件的文献457篇。原发性骨质疏松症动物模型以大鼠手术去卵巢为主,继发性骨质疏松症动物模型以糖皮质激素类药物诱导为主。检测指标主要包括骨密度、血清骨代谢相关生化指标、骨组织形态及病理观察、骨微结构、骨生物力学等。结论目前骨质疏松症动物模型以雌性大鼠去卵巢手术和糖皮质激素类药物诱导为主,但尚未建立统一标准。骨质疏松模型需要骨密度、血清骨代谢相关生化指标、骨组织形态及病理观察、骨微结构和骨生物力学的综合判定。

全身型幼年特发性关节炎与巨噬细胞活化综合征的动物模型研究进展

全身型幼年特发性关节炎(systemic juvenile idiopathic arthritis,sJIA)是最常并发巨噬细胞活化综合征(macrophage activation syndrome,MAS)的风湿性疾病,可威胁患儿生命。目前的动物模型仅显示出部分sJIA及MAS的特性,尚没有一个完美的动物模型能够复制sJIA及MAS整个过程。本文对目前已提出的sJIA和MAS动物模型模拟的临床特征、优点及存在的不足进行综述,旨在为探索代表性更佳的sJIA及MAS的动物模型提供思路。

新水缸潜水模型在斑马鱼焦虑及应激行为研究中的进展

新水缸潜水实验(novel tank diving test)是专门针对模式动物斑马鱼或其他小型鱼类的焦虑行为研究设计的评价范式,是介于活体和细胞测定之间的药物筛选模型。该模型从小鼠迷宫实验模型发展而来,在行为测试的便捷性上具有一定优势。斑马鱼与人类具有较高的基因同源性,药物介导的斑马鱼焦虑和攻击行为与其内分泌系统中下丘脑-垂体-肾间腺(HPI)轴密切相关,类似于人体下丘脑-垂体-肾上腺(HPA)轴的作用。因此该模式对人类焦虑行为的研究具有重要的指导意义。总的来说,新水缸潜水实验是一种高效、可靠的高通量行为筛选模型,主要应用于动物社会性、成瘾性、睡眠、学习与记忆等研究领域。本文综述了过去15年间,新水缸潜水模型从形成雏形到不断完善,最后广泛应用于各种场景,从模型起源、测定参数、用途、存在问题和未来发展趋势等5个方面进行综述,并与明/暗水缸实验进行比较分析,以期扩宽斑马鱼焦虑及应激行为评价实验的研究范畴和应用范围。

基于AS关系的BGP路由策略冲突检测研究

对违背 AS关系配置原则的路由不稳定性进行研究 ,提出一种基于 AS关系的路由策略冲突检测算法 ,该算法根据 AS关系下的路由策略配置原则 ,通过把 AS关系对象集合与实际导出的 AS关系集合比较 ,发现路由策略冲突 .该算法既可用于静态也可用于动态的路由策略冲突检测 .

共同内群体认同对群际威胁引发攻击行为的调节作用

基于群际威胁理论和共同内群体认同模型,以恶性医患失谐事件为启动材料,采用竞争反应时范式(CRT)和内隐联想范式(IAT)从外显和内隐层面探究了共同内群体认同对群际威胁引发攻击行为的调节作用。结果发现,群际威胁组个体的外显和内隐攻击性显著高于非威胁组;有共同内群体认同的个体的外显和内隐攻击性显著低于无共同内群体认同组的个体;在无威胁的条件下,有无共同内群体认同对个体的外显和内隐攻击性没有较大影响,但在威胁条件下有共同内群体认同的个体的外显和内隐攻击性显著低于无群际威胁组的个体。上述结果表明,群际威胁会引发个体的攻击行为,共同内群体认同能够降低个体因群际威胁而产生的攻击强度。因此,降低医患群际威胁感知、构建医患共同内群体认同对医患失谐的消解具有重要意义。

基于SQL的高校考务管理系统的设计与实现

高校考务管理是一个较为复杂的工作。本文研究了基于SQL的高校考务管理系统的设计,并讨论了其实现方法。解决了系统设计过程中考场自动编排与冲突检测、考试信息的查询与统计、系统安全防范及考试信息打印等关键技术。

RISC微处理器流水线的测试

现代微处理器的指令都是流水执行,流水线测试也应成为功能测试的一部分.讨论了指令在流水线中的执行以及指令间的依赖关系,给出了NRS4000微处理器的流水线的依赖图及精细依赖图.然后,依据指令在流水线的状态,将指令分成六类,分析了流水线中所有可能出现的“写后读”冲突.最后,给出了NRS4000微处理器的流水线测试序列和测试程序.

一种针对规则集不一致性的测试数据包选取算法

在防火墙规则集正确性测试中,现有的测试数据包选取算法大多随机选取数据包和从规则顶点选取数据包。然而,这种做法忽略了存在规则不一致性的区域,从而导致不能检测出所有因规则不一致性而产生的配置错误。针对这一情况,提出了一种针对规则集不一致性的测试数据包选取算法。该算法以两条规则为基本单位,计算其不一致性区域。算法不但从规则顶点选取数据包,而且从规则集不一致性区域选取数据包。测试表明,与常见测试数据包选取算法相比,该算法只需增加少量测试数据包,就能检测出所有因规则不一致性而带来的配置错误。

基于参数类型和访问序的数据冲突静态分析方法

中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方法相比较动态方法更容易实施,分析更为充分,对今后数据冲突自动化检测工具的研究具有一定的参考作用.

基于Petri网的分布式系统冲突消解

针对分布式系统在共享资源冲突和消解的复杂性问题,综合考虑时间、空间、约束条件等因素,在混合Petri网同时具备描述离散系统和连续系统的能力的基础上,加入时间约束条件、测试弧,从而形成一个能够描述更复杂分布式系统的Petri网模型。利用Petri网描述系统的基本思想,经过扩展得出新模型,变迁使能、变迁触发和变迁冲突检测的定义。结合实例,对模型进行了仿真分析,给出了实例中系统冲突的消解方案,表明了模型的可行性。

基于Kriging方法和Pettitt检验的数据冲突判别

针对单个属性值与时空数据规律性之间的冲突问题,构建与判别点位密切相关的紧致周边点集,采用Krig-ing方法实现时空数据属性值汇集,将时间维度和空间维度信息推演到判别点位,以转化值与属性值间的差异来衡量时空数据是否违背实体对象的规律性,并通过构造秩序列的Pettitt检验给出时空数据冲突的判别方法,避免了传统依靠向量空间分析的片面性,为一定时间窗口下时空数据冲突判别提供了一个解决方案。实验表明:该方法能够有效刻画判别点位属性值与周边位置、前后时刻估计值之间差异程度,平均判别正确率可达80%,进一步提高了此类时空数据冲突判别算法的适用性。

通用ATE开关资源测试路径模型及应用

针对自动测试设备(ATE)测试程序开发中的开关资源测试路径搜索复杂、冲突判断困难、管理难度大等问题,提出了通用ATE开关资源测试路径模型,给出了模型的构造方法和多开关资源级联的级联算法,介绍了模型的具体应用.模型实现了ATE测试过程中开关资源测试路径冲突判断、最佳测试路径自动搜索、测试路径故障隔离、测试程序与具体测试路径硬件资源无关.提高了测试程序(TP)的通用性和可移植性,降低了TP开发的工作量.

基于概率模型的ATC系统冲突目标生成算法

通常用于测试空中交通管制(Air Traffic Control,ATC)自动化系统的飞行冲突告警功能的方法主要有放宽系统告警值和向系统输入模拟的飞行冲突目标的雷达数据。前一种方法存在不可靠性,第二种方法由于只产生简单的确定目标轨迹数据,因此只能简单地测试系统能否告警,无法对系统的飞行冲突预测能力作出评价。为了使用于测试系统的模拟雷达数据更符合实际飞行情况,并检测系统预测飞行冲突的技术水平,本文提出了一种基于飞行冲突概率模型的航迹模拟方法,通过对不同目标对的冲突概率建立数学模型,反推出存在不同冲突概率时目标的运动参数。并通过仿真实验产生了一系列具有不同冲突概率值的目标对的航迹,利用这些数据能对ATC自动化系统进行更有效的冲突探测和告警能力测试。

咪唑克生增强丁螺环酮的抗冲突作用

目的 探索α2 受体拮抗剂咪唑克生能否增强 5 HT1A受体激动剂丁螺环酮的抗冲突作用。方法 采用焦虑动物模型Vogel冲突饮水实验。 结果 低于有效剂量的咪唑克生 (0 1～ 1 0mg·kg-1)当与低于有效剂量的丁螺环酮 (0 3mg·kg-1)合用后 ,以剂量依赖性的方式 ,明显增加丁螺环酮的冲突饮水次数 ,当与有效剂量的丁螺环酮 (1 0mg·kg-1)合用后 ,抗冲突饮水次数的改变率从单用时的 +10 9%增至合用时的 +140 %～ +5 85 %。同时 ,合用后对大鼠自发性饮水没有影响。结论 咪唑克生能增强丁螺环酮的抗冲突作用 ,提示去甲肾上腺能和 5 羟色胺能系统之间可能存在交互作用 ,共同调节冲突行为。

基于TRIZ的教学仪器——汽车气体污染测试舱设计

为了准确测量汽车舱内装饰材料散发VOC的分布情况,自主研发了一种轿车座舱内气体污染物测试的取样模拟舱。检测舱需要对外密封,实施测量空间分割,这面临一些矛盾,将TRIZ理论引入求解这些矛盾,分析存在的冲突,并将冲突标准化,在TRIZ矛盾矩阵中找到对应的解决原理,获得解决技术方案。

丁螺环酮对地西泮抗焦虑作用的影响

应用大鼠 Vogel冲突饮水实验和群居接触焦虑模型 ,观察丁螺环酮 (Bus)对地西泮抗焦虑作用的影响 .结果发现 ,以低于有效剂量的 Bus与低于有效剂量的地西泮合用 ,能显著促进大鼠的抗冲突饮水次数和群居接触时间 .而以低于有效剂量的Bus与有效剂量的地西泮合用 ,则能使地西泮的抗焦虑作用消失 .结果表明 ,Bus在不同条件下能加强或减弱地西泮的抗焦虑作用 ,提示中枢 5- HT与γ-氨基丁酸 -苯二氮艹卓 系统之间存在着相互作用 ,并可能共轭调节焦虑的病理生理过程 .

STCN的对岸打击时间协同冲突消解研究

为验证航空兵对岸打击中时间协同计划的可行性以及快速地调整时间协同计划,建立了任务间的简单时间约束网络(STCN),并转化成权值矩阵的形式。根据权值矩阵特点,提出了一种检测STCN一致性的权值矩阵法,大大降低了算法复杂度。为加快时间协同计划的调整速度,基于检测结果,提出了一种代价最小的冲突消解方法,避免了消解过程中的重复检测问题,提高了效率,使计划调整更加快捷高效。

交通冲突类型对驾驶人生理特性的影响

通过分析不同冲突下的驾驶人生理数据,研究交通冲突类型对驾驶人生理特性的影响.通过采用Pearson检验法、数理分析以及信度效度分析的方法,研究冲突类型和驾驶人生理变化之间的显著性影响关系.研究结果表明:有行人参与或非机动车参与的冲突场景对驾驶人肌电信号的影响较大,而仅有机动车参与的冲突场景和外在环境的冲突场景对驾驶人肌电信号的影响较弱;有行人参与或有外在环境参与的冲突场景对驾驶人皮电信号的影响较大,而仅有车辆参与的交通冲突对驾驶人皮电信号的影响较弱.

针对规则更新操作的测试数据包选取算法

防火墙规则集中存在的配置错误主要来源于规则的添加、删除等更新操作。因此进行规则更新时,需要使用测试算法判断更新操作的正确性。现有的测试算法仅从被添加或被删除规则的顶点选取测试数据包,不能检测出所有因规则冲突而导致的配置错误。基于此,提出了一种针对规则更新操作的测试数据包选取算法PCRU。该算法从两处选取测试数据包,即被添加或者被删除的规则的顶点和规则冲突区域。理论分析和仿真实验表明,与现有测试算法相比,在进行规则更新时,PCRU算法只需使用少量的测试数据包,即可检测出所有因规则冲突而导致的配置错误。