过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive...过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.展开更多
全面集成化的制造企业信息系统需要多样化、敏捷化的统计过程控制(Statistical Process Control,SPC)系统,以实现基于数据的产品质量管理决策。基于领域分析构造了SPC领域模型,设计了基于通用统计分析软件平台的可重构SPC系统框架,以具...全面集成化的制造企业信息系统需要多样化、敏捷化的统计过程控制(Statistical Process Control,SPC)系统,以实现基于数据的产品质量管理决策。基于领域分析构造了SPC领域模型,设计了基于通用统计分析软件平台的可重构SPC系统框架,以具有扩展点的组件化可重构架构满足制造企业应用模式和配置模式的可重构需求。然后采用SPSS(Statistical Package for the Social Science,社会科学统计软件包)实现了可重构SPC系统,通过引入SPSS组件,执行SPSS Syntax命令,实现对SPC的可视化统计分析。最后以加工误差分析实例说明系统的有效性,为全面质量控制提供了一种数字化应用。展开更多
现有的脑-机接口系统大都只基于单模式的脑电特征,系统能实现的功能非常有限,从而制约了脑-机接口系统的应用。采用基于多种模式脑电信号(electroencephalogram,EEG)的脑-机接口技术来实现虚拟键鼠系统,使得被试可以利用自身的脑电信号...现有的脑-机接口系统大都只基于单模式的脑电特征,系统能实现的功能非常有限,从而制约了脑-机接口系统的应用。采用基于多种模式脑电信号(electroencephalogram,EEG)的脑-机接口技术来实现虚拟键鼠系统,使得被试可以利用自身的脑电信号控制鼠标和键盘的操作。研究了脑-机接口中常用的3种脑电信号,分别是P300波、alpha波以及稳态视觉诱发电位(steady state visual evoked potential,SSVEP),通过设计实验成功的诱发出了被试相应的特征脑电信号。利用SSVEP的脑电特征设计6频率LED闪烁刺激的虚拟鼠标系统,实现控制鼠标光标移动、单击左键和单击右键的任务;利用P300波的脑电特征设计6×6的字符矩阵虚拟键盘系统,实现字符输入的任务;利用被试自主闭眼增强alpha波的脑电特征,实现鼠标和键盘应用切换的任务。研究了适宜这3种脑电特征的最佳测量电极组合及模式识别算法,使得对3种脑电信号的识别正确率均达到了85%以上。测试结果显示,文中设计的基于多模式EEG的脑-机接口虚拟键鼠系统能有效地实现鼠标控制以及键盘输入的任务。展开更多
文摘过程支撑环境PSE(process supporting environment)是一种支持软件过程元过程的计算机环境,PSE通过运作一个事先定义好的软件过程模型SPM(software process model)来控制和指导实际软件开发过程.SPM使用的控制方式分为主动式(proactive)和反应式(reactive)两种.由于主动式不能很好地支持软件过程的演化,反应式渐渐受到人们的重视.提出了一种反应式SPM以及建立这种模型所使用的图形化的软件过程建模语言,同时,对于所建立的SPM,提出用时序逻辑语言XYZ/E表示它的行为视图动态语义的方法.这为模型提供了明确的动态语义,为其运作和分析提供了形式化基础.
基金国家高技术研究发展计划(863)(the National High-Tech Research and Development Plan of China under Grant No.2007AA040503) 西安邮电学院中青年基金项目(No.105-0433)
文摘全面集成化的制造企业信息系统需要多样化、敏捷化的统计过程控制(Statistical Process Control,SPC)系统,以实现基于数据的产品质量管理决策。基于领域分析构造了SPC领域模型,设计了基于通用统计分析软件平台的可重构SPC系统框架,以具有扩展点的组件化可重构架构满足制造企业应用模式和配置模式的可重构需求。然后采用SPSS(Statistical Package for the Social Science,社会科学统计软件包)实现了可重构SPC系统,通过引入SPSS组件,执行SPSS Syntax命令,实现对SPC的可视化统计分析。最后以加工误差分析实例说明系统的有效性,为全面质量控制提供了一种数字化应用。
文摘现有的脑-机接口系统大都只基于单模式的脑电特征,系统能实现的功能非常有限,从而制约了脑-机接口系统的应用。采用基于多种模式脑电信号(electroencephalogram,EEG)的脑-机接口技术来实现虚拟键鼠系统,使得被试可以利用自身的脑电信号控制鼠标和键盘的操作。研究了脑-机接口中常用的3种脑电信号,分别是P300波、alpha波以及稳态视觉诱发电位(steady state visual evoked potential,SSVEP),通过设计实验成功的诱发出了被试相应的特征脑电信号。利用SSVEP的脑电特征设计6频率LED闪烁刺激的虚拟鼠标系统,实现控制鼠标光标移动、单击左键和单击右键的任务;利用P300波的脑电特征设计6×6的字符矩阵虚拟键盘系统,实现字符输入的任务;利用被试自主闭眼增强alpha波的脑电特征,实现鼠标和键盘应用切换的任务。研究了适宜这3种脑电特征的最佳测量电极组合及模式识别算法,使得对3种脑电信号的识别正确率均达到了85%以上。测试结果显示,文中设计的基于多模式EEG的脑-机接口虚拟键鼠系统能有效地实现鼠标控制以及键盘输入的任务。
