说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 导出规范
1)  derived norm
导出规范
2)  publishing standard
出版规范
3)  Standard Guide
规范指导
4)  to standardize and guide
规范引导
1.
Therefore, it is imperative for us to standardize and guide the development of non-gov.
所以,加快利率市场化步伐,用市场手段优化资金资源的配置,让资金在同等条件下在金融机构与民间金融之间合理分布,规范引导民间融资发展势在必行。
5)  leading model
领导规范
6)  derived category
导出范畴
1.
Peng Liangang and Xiao Jie used the method of Hall algebras to realize the whole Kac-Moody algebras of any type from 2-periodic orbit category of the derived category.
彭联刚和肖杰通过导出范畴的二周期轨道范畴使用Hall代数方法整体实现了任意型的Kac-Moody李代数,他们的方法也适用于由导出范畴产生的其它类型的无限维李代数。
2.
Next we raised the question that equivalence of posets in the background of Derived Category based on deep study of derived category of sheaf category.
接着我们在对导出范畴进行深入研究,取得了一系列结果的基础上,提出了偏序集在导出范畴意义下的等价问题。
补充资料:导出法则


导出法则
derived rule

  导出法则l山幼,目n此;npo”翔口“oe np姗月。],给定演算中的推演法则的 如果一个推演法则的结论可以由它的取自所考虑的演算中的诸前提推出,则称此推演法则为导出法则.例如在命题演算(pmpeslt10nal calculus)中,由于 AOB,BOC卜A,C成立,所以推演法则 A OB,B OC A OC是命题演算中的一个导出法则.每一个导出法则均是合理法则(so山ld们目e).然而并非所有合理法则皆为一个导出法则.例如在命题演算中代换法则(sul比titu-tion rule)是合理的,但它不是一个导出法则.
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条