1) clearly making
明定
3) theorem proving
定理证明
1.
Real Variable Function Theorem Proving Methods Exploration
实变函数论中定理证明方法探究
2.
Using this model and theorem proving .
以Otway Rees协议为例 ,利用该计算模型和定理证明技术对密码协议进行了多层需求验
3.
The popular approaches are introduced and summarized,especially model checking based method,theorem proving based method,logic programming based method and so on.
对国际流行的方法进行了介绍和总结,重点分析和比较了基于模型检测的方法、基于定理证明的方法、基于逻辑程序的方法等能够进行攻击序列重构的各种方法,指出了各自的优缺点及技术手段、技术特点,最后给出了该领域的进一步研究方向。
4) explanation of compiling
制定说明
5) theorem proof
定理证明
1.
Type- checking the theorem proof represented by the proposed calculus,we can find outwhethertheproof isthe rightone ofthe given theorem.
通过对由该语言描述的定理证明过程进行类型检查 ,可判断该证明是否是给定定理的正确的证明 。
2.
As one of the important research branch of formal verification, theorem proof plays an important role in enhancing the safty and dependability of software systems.
定理证明是计算机领域中形式化验证的重要研究课题,对保证软件的正确性和可靠性具有十分重要的意义。
6) directional illumination
定向照明
1.
Simulation on directional illumination method of controlled source array;
可控震源定向照明方法的仿真研究
2.
Analysis on wave equation seismic directional illumination;
波动方程地震定向照明分析
补充资料：明明证（真定）《净土圣贤录》
【明明证（真定）《净土圣贤录》】
明证，字无尘，姓魏，会稽人。性醇厚简默。少不乐腥膻，常欲出家。弱冠，过邻寺，遇五台庞眉老僧，若旧相识者，愿相依为弟子。老僧云，汝三年后，方可剃发。当先行苦行，学诸经典。证遂往丛林，作重务。学楞严咒，日止诵一字。夜礼观音，彻晓不寐。三年，而咒始毕。忽卧病七日，遍身发痛，若换骨者。病愈，夙慧顿开。而五台僧复至，为祝发，受具戒。嘱令终身诵法华经。遂展经朗诵，无滞。已而华严、涅槃诸经，悉成诵。乃谓老僧曰，吾欲尽形乞食供养，以报师德。是夜，老僧不知所往。证日诵法华一部。日惟二餐。三衣经钵外，一无所蓄。人有施者，随得随舍。或与之言，止微笑而已。如是者三十年。一日诵经，艴然不怿。弟子问故。曰，吾持诵一生，求生净土，岂将堕红尘耶。于是更加勤诵三年。一日，抚案大笑曰，我今不到红尘去矣。往谒云栖宏公，还至涧中，谓侍者曰，汝往报众徒，我明日当去。次日，诸徒至。证问什么时。答云，亭午。遂命具汤盥沐，端坐念佛，诵观世音，大势至，至清净大，即闭口。众闻空中朗诵海众菩萨，异香馥然。合掌而寂，如入禅定。七日后，开龛，时值炎暑，仪容若生。年五十，时万历二十一年也。证弟子真定，字静明。出家后，秉师之训，精勤念佛，求生净土。兼礼拜华严，法华诸经。造像斋僧，行诸苦行。年七十二，预刻期，面西，念佛而化。（理安寺纪）
明证，字无尘，姓魏，会稽人。性醇厚简默。少不乐腥膻，常欲出家。弱冠，过邻寺，遇五台庞眉老僧，若旧相识者，愿相依为弟子。老僧云，汝三年后，方可剃发。当先行苦行，学诸经典。证遂往丛林，作重务。学楞严咒，日止诵一字。夜礼观音，彻晓不寐。三年，而咒始毕。忽卧病七日，遍身发痛，若换骨者。病愈，夙慧顿开。而五台僧复至，为祝发，受具戒。嘱令终身诵法华经。遂展经朗诵，无滞。已而华严、涅槃诸经，悉成诵。乃谓老僧曰，吾欲尽形乞食供养，以报师德。是夜，老僧不知所往。证日诵法华一部。日惟二餐。三衣经钵外，一无所蓄。人有施者，随得随舍。或与之言，止微笑而已。如是者三十年。一日诵经，艴然不怿。弟子问故。曰，吾持诵一生，求生净土，岂将堕红尘耶。于是更加勤诵三年。一日，抚案大笑曰，我今不到红尘去矣。往谒云栖宏公，还至涧中，谓侍者曰，汝往报众徒，我明日当去。次日，诸徒至。证问什么时。答云，亭午。遂命具汤盥沐，端坐念佛，诵观世音，大势至，至清净大，即闭口。众闻空中朗诵海众菩萨，异香馥然。合掌而寂，如入禅定。七日后，开龛，时值炎暑，仪容若生。年五十，时万历二十一年也。证弟子真定，字静明。出家后，秉师之训，精勤念佛，求生净土。兼礼拜华严，法华诸经。造像斋僧，行诸苦行。年七十二，预刻期，面西，念佛而化。（理安寺纪）
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条