尹剑飞
- 作品数：24 被引量：68H指数：4
- 供职机构：深圳大学更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信经济管理更多>>
- 基于数据整合和信息共享的ESB集成平台软件
- 明仲尹剑飞蔡树彬曾新红陈昊胡锦敏吴涛李伟彬傅向华白鉴聪卢亚辉张勇倪晓兵梁正平刘
- 该项目属于软件与信息服务科学技术领域，是深圳科工贸信委资助的产学研项目。由深圳大学与深圳金蝶中间件软件公司合作研发。企业数据整合和信息共享是目前我国信息化进程中面临的一个重大课题。由于当前企业信息系统异构性、管理自治性等...
- 关键词：
- 关键词：数据整合信息共享企业服务总线
- 利用COM包容和聚合实现软件重用被引量：15
- 2000年
- 组件对象模型 (COM)是Microsoft许多新技术如OLE、ActiveX的基础 ,也是Microsoft迈向分布式计算的基础 ,本文着重论述其在软件重用方面的技术 :COM包容和聚合 ,并通过实例说明。
- 尹剑飞
- 关键词：COM软件开发
- 模式语义链元建模及其应用被引量：1
- 2005年
- 大粒度的模型转换是模型驱动软件开发场景下的重要技术需求,仅通过定义通用模型转换语言不足以满足这一需求,其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上.文中提出一种模式语义链(PSL)元建模方法.通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式,并应用UML动作语义和元模型继承实现模式自动生成及转换.该方法为实现一般设计意图层次上的大粒度模型转换提供了有效支持.
- 尹剑飞郭荷清彭新一
- 关键词：统一建模语言对象约束语言设计意图
- MDA环境下元建模的OMCR方法研究
- MDA是国际对象管理组织(OMG)为应对业务和技术的快速变化提出的一种开放、中立的系统开发方法和一组建模语言标准的集合。MDA以模型作为系统开发活动的主要制品，将一个应用或集成系统分离为表示商业和应用逻辑的平台无关的模型...
- 尹剑飞
- 关键词：模型驱动构架元建模重写逻辑模型组合
- 文献传递
- 基于数据生成模型的仿真样本点插补方法
- 2023年
- 为解决插补的仿真样本点与真实样本点概率分布不一致的问题,提出了基于数据生成模型的仿真样本点插补方法。基于高斯混合模型构建真实样本点的数据生成模型,其对应的高斯混合模型构件数通过多模型融合的策略确定;利用在真实样本点上获得的数据生成模型插补所需的仿真样本点,其中数据生成模型的构件以及构件权重用于控制仿真样本点的生成方式。在20个多模多维混合分布上对新方法的可行性和有效性进行了验证,实验结果表明,与随机样本点插补、合成少类过采样技术及其两种最新的变体等4种方法相比,本文方法能够获得更具概率分布一致性的仿真样本点,证实该方法是一种合理的仿真样本点插补方法。
- 何玉林陈佳琪徐贺鹏黄哲学黄哲学
- 关键词：高斯混合模型
- 一种Web系统性能测试框架及其混合建模过程被引量：14
- 2010年
- 由于Web系统的复杂性,仅采用性能测试或单一建模方法在多个性能指标度量准确性、预测有效性和测试迭代控制等方面存在局限性.提出一种支持混合性能建模的Web性能测试框架,依据不同的性能指标,采取不同的性能建模方法,导出性能指标的封闭函数及其度量假设条件,执行回归分析和测试.以一个实际Web社区系统为例,针对系统响应时间和伸缩性指标,提出了排队网模型化简方法和伸缩性模型US-γ的混合建模与测试过程.测试结果表明,预测响应时间错误率在4%以内,预测吞吐量饱和点错误率在1%以内,预测拐点下界错误率在5%以内.通过关联系统与Web服务器线程2个伸缩性模型,在构架级识别出一个HTTP处理瓶颈.
- 明仲尹剑飞杨巍王慧肖志娇
- 关键词：伸缩性排队网
- 基于重写逻辑的UML模型一致性检查方法被引量：3
- 2006年
- 在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仅提供了有限支持。该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法。首先定义了基于两级代数规范的实施构架以分别检查UML模型的设计时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则。该方法为保持面向可执行的UML模型的一致性提供了有效支持。
- 尹剑飞郭荷清欧毓毅
- 关键词：重写逻辑代数规范UML
- 适合大数据机器学习算法的超参数调优方法、系统与介质
- 本发明公开了一种适合大数据机器学习算法的超参数调优方法、系统与介质，该方法包括：获取大数据集，根据大数据集中基于聚类的统计特征，自动估计出所需的RSP块的数量和每个RSP块的记录数，以得到由所述数量的RSP块组成的近似大...
- 尹剑飞陈海彬黄哲学胡牧洲
- MDA环境下可变性元建模方法研究被引量：3
- 2006年
- 为模型提供可变性支持对于模型驱动软件开发的实践具有重要意义。可变性建模有利于捕捉领域概念及其特征的共性和差异性,为构造应用模型簇提供了一种模型复用的途径。在研究特征建模的可变性机制和MDA标准建模语言对可变性表示不足的基础上,提出了一种可变性元建模方法,构造可变性概要以支持原子、成组等可变性描述,开发了可变性验证和模型转换算法。通过实际项目的验证,该方法为基于可变性建模的模型内容复用提供了有效支持。
- 尹剑飞兰庆国
- 关键词：元建模模型驱动构架
- 模型转换的重写逻辑构架研究被引量：4
- 2006年
- 规则式的模型转换技术在模型驱动构架的模型转换实施中占有重要地位,但目前诸实施对于转换规则的定义存在多种解释、转换的协调方面、终止性和一致性等数学属性缺乏支持。该文提出一种Maude重写逻辑基础的构架(RLBA)以实施模型转换,通过产生式规范、多方法风格的重写规则集设计、OC(对象配置)和OM(对象消息)重写规则分类等技术并结合模型检查工具,为自动产生元模型和模型的面向对象可执行代数规范、转换规则的严格形式化定义、转换协调方面的刻画、终止性和一致性等的验证提供支持。
- 尹剑飞王学斌
- 关键词：重写逻辑模型驱动构架
