-
题名基于可拓学的自适应软件形式化方法
被引量：3
- 1
-
-
作者
范锐
彭银桥
陈月峰
雷桂斌
刘小辉
-
机构
广东海洋大学软件学院
广东海洋大学财务处
-
出处
《智能系统学报》
CSCD
北大核心
2015年第6期901-911,共11页
-
基金
广东省科技计划资助项目(2014A040402010)
-
文摘
可拓学的核心是建立灵活变通地应对不确定变化和灵感涌现的适应性模型。讨论引入可拓理论去描述、分析和评价软件系统的自适应性质、范围和程度的可能性。用基元描述软件实体,将软件系统构造成基元网,利用拓展分析、可拓变换和优度评价等定性与定量相结合的方法揭示了自适应软件系统的动态性质,并形成了一种自适应软件形式化方法。
-
关键词
可拓学
可拓基元
拓展分析
可拓变换
优度评价
形式化方法
自适应软件
-
Keywords
Extenics
basic-element
extension analysis
extension transformation
superiority evaluation
formal method
self-adaptive software
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名μC/OSⅡ事件标志组中存在的问题及解决方法
被引量：2
- 2
-
-
作者
朱旭东
张健
-
机构
广东海洋大学软件学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第5期278-279,282,共3页
-
基金
广东省高等教育教学改革工程基金资助项目(BKYBJG20060257)
广东海洋大学2008教育教改基金资助项目(XJG200818)
-
文摘
针对μC/OSⅡ中当多个任务同时满足一个事件标志组时,μC/OSⅡ提供的2种解决冲突方法都存在问题,该文提出分类比较的方法,根据事件标志组的等待类型分类,通过比较事件标志组的过滤器来决定多个任务是否使用同一个事件标志组,从根本上避免了多个任务同时满足一个事件标志组的情况出现,结果证明该方法解决了μC/OSⅡ中多个任务同时满足一个事件标志组时出现的冲突问题。
-
关键词
嵌入式操作系统
事件标志组
等待类型
过滤器
-
Keywords
embedded operating system
event flag
waiting type
filter
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
