期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
STUDY ON THE SYNTHESIS OF BRASSINOLIDE AND RELATED COMPOUNDS 15.FORMAL SYNTHESIS OF BRASSINOLIDE VIA STEREOSELECTIVE SULFENATE-SULFOXIDE TRANSFORMATION
1
作者 Wei Sham ZHOU Zheng Wu SHEN Shanghai Institute of Organic Chemistry,Chinese Academy of Science,345 Lingling Lu,Shanghai 200032 《Chinese Chemical Letters》 SCIE CAS CSCD 1991年第2期111-114,共4页
A formal synthesis of the natural growth promoting steroid brassinolide is described,which involves construction of side chain by 1,3-sulfoxide-hydroxyl transposition with methylation from(24S)- 22-E-24-sulfoxide 6 an... A formal synthesis of the natural growth promoting steroid brassinolide is described,which involves construction of side chain by 1,3-sulfoxide-hydroxyl transposition with methylation from(24S)- 22-E-24-sulfoxide 6 and(24R)-22-E-24-sulfoxide 9,respectively to (22S)-23-E-24-methyl compound 4. 展开更多
关键词 KBr IR OH cm THF STUDY ON THE SYNTHESIS OF BRASSINOLIDE AND RELATED COMPOUNDS 15.formal SYNTHESIS OF BRASSINOLIDE VIA STEREOSELECTIVE SULFENATE-SULFOXIDE TRANSFORMATION VIA
在线阅读 下载PDF
基于UPPAAL的LKJ-15系统模式转换功能建模与验证研究 被引量:3
2
作者 李建雄 吉志军 罗飞豹 《铁道通信信号》 2023年第5期60-66,共7页
模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进... 模式转换是LKJ-15系统的重要功能。为了保证模式转换功能安全,提出利用形式化建模工具UPPAAL对该功能进行建模与验证。首先分析LKJ-15系统各种模式转换条件,建立模式转换信息交互网络;之后使用UPPAAL建立模式转换功能模型;最后对模型进行仿真和BNF语句验证。结果表明:该模型满足LKJ-15模式转换的功能要求,其安全性得以验证,为系统开发和应用提供了理论保障。 展开更多
关键词 LKJ-15系统 形式化建模 自动机理论 模式转换 建模验证
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部