基于条件化有向图的工作流过程优化

为改善工作流的性能和效率 ,一个智能化的工作流管理系统应该具有分析和优化工作流过程定义的能力 .该文首先给出影响工作流过程性能的主要因素 ,借助于定量分析的方法 ,讨论了这些因素对工作流性能和效率的影响 .以此为基础 。

多巴胺D2受体拮抗剂、激动剂对SD大鼠条件化位置偏好的影响

通过慢性吗啡处理方式建立起SD大鼠吗啡依赖的条件化位置偏好(CPP)模型,用行为学手段研究多巴胺(DA)D2受体拮抗剂及激动剂对SD大鼠CPP的影响,探讨眶额叶DAD2受体在阿片精神依赖中的作用。通过腹腔注射吗啡同环境因素相结合,建立大鼠吗啡依赖的CPP模型;采用局部脑内微量注射法向额叶注射DAD2受体拮抗剂或激动剂或盐水(对照组),以得到SD大鼠在戒断期间的CPP的时间数据。CPP显示DAD2受体拮抗剂组与对照组相比,从戒断第2天起,前者表现出更明显的CPP增加现象,差异显著(P<0·05)。而DAD2受体激动剂组与对照组相比无显著差异(P>0·05)。采用腹腔小剂量注射吗啡,成功地建立了吗啡依赖SD大鼠的CPP模型;眶额叶微量注射DAD2受体拮抗剂增加了CPP时间,提示眶额叶多巴胺系统在吗啡依赖的过程中有着较为重要的作用;也提示了对于已经成瘾的动物,损伤其眶额叶,会使药物渴求增强。因而提示对于药物依赖患者进行手术干预治疗要极其慎重。

外侧杏仁核在恐惧性条件化学习和记忆中的作用

恐惧性条件化学习的行为范式是研究情绪信息编码和储存的神经生物学机制的一个重要手段。杏仁核,尤其是外侧杏仁核(lateral nucleus of amygdala,LA),在恐惧性条件化的建立、恐惧信息的表达,以及恐惧性事件信息的存贮过程中起着非常重要的作用。本文着重论述外侧杏仁核在恐惧性条件化学习过程中的神经可塑性变化和相关的LTP机制,以及决定这种可塑性变化的分子信号转导通路。

条件化噪声保护噪声损伤的动物实验

用大鼠研究条件化低强度声刺激对高强度声刺激的保护作用。动物暴露于中心频率为４ｋＨｚ的倍频程窄带噪声，强度５５～９５ｄＢＳＰＬ１０小时，然后再暴露动物于噪声１０５ｄＢＳＰＬ１３小时，暴露前、暴露后即刻及３周检测ＡＢＲ阈值。先条件化噪声暴露组动物可以减轻ＴＴＳ和ＰＴＳ，结果提示在大鼠内耳有“坚韧化”现象，这种现象可以用本实验较短的条件化噪声诱发出。对条件化噪声暴露防护强声暴露的机理进行了讨论。

认知重评阻断条件化恐惧记忆的习得与表达——对恐惧反应的长程抑制作用

情绪调节是人类特有的、并能有效控制个体情绪反应的行为方式,认知重评是其中最有效的调节策略之一。恐惧记忆是参与情绪障碍形成的重要病理机制,且已习得的恐惧反应难消退、易复发。为了考察认知重评能否起到长久抑制恐惧反应的效应,本研究利用条件化恐惧范式,第一天进行条件化恐惧习得训练,并在习得后间隔24 h及31天进行恐惧记忆的表达及自发恢复测试。实验1中,随机将被试分为两组,要求其在恐惧习得过程中进行认知重评或自然感受;在实验2,同样随机将被试分为两组,但要求其在恐惧记忆表达过程中进行认知重评或自然感受。结果发现,习得阶段进行认知重评显著降低了恐惧记忆的习得、表达及自发恢复过程中的SCR水平。同样,表达阶段进行认知重评也降低了此阶段的恐惧水平,且显著抑制了恐惧记忆的自发恢复。结果提示,在面对应激时,个体如果能够成功地利用想象进行认知重评,就有可能避免应激事件对个体的心理或精神造成伤害。

用于克服程序状态空间爆炸的条件化预处理

提出用条件化技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件,通过对程序符号化执行后各控制点的路径条件进行逻辑推理,删除那些对性质检测无关的语句。理论分析和实验结果表明,条件化可以有效缩减程序状态空间,并且满足软件模型检测对状态缩减的安全性要求。

米非司酮对大鼠恐惧条件化及消退的影响

目的:研究米非司酮(RU486)对大鼠恐惧条件化及消退的影响。方法:大鼠连续4天给药(或生理盐水)后开始行为学实验,1 d适应环境;2 d进行恐惧条件化;3 d恐惧消退训练(也是条件化恐惧的表达检测阶段);4 d进行消退记忆再现检测。结果:在恐惧表达阶段,两处理组与各自对照组大鼠的僵直水平组间差异都无显著性;在消退再现检测阶段,高剂量RU486组大鼠的僵直水平显著高于对照组,低剂量RU486组与对照组大鼠的僵直水平组间差异无显著性。结论:米非司酮损害消退记忆的再现,且这种损害与剂量有关。

程序条件化用于软件模型检测中的状态空间缩减

针对软件模型检测中的状态爆炸问题,提出将程序条件化技术用于软件状态空间缩减的方案.以程序性质的线性时序逻辑公式可能出现的蕴涵式的前件作为条件化的约束条件,通过分析程序符号化执行语义,借助自动定理证明器,对语句的可达性条件进行逻辑推理,删除那些与性质的可满足性无关的语句,以达到程序精简的目的.理论分析和实验结果表明,条件化可以有效缩减程序状态空间,而且缩减后的程序模型保留了原程序中与所需验证的性质有关的所有信息,满足软件模型检测对状态缩减的安全性要求.

论贝叶斯条件化和杰弗里条件化之关系--评休伯对贝叶斯主义的批评

在概率演算公理系统之内把概率解释为主观置信度的意义上,杰弗里条件化常被纳入贝叶斯理论的范围,但是它与贝叶斯条件化有着本质的区别,即贝叶斯条件化只考虑确凿证据对假说的认证度的影响,而不考虑不确定证据对认证度的影响。贝叶斯条件化是杰弗里条件化在Pr´(e)=1时的特例,似乎不如杰弗里条件化来得普遍。但是,贝叶斯条件化的这种“狭隘”对于科学检验来说不但不是缺点,反而是科学之严格性和可靠性的体现。然而,休伯却忽视了贝叶斯条件化和杰弗里条件化之间的这一区别,把从杰弗里条件化推出的违反科学直觉的结论强加到整个贝叶斯理论之上,这种做法是有失公允的。

清醒制动家猫条件化瞳孔扩大反射的建立及其习得规律研究

目的建立家猫条件化瞳孔扩大反射模型并研究其习得规律。方法以声音作为条件刺激(conditioned stimulus,CS),尾部电击作为非条件刺激(unconditioned stimulus,US),对3只体质量为2～2.5 kg成年雄性家猫分别用CS-US间隔0 ms和900 ms两种模式训练。用红外瞳孔测量装置实时监测在行为训练过程中的瞳孔面积变化,并以此衡量家猫能否习得条件化瞳孔扩大反射。结果在900 ms CS-US刺激间隔训练中家猫习得了条件化瞳孔扩大反射,在经过10、30次配对训练后其习得率分别为26.67%、53.33%,50次配对训练后习得率达76.67%。在随后的30次消退训练中,习得率呈下降趋势。结论家猫条件化瞳孔扩大反射的习得与CS-US刺激间隔和CS刺激数量有关。这种反射能在较少配对训练后就习得,但消退也较快。

对条件化恐惧反应的抑制效应:指导性与习惯性情绪调节的作用

为了考察实验室指导性与个体习惯性情绪调控策略对恐惧反应的影响,先使用问卷调查了81名大学生的习惯性重评与抑制水平,随后将被试分为两组,指导其在条件化恐惧习得过程中进行主动的情绪调节或自然观看,24h后进行恐惧的表达测试。结果发现,习惯性抑制水平与恐惧习得及表达水平呈显著负相关,且指导性情绪调节与习惯性抑制均显著降低了恐惧习得及表达水平。这提示指导性与习惯性情绪调节策略均能够削弱应激的伤害以保护个体。

大鼠脑中隔核毁损对关联性条件化恐惧的影响

目的 中隔核 (Septum)在实验大鼠对关联性刺激所产生的条件化恐惧的获得 (Acquisi tion)已经证明具有重要的作用 ,但对关联性刺激所产生的条件化恐惧的表达 (Expression)的作用至今仍未阐明。方法 实验组大鼠分别采用射频 (Radiofrequency)技术对双侧中隔核区行组织毁损术 ,对照组大鼠完全按照实验组大鼠的手术程序 ,但不采用射频技术进行组织破坏 ,然后均接受经典的条件化恐惧的实验训练。实验 1:实验大鼠 (n =18)在手术后第 11d ,经采用足部电击 (Footshocks)方法产生与之关联的条件化恐惧 ,然后在 2 4h后 ,在相同条件下但不予以足部电击的情况下评定其僵滞 (Freezing)行为 ;实验 2 :实验大鼠 (n =16 )在手术前 2 4h ,先采用足部电击方法产生与之关联的条件化恐惧 ,然后在手术后第 11d在相同条件下但不予以足部电击的情况下评定僵滞行为。结果 在训练前接受双侧中隔核毁损的大鼠既不阻断也不增强关联性条件化僵滞 ,而在训练后接受双侧中隔核毁损的大鼠则明显阻断关联性条件化僵滞的表达 ,同时因关联性条件化恐惧所致非粪的数量也明显减少。结论 双侧中隔核的毁损并不引起关联性条件化恐惧的增强 ,而是明显减弱关联性条件化恐惧的表达水平 ,因此 ,中隔核具有潜在增强关联性条件化恐惧的表达的作用?

青春期小鼠与成年小鼠在吗啡和食物诱导条件化位置偏爱建立上的异同

该实验通过采用吗啡诱导的条件位置偏爱(conditioned place preference,CPP)与食物诱导CPP相结合的方法来研究青春期小鼠和成年小鼠的普通学习记忆和成瘾学习记忆之间是否存在差异。结果发现:1)成年小鼠能够建立吗啡诱导CPP,而青春期小鼠不能建立;2)青春期小鼠和成年小鼠都能够建立食物诱导CPP。吗啡诱导CPP的结果提示,青春期小鼠和成年小鼠在成瘾学习记忆上有差异,青春期小鼠的成瘾记忆能力较弱。食物诱导CPP的结果提示,青春期小鼠和成年小鼠在普通学习记忆上没有差异。吗啡诱导CPP和食物诱导CPP的结果比较提示,小鼠的普通学习记忆系统和成瘾学习记忆系统发育进程是不平行的。

心得安对ICR小鼠吗啡诱导的条件化位置偏爱记忆获得和提取的影响

利用心得安阻断β-肾上腺素受体(β-受体),从而干扰药物成瘾患者对药物环境线索记忆的某些环节(如再巩固等),进而降低或抑制其对成瘾药物的渴求,已成为未来治疗复吸的潜在途径。但目前,心得安对吗啡相关环境线索记忆的获得及提取的影响尚不清楚。因此,该实验检测了心得安对小鼠吗啡诱导的条件化位置偏爱(conditioned place preference,CPP)环境线索记忆的获得和提取的影响。该研究首次发现在吗啡CPP记忆的获得期,心得安不影响CPP的表达和消退,提示β-受体不参与吗啡诱导CPP学习记忆的获得;而在吗啡CPP记忆的提取期,心得安可延缓CPP的消退,提示β-受体与吗啡诱导CPP学习记忆的提取相关。该结果表明,药物成瘾过程与β-受体相关,为成瘾等精神疾病的治疗提供了新的理论依据。

在课堂条件下训练班主任技能的认知心理机制——知识条件化的原理与培训方法

美国新一代知名认知心理学家爱伦·加涅认为:“专家程度的教师就像其它领域的专家水平的问题解决者一样,他们具有本领域高度组织和精加工了的一套概念知识.”此处所谓“一套概念知识”(Sets of conceptual Knowledge)相当于《班主任技能训练的理论与实践》一书在阐述班主任技能训练“以各相关学科知识的营养”论题时提到的“

巴氯芬对慢性吗啡依赖后条件化位置偏好和戒断症状的抑制

小鼠连续7天腹腔注射吗啡(40mg/kg)建立条件化位置偏好模型,连续皮下递增注射吗啡(25、50、75、100、125、150mg/kg),成瘾后腹腔注射纳络酮(6mg/kg)诱导戒断症状(跳跃行为)建立戒断模型。腹腔注射GABAB受体激动剂巴氯芬(2mg/kg)可以有效地抑制吗啡诱导的条件化位置偏好和减轻纳络酮诱导的戒断症状,结果表明GABA系统参与动物成瘾后渴求和戒断过程,激动GABAB受体可以在一定程度上抑制成瘾的心理和生理戒断症状。

“知识条件化”与不定积分计算

凑微分法、分部积分法是不定积分计算的基本方法.在什么情形下应该用分部积分法?在什么情形下应该用凑微分法?虽然没有一般法则,但从被积函数的知识组块分析入手,寻找了四个运用条件,对如何应用凑微分法、分部积分法进行不定积分计算,另辟蹊径,有一定的创意,值得借鉴.

果蝇条件化视觉飞行定向的动力学特征

采用飞行模拟器,研究果蝇(Drosophila)在视觉飞行定向与热惩罚之间建立的条件化学习。主要结果为:(1)证明果蝇在实验的不同时间段的行为指数PI(Performance Index)具有显著相关性;(2)从果蝇个体的飞行扭矩轨迹计算得到的特征函数,可以用来评估果蝇通过训练而形成的视觉空间定向能力;(3)发现从果蝇个体在预训练阶段的飞行扭矩轨迹计算的近似熵ApE(2,r,N)(Approximate Entropy)与第9个时间段的学习指数显著相关,所以预训练阶段的近似熵可以用来粗估训练后的学习指数。

天麻素对大鼠恐惧条件化及消退的影响

目的本研究旨在探讨天麻素对大鼠恐惧条件化及消退的影响。方法将大鼠连续7 d腹腔注射天麻素(或生理盐水)后开始行为学实验,实验依照习惯化、恐惧条件化、恐惧消退训练及消退记忆再现检测4个阶段进行。每两个阶段之间间隔24 h。结果结果发现在恐惧条件化、消退训练及消退记忆再现检测阶段,天麻素组与生理盐水组大鼠声音诱发的僵直时间百分比无显著的组间差异性;在恐惧消退训练阶段第一次声音呈现前180 s检测箱场景诱发的僵直时间百分比,天麻素组显著高于生理盐水组。结论天麻素处理影响了大鼠的长时程场景性恐惧记忆的形成。