公共文化服务平台

国家重点基础研究发展计划(2002cb312200): 作品数：44 被引量：246H指数：9; 相关作者：桂卫华阳春华胡志坤许晓鸣蔡云泽更多>>; 相关机构：中南大学上海交通大学中国科学院软件研究所更多>>; 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>; 相关领域：自动化与计算机技术理学电子电信冶金工程更多>>

稀疏最小二乘支持向量机及其应用研究被引量：14: 2008年; 提出一种构造稀疏化最小二乘支持向量机的方法.该方法首先通过斯密特正交化法对核矩阵进行简约,得到核矩阵的基向量组;再利用核偏最小二乘方法对最小二乘支持向量机进行回归计算,从而使最小二乘向量机具有一定稀疏性.基于稀疏最小二乘向量机建立了非线性动态预测模型,对铜转炉造渣期吹炼时间进行滚动预测.仿真结果表明,基于核偏最小二乘辨识的稀疏最小二乘支持向量机具有计算效率高、预测精度好的特点.; 宋海鹰桂卫华阳春华; 关键词：最小二乘支持向量机

Combining search space partition and abstraction for LTL model checking被引量：2: 2007年; The state space explosion problem is still the key obstacle for applying model checking to systems of industrial size. Abstraction-based methods have been particularly successful in this regard. This paper presents an approach based on refinement of search space partition and abstraction which combines these two techniques for reducing the complexity of model checking. The refinement depends on the representation of each portion of search space. Especially, search space can be refined stepwise to get a better reduction. As reported in the case study, the integration of search space partition and abstraction improves the efficiency of verification with respect to the requirement of memory and obtains significant advantage over the use of each of them in isolation.; PU FeiZHANG WenHui; 关键词：REFINEMENT ABSTRACTION

一种基于监控理论的软件设计方法:状态性质变换方法被引量：2: 2007年; 基于把离散事件系统监控理论用于软件设计的思想,本文中对软件设计的状态性质变换方法作了详细的讨论,给定一个系统,其每一个状态的性质都是确定的,当提出软件需求时,常常是对系统状态的性质提出需求,为设计出满足需求的系统,可以首先按照是否满足该性质对系统状态进行分类,再对不满足该性质的状态控制其可控事件的发生从而改变其性质使之满足要求的性质。本文将这种方法用于软件需求是不变性或可达性时的软件设计问题,通过和已有文献中结论的比较,显示了这种设计思想的广泛适用性和优点,也验证了软件控制论这一思想的可行性。; 王向云张文辉王鹏李永超蔡开元; 关键词：反应式系统软件设计离散事件动态系统

分布式虚拟环境的可扩充性研究被引量：3: 2006年; 讨论了与分布式虚拟环境系统扩充性相关的两类技术,一类是通过简单的硬件并行来实现系统扩容,典型的例子是多服务器并行分区技术。这类技术能够支持大规模的分布式虚拟环境(DVE)系统,缺点是费用太高;另一类技术试图通过减少服务器通信负载来实现系统容量的增加,主要包括感兴趣区域(AOI)技术,DR算法和组播技术。此外,还讨论了一些复合方法:如基于AOI的组播技术等。网络负载的减少意味着相同的硬件条件可以支持更大规模的客户,从而有助于解决大规模DVE系统的扩充性问题。; 吴言华蔡云泽许晓鸣; 关键词：分布式虚拟环境可扩充性感兴趣区域 DR算法组播

一类连续模糊动态系统稳定的充分条件被引量：3: 2004年; 研究了一类连续模糊动态系统的稳定性,证明了该类系统稳定的充分条件.并以倒立摆的稳定性分析验证了定理的有效性.; 丁海山毛剑琴; 关键词：稳定性倒立摆模糊控制智能控制

基于OCL的服务构件特征语义描述模型被引量：4: 2007年; 构件的语义特征是构件检索的主要依据,也是构件库的重点研究内容.然而,由于网络系统中存在分布、动态、数量众多的服务构件,很多构件之间存在一定的关联和依赖,因此如何有效地描述这些服务构件特征间的关联,是构件库管理模型需要进一步研究的一个重要问题.提出一种基于特征的构件语义描述模型,首先分别给出特征、特征空间和构件特征空间表示模型的定义.接着将构件特征间的各种关联和依赖关系分成自身约束、父子关系约束、显性约束和隐性约束4类,并采用对象约束语言对这些关系进行形式化描述,从而为模型提供了精确的语义支持.面向电子商务的构件特征子树的实例研究及其模型验证和实验结果证明了该模型的正确性与有效性.; 金仙力马华东; 关键词：对象约束语言

密闭鼓风炉铅锌熔炼的统计过程监测系统设计被引量：9: 2007年; 密闭鼓风炉熔炼过程中的铅锌冶炼反应工艺非常复杂,且工况变化较大,目前还没有比较有效的方法对其监测。主元分析(PCA)是一种有效的多元统计过程监测方法,将PCA应用于密闭鼓风炉熔炼生产的统计过程控制,分析了T^2统计、SPE统计量的变化趋势,与密闭鼓风炉实际生产状况的对应关系。试验结果表明,PCA方法可快速有效地反映生产过程的变化,生产运用效果表明该方法大大提高了对密闭鼓风炉生产工况的实时监测能力,提高了生产效率。; 唐朝晖桂卫华吴敏杨帆王海清; 关键词：密闭鼓风炉主元分析

基于遗传算法的连续碳酸化分解过程模糊优化被引量：1: 2007年; 提出了基于遗传算法的连续碳酸化分解过程操作模式模糊优化方法。首先建立基于模糊规则和模糊推理的模型,然后以稳态误差为优化目标,应用混合编码的遗传算法同时优化模糊控制隶属度和推理规则,将获得的模糊规则应用于末槽分解率的控制,获得了良好的应用效果。; 胡志坤阳春华桂卫华; 关键词：连续碳酸化分解模糊规则分解率遗传算法

有限精度时间自动机的时钟表示被引量：1: 2006年; 简要介绍了有限精度时间自动机(FPTA)的基本概念,重点讨论FPTA状态中时钟的表示。FPTA只记录时钟值的整数部分,而用时钟序的概念来模拟表示时钟值小数部分的大小关系,从而减少生成的状态空间。在FPTA模型中,时钟操作的时空性能主要依赖于时钟序的数据结构和算法。提出了用位矩阵来表示时钟序的数据结构POM(Partial-OrderMatrix)。采用该结构的操作算法具有O(n)复杂度,且无需标准化操作;同时,一切操作均可以通过位运算实现,从而大幅度提高时钟操作的时间效率。; 刘春明晏荣杰徐雨波

国家重点基础研究发展计划(2002cb312200)