湖南省重点科技攻关项目
- 作品数：103 被引量：741H指数：16
- 相关作者：高春鸣彭楚武刘金海冯涛黄启为更多>>
- 相关机构：湖南大学湖南农业大学湖南师范大学更多>>
- 发文基金：国家自然科学基金湖南省自然科学基金国家高技术研究发展计划更多>>
- 相关领域：农业科学自动化与计算机技术矿业工程环境科学与工程更多>>
- 基于异步PI演算的Web服务长事务协议性质分析
- 2008年
- 根据WS-Business Activity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。
- 谭煌高春鸣袁勇福
- 关键词：WEB服务
- 优质两系杂交水稻新组合陆两优63被引量：2
- 2001年
- 选用优质广亲和低温敏核不育系陆 18S与强恢复系明恢 6 3配组而成的陆两优 6 3 ,是一个高产稳产、米质优良、抗逆性较强、适应性广、栽培经济效益高的两系杂交中晚稻新组合。 2 0 0 1年
- 唐平徕杨远柱杨文才凌文彬石天宝
- 关键词：两系杂交水稻陆两优63选育
- 急倾斜煤层顶煤可放性识别的距离判别方法及应用被引量：22
- 2008年
- 探讨了急倾斜煤层放顶煤的工程特点,将距离判别分析方法用于急倾斜煤层顶煤可放性识别问题中,建立了急倾斜煤层顶煤可放性识别的距离判别分析模型.最后,将该模型用于工程实例,识别结果符合实际情况.研究表明,距离判别分析模型分类性能好,识别精度高,误判率低,是急倾斜煤层顶煤可放性识别的一种有效方法.
- 刘金海冯涛王卫军谢东海
- 关键词：急倾斜煤层巷道放顶煤顶煤可放性
- 煤层突出危险性预测的可拓方法被引量：18
- 2008年
- 合理选择突出主控因素及预测方法是提高煤层突出危险预测准确性的有效途径.首先探讨了煤层突出危险性的影响因素,并确定了煤层突出的主控因素.然后将可拓理论用于煤层突出危险性预测,建立了煤层突出危险性预测的可拓方法.最后以淮南矿区部分煤样为例进行了分析.实例应用表明,该方法计算简便,预测结果可靠,实用性强,为煤层突出危险性预测提供了一种新方法.表3,参13.
- 刘金海冯涛谢东海
- 关键词：煤层突出危险性可拓
- 粗集神经网络在煤与瓦斯突出预测中的应用被引量：5
- 2009年
- 结合粗集理论的属性约简功能和人工神经网络的非线性映射特性,提出了煤与瓦斯突出的一种预测方法。首先用粗集理论对训练样本进行属性约简和降噪,然后将经过预处理的训练样本代入神经网络进行训练,获得稳定的网络结构,最后用训练好的神经网络对待测样本进行预测。实际应用表明:瓦斯压力、瓦斯放散速度、地质构造、煤的坚固性系数和开采深度是煤与瓦斯突出预测的必要指标;粗集神经网络模型具有较高的预测精度和良好的实用性,是一种十分有效的煤与瓦斯突出预测方法。
- 朱晓琳冯涛谢东海
- 关键词：煤与瓦斯突出粗集神经网络
- 一种基于反馈控制的Web服务组合执行引擎设计被引量：5
- 2007年
- 在Web服务组合执行引擎中解耦流程执行和成分Web服务调用,设计和实施了带有双控制反馈控制环的流程执行结构,反馈控制环分别位于流程执行器与服务代理之上。仿真结果表明:解耦流程执行和成分Web服务调用提高了引擎资源的使用效率,增加了流程执行的并发性,提高了引擎的吞吐量;引入QoS反馈控制结构,使得引擎在组合服务负荷变化时,可为不同的请求服务等级提供服务响应时间保障。
- 陈伟安高春鸣
- 关键词：反馈控制服务质量
- Web服务组合的互模拟验证被引量：6
- 2006年
- 为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
- 袁勇福高春鸣刘荣胜
- 关键词：Π-演算
- 葛园害虫的发生与防治被引量：1
- 2007年
- 葛是近年驯化的一种高效经济作物,葛园害虫主要有葛卷叶蛾、葛黄叶甲、葛黑叶甲、葛蝗4种。为促进葛种植业,对上述葛园主要害虫的发生规律、危害形态进行了综述,并提供了综合防治方法。
- 胡立冬易梅辉熊立夫钟石仁文尚元
- 关键词：主要害虫
- 高效液相色谱法分离纯化酯型儿茶素的研究被引量：46
- 2003年
- 采用反相高效液相色谱技术 ,分离制备粗儿茶素粉末中表没食子儿茶素没食子酸酯( EGCG)、没食子儿茶素没食子酸酯 ( GCG)、表儿茶素没食子酸酯 ( ECG)三种酯型儿茶素馏分。制备色谱条件 :色谱柱 ,( 80 mm i.d× 5 0 0 mm,Fuji C18,粒径 2 5～ 40 μm) ;流动相 :有机醇 A- 1 /水( 1 6.5 /83.5 ,v/v,流速为 5 8m L/min;检测波长 2 78nm,进样量 30 0 0 mg。将所收集相应馏分分别经 P- 1大孔树脂吸附脱去溶剂 ,低沸点溶剂洗脱 ,旋转蒸发浓缩洗脱液 ,冷冻干燥后 ,得到 EGCG、GCG、ECG白色粉末。各物质经 HPLC检测纯度达 99.2 %以上。该法适用于分离纯化 EGCG、GCG。
- 钟世安周春山杨娟玉
- 关键词：酯型儿茶素
- 基于Linux的嵌入式GUI研究与应用被引量：3
- 2008年
- 本文简要阐述了Linux在嵌入式系统上的实现方法,结合对嵌入式GUI系统结构的分析,深入解释了嵌入式GUI系统底层实现基础,对其主要技术做了重点分析,最后针对具体应用参考实际GUI系统模型对输入引擎进行了移植。
- 易珂彭楚武黎职富李晓侠
- 关键词：LINUX嵌入式GUI输入引擎
