检索结果-内蒙古大学图书馆

电子科技大学学报 2015年第6期44卷 881-886页

作者：郭文生杨国武李晓瑜高敏电子科技大学计算机科学与工程学院成都610054 加州大学洛杉矶分校电子工程学院美国加州洛杉矶ca90034

环是布尔网络状态转换过程中的稳定态,在模式检测、基因调控网络和可达性分析等领域都有重要的意义。计算布尔网络状态转换中的所有环是一个NP完全问题。该文基于全解布尔满足性判定(SAT)算法,设计了一种求解所有小于等于指定步长环的... 详细信息

环是布尔网络状态转换过程中的稳定态,在模式检测、基因调控网络和可达性分析等领域都有重要的意义。计算布尔网络状态转换中的所有环是一个NP完全问题。该文基于全解布尔满足性判定(SAT)算法,设计了一种求解所有小于等于指定步长环的算法。算法基于布尔网络的状态转换函数和状态环属性生成合取范式形式(CNF)的问题集,通过融合冲突子句学习(CDCL)、非时序回退、阻塞子句和变量分类等技术,降低算法的计算复杂度。实验结果表明,该算法能够高效地计算指定步长的环。对于无法计算所有环的复杂网络,指定步长计算环的方式将更有应用价值。

关键词：布尔网络环满足性判定阻塞子句

来源：评论

学校读者我要写书评

暂无评论

规则驱动的企业互操作本体构造

引用

计算机集成制造系统 2008年第7期14卷 1427-1433页

作者：陈佳吴跃电子科技大学计算机科学与工程学院四川成都610054 加州大学欧文分校电子工程学院美国加州欧文92697

为解决企业互操作中信息共享与重用问题,提出了一种基于规则集和对象关系数据库的企业互操作本体构造方法。首先给出了企业互操作的本体构造模型,然后依据该模型提出了从对象关系数据库构造本体的四类规则,并给出了相应的形式化定义和We... 详细信息

为解决企业互操作中信息共享与重用问题,提出了一种基于规则集和对象关系数据库的企业互操作本体构造方法。首先给出了企业互操作的本体构造模型,然后依据该模型提出了从对象关系数据库构造本体的四类规则,并给出了相应的形式化定义和Web本体描述语言。使用该四类规则可以分别构造出本体的类、属性、属性特征和属性约束四类要素。实验表明,该方法是可行且高效的,与关系数据库构造本体的方法相比减少了约18%的构造时间。将该方法实际应用到企业互操作平台中,取得了良好效果。

关键词：互操作规则驱动本体网络本体语言对象关系数据库信息共享与重用

来源：评论

学校读者我要写书评

暂无评论

昆承湖水质状况遥感监测与空间特征分析

引用

测绘科学 2015年第4期40卷 58-62页

作者：何磊童玲李玉霞电子科技大学自动化工程学院成都611731 美国加州大学圣芭芭拉分校美国圣芭芭拉93106

针对镇域水资源常规的监测方法不能满足对水质适时、大尺度的监测评价要求等问题,该文以江苏常熟辛庄镇昆承湖为例,分析叶绿素a(Chl-a)和悬浮物(SS)浓度值与水体归一化反射光谱、一阶微分反射光谱特征的关系,运用PEARSON法分析两者之间... 详细信息

针对镇域水资源常规的监测方法不能满足对水质适时、大尺度的监测评价要求等问题,该文以江苏常熟辛庄镇昆承湖为例,分析叶绿素a(Chl-a)和悬浮物(SS)浓度值与水体归一化反射光谱、一阶微分反射光谱特征的关系,运用PEARSON法分析两者之间的相关性,确定Chl-a和SS的敏感波段,利用Chl-a和SS敏感波段归一化光谱反射值和实测浓度数据建立了水质参数反演模型。采用同时相ETM遥感数据对水质参数(叶绿素a和悬浮物)浓度进行遥感定量反演,并根据反演结果分析镇域水体污染空间分布特征。结果表明,对水质参数几个最大正(负)相关的光谱值进行波段组合处理可以提高反演精度,并且模型反演值和实测浓度值之间误差较低。通过对叶绿素、悬浮物等水质参数反演实现了对昆承湖水体污染状况的快速、准确和动态的信息获取和评价,有效地实时监测镇域水体在空间和时间上的变化状况和特性。

关键词：水质监测水体污染遥感反演光谱

来源：评论

学校读者我要写书评

暂无评论

工作流可满足性(≠)计数的固定参数线性算法

引用

计算机学报 2016年第11期39卷 2291-2306页

作者：翟治年卢亚辉周武杰陈志豪王中鹏林江浙江科技学院信息与电子工程学院杭州310023 深圳大学计算机与软件学院广东深圳518060 南加州大学软件工程中心美国洛杉矶ca90089

工作流可满足性(Workflow Satisfiability,WS)(≠)判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题.目前可以通过寻找一个具体的解来完成该判定,相应问题称为WS(≠)决策,现有的最低时间复杂度为O~*(2^(|S|)(|... 详细信息

工作流可满足性(Workflow Satisfiability,WS)(≠)判定给定授权和互斥约束下的资源分配是否存在,是工作流访问控制中的基本问题.目前可以通过寻找一个具体的解来完成该判定,相应问题称为WS(≠)决策,现有的最低时间复杂度为O~*(2^(|S|)(|C|+|U|~2))(S,C,U分别为步骤集、约束集、用户集).然而,仅WS(≠)有解时,工作流授权规划未必合理,对资源异常可能缺乏鲁棒性.若能统计所有解的个数,不仅可判定WS(≠)有解与否,还能为授权规划提供重要的参考,相应的问题称为WS(≠)计数.该文提出WS(≠)计数问题,并根据Bjorclund关于集合划分权重和的结果证明其时间复杂度为O~*(2^(|S|)|U|),即其以|S|为固定参数,关于|U|线性时间可解,由此降低了当前的WS(≠)判定时间复杂度.进而,该文提出了一种快速的动态规划递推式,并全面优化Bjorclund方法的空间利用方式,使该文算法的实际性能随之提高,而O~*时间复杂度不变.随机合成数据集上的实验表明,该文最终的计数算法相对前述决策算法,执行时间平均降低了93%,峰值空间平均降低了87%,而求解规模提高了44%.

关键词：工作流访问控制资源分配可满足性职责分离

来源：评论

学校读者我要写书评

暂无评论

基于太阳能电池的探究性活动——将数学与科学整合至工程设计任务

引用

中国科技教育 2013年第8期 36-44页

作者： Marsha Ing Mary Ward Elaine Haberer 韦文潮(翻译) 美国加州大学教育研究生院美国加州JurupaValley联合学区MiraLoma中学美国加州大学电子工程学院广西青少年科技中心

作为一个中学的科学教师，往往会观察到中学生们在搭建物品、拼接材料、进行团队合作时进发出的激情。《K—12年级科学教育框架》（NRC，2012）将工程设计实践纳入其中，就是为了进一步激发这种对于科学和工程的兴趣与热情。将工程设计... 详细信息

作为一个中学的科学教师，往往会观察到中学生们在搭建物品、拼接材料、进行团队合作时进发出的激情。《K—12年级科学教育框架》（NRC，2012）将工程设计实践纳入其中，就是为了进一步激发这种对于科学和工程的兴趣与热情。将工程设计融入常规的科学课实验课堂中，

关键词：工程设计科学整合探究性活动太阳能电池设计任务数学科学教师教育框架

来源：评论

学校读者我要写书评

暂无评论

基于语义搜索引擎的云资源调度

引用

计算机应用研究 2015年第12期32卷 3735-3737,3749页

作者：黎明吴跃陈佳电子科技大学计算机科学与工程学院成都611731 电子科技大学无锡研究院江苏无锡214135 美国加州大学欧文分校电子工程学院加州92697

针对现有云资源调度存在的非自动调度、云资源的非优化使用等问题,提出了采用语义搜索引擎(semantic search engine,SSE)实现云资源调度的有效方法。SSE是由美国加州大学欧文分校与电子科技大学联合开发的,它利用云资源与云用户请求的... 详细信息

针对现有云资源调度存在的非自动调度、云资源的非优化使用等问题,提出了采用语义搜索引擎(semantic search engine,SSE)实现云资源调度的有效方法。SSE是由美国加州大学欧文分校与电子科技大学联合开发的,它利用云资源与云用户请求的语义信息构造相应本体,进行资源的较优匹配,自动、快速地为云用户需求建立一个优化的解决方案。首先,给出了基于SSE的云资源调度体系结构;其次,给出了SSE的体系结构、SQDL&SCDL匹配器的本体构造方法。仿真实验表明,基于SSE的云资源调度比传统的云资源调度的点对点通信性能提高了约15%,子任务执行时间减少了约18%,表明它是一种可行且高效的云资源调度方法。

关键词：云计算资源调度语义搜索引擎本体对象关系数据库

来源：评论

学校读者我要写书评

暂无评论

Codecomb:基于符号执行的嵌入式软件测试案例自动生成与缺陷检测

引用

小型微型计算机系统 2017年第6期38卷 1250-1255页

作者：郭文生汪勇杨霞高敏电子科技大学信息与软件工程学院成都610054 美国加州大学洛杉矶分校电子工程系加利福尼亚州洛杉矶90034

嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户... 详细信息

嵌入式系统在生活、工业以及军事等领域的应用日益增多,嵌入式软件的可靠性要求也越来越高.设计一套嵌入式系统的测试工具,全面深入地对嵌入式系统可靠性进行检测对系统可靠性的提高具有极其重要的意义.设计的工具Codecomb通过采用客户端和服务器端架构实现被测软件与测试工具的分离,将复杂的测试计算转移到服务器上,同时分离的测试架构可以更好的适用于不同嵌入式平台软件的测试.采用动态符号执行技术生成测试案例可以实现较高的分支覆盖度,进而针对程序的缺陷检查也会更加全面和深入,能够发现程序中隐藏较深的错误.实验结果表明,本文所设计的工具能够实现软件缺陷的自动化判定,并对程序运行过程中的缓冲区溢出、内存泄漏等错误准确地进行定位.

关键词：嵌入式软件测试插桩动态符号执行测试案例生成缺陷检测

来源：评论

学校读者我要写书评

暂无评论

风光储系统接入电网优化控制策略研究

引用

中国电力 2013年第9期46卷 138-141页

作者：李春平杨万清梁英哲王笑楠大连供电公司辽宁大连116001 华北电力大学电气与电子工程学院北京102206 美国加州大学戴维斯分校化学工程系美国95616

风能和太阳能作为主要的清洁能源,受到了人们越来越多的关注。然而这类能源的波动性和间歇性,对其并网产生了很大的影响。主要针对典型风光储系统提出了一种基于模型预测的控制策略,通过优化分配风能、太阳能、电池储能的功能比例,可以... 详细信息

风能和太阳能作为主要的清洁能源,受到了人们越来越多的关注。然而这类能源的波动性和间歇性,对其并网产生了很大的影响。主要针对典型风光储系统提出了一种基于模型预测的控制策略,通过优化分配风能、太阳能、电池储能的功能比例,可以在一定程度上解决由于天气突变带来的能量波动,甚至间歇问题,从而提高系统的稳定性。

关键词：储能分布式发电动态规划系统控制

来源：评论

学校读者我要写书评

暂无评论

基于并行遗传算法的企业互操作资源选择

引用

电子测量与仪器学报 2009年第1期23卷 101-106页

作者：陈佳吴跃电子科技大学计算机科学与工程学院成都610054 美国加州大学欧文分校电子工程学院加州92697

为了解决企业互操作环境下的共享资源择优选择的问题,提出了一种基于粗粒度并行遗传算法(CGGA)的企业互操作资源选择策略。首先给出企业互操作环境下的资源选择问题的数学描述;然后结合并行遗传算法的特性,提出基于此算法的解决企业互... 详细信息

为了解决企业互操作环境下的共享资源择优选择的问题,提出了一种基于粗粒度并行遗传算法(CGGA)的企业互操作资源选择策略。首先给出企业互操作环境下的资源选择问题的数学描述;然后结合并行遗传算法的特性,提出基于此算法的解决企业互操作资源选择问题的策略以及相应算法,给出算法设计、实现以及详细的算法过程;最后针对一个企业互操作中的典型实例,对该策略及算法进行了有效验证,并且与传统遗传算法相比较。本算法完成任务的时间平均减少约26%,适应度随遗传代数的增加提高约8%。

关键词：企业互操作并行遗传算法资源选择

来源：评论

学校读者我要写书评

暂无评论

脑-机接口中错误相关电位的解码算法研究

引用

生物医学工程学杂志 2021年第3期38卷 463-472页

作者：孙劲松钟子平肖晓琳孟佳圆许敏鹏明东天津大学医学工程与转化医学研究院天津300072 天津大学精密仪器与光电子工程学院天津300072 加州大学斯沃茨计算科学中心美国加利福尼亚92093

基于错误相关电位(ErrP)的错误自检测有助于改善脑-机接口系统的实用性。但单试次ErrP信号的准确识别仍是阻碍这一技术发展的难题。为了衡量不同算法解码ErrP信号的能力,本文使用两个不同的公开数据集,对研究与相关应用中常见的4种线性... 详细信息

基于错误相关电位(ErrP)的错误自检测有助于改善脑-机接口系统的实用性。但单试次ErrP信号的准确识别仍是阻碍这一技术发展的难题。为了衡量不同算法解码ErrP信号的能力,本文使用两个不同的公开数据集,对研究与相关应用中常见的4种线性判别分析算法、2种支持向量机、逻辑回归以及判别典型模式匹配(DCPM)共8个算法展开对比。文中主要分析了算法的分类正确率和算法性能随训练集样本数量的变化情况。实验结果表明DCPM具有最佳的综合性能。本研究揭示了各算法性能与训练样本数目和ErrP试验范式间的相互影响,为研究与实际应用中ErrP解码算法的选择提供参考。

关键词：脑-机接口错误相关电位模式识别单试次检测

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：