洪昆
- 作品数：10 被引量：8H指数：2
- 供职机构：昆明市科学技术情报研究所更多>>
- 发文基金：昆明市科技计划项目更多>>
- 相关领域：自动化与计算机技术文化科学化学工程更多>>
- 面向方面软件模型的形式化研究
- 2008年
- 面向方面的软件开发方法中使用了含有方面的对象模型.经典的面向对象形式化方法没有提供方面的概念.提出一种以范畴语言为基础的形式化方法,可以一并给出对象和方面的形式模型,并指出了此模型与范畴Set的关系.
- 陈星汪海涛洪昆
- 关键词：软件工程
- 昆明市科技信息资源整合创新应用研究及实践
- 洪昆胡景荣陈星王薇胡甜
- 针对昆明市科技发展和建设创新型城市的需要，该项目通过研究分析昆明市科技信息资源的需求，广泛参考省内外成功经验，提出科技信息资源整合利用的探索性理论体系，给出昆明市科技资源创新应用服务平台的综合性可行性研究报告、规划方案，...
- 关键词：
- 昆明市科技信息资源库平台
- 胡景荣洪昆王薇陈星李帅张洁梁健
- 昆明市科技信息资源总量较大，分布不集中，区域性资源利用程度较低，大量科技信息仍处于分散和无序阶段，利用效率低下，需针对昆明市科技发展和建设创新型城市的需要，对现有科技信息资源进行整合利用研究，建立共享应用平台，并开发特色...
- 关键词：
- 关键词：科技管理信息资源共享
- Web3.0模式下科技信息共享系统平台的本体构建探讨
- 本文从Ontology出发,根据实际系统平台建设经验,结合Web3.0特征,研究分析科技信息共享系统平台构建中需要着重考虑的要点与特征,提出本体构建思路,为开展科技信息共享系统平台建设提供软件设计模式的理论性建议。
- 洪昆陈星茹华所
- 关键词：WEB3.0科技信息共享本体
- 标记语言类型系统研究
- 本文拟对标签语言语义的类型系统的种类及含义进行论述,用范畴论等数学工具给出了其类型系统的形式定义,论述了模式、初始类型、复合类型的概念体系,详述了初始类型和复合类型的继承关系及条件,给出了若干种类型等价变换的语义及描述变...
- 陈星洪昆汪海涛
- 关键词：标记语言形式语义
- 文献传递
- 注重科普教育 提升未成年人科学文化素质被引量：2
- 2010年
- 基于昆明市科学技术情报研究所开展的多种形式的科技活动和科普教育,对提高未成年人的整体文化素质等方面及相关的作法、取得的效果进行分析、归纳和总结。
- 王薇洪昆
- 关键词：边疆少数民族地区科普教育基地
- 一种基于SVM的人形识别算法被引量：5
- 2010年
- 提出了一种基于SVM(支持向量机)人形识别的算法,通过对静态图像小波变换提取目标的局部形状突变特征,并结合动态帧的步态特征,然后利用支持向量机对小样本进行学习与识别.通过实验验证,该算法具有实时性好、识别率高、可靠性高、适用范围广等特点,以达到实现监控自动化和智能化的目标.
- 胡景荣洪昆茹华所汪海涛陈星
- 关键词：小波变换步态特征支持向量机
- 发展农业开放存取服务边疆农村发展
- 存取(Open Access,简称OA)是国际科技界、学术界、出版界、信息传播界为推动科研成果利用网络自由传播而发起的运动.旨在推动实现信息资源在最广范围内传播利用.为解决云南地区农民经济落后的状况,科技部门积极配合省委...
- 王薇洪昆
- 关键词：开放存取学科学
- 科技信息资源共享中总平台和子节点的关系研讨——以昆明、成都平台建设为例被引量：1
- 2010年
- 本论述为解决科技信息资源共享平台建设中遇到的新型信息孤岛问题,对当前普遍出现问题进行了分析,并针对昆明市科技信息资源平台建设提出解决问题的方法;明确提出了为实现共享目标,总平台应承担的职责与要求,明确了子节点建设应遵循的规范与协同关系。通过实际城市建设案例分析,提出相关构建原则,为当前科技信息资源共享平台建设中总平台和子节点的有效协作以及平台共享理念的实现提供有用参考。
- 洪昆胡景荣
- 关键词：资源共享
- 敏捷软件开发过程研究及案例实现
- 本文运用元模型理论描述了敏捷软件过程总体构架，并用集合方式给出了过程定义，分析了主要约束关系。本文运用过程元模型描述方法，从适用范围、生命周期模型、人员组织结构、实践、工件、活动等六个方面对敏捷软件开发过程进行刻画，并在...
- 洪昆
- 关键词：敏捷软件开发
- 文献传递
