Trace演算 被引量：4

1

作者 黄涛 钱军 倪彬 《软件学报》 EI CSCD 北大核心 1999年第8期790-799,共10页

文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F... 文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F，A，E）包含4个部分；数据类型S、函数F、属性A和动作E．∑＝（S，F）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记∑的动作扩充∑E．对象标记的语义解释结构由关于标记∑E的代数、映射和动作与踪迹的关系来定义．∑E－代数给出关于数据参数的解释；映射给出属性在动作踪迹中所取的值；而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行．在定义了Trace演算的语法和语义之后，文章给出了Trace演算的公理系统及其可靠性证明． 展开更多

关键词 trace演算 对象标记 公理化 软件工程

下载PDF 职称材料

论张景岳治郁思想对阳明心学的继承与发挥 被引量：1

2

作者 王哲 李良松 《浙江中医药大学学报》 CAS 2024年第1期55-58,共4页

[目的]探析明代王阳明心学对张景岳治郁思想的影响。[方法]借助辨章学术与考镜源流的历史文献研究方法,梳理张景岳基于阳明心学本体-体用-工夫修养的宏大视域,创立中医郁证治疗新理论的发展脉络,阐发张景岳治郁思想对阳明心学的继承与... [目的]探析明代王阳明心学对张景岳治郁思想的影响。[方法]借助辨章学术与考镜源流的历史文献研究方法,梳理张景岳基于阳明心学本体-体用-工夫修养的宏大视域,创立中医郁证治疗新理论的发展脉络,阐发张景岳治郁思想对阳明心学的继承与发挥。[结果]人心与人情、心性与情志是阳明心学关注的核心议题,张景岳创立情志合称、情志致郁、因郁而病、从虚论郁、知行疗郁的郁证诊疗理论,体现了其医学思想对阳明心学的继承与发挥。[结论]张景岳治郁思想继承与发挥了阳明心学的奥义,发展构建了极具创新意义的中医郁证诊疗理论,剖析其阳明心学思想进路下的治郁思想,有益于中医郁证的诊疗实践。 展开更多

关键词 张景岳 郁证诊疗 情志理论 阳明心学 知行合一 浙派中医 思想溯源

下载PDF 职称材料

有限生成群作用的Gromov-Hausdorff跟踪性

3

作者 刘鑫磊 董美花 《延边大学学报（自然科学版）》 CAS 2023年第4期308-309,340,共3页

将Gromov-Hausdorff跟踪性(G-H跟踪性)和等距跟踪性的概念推广到了紧致度量空间上的有限生成群作用,并利用类比推理的方法得到如下结果:若群作用具有伪轨跟踪性,则其具有GH跟踪性;若群作用具有GH跟踪性,则其具有等距跟踪性.该结果可为... 将Gromov-Hausdorff跟踪性(G-H跟踪性)和等距跟踪性的概念推广到了紧致度量空间上的有限生成群作用,并利用类比推理的方法得到如下结果:若群作用具有伪轨跟踪性,则其具有GH跟踪性;若群作用具有GH跟踪性,则其具有等距跟踪性.该结果可为研究拓扑动力系统的跟踪性提供参考. 展开更多

关键词 Gromov-Hausdorff跟踪性 等距跟踪性 群作用 伪轨跟踪性 紧致空间

下载PDF 职称材料

烟草花药培养中活性炭的作用机理及替代配方研究 被引量：8

4

作者 刘仁祥 雷红梅 +2 位作者 焦剑 邓桂秀 任明康 《西南农业学报》 CSCD 2007年第4期762-767,共6页

根据多年烟草花药培养中使用活性炭的实验结果,论证了活性炭在烟草花药培养中有提高出苗率和增加畸形苗等两个方面的作用;探讨了活性炭在烟草花药培养中提高出苗率主要是其杂质中的Zn、Fe等增加了培养基中微量元素的比例,使培养基的微... 根据多年烟草花药培养中使用活性炭的实验结果,论证了活性炭在烟草花药培养中有提高出苗率和增加畸形苗等两个方面的作用;探讨了活性炭在烟草花药培养中提高出苗率主要是其杂质中的Zn、Fe等增加了培养基中微量元素的比例,使培养基的微量元素与大量元素趋于平衡,促进胚状体的形成和发育;活性炭加入培养基致使畸形苗增多,是因为活性炭减弱培养基表面的光照,花粉小植株生长过程中光照不足所致的作用机理。据此通过调整培养基配方中微量元素种类及用量,筛选出了烟草花药培养出苗率在55%以上、畸形苗率不超过10%改良配方。 展开更多

关键词 烟草 花药培养 活性炭 作用机理 微量元素

下载PDF 职称材料

中国城市土壤微量金属元素的管理目标值和整治行动值 被引量：16

5

作者 成杭新 李括 +1 位作者 李敏 成晓梦 《地学前缘》 EI CAS CSCD 北大核心 2015年第5期215-225,共11页

随着城市土壤重金属含量的升高,土壤环境质量标准的建立一直是城市土壤污染管理的关键。而最近的城市土壤地球化学调查和城市土壤重金属元素背景的研究提供了设置合理调节值的可能性,如管理目标值(MTV)和整治行动值(RAV)。本文介绍了如... 随着城市土壤重金属含量的升高,土壤环境质量标准的建立一直是城市土壤污染管理的关键。而最近的城市土壤地球化学调查和城市土壤重金属元素背景的研究提供了设置合理调节值的可能性,如管理目标值(MTV)和整治行动值(RAV)。本文介绍了如何用土壤背景数据确定MTV和RAV的方法,也给出了全国城市土壤及31个省会城市土壤中20种元素的MTV和RAV值。这对全面认识我国城市土壤环境质量现状、建立土壤环境质量管理法及执法标准具有重要的现实意义。 展开更多

关键词 管理目标值 整治行动值 微量金属 城市土壤

下载PDF 职称材料

硼及其化合物在动物营养方面的研究进展 被引量：7

6

作者 李升和 顾有方 +3 位作者 王珏 金光明 刘德义 陈会良 《安徽科技学院学报》 2006年第5期19-23,共5页

生理量硼对动物具有营养作用,高剂量硼则有不利影响,甚至具有毒性作用。本文从动物对硼的吸收和排泄,硼在动物机体内的分布,硼与钙、镁、磷等微量元素代谢的关系,硼对骨代谢、生长性能、能量底物代谢、血细胞、血液生化指标、免疫功能... 生理量硼对动物具有营养作用,高剂量硼则有不利影响,甚至具有毒性作用。本文从动物对硼的吸收和排泄,硼在动物机体内的分布,硼与钙、镁、磷等微量元素代谢的关系,硼对骨代谢、生长性能、能量底物代谢、血细胞、血液生化指标、免疫功能、生殖细胞、胚胎发育和神经内分泌功能的影响,以及硼的毒性作用等方面论述了硼对动物的营养和毒性作用,并对有待研究的问题进行了探讨。 展开更多

关键词 硼 动物 毒性作用 微量元素 研究进展 化合物 营养作用

下载PDF 职称材料

长江中下族及邻区区域铅同位素组成背景及其应用 被引量：12

7

作者 马振东 单光祥 《地质学报》 EI CAS CSCD 北大核心 1996年第4期324-334,共11页

本文系统地研究了长江中下游及邻区区域各类地质体铅同位素组成背景。研究表明;区域各类地质体铅同位素组成特征是受原始地幔的不均一性、壳幔交换的动力学过程、层圈铀、钍、铅丰度及作用发生的时间等诸因素控制,为此,通过区域铅同位... 本文系统地研究了长江中下游及邻区区域各类地质体铅同位素组成背景。研究表明;区域各类地质体铅同位素组成特征是受原始地幔的不均一性、壳幔交换的动力学过程、层圈铀、钍、铅丰度及作用发生的时间等诸因素控制,为此,通过区域铅同位素背景的研究可以为地球化学分区、示踪物质来源及区域成矿预测提供有意义的信息。 展开更多

关键词 铅同位素 组成背景 示踪作用 长江中下游

下载PDF 职称材料

真菌对微量元素铁、锌、硒生物富集作用的研究 被引量：15

8

作者 刘文群 徐尔尼 +1 位作者 李曼 郑辉 《环境与开发》 2000年第3期3-4,共2页

研究了在不同培养基成分和同一培养基成分中 ,三株酵母菌和三株食用菌对Fe ,Zn ,Se的富集作用 .结果表明 :培养基成分、微量元素浓度和不同的菌株会影响六株真菌的生物富集作用 .提高培养基中蛋白质、脂肪和Fe ,Zn ,Se的浓度 ,有利于它... 研究了在不同培养基成分和同一培养基成分中 ,三株酵母菌和三株食用菌对Fe ,Zn ,Se的富集作用 .结果表明 :培养基成分、微量元素浓度和不同的菌株会影响六株真菌的生物富集作用 .提高培养基中蛋白质、脂肪和Fe ,Zn ,Se的浓度 ,有利于它们对Fe ,Zn ,Se的富集 ,较高浓度的Fe ,Zn 。 展开更多

关键词 真菌 培养基 微量元素 生物富集作用 香菇 菌丝

下载PDF 职称材料

蒜炭对正常小鼠炭粒廓清指数的影响及微量元素的测定 被引量：2

9

作者 陈朝军 王美龄 刘利平 《中国民族医药杂志》 2008年第12期58-59,共2页

目的:探讨蒜炭对正常小鼠非特异性免疫功能的影响,并对蒜炭中所含的微量元素进行检测,为蒙药临床应用提供依据。方法:高、中、低剂量组蒜炭连续4d后检测小鼠炭粒廓清功能;测定蒜炭中各种微量元素含量。结果:高、中剂量组均能使正常小鼠... 目的:探讨蒜炭对正常小鼠非特异性免疫功能的影响,并对蒜炭中所含的微量元素进行检测,为蒙药临床应用提供依据。方法:高、中、低剂量组蒜炭连续4d后检测小鼠炭粒廓清功能;测定蒜炭中各种微量元素含量。结果:高、中剂量组均能使正常小鼠的吞噬指数及吞噬系数显著升高(P<0.05或P<0.01);蒜炭含有丰富的Fe、Zn、Mg、Mn、Cu等微量元素。结论:蒜炭能够提高小鼠网状内皮系统的非特异性吞噬功能;蒜炭中含有丰富的微量元素。 展开更多

关键词 蒜炭 药效 微量元素

下载PDF 职称材料

副词“亲自”的多角度研究 被引量：3

10

作者 韩志刚 《天津大学学报（社会科学版）》 CSSCI 2009年第4期357-361,共5页

探讨了汉语副词"亲自"对动词的选择限制和语用功能。在词汇层面,"亲自"要求它后边的动词是非贬义的,是表示可代劳的个人社会行为的自主动词。本质上,"亲自"是一个直接行事途径标记和反预期信息标记。在... 探讨了汉语副词"亲自"对动词的选择限制和语用功能。在词汇层面,"亲自"要求它后边的动词是非贬义的,是表示可代劳的个人社会行为的自主动词。本质上,"亲自"是一个直接行事途径标记和反预期信息标记。在具体语境中,它还能体现出其他附加的语用含义。 展开更多

关键词 直接行事途径 反预期信息 亲自 副词

下载PDF 职称材料

多步截断行动—评价强化学习算法 被引量：1

11

作者 李春贵 刘永信 陈波 《内蒙古大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第2期210-213,共4页

研究了行动-评价强化学习方法,通过把多步截断学习引入评价器代替单步学习,并定义一种新的迹来记忆最新的多步学习经验,提出一种新的行动-评价强化学习算法,并进行仿真实验,实验结果表明,新算法的学习效率有明显的提高,而在计算代价上仅... 研究了行动-评价强化学习方法,通过把多步截断学习引入评价器代替单步学习,并定义一种新的迹来记忆最新的多步学习经验,提出一种新的行动-评价强化学习算法,并进行仿真实验,实验结果表明,新算法的学习效率有明显的提高,而在计算代价上仅多k个单位. 展开更多

关键词 强化学习 行动-评价 多步截断 适合迹

下载PDF 职称材料

基于动作单元的机电产品故障溯源诊断方法 被引量：8

12

作者 鞠萍华 柯磊 +2 位作者 冉琰 王治超 张威 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2020年第2期60-66,共7页

针对故障在复杂机电产品中传递发展的特点,提出了一种基于动作单元的机电产品故障溯源诊断方法.按照“功能-运动-动作”对整机功能进行结构化分解得到基本的动作单元,并分析动作单元之间的传递过程;在此基础上建立以动作单元和故障现象... 针对故障在复杂机电产品中传递发展的特点,提出了一种基于动作单元的机电产品故障溯源诊断方法.按照“功能-运动-动作”对整机功能进行结构化分解得到基本的动作单元,并分析动作单元之间的传递过程;在此基础上建立以动作单元和故障现象为节点的贝叶斯网络模型,利用贝叶斯网络的推理算法,计算各个节点的发生概率并追溯最大概率路径,实现动作层的故障动作单元诊断及故障动作单元传播过程诊断;利用故障图对动作单元内部的故障模式及其传递发展过程进行描述,找到引起动作单元故障的根本原因.通过对机电产品动作层和动作单元内部的诊断分析,实现故障现象到故障原因的溯源诊断.将所提出的溯源诊断方法应用到某企业数控转台故障诊断中,结果表明,从运动的角度进行故障溯源诊断,能够有效地诊断出故障动作单元及其传播过程并反映出动作单元内部元件故障的传递发展过程,便于找到导致故障的根本原因,提高了对机电产品故障诊断的效率. 展开更多

关键词 溯源诊断 结构化分解 动作单元 贝叶斯网络 故障图

下载PDF 职称材料

淫羊藿水煎提取液促进鸡胚背根神经节神经突起生长和DNA、RNA合成的实验研究 被引量：12

13

作者 朱太咏 宋文昭 马克昌 《中医正骨》 1999年第9期6-7,共2页

４８ 枚鸡胚背根神经节随机分成６ 组体外培养。其中的１ 组为对照组，不用药。另５ 组为实验组，在培养液中加入淫羊藿提取液，浓度分别为０．２５％ 、０．５％ 、１％ 、２％ 、４％ 。观察测量神经突起长度和密度。取２４ 对神经节... ４８ 枚鸡胚背根神经节随机分成６ 组体外培养。其中的１ 组为对照组，不用药。另５ 组为实验组，在培养液中加入淫羊藿提取液，浓度分别为０．２５％ 、０．５％ 、１％ 、２％ 、４％ 。观察测量神经突起长度和密度。取２４ 对神经节做配对实验，在每对中任 １ 枚培养液中加入３％ 的淫羊藿提取液，另１ 枚不加。培养结束前各取１２ 对分别用３ Ｈ Ｔｄｒ 和３ Ｈ Ｕｄｒ 标记。培养结束，测量神经突起长度、密度后，取出标本作同位素放射性测定。结果提示：淫羊藿水提取液能明显促进神经突起的生长，促进神经节的 Ｄ Ｎ Ａ、 Ｒ Ｎ Ａ合成。生长３ 天，各实验组神经突起长度分别是对照组的１．０４７、１．１０２、１．１７１、１．１９８、１．２７２ 倍，密度分别是对照组的１．１４４、１．２０９、１．４０６、１．４１４、１．４７９ 倍；配对实验显示，用药组神经突起长度、密度分别是对照组的１．１７０ 和 １．７３０ 倍；３ Ｈ Ｔｄｒ、３ Ｈ Ｕｄｒ 的参入强度分别是其对照组的１．５８８ 和１．３５４ 倍，差别显著。 展开更多

关键词 淫羊藿 药理 神经再生 药物作用 中药

下载PDF 职称材料

火焰原子吸收光谱法测定中药防风中的微量元素 被引量：3

14

作者 于喆英 辛柏福 李洪峰 《现代仪器》 2008年第2期73-74,70,共3页

本文采用HNO3和HClO4消解防风样品,利用火焰原子吸收光谱法测定其中铜、锰、锌、铁含量。并探讨微量元素与防风药理作用的关系。结果表明:防风中含有较丰富的Cu、Mn、Zn、Fe元素,并且Fe含量最高。由此推测中药防风药效与这4种元素有密... 本文采用HNO3和HClO4消解防风样品,利用火焰原子吸收光谱法测定其中铜、锰、锌、铁含量。并探讨微量元素与防风药理作用的关系。结果表明:防风中含有较丰富的Cu、Mn、Zn、Fe元素,并且Fe含量最高。由此推测中药防风药效与这4种元素有密切关系。 展开更多

关键词 火焰原子吸收光谱法 防风 微量元素 药理作用

下载PDF 职称材料

《攻坚行动方案》实施后北京市PM2.5中微量元素组成特征 被引量：1

15

作者 邵龙义 常玲利 +4 位作者 张梦媛 李杰 李耀炜 李文君 冯晓蕾 《地学前缘》 EI CAS CSCD 北大核心 2019年第6期298-308,共11页

文中利用电感耦合等离子质谱仪(ICP-MS)对《攻坚行动方案》实施后北京市环境大气PM2.5中微量元素组成特征进行研究。结果表明,《攻坚行动方案》实施后,北京市PM2.5中微量元素以Zn、Mn、Ba、Pb、Cr、Cu、Ti等7种元素为主,其中元素Zn含量... 文中利用电感耦合等离子质谱仪(ICP-MS)对《攻坚行动方案》实施后北京市环境大气PM2.5中微量元素组成特征进行研究。结果表明,《攻坚行动方案》实施后,北京市PM2.5中微量元素以Zn、Mn、Ba、Pb、Cr、Cu、Ti等7种元素为主,其中元素Zn含量最高。元素Zn、Cd、Tl、Cs、Rb的水溶性组分在总微量元素中占比超过80%,说明这些元素大部分以易溶于水的状态存在于PM2.5中。有趣的是,在PM2.5样品中微量元素的含量(10^-6)随着PM2.5污染水平的升高而下降,而质量浓度(ng·m^-3)随PM2.5污染水平的升高而升高。这说明单位质量PM2.5中微量元素的含量只与颗粒物的组成成分有关,与颗粒物浓度无关。采样期间PM2.5中的微量元素主要来源于土壤扬尘(48.27%)、燃烧源和工业排放(16.16%)、刹车和轮胎磨损(10.03%),其次是汽车尾气(5.84%)、建筑扬尘(4.88%)以及其他源(3.68%)。与攻坚行动前相比,PM2.5中微量元素的质量浓度有明显的降低,高污染等级的PM2.5样品中微量元素质量浓度的降幅最为明显,比攻坚行动前下降了80.3%。 展开更多

关键词 北京市 《攻坚行动方案》 PM2.5 微量元素 ICP-MS

下载PDF 职称材料

微量元素硒与植物有机硒化合物 被引量：32

16

作者 梅光泉 应惠芳 《微量元素与健康研究》 CAS 2003年第6期59-61,共3页

硒是人体所必需的微量元素之一 ,为谷胱甘肽过氧化物酶的重要成分 ,能消除体内有害自由基。植物有机硒可防治多种与硒缺乏相关的疾病。

关键词 微量元素硒 有机硒 化学 药理作用

下载PDF 职称材料

基于cdma 1x网络的WAP用户行为跟踪的方法与分析

17

作者 刘铁民 《电信工程技术与标准化》 2005年第3期68-70,共3页

本文介绍了基于cdma1x网络的WAP用户行为跟踪的方法,通过追踪该用户访问WAP业务的具体行为,可以根据各业务关键点的响应时间的分析,判断故障点,分析故障原因,从而有的放矢地迅速排除故障。

关键词 WAP业务 1x网络 跟踪 响应时间 故障点 关键点 故障原因 用户行为 用户访问 追踪

下载PDF 职称材料

拮抗作用及传统医学的食物相克 被引量：7

18

作者 唐志华 《广东微量元素科学》 CAS 2000年第6期5-7,共3页

微量元素的生理活性取决于其化合物的溶解性、配位状态、浓度、溶液酸度以及其它元素浓度。拮抗作用的本质是元素的结构—性质—活性关系。其机理主要包括直接反应、形成MT的抑制反应、相似元素竞争配位部位以及社会、心理、遗传和个体... 微量元素的生理活性取决于其化合物的溶解性、配位状态、浓度、溶液酸度以及其它元素浓度。拮抗作用的本质是元素的结构—性质—活性关系。其机理主要包括直接反应、形成MT的抑制反应、相似元素竞争配位部位以及社会、心理、遗传和个体易感性等。 展开更多

关键词 微量元素 拮抗作用 食物相克 生理活性

下载PDF 职称材料

必需微量元素的生理功能 被引量：97

19

作者 夏敏 《微量元素与健康研究》 CAS 2003年第3期41-44,共4页

人体由多种化学元素组成 ,现已检出 81种元素 ,其中有 14种是人体必需微量元素。微量元素与人体健康密切相关 ,特别是必需微量元素在人体内有一定的生理功能 。

关键词 微量元素 必需微量元素 生理功能 生物效应 人体健康

下载PDF 职称材料

金属类矿物药研究进展 被引量：4

20

作者 徐姗 徐柳 +4 位作者 相堂永 朱玲 顾依 蔡宝昌 陈志鹏 《南京中医药大学学报》 CAS CSCD 北大核心 2021年第5期778-785,共8页

金属类矿物药应用历史悠久,是我国传统中医药极具特色的组成部分。笔者对金属类矿物药所含成分、性味归经、临床应用、药理研究以及炮制加工等方面的研究进行了总结和概述,以期为金属矿物药的进一步开发利用、物质基础及作用机制的深入... 金属类矿物药应用历史悠久,是我国传统中医药极具特色的组成部分。笔者对金属类矿物药所含成分、性味归经、临床应用、药理研究以及炮制加工等方面的研究进行了总结和概述,以期为金属矿物药的进一步开发利用、物质基础及作用机制的深入研究提供参考。 展开更多

关键词 金属类矿物药 微量元素 药理作用 炮制加工

下载PDF 职称材料