-
题名EEG信号构建的复杂网络同步稳定性分析
被引量：1
- 1
-
-
作者
段之宇
胡强强
李文昊
李海芳
-
机构
太原理工大学计算机科学与技术学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2017年第11期56-60,共5页
-
基金
国家自然科学基金(No.61472270)
-
文摘
人脑是自然界最复杂的系统之一,脑网络作为复杂网络理论在神经科学中的重要应用,为脑疾病的病理机制提供了新的研究方向。同步性作为影响网络性能的指标,对于复杂网络有着重要影响。为了研究同步性在脑网络中的表现,利用EEG动力学方程对120例酗酒病人的EEG信号进行复杂网络模型构造,根据所构造的模型利用李雅普诺夫稳定性理论进行证明。并通过实验对正常人和酗酒者脑网络同步状态做出统计,给出了酗酒病人和正常人的脑网络同步差异,可以揭示酗酒疾病对于人脑在功能结构上的影响,对其他疾病提供研究思路。
-
关键词
同步性
脑网络
复杂网络
李雅普诺夫稳定性
-
Keywords
synchronization
brain network
complex network
Lyapunov stability theory
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名语义Web服务的形式化与满足性研究
- 2
-
-
作者
段跃兴
段之宇
-
机构
太原理工大学计算机学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2012年第9期156-158,161,共4页
-
基金
山西省自然科学基金项目(2008011029-1)
-
文摘
描述逻辑是语义网的理论基础,首先通过对语义Web服务中的输入/输出参数进行抽象描述,依据描述逻辑理论得到语义Web服务的形式化定义。从描述逻辑的角度把语义Web服务映射成某一领域中的概念,把语义Web服务的组合看成是一个新的语义Web服务的形成,新服务形成后是否有意义其实就是描述逻辑中新概念的满足性问题。通过引入Tableau算法,证明了新语义Web服务的可终止性,并给出了语义Web服务满足性的可判定过程。这一工作为具体语义下的Web服务的发现、组合等问题的解决提供了理论基础,具有十分重要的指导作用。
-
关键词
语义WEB
描述逻辑
语义WEB服务
-
Keywords
Semantic Web ,Description logic ,Semantic, Web Services
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
