康洪炜
- 作品数：14 被引量：3H指数：1
- 供职机构：云南大学更多>>
- 发文基金：云南省应用基础研究基金云南省应用基础研究计划面上项目云南省教育厅科学研究基金研究生项目更多>>
- 相关领域：自动化与计算机技术文化科学自然科学总论经济管理更多>>
- 一种基于代数语义的软件体系结构求精方法
- 2017年
- 软件体系结构是引导需求到实现的桥梁,目前在软件体系结构建模方法中主要分为形式化和非形式化两种。针对大型分布式系统的体系结构采用Petri网进行建模,兼顾了可视化操作和形式化的准确性,同时利用细化求精操作建立体系结构的层次模型,有效解决了状态空间爆炸问题。此外,在求精过程中为了保证用于下层求精的子网能准确表达上层行为规约,引入了进程代数来刻画Petri网的行为语义。最后,给出了进程项构造子网的算法及案例研究,并通过开源工具验证上述内容的正确性。
- 林雷蕾周华代飞何臻力沈勇康洪炜
- 关键词：体系结构进程代数ACPPETRI网
- 全国高校学籍学历信息资源管理系统
- 任善恂何彦彬梁志宏邓崧康洪炜姜军吴跃辉徐云王晓伊刘亚玎段映梅
- “全国高校学生学籍学历信息资源化管理系统”可以适应学校的不同管理模式，也能方便地在各校原来的学生学籍管理系统的信息库之间进行相互转移存储和信息互补，并通过本系统实现与上级教育管理部门实现信息沟通，实现与本单位的其他学生管...
- 关键词：
- 关键词：学籍学历信息资源
- 基于目标引导的软件演化过程研究
- 2013年
- 基于目标和环境对软件演化过程的影响,文章对目标和环境进行了分析,把目标、环境及对应的软件演化过程活动作绑定,提出了一种目标导向的软件演化过程的模型,并以此来指导建模,这样根据目标和资源就可以确定出实现该过程的行为,在文中使用通讯顺序进程CSP来描述过程的行为,对过程的资源运算、目标状态的变迁以及目标的优先关系进行了深入讨论.
- 沈勇黄世反王道红康洪炜
- 基于WEB服务的虚拟企业集成研究
- 本文在分析虚拟企业集成研究现状与不足的基础上,围绕虚拟企业构建及其集成技术进行了探讨,重点研究了虚拟企业模型体系结构、虚拟企业构建与集成过程、支持虚拟企业建模与集成环境等方面的内容。
所谓虚拟企业,是指多个相互独立...
- 康洪炜
- 关键词：虚拟企业体系结构集成技术WEB服务
- 基于KNN的烟草企业档案文本自动分类算法研究被引量：2
- 2014年
- 通过对云南某卷烟厂历史档案文本数据的分析研究,结合实际情况,对档案文本主题词的获取和自动分类算法进行了详细的设计。且在主题词获取算法中引入了TFIDF算法,解决了档案文本缺少题名、文号及责任者项时,算法无法自动获取主题词的问题。在文本自动分类算法中引入了KNN最邻近算法,解决了无法根据题名、文号进行档案文本自动分类的问题。同时,还考虑了档案文本按保存期限进行分类的问题。实验结果证明,该算法明显提高了烟草企业档案文本的分类效率。
- 黄世反沈勇康洪炜康洪炜郑见琳郎波王冬贾丛丛
- 关键词：TFIDFKNN文本自动分类
- 基于体系结构的软件开发方法及其支撑环境
- 周华孙兴平康洪炜梁志宏段清刘俊晖廖贇杨胜林沈勇
- 项目对基于软件体系结构的生命周期模型和以体系结构为中心的软件建模方式进行了深入研究，提出了具有可操作性的软件开发方法框架，提出了XDL元模型的核心模式和软件体系结构的元建模模式-ArchCore。实现了一种易于理解、便于...
- 关键词：
- 关键词：软件开发方法软件系统
- 协同URP平台的研发与应用
- 周华梁志宏廖鸿志孙兴平高怀雁康洪炜沈勇段清刘俊晖包崇明杨胜林杨志玲董立昆周永华邓世昆张伟
- 《协同URP平台的研发与应用》项目完成了协同URP基础平台的构建，应用到云南大学数字化校园建设，搭建了“数字云大”的基础软件架构，并在此基础上完成了业务系统的开发与集成，具体内容如下：1)完成了协同URP平台的研发：协同...
- 关键词：
- 电子政务模拟环境建设及其支撑软件开发
- 廖鸿志周华张云山梁志宏沈勇杨胜林朱锐勋康洪炜刘俊段清高怀雁孙兴平刘俊晖胡忠旭李少云雷涛敏
- 该项目主要致力于电子政务模拟环境、解决方案及其支撑平台的研究、开发与建设，在中共云南省委党校、云南行政学院计算机网络中心建设一个可模拟电子政务活动的环境，为各级领导干部和学员提供电子政务的培训实习平台，使他们通过这一环境...
- 关键词：
- 关键词：电子政务模拟环境
- 基于能效驱动的5G移动小蜂窝基站室内混合部署方法
- 本发明公开一种基于能效驱动的5G移动小蜂窝基站室内混合部署方法，通过模拟一个具有内部结构的三维建筑以及随着时间变化而变化的人流量模型，在模型中利用移动小蜂窝基站的灵活性使其自由出入服务区域，对固定的SBS进行辅助，根据扩...
- 陈宇沈勇康洪炜孙兴平
- 信息系统应用组件构造与集成
- 基于组件的软件开发是提高软件开发生产率和软件产品质量的一条有效途径,可复用组件技术是使软件产业更加成熟的关键点.组件技术使软件的开发变得更加方便和快捷,极大地增强了软件的重用能力,已成为软件开发的必然发展趋势.该文首先分...
- 康洪炜
- 关键词：信息系统基于组件开发面向对象
