期刊文献+
共找到41篇文章
< 1 2 3 >
每页显示 20 50 100
The Sacrifice on the Altar-An Analysis of the Conflict between Montanelli's Humanity and Divinity in The Gadfly
1
作者 闵会玲 《海外英语》 2011年第13期230-231,共2页
Montanelli suffered from the fierce conflict between humanity and divinity in his pursuit of religious belief.As a sacrifice on the altar of God,Montanelli's tragedy reflects the influence of the religion upon his... Montanelli suffered from the fierce conflict between humanity and divinity in his pursuit of religious belief.As a sacrifice on the altar of God,Montanelli's tragedy reflects the influence of the religion upon his behaviors,his internal spirit and his tragic destiny in the end.Furthermore,it manifests the cruelty and darkness of the religious rule and the distortion of the humankind in his age. 展开更多
关键词 HUMANITY and divinity love and asceticism KINSHIP and RELIGION
下载PDF
神DIVINITY是造不出来的
2
作者 王国钧 《搏击》 2003年第6期4-4,共1页
当乌克兰巨人克里钦科第一次被南非的桑德斯击倒拳台时,那些拥藏他的拳迷和经纪人、签约公司都可能还以为克里钦科没有进入状态,会在以后的比赛中给那个不知名的南非选手一点颜色看看。但仅仅几分钟后,大家的幻想像肥皂泡般破灭了,克里... 当乌克兰巨人克里钦科第一次被南非的桑德斯击倒拳台时,那些拥藏他的拳迷和经纪人、签约公司都可能还以为克里钦科没有进入状态,会在以后的比赛中给那个不知名的南非选手一点颜色看看。但仅仅几分钟后,大家的幻想像肥皂泡般破灭了,克里钦科非但没有能够给桑德斯造成麻烦,而且自己接二连三地被击倒拳台,直至第2回合的被宣布失败。 展开更多
关键词 乌克兰 divinity
下载PDF
Divinity and Devilism: A Charming World Constructed by Chi Zijian in the Novel At the Peak
3
作者 HAN Chunyan 《Frontiers of Literary Studies in China-Selected Publications from Chinese Universities》 2022年第3期467-483,共17页
tNourished by the natural scenery of the Daxing'anling Mountains when growing up,Chi Zijian has grand literary beliefs and tends to build worlds flled with divinity to bridge ideals and reality in her literary cre... tNourished by the natural scenery of the Daxing'anling Mountains when growing up,Chi Zijian has grand literary beliefs and tends to build worlds flled with divinity to bridge ideals and reality in her literary creations.Her novel At the Peak(Qunshan zhi Dian),published in 2o15,creates a poetic and distant place with an air of mystery.The most prominent feature of her cogitation on divinity in the novel is the depiction of a charming world where every being has a spirit and this is reflected in the transcendental mood of the language used in the novel.Together,these features constitute the unique aesthetic characteristics of the divinity narrative in Chi's novels.In her works,active construction and passive deconstruction appear simultaneously,and the contradiction displays her respect for and concern about reality.Nonetheless,the romantic and poetic flavor of literature arises out of the crevices of pain precisely at the point where secularity and fairy tales collide and when despair reaches toward hope.This is the charm of At the Peak. 展开更多
关键词 Chi Zijian At the Peak cogitation on divinity charming world
原文传递
Exploration of the relationship between the astronomical calendar and the origins of Qi,Yin and Yang,and the Five Elements
4
作者 Qian-Wen He Ning Li 《History & Philosophy of Medicine》 2024年第3期16-22,共7页
Background:Traditional Chinese medicine(TCM)as a traditional Chinese medical practice,has gradually evolved into a coherent and systematic medical science based on natural principles and applied to human beings over t... Background:Traditional Chinese medicine(TCM)as a traditional Chinese medical practice,has gradually evolved into a coherent and systematic medical science based on natural principles and applied to human beings over time.The publication of the“Huangdi Neijing”(The Yellow Emperor’s Classic of Internal Medicine,Written between the Warring States period and the Qin and Han Dynasties,and finally compiled in the Western Han Dynasty,from 475 B.C.E.-8 C.E.)signified the establishment of a comprehensive theoretical framework for Chinese medicine.Due to the perspective of the‘correspondence between heaven and man’in TCM,the purpose of this paper is to explore the origin and development of the basic theories of TCM under the ancient astronomical view and the connection between the two.Methods:This paper emphases on the universe uninty with the humanities,philosophy,and medicine,starting with the forms of stargazing in ancient Chinese astronomy and the natural laws derived by the ancients from their observations of natural celestial phenomena.Results:Astronomy,arts and crafts,divination and medical correlations are based on the sequential changes of natural seasons.Conclusion:The operation of natural celestial phenomena and the characteristics of physical phenomena correspond to human physiology,and the development of the basic theories of Chinese medicine is inextricably linked to ancient astronomy,ancient philosophy,and ancient primeval science. 展开更多
关键词 basic theories of TCM ancient astronomical calendar Huangdi Neijing DIVINATION
下载PDF
The First Documented Experience of Qi and an Account of Healing Failure:4th-Century BCE 被引量:1
5
作者 Constance A.Cook 《Chinese Medicine and Culture》 2023年第2期139-146,共8页
This essay will review the earliest case that documents a patient’s experience of qi,one found on a bamboo text buried with the patient who died in the 318 BCE.Details of the healing encounter and of concepts of illn... This essay will review the earliest case that documents a patient’s experience of qi,one found on a bamboo text buried with the patient who died in the 318 BCE.Details of the healing encounter and of concepts of illness show how non-transmitted documents hidden from later editors in tombs preserve an older layer of medical understanding than that in transmitted canons,such as the Huang Di Nei Jing(Inner Canon of the Yellow Emperor).The 4th-century BCE case record described below is the longest early medical record concerning the treatment of a specific individual.It is also an account of failure formally recorded for the sake of the survivors and buried with the dead to be transmitted to the world of the spirits.The essay begins with a reevaluation of ancient concept of qi and then moves on to the individual case record. 展开更多
关键词 Ancient DIVINATION Heart Magic MANUSCRIPT QI Wu Xing YIN-YANG
下载PDF
基于Diviner热红外数据的Apollo 15登陆区元素含量反演 被引量:3
6
作者 马明 陈圣波 +2 位作者 周超 李健 陆天启 《岩石学报》 SCIE EI CAS CSCD 北大核心 2016年第1期144-150,共7页
月球元素含量的反演是了解月球物质成分的分布和月球矿产资源开发利用的依据。通过比较月球样品元素含量与不同粒径样品光谱CF值所建立模型的反演精度,确定10~20μm粒径样品最适用于月表元素含量反演。以Apollo 15登陆点附近为例,利用Di... 月球元素含量的反演是了解月球物质成分的分布和月球矿产资源开发利用的依据。通过比较月球样品元素含量与不同粒径样品光谱CF值所建立模型的反演精度,确定10~20μm粒径样品最适用于月表元素含量反演。以Apollo 15登陆点附近为例,利用Diviner热红外数据得到了完整覆盖度和更高分辨率月球CF值影像,反演了月表Al、Fe、Mn、Mg和Ca元素相对含量。与月球样品实测值进行了对比,均方根误差均小于3,验证了利用红外数据反演月表元素相对含量的可行性,为月表元素含量反演提供了新的思路。 展开更多
关键词 Diviner 元素含量 热红外 CF值 APOLLO 15登陆点
下载PDF
使用Diviner 2000测定土壤水分 被引量:4
7
作者 申孝军 杨萃娜 +2 位作者 崔文军 刘浩 高阳 《人民黄河》 CAS 北大核心 2012年第1期69-71,共3页
Diviner 2000便携式土壤水分廓线仪(简称Diviner 2000)是一种集现代高科技与智能化于一体的新型土壤水分测量仪器,由探测器(探头)、连接电缆和显示器组成。测量时将探头插入PVC管中并快速提出,即可实现测量点垂直剖面上的土壤水分廓线数... Diviner 2000便携式土壤水分廓线仪(简称Diviner 2000)是一种集现代高科技与智能化于一体的新型土壤水分测量仪器,由探测器(探头)、连接电缆和显示器组成。测量时将探头插入PVC管中并快速提出,即可实现测量点垂直剖面上的土壤水分廓线数据,可以在不破坏土壤结构的情况下实现长期高精度测量,测量层数最多可达16层。在监测管埋设时,要保证钻孔直径与监测管相同或略大,监测管外壁与土壤紧密接触,同时确保监测管垂直于地表。在仪器标定时,Diviner 2000测定的土壤含水率反映的是测试区内的体积含水率,而烘干法测定的是质量含水率,为了准确标定,必须进行土壤体积质量的测定。 展开更多
关键词 土壤水分 含水率 Diviner 2000
下载PDF
黄土新含水层释水过程和给水度试验研究 被引量:4
8
作者 刘俊民 杨平 陈艳霞 《人民黄河》 CAS 北大核心 2007年第3期18-20,共3页
以原状黄土为研究对象进行了室内饱水、释水试验,结果发现:①释水初期,上部土层的释水速率较下层快,释水高峰期之后,下层释水速率较上层快;②含水层的释水是一个由快到慢的过程,快慢程度与黄土层的孔隙性和黏重有关,孔隙性越差,岩性越黏... 以原状黄土为研究对象进行了室内饱水、释水试验,结果发现:①释水初期,上部土层的释水速率较下层快,释水高峰期之后,下层释水速率较上层快;②含水层的释水是一个由快到慢的过程,快慢程度与黄土层的孔隙性和黏重有关,孔隙性越差,岩性越黏重,释水过程越长;③过程给水度与释水时间呈双曲线关系变化;④过程给水度随释水时间的延长而增大,当时间无穷大时得到的给水度才是理论上的真正给水度。 展开更多
关键词 Diviner2000含水量测定仪 释水机理 给水度 新含水层 黄土
下载PDF
自燃煤矸石山季节水分特征研究 被引量:5
9
作者 张成梁 杜永吉 +2 位作者 李美生 王书宏 袁良红 《矿业安全与环保》 北大核心 2008年第5期7-9,共3页
采用DIVINER2000含水量测定仪定位测定了自燃煤矸石山深度为0~100cm的黄土矸石复合层、黄土层和裸露矸石层水分体积含水率的季节变化和垂直变化。根据水分含量变化规律,将自燃煤矸石山的水分季节变化分为4个时段:土壤水分消耗期(3—... 采用DIVINER2000含水量测定仪定位测定了自燃煤矸石山深度为0~100cm的黄土矸石复合层、黄土层和裸露矸石层水分体积含水率的季节变化和垂直变化。根据水分含量变化规律,将自燃煤矸石山的水分季节变化分为4个时段:土壤水分消耗期(3—6月)、土壤水分积累期(7—8月)、土壤水分消退期(9-11月)和土壤水分稳定期(12—2月)。研究结果可为自燃煤矸石山的生态构建提供重要理论依据,为以水分动态平衡为基础的植被恢复和建设提供数据支持。 展开更多
关键词 自燃煤矸石山 DIVINER2000含水量测定仪 土壤水分 季节变化 垂直变化 植被恢复
下载PDF
基于DIVINER2000的自燃煤矸石山水分特征研究 被引量:4
10
作者 杜永吉 张成梁 +2 位作者 李美生 王书宏 胡兴波7 《中国水土保持》 北大核心 2009年第5期25-28,共4页
利用D IVINER2000含水量测定仪定位测定了自燃煤矸石山深度为0—100 cm的黄土矸石复合层、黄土层和裸露矸石层水分体积含水率的季节变化和垂直变化,根据水分含量变化规律将自燃煤矸石山的水分季节变化分为4个时段:土壤水分消耗期(3—6月... 利用D IVINER2000含水量测定仪定位测定了自燃煤矸石山深度为0—100 cm的黄土矸石复合层、黄土层和裸露矸石层水分体积含水率的季节变化和垂直变化,根据水分含量变化规律将自燃煤矸石山的水分季节变化分为4个时段:土壤水分消耗期(3—6月)、土壤水分积累期(7—8月)、土壤水分消退期(9—11月)和土壤水分稳定期(12—2月);通过标准差将自燃煤矸石山土壤水分的垂直变化分为速变层、活跃层和相对稳定层。上述研究结果可以为自燃煤矸石山的生态构建提供重要理论依据,为以水分动态平衡为基础的植被恢复和建设提供数据支持。 展开更多
关键词 自燃煤矸石山 DIVINER2000含水量测定仪 土壤水分 季节变化 垂直变化 植被恢复
下载PDF
基于LRO Diviner数据的月球虹湾地区表面亮温时空分布
11
作者 马明 陈圣波 +2 位作者 李健 于岩 肖扬 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2017年第5期628-635,640,共9页
Diviner在7年多的运行时间内,共获得了超过3.3×1011个辐射亮度测量值.这些数据除了具有的推扫性、条带性和少量的"坏点线"与"故障"等特征外,在一个月球日内呈现白天正午前后和整个夜晚亮温值变化幅度相对均匀... Diviner在7年多的运行时间内,共获得了超过3.3×1011个辐射亮度测量值.这些数据除了具有的推扫性、条带性和少量的"坏点线"与"故障"等特征外,在一个月球日内呈现白天正午前后和整个夜晚亮温值变化幅度相对均匀,上下午尤其是日出和日落前后亮温值变化剧烈的规律.利用昼夜分段亮温拟合模型,结合数值模拟、奇异值剔除、分段拟合和纬向校正等方法获得了虹湾地区6个时刻的高分辨率和高覆盖度的亮温分布.结果表明,白天的亮温与太阳辐射通量值计算的温度值相接近,敏感于地形起伏、物质混合和通道光度计特性等因素,最高和最低亮温分别出现在朝向赤道方向的山坡和落差最大的撞击坑中心位置;夜晚的亮温敏感于视场内物质的热物理属性差异,变化幅度由上半夜的相对剧烈逐渐过渡到下半夜的趋于均匀.文章揭示了月表热能量交换规律,解释了复杂和异常月表热红外环境的本质,提供了一个关于无大气星体的风化层如何存储热红外辐射能量以及与空间环境进行能量交换的新视角. 展开更多
关键词 热红外 亮温 时空分布 虹湾 Diviner
下载PDF
基于LRO卫星Diviner热红外发射率的尺度问题研究
12
作者 马明 陈圣波 +2 位作者 陆天启 路鹏 肖扬 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2018年第3期315-324,共10页
尺度问题作为对地观测的主要挑战和遥感科学的核心问题,一直以来备受关注.国内外学者对这一问题进行了大量的基础理论研究和科学验证工作,探讨和解决了许多与遥感尺度相关的核心问题.当然,在遥感探测内容中,发射率和温度遥感中也存在明... 尺度问题作为对地观测的主要挑战和遥感科学的核心问题,一直以来备受关注.国内外学者对这一问题进行了大量的基础理论研究和科学验证工作,探讨和解决了许多与遥感尺度相关的核心问题.当然,在遥感探测内容中,发射率和温度遥感中也存在明显的尺度问题.以往混合像元发射率尺度问题的研究往往集中于地球表面,幸运的是,月球为我们研究这一问题提供了绝佳的对象.同时,伴随着Diviner热辐射探测器月表测量数据的不断更新,混合像元中发射率尺度问题的具体研究及其定量描述逐渐变为可能.本文以月表Diviner热红外测量数据为基础,在充分研究和分析Diviner数据特征和发射率计算方法的前提下,以不同尺度下的Apollo 15登月区或者登月点热红外发射率为研究对象,依据混合像元发射率定义,分析和研究了混合像元中发射率的尺度转换和尺度效应两个问题,从发射率数值角度出发讨论和验证了尺度变换和尺度效应的一般规律,并给出定量描述,希望能够为尺度变换和尺度效应等问题的研究提供理论支持和实验依据. 展开更多
关键词 发射率 Diviner 尺度转换 尺度效应 定量描述
下载PDF
月球冷海高铝玄武岩遥感识别及其地质特征分析
13
作者 马明 陈镜然 +4 位作者 陈圣波 李秉择 陆天启 韩成浩 田鹏 《地球物理学报》 SCIE EI CAS CSCD 北大核心 2022年第12期4628-4642,共15页
高铝玄武岩是美国Apollo和前苏联Luna任务采集的月球样品中极其特殊且具有重要意义的一类样品,对月幔的不均匀性分异和月球早期热演化活动具有重要的指示性意义.本文以地形和成因极其独特的月球冷海中小型撞击坑坑壁或者近端溅射物中新... 高铝玄武岩是美国Apollo和前苏联Luna任务采集的月球样品中极其特殊且具有重要意义的一类样品,对月幔的不均匀性分异和月球早期热演化活动具有重要的指示性意义.本文以地形和成因极其独特的月球冷海中小型撞击坑坑壁或者近端溅射物中新鲜裸露的岩石(岩石丰富>0.5%)为突破口,利用中心和临近像元之间的Al_(2)O_(3)含量和镁指数(Mg#)间的线性关系消除了月海-高地混合物影响,将实验室岩性分类标准应用于Lunar Prospector(LP)钍(Th)和Lunar Reconnaissance Orbiter(LRO)Diviner主要元素氧化物反演产品中,获得月球表面新鲜裸露的高铝玄武岩质(Al_(2)O_(3)>11 wt%)岩石位置信息.以此为基础,通过目视解译的方法识别了埋藏在冷海表面风化层以下的高铝玄武岩斑块(10个)和单元(1个).在LRO宽角(WAC)相机和数字地形图影像(LOLA GLD100)中对高铝玄武岩形态学地质特征统计表明,冷海中的高铝玄武岩总面积和体积为3694 km^(2)和1160 km^(3),岩层的最大埋藏深度和厚度为331 m和207 m.研究结果表明,冷海高铝玄武岩岩层一般具有不一致且不连续的厚度和较大的成分变化范围,并且不是广泛地分布于冷海之中,只是零散地分布于中西部,以及集中于东部的两个表层月海玄武岩地质单元之下.这些分布特征意味着月球冷海早期的高铝型火山活动可能以随机的小型(面积小于500 km^(2)或者体积小于100 km^(3))喷发为主,偶尔会出现大型的喷发. 展开更多
关键词 高铝玄武岩 遥感探测方法 地质特征 冷海 LRO Diviner
下载PDF
The Last Temptation
14
作者 王彤 郭欣宇 《疯狂英语(理论版)》 2017年第2期192-193,共2页
The last temptation of Christ is a controversial great work,and few contemporary vraters can use such a broad mind to examine the temptation and suffering of reality.Based on the director' s point of view,this pap... The last temptation of Christ is a controversial great work,and few contemporary vraters can use such a broad mind to examine the temptation and suffering of reality.Based on the director' s point of view,this paper not only analyzes the side of Jesus' human nature,but also analyzes his divine side.Finally,the author suggests that we can use love and hope to face life. 展开更多
关键词 JESUS divinity Human being Hope and Love
下载PDF
Theme Analysis of Dan Brown's Angles and Demons
15
作者 王晓菊 《海外英语》 2013年第4X期190-191,共2页
Dan Brown's Angels and Demons published in 2000 directly centered on the theme of the debate upon religion and science.It is a vivid depiction of the collision of humanity and divinity,which evokes people's de... Dan Brown's Angels and Demons published in 2000 directly centered on the theme of the debate upon religion and science.It is a vivid depiction of the collision of humanity and divinity,which evokes people's deep probing to the crisis-ridden modern society.This article aims at analyzing the postmodernism writing features adopted in the theme of Angels and Demons. 展开更多
关键词 POSTMODERNISM HUMANITY divinity ALIENATION
下载PDF
"Self" in Whitman's Leaves of grass
16
作者 ZHANG Yong-lan 《Sino-US English Teaching》 2009年第2期36-41,共6页
As an outstanding writer in America, Whitman regarded his Leaves of grass as his own life. In Leaves of grass, he eulogized "self' with great enthusiasm and expressed the idea that self was eternal and imperishable,... As an outstanding writer in America, Whitman regarded his Leaves of grass as his own life. In Leaves of grass, he eulogized "self' with great enthusiasm and expressed the idea that self was eternal and imperishable, just like the cycle of the nature. The concept of the "self' embodied in Whitman's Leaves of grass possessed double structure: body and soul; microcosmic and macroscopic. Whitman's recognition to "self' was the continuation of Emerson's thought, but he also had his own breakthrough. He explored the connotation of "self' from the relation self with mankind, time, nature and God. Self was always undying not only in body but also in soul. The relations among people were the foundation of self, which possessed boundless time and measureless space and which could come true through rotation of nature in perpetuity and be flow of empathy in perpetuity. 展开更多
关键词 SELF Leaves of grass WHITMAN EMERSON divinity
下载PDF
On Cicero’s Critique of Reason
17
作者 Cheng Zhimin Echo Y 《Contemporary Social Sciences》 2020年第3期88-98,共11页
In contemporary thinking, "reason" has become synonymous with "correctness" to the extent that it is even capable of prescribing laws to nature. Ancient philosophers, including Plato and Cicero, of... In contemporary thinking, "reason" has become synonymous with "correctness" to the extent that it is even capable of prescribing laws to nature. Ancient philosophers, including Plato and Cicero, offered a holistic, profound, and clear understanding of its connotations. As a symbol that distinguishes humans from animals and the requisite means or tools for seeking the truth, reason is characterized by both divinity and nobility. It also maintains a degree of neutrality, with the right use of reason as the key to determining its nature. In essence, reason is a type of calculation that can be used to do either good or evil. Hence, it must be supplemented by divinity and virtue. As a cognitive faculty, to reason is to perceive one’s own limits and practice moderation, temperance, and prudence, thus maintaining a full grasp of the world and becoming a useful being. 展开更多
关键词 REASON CICERO divinity NEUTRALITY limits
下载PDF
Man is consubstantial with God Moral reflections on Humanism
18
作者 Haijie LIU 《International Journal of Technology Management》 2014年第11期86-88,共3页
Early Renaissance man regained the independence of individual personality, but by the fear of God into the evolution away from God, from the backwash toward the loss. Late Renaissance reflection and adjustments is com... Early Renaissance man regained the independence of individual personality, but by the fear of God into the evolution away from God, from the backwash toward the loss. Late Renaissance reflection and adjustments is comforting one, rational constraints original desire, divinity give directions to humanity, which is the most profound meaning of humanism. For human freedom and liberation, post-humanism made a valuable exploration, by absorbing humanistic ingredients of the ancient Greek - Roman and Hebrew - Christian culture, tried to avoid walking single dimension of cultural evolution orientation. 展开更多
关键词 HUMANISM HUMANITY divinity
下载PDF
Diviner红外温度与嫦娥卫星微波探测仪月表亮温的比较分析 被引量:2
19
作者 冉真 王振占 李芸 《空间科学学报》 CAS CSCD 北大核心 2014年第3期249-261,共13页
提出使用高分辨率的Diviner辐射计红外温度作为月壤热传导的边界输入条件,使得月壤物理温度廓线的模拟更接近月表真实情况.利用Diviner物理温度廓线模拟的微波亮温与嫦娥二号卫星微波探测仪(CELMS2)的实测亮温匹配,来分析CELMS2数据的... 提出使用高分辨率的Diviner辐射计红外温度作为月壤热传导的边界输入条件,使得月壤物理温度廓线的模拟更接近月表真实情况.利用Diviner物理温度廓线模拟的微波亮温与嫦娥二号卫星微波探测仪(CELMS2)的实测亮温匹配,来分析CELMS2数据的有效性和稳定性,为月壤微波特性的反演奠定基础.以哥白尼坑区域为例,对比分析了Diviner辐射计红外通道温度与CELMS1实测微波亮温的变化趋势.选择月球虹湾地区内一位置点(45.1°-45.5°N,33.1°-33.5°W),分析了CELMS2在该位置点内5个月球时刻的亮温数据.通过对实测亮温与模拟亮温在经纬度和太阳高度角的匹配分析得到,在高频微波通道内两者的相关性达到96%以上,表明嫦娥二号微波探测仪亮温数据具有较高的稳定性,可以为月壤特性反演研究提供可靠数据来源. 展开更多
关键词 亮温模拟 嫦娥二号微波探测仪 Diviner辐射计
下载PDF
基于DivinE的分布式模型检测及协议验证 被引量:1
20
作者 郑涵 龙士工 +1 位作者 潘怀宇 刘照祥 《贵州大学学报(自然科学版)》 2016年第3期91-95,共5页
模型检测是一个高效且简单的方法来检测一个并发程序是否满足一个时序逻辑公式,它基于对系统状态空间的穷举搜索,通常采用深度优先搜索算法(DFS)。然而由于DFS算法固有的连续性,并且需要用到某些数据结构和同步机制,使得计算机的资源被... 模型检测是一个高效且简单的方法来检测一个并发程序是否满足一个时序逻辑公式,它基于对系统状态空间的穷举搜索,通常采用深度优先搜索算法(DFS)。然而由于DFS算法固有的连续性,并且需要用到某些数据结构和同步机制,使得计算机的资源被大量的消耗,因此长期存在状态空间爆炸的问题。本文通过改进传统的DFS算法,利用DivinE工具,使状态空间爆炸问题能够在分布式环境下得到缓解。 展开更多
关键词 模型检测 DFS 状态爆炸 分布式 DivinE
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部