江西省教育厅科学技术研究项目([2002]01)
- 作品数：9 被引量：29H指数：3
- 相关作者：黎升洪缪淮扣张新林董明冷雷雹更多>>
- 相关机构：上海大学江西财经大学江西师范大学更多>>
- 发文基金：江西省教育厅科学技术研究项目国家自然科学基金更多>>
- 相关领域：自动化与计算机技术农业科学医药卫生化学工程更多>>
- 3-酮基-4-雄甾烯-17β-羧酸甲酯的合成改进被引量：2
- 2005年
- 孕烯醇酮乙酸酯经溴仿反应、酯化、沃氏氧化得到非那雄胺的关键中间体3-酮基-4-雄甾烯-17β-羧酸甲酯,其中沃氏氧化用邻硝基苯甲醛为氧化剂,使用催化量异丙醇铝在甲苯中于95℃反应2h即可完成,收率85%。总收率71%。
- 吴玉萍姚菊英葛文夏克坚
- 关键词：非那雄胺中间体
- 红外光谱测定β-CD-氯菊酯包合物主-客体比的研究被引量：8
- 2004年
- 氯菊酯 (P)是目前我国茶园允许使用的拟除虫菊酯仿生农药品种之一 ,有见光易分解的特点 ,将其制成环糊精包合物 (IC) ,可以增加其稳定性 ,从而减少用量、减少在茶叶等作物上残留量。包合比是包合物加工的重要参数之一。作者用饱和水溶液法制备了 β 环糊精 (CD) 氯菊酯包合物 ,并对其进行了红外光谱分析。结果显示主、客体各吸收峰的位置和强度均不因形成包合物而改变。首次用红外内标法测得 β CD 氯菊酯的包合比为 1∶1。所选内标物质为硫氰化钾 ,因为它仅在 2 10 0cm- 1 处有一个强吸收峰 ,以该峰为硫氰化钾的定量峰。以 5 80cm- 1 处 β CD的环振动特征吸收 ,为 β CD的定量峰。将硫氰化钾与 β CD以一定的质量比混合 ,进行红外光谱分析 ,建立内标工作曲线。为超分子主。
- 邵琼芳董明谢小红曾兰萍冷雷雹
- 关键词：包合物茶园超分子化学
- 时态逻辑描述能力比较研究被引量：2
- 2006年
- 时态逻辑在软件确认和模型检查中有广泛的应用。时态逻辑的不同变体有不同描述能力。正确理解时态逻辑的描述能力有助于书写系统特性的正确时态逻辑公式特性。论文从语法、语义域定义和语法到语义域映射三个方面对不同时态逻辑加以描述,对时态逻辑描述能力进行了比较。
- 黎升洪缪淮扣
- 关键词：时态逻辑LTL
- 顾普塔数与王志雄数
- 2003年
- 文章给出了顾普塔数与王志雄数的概念,探讨了王志雄数的性质,利用Foxpro编程找出了新的顾普塔数与王志雄数。
- 李文新
- 关键词：FOXPRO编程
- 线性时态逻辑中的特性模式被引量：12
- 2006年
- 在模型检查应用中,需要使用线性时态逻辑对软件具备的特性进行描述。虽然,不同应用背景涉及不同方面的特性描述,但是线性时态逻辑描述软件特性方式上具有共性。本文从两个方面抽取这种共性,首先,按照线性时态逻辑所描述性质划分,常见性质包括活性、安全性等;其次,按照线性时态逻辑公式的作用范围划分。通过对共同问题,找到共同的描述方法得到线性时态逻辑的特性模式。最后介绍了线性时态逻辑特性模式在SPIN中的应用。
- 黎升洪缪淮扣张新林
- 关键词：线性时态逻辑SPIN
- 基于积件的多媒体课件快速开发系统被引量：1
- 2005年
- 积件是由教师和学生根据教学需要自己组合教学软件的多媒体信息资源,它正在被广泛接受和应用。为此研制了一个基于积件的多媒体课件快速开发系统,该系统可以很方便快捷地将积件组合成课件,从而大大提高课件的开发效率。
- 吴克捷罗坚杨印根
- 关键词：多媒体课件积件信息资源教学软件
- 基于ZML的Z语言规范
- 2006年
- ISO的Z标准为Z语言工具的开发及不同Z开发工具间的互操作提供了基础,然而它所建立的只是开发工具必须遵守和使用记号,而没有说明如何实现这些记号。ZML采用XML模式文档形式来描述Z语言规范,可以实现Z语言在不同工具间的交换。本文讨论XML模式的重用、替换设计机理在ZML中的应用;并讨论了在设计ZML时,所引入的XML模型元素与Z标准对应的问题;以及随着ZML的演化,如何减少Z语言XML文档的开发维护时间问题。
- 黎升洪
- 关键词：Z语言XML模式
- OCL 2.0表达式语义学比较研究被引量：4
- 2005年
- 从语法、语义域和语义映射三个方面,给出了基于UML元模型和形式化的OCL表达式语义描述.并探讨了OCL表达式上下文、OCL表达式赋值环境的概念.在OCL表达式语义的形式化描述中,定义了对象模型和OCL表达式语法,给出OCL表达式语义解释和OCL后置条件表达式的语义解释.通过对OCL表达式语义二种描述方法比较,可以看到OCL表达式语义学描述的关键是反映OCL表达式本质的语法描述.
- 黎升洪缪淮扣
- 关键词：OCL语义学UML形式化方法
- n位回归数的研究被引量：1
- 2003年
- 给出了n位回归数的概念和性质,利用Foxpro编程找出了某些回归数。
- 李文新
- 关键词：FOXPRO编程程序设计
