期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
MFS:一个基于重写技术的程序开发系统
1
作者 杨继锋 孙永强 +1 位作者 陆朝俊 邵志清 《软件学报》 EI CSCD 北大核心 1999年第8期806-811,共6页
MFS是一个基于重写技术的程序开发系统.它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言.在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制.语言的类型系统以及在语言和系统中... MFS是一个基于重写技术的程序开发系统.它提供的程序设计语言MFSL是扩展的函数式语言与代数规约语言相结合的混合语言.在这种混合语言中引入了能够提高效率和满足用户特殊需求的优化规则定义机制.语言的类型系统以及在语言和系统中引入的证明和测试机制能够使人们在开发过程中较早地发现问题,提高所开发系统的正确性.在系统的实现中采用的必要平行最外归约策略、图归约、证据测试集等技术能够使所开发的系统具有很高的实现效率.应用这一程序开发系统,能够较快地开发出正确且效率较高的程序. 展开更多
关键词 程序开发系统 MFS 重写技术 mfsl语言
在线阅读 下载PDF
Identification and Gene Mapping of a multi-floret spikelet 1 (mfs1) Mutant Associated with Spikelet Development in Rice 被引量:2
2
作者 REN De-yong LI Yun-feng +6 位作者 WANG Zeng XU Fang-fang GUO Shuang ZHAO Fang-ming SANG Xian-chun LING Ying-hua HE Guang-hua 《Journal of Integrative Agriculture》 SCIE CAS CSCD 2012年第10期1574-1579,共6页
In this study, a rice spikelet mutant, multi-floret spikelet 1 (mfsl), which was derived from ethylmethane sulfonate (EMS)- treated Jinhui 10 (Oryza sativa L. ssp. indica) exhibited pleiotropic defects in spikel... In this study, a rice spikelet mutant, multi-floret spikelet 1 (mfsl), which was derived from ethylmethane sulfonate (EMS)- treated Jinhui 10 (Oryza sativa L. ssp. indica) exhibited pleiotropic defects in spikelet development. The mfsl spikelet displayed degenerated the empty glume, elongated the rachilla, the extra lemma-like organ and degraded the palea. Additionally, mfsl flowers produced varied numbers of inner floral organs. The genetic analysis revealed that the mutational trait was controlled by a single recessive gene. With 401 recessive individuals from the F2 segregation population, the MFS1 gene was finally mapped on chromosome 5, an approximate 350 kb region. The present study will be useful for cloning and functional analysis of MFS1, which would facilitate understanding of the molecular mechanism involved in spikelet development in rice. 展开更多
关键词 empty glume gene mapping mfsl mutant rice (Oryza sativa L.) SPIKELET
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部