1) Clause searching method in first-order logic
一阶子句搜索方法
2) clause searching method
子句搜索方法
1.
A clause searching method of deciding satisfiability of propositional clause set Φ was proposed.
提出了子句搜索方法判定命题子句集Φ的可满足性,该方法查找Φ中子句的一个公共不可扩展子句C,当且仅当找到C时Φ可满足,此时C中各文字的补构成一个模型。
3) first-order clause
一阶子句
1.
The logic program consists of some first-order clauses.
归纳逻辑程序设计(ILP)是机器学习的一个重要分支,给定一个样例集和相关背景知识,ILP研究如何构建与其相一致的逻辑程序,这些逻辑程序由有限一阶子句组成。
4) searching method
搜索方法
1.
According to the principle of odontoprisis'force, the radius vector value of cam on the open-closed armature position was calculated by the means of one dimension searching method at the open-closed odontoprisis cam outline.
该方法根据咬纸牙产生咬纸力的原因,计算实际开闭牙位置在凸轮上对应的向径值,利用计算机一维搜索方法得到开闭牙的实际位置。
2.
For the sake of the forecast for air conditioning loads, a chaos optimization algorithm based on artificial neural network is described in detail, and a model of the chaotic optimization neural network algorithm is established with the error function improved and the searching method optimized.
从空调负荷预测的目的出发,详细介绍了一种基于神经网络的混沌优化方法,对误差函数及搜索方法作了适当的改进,建立了一个混沌神经网络模型。
3.
How to search resources efficiently in the P2P network depends on the indexing and searching method we use.
本文在分析、研究P2P网络基本搜索方法的基础上,改进了泛洪请求模型搜索方法,并将其应用到企业内部网络资源搜索中,以达到更合理的利用和共享企业内部网络信息资源的目的。
5) searching methods
搜索方法
1.
The searching methods for rare events are reviewed.
简单介绍了远离核奇异性质研究的科学意义,报道了稀有事件的搜索方法,以高生成额、高分离效率和高探测效率的方法搜索稀有事件。
6) Search method
搜索方法
1.
A search method for unstructured P2P networks;
一种非结构P2P网络的搜索方法
2.
A new search method to solve the magnetoencephalography inverse problem;
一种新的求解脑磁逆问题的搜索方法
3.
Based on the quick search method in search engines,this paper discusses the design of seven search methods such as logical symbol search of word phrases,realizing partial functions with java language.
根据搜索引擎中的快速搜索方法 ,设计逻辑符号检索词组或短语的内容检索等 7大类搜索方法 ,并用Java语言实现了其中的部分功
补充资料:七阶──藏教七阶
【七阶──藏教七阶】
﹝出天台四教仪集注﹞
藏教者,即小乘经律论三藏教也。阶者,阶级次第也。谓藏教菩萨修行之次第也。(菩萨,梵语具云菩提萨埵,华言觉有情。)
[一、四弘誓愿],弘者,大也。誓者,要制其心也。愿者,志求满足也。谓菩萨从初发心,观四谛境,发四弘誓,一、未度者令度,即众生无边誓愿度,此观苦谛境。二、未解者令解,即烦恼无数誓愿断,此观集谛境。三、未安者令安,即法门无量誓愿学,此观道谛境。四、未得涅槃者令得涅槃,即佛道无上誓愿成,此观灭谛境也。(梵语涅槃,华言灭度。)
[二、三祇修六度],三祇者,三阿僧祇劫也。六度者,布施、持戒、忍辱、精进、禅定、智慧也。度,越也,越生死流,到涅槃岸也。谓菩萨既发心已,必须行六度行,填满本愿,是为三祇修六度。(梵语阿僧祇劫,华言无数时。)
[三、百劫种相好],劫,梵语具云劫波,华言分别时节。百劫种相好者,一增一减为一小劫;凡历二十番增减,为一中劫;八十番增减,为一大劫。谓菩萨于百劫中,种诸相好。用百福德成一相好,如是至三十二相具足,而身清净也。(人寿从十岁增至八万四千岁,名增劫。从八万四千岁减至十岁,名减劫。如是一增一减,名一小劫。三十二相者,足下安平相,千辐轮相,手指纤长相,手足柔软相,手足缦网相,足跟满足相,足趺高好相,端如鹿王相,手过膝相,马阴藏相,身纵广相,毛孔生青色相,身毛上靡相,身金色相,身光面各一丈相,皮肤细滑相,七处平满相,两腋满相,身如师子相,身端直相,肩圆满相,四十齿相,齿白齐密相,四牙白净相,颊车如师子相,咽中津液得上味相,广长舌相,梵音深远相,眼色如金精相,眼睫如牛王相,眉间白毫相,顶肉髻成相也。)
[四、六度相满],六度相满者,谓菩萨修行六度之相圆满也。如尸毗王代鸽,即檀度满也。普明王舍国,即戒度满也。羼提仙人被歌利王割截身体,慈忍不动,血变为乳,即忍度满也。大施太子抒海,即精进度满也。尚阇黎鹊巢顶上,即禅度满也。劬嫔大臣分阎浮提为七分,城邑山川均等,故能息诤,即智度满也。如上六人,皆释迦往昔所修之行,是为六度相满。(梵语尸毗,华言与。代鸽者,遍割身肉与鹰以代鸽命,身肉俱尽,不恼不死,自誓真实,感身平复也。梵语羼提,华言忍辱。梵语歌利,华言恶世无道。大施太子求如意珠济贫,得珠堕海,抒海取之,言欲酌海干而取之也。筋骨断坏,终不解废,诸天见而问之,答曰:吾生生不休。诸天愍之,助其抒海,海水减半,龙恐海干,令夜叉送珠还之。尚阇黎者,螺髻仙人,名此人得四禅定,出入息断,鸟谓为木,于髻生卵。定起欲行,恐鸟母不来,即更入定,待鸟飞去,方始出定。梵语阎浮提,华言胜金洲。梵语释迦,华言能仁。)
[五、兜率降生],梵语兜率,华言知足。降生者,谓菩萨将补佛处,出世度生,即从兜率天降生人间,以补其处,是为兜率降生。(菩萨即释迦佛也。补佛处者,前佛既灭,而此菩萨即补其处也。)
[六、降神出家],谓菩萨既降神出胎,厌生老病死之苦,而欲脱离,故求出家,入山修道,是为降神出家。
[七、菩提树下成道],梵语菩提,华言道。谓菩萨自知成道时至,于菩提树下,破诸魔众。魔王败绩,鬼兵退散,菩萨安坐不动,即成佛道,是为菩提树下成道。(菩提树者,谓佛于此树下成道,故名菩提树也。)
﹝出天台四教仪集注﹞
藏教者,即小乘经律论三藏教也。阶者,阶级次第也。谓藏教菩萨修行之次第也。(菩萨,梵语具云菩提萨埵,华言觉有情。)
[一、四弘誓愿],弘者,大也。誓者,要制其心也。愿者,志求满足也。谓菩萨从初发心,观四谛境,发四弘誓,一、未度者令度,即众生无边誓愿度,此观苦谛境。二、未解者令解,即烦恼无数誓愿断,此观集谛境。三、未安者令安,即法门无量誓愿学,此观道谛境。四、未得涅槃者令得涅槃,即佛道无上誓愿成,此观灭谛境也。(梵语涅槃,华言灭度。)
[二、三祇修六度],三祇者,三阿僧祇劫也。六度者,布施、持戒、忍辱、精进、禅定、智慧也。度,越也,越生死流,到涅槃岸也。谓菩萨既发心已,必须行六度行,填满本愿,是为三祇修六度。(梵语阿僧祇劫,华言无数时。)
[三、百劫种相好],劫,梵语具云劫波,华言分别时节。百劫种相好者,一增一减为一小劫;凡历二十番增减,为一中劫;八十番增减,为一大劫。谓菩萨于百劫中,种诸相好。用百福德成一相好,如是至三十二相具足,而身清净也。(人寿从十岁增至八万四千岁,名增劫。从八万四千岁减至十岁,名减劫。如是一增一减,名一小劫。三十二相者,足下安平相,千辐轮相,手指纤长相,手足柔软相,手足缦网相,足跟满足相,足趺高好相,端如鹿王相,手过膝相,马阴藏相,身纵广相,毛孔生青色相,身毛上靡相,身金色相,身光面各一丈相,皮肤细滑相,七处平满相,两腋满相,身如师子相,身端直相,肩圆满相,四十齿相,齿白齐密相,四牙白净相,颊车如师子相,咽中津液得上味相,广长舌相,梵音深远相,眼色如金精相,眼睫如牛王相,眉间白毫相,顶肉髻成相也。)
[四、六度相满],六度相满者,谓菩萨修行六度之相圆满也。如尸毗王代鸽,即檀度满也。普明王舍国,即戒度满也。羼提仙人被歌利王割截身体,慈忍不动,血变为乳,即忍度满也。大施太子抒海,即精进度满也。尚阇黎鹊巢顶上,即禅度满也。劬嫔大臣分阎浮提为七分,城邑山川均等,故能息诤,即智度满也。如上六人,皆释迦往昔所修之行,是为六度相满。(梵语尸毗,华言与。代鸽者,遍割身肉与鹰以代鸽命,身肉俱尽,不恼不死,自誓真实,感身平复也。梵语羼提,华言忍辱。梵语歌利,华言恶世无道。大施太子求如意珠济贫,得珠堕海,抒海取之,言欲酌海干而取之也。筋骨断坏,终不解废,诸天见而问之,答曰:吾生生不休。诸天愍之,助其抒海,海水减半,龙恐海干,令夜叉送珠还之。尚阇黎者,螺髻仙人,名此人得四禅定,出入息断,鸟谓为木,于髻生卵。定起欲行,恐鸟母不来,即更入定,待鸟飞去,方始出定。梵语阎浮提,华言胜金洲。梵语释迦,华言能仁。)
[五、兜率降生],梵语兜率,华言知足。降生者,谓菩萨将补佛处,出世度生,即从兜率天降生人间,以补其处,是为兜率降生。(菩萨即释迦佛也。补佛处者,前佛既灭,而此菩萨即补其处也。)
[六、降神出家],谓菩萨既降神出胎,厌生老病死之苦,而欲脱离,故求出家,入山修道,是为降神出家。
[七、菩提树下成道],梵语菩提,华言道。谓菩萨自知成道时至,于菩提树下,破诸魔众。魔王败绩,鬼兵退散,菩萨安坐不动,即成佛道,是为菩提树下成道。(菩提树者,谓佛于此树下成道,故名菩提树也。)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条