周晓聪
- 作品数：88 被引量：138H指数：7
- 供职机构：中山大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金广东省自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学理学电子电信更多>>
- 类型化π演算的双代数语义
- 2012年
- 证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进程互模拟与共代数互模拟不一致.为解决以上两个问题,用稠密拓扑导出布尔范畴作为语义范畴,令行为函子保持弱回拉;定义一类行为函子,使最大进程互模拟与最大共代数互模拟一致,而迟语义和早语义对应的行为函子属于该类函子.进而给出π演算最大进程互模拟同余的双代数模型,为进一步应用双代数框架对其他复杂演算建模奠定了理论基础.
- 黎永基李师贤周晓聪
- 关键词：共代数双代数Π演算互模拟
- 一种基于移动应用界面元素的相似性计算方法
- 本发明涉及一种基于移动应用界面元素的相似性计算方法，其包括以下步骤：1)对apk文件进行反编译，获得应用代码文件、界面布局文件、Manifest，找到计算相似性所需的特征，包括resources、assets，permi...
- 郑子彬陶冠宏周晓聪吴嘉婧
- 文献传递
- 软件工程专业建设中的特色课程体系探索被引量：2
- 2021年
- 针对一流本科专业建设的目标,以中山大学数据科学与计算机学院的软件工程专业为例,总结以往在专业建设和课程体系构建方面的改革与实践,提出面向国家战略需求,结合线上线下课程教学新模式的特色课程体系构建设想,以特色课程的教学与改革为抓手强化专业本科教学影响力,提高专业教学声誉,推进一流软件工程专业的建设。
- 周晓聪衣杨
- 关键词：软件工程特色课程体系
- 分类模型训练方法、装置、终端设备和可读存储介质
- 本发明实施例公开了一种分类模型训练方法、装置、终端设备和可读存储介质，该方法包括：对训练数据集进行预处理以获取标准训练数据集；将所述标准训练数据集中的标准训练样本分为预设数目个类别；对各个类别进行均衡处理以使各个类别中的...
- 衣杨李强梁达安赵福利林倩青周晓聪
- 文献传递
- 一种基于定值到达分析方法的Java空指针分析系统
- 本发明涉及软件静态分析领域，更具体的，涉及一种基于定值到达分析方法的Java空指针分析系统。包括项目模块、过滤器模块、源码模块、控制台模块、空指针分析模块、结果展示模块；本发明将能够帮助开发人员在开发过程中及时发现源码中...
- 陈森海周晓聪
- 文献传递
- 基于UML扩展的无线传感器网络应用程序建模
- 无线传感器网络作为一种新型的无线网络形式已被普遍应用于许多领域。nesC语言编写的TinyOS是一种基于组件的无线传感器网络的操作系统,这使得TinyOS上的应用程序开发不同于传统面向对象应用程序开发。本文提出一种利用U...
- 周晓聪潘子圆
- 关键词：无线传感器网络TINYOS操作系统UML扩展机制
- 文献传递
- 一种软件易变性预测模型的构建方法
- 本发明提供一种软件易变性预测模型的构建方法，该方法使用相似度来定义软件易变性，符合软件外部属性，如需求、功能变化时，体现在源代码上的变化，使用了目前所能定义的大部分度量，得到的度量信息更为全面，并对这些原始度量使用特征提...
- 赖蔚周晓聪
- 文献传递
- 计算机科学与技术专业综合实践课程教学模式探索被引量：5
- 2014年
- 结合CDIO工程教育理念,提出一种基于项目的教学模式,讨论该教学模式的操作流程,并借鉴实证软件工程研究手段与方法,研究探讨可以在该课程实施的项目类型。
- 周晓聪衣杨赖剑煌
- 关键词：专业综合实践教学模式CDIO
- 一种结合情境信息的个性化餐厅推荐方法
- 本发明涉及一种结合情境信息的个性化餐厅推荐方法，包括建立规则库、冷启动阶段以及用户数据分析阶段；其中，建立的规则库中含有短期偏好规则和固定偏好规则。在冷启动阶段，使用冷数据为新用户提供推荐，尽量让用户在冷启动期间做到少输...
- 郑子彬陶鹏周晓聪
- 文献传递
- 事件驱动算法演示技术的面向方面实现被引量：2
- 2008年
- 算法演示系统是利用图形和动画来表现算法的运行过程的系统。一直以来人们采用事件驱动技术进行算法演示系统的开发,但传统的实现方案容易导致代码混乱和分散,以及可重用性和可维护性低等缺点。提出使用面向方面技术开发算法演示系统的方案,与传统实现方案相比,基于面向方面技术的实现方案具有系统模块松散耦合、可重用性高等优点。
- 周晓聪郑汉雄罗达
- 关键词：AOP
