代数模型

作品数：127被引量：419H指数：10
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王全九孙晶赵会群刘小雄章卫国更多>>
相关机构：上海交通大学清华大学西安理工大学北京大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中国科学院知识创新工程重要方向项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 学科=自动化与计算机技术—计算机科学与技术x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
非线性代数模型LSTM的应用研究——以股票指数预测为例
《江西电力职业技术学院学报》2023年第1期139-141,144,共4页郭华毅 
为合理预测我国股票指数,建立了一个深层LSTM非线性模型。根据新浪财经提供的2020年1月1日至12月31日,中国股票市场18个指数相关的数据,运用LSTM非线性模型预测该18个指数的收盘价,并将LSTM非线性模型的预测性能与ARIMA线性模型和SVR非...
关键词：股票指数 预测 LSTM非线性模型 ARIMA线性模型 SVR非线性模型 预测性能 
PS-DenseNet下的代数模型遥感图像场景分类研究被引量：2
《激光与红外》2022年第3期442-450,共9页陈垚 张明波 
国家自然科学基金项目(No.61601382)资助。
遥感图像能在短时间内获取大范围丰富的地表数据和细节,有效完成遥感图像场景的分类成为分析相关信息的重要依据。基于此,本文提出了PS-DenseNet下的代数模型遥感图像场景分类方法,为提升遥感图像的分类准确性,引入Lie group代数模型分...
关键词：深度学习 分类 Densenet 代价函数 网络训练 
多维度资源环境下基于矢量代数模型的虚拟机部署
《计算机应用与软件》2020年第5期9-14,29,共7页张扬 刘进 
国家自然科学基金项目(61661004);基于移动互联网的高等院校设备维护管理项目(KY2016LX574)。
多维度资源云数据中心环境下,资源利用率及系统能耗的同步优化是必须解决的问题。针对该问题,提出一种基于蚁群优化的虚拟机部署与合并算法。建立多维矢量装箱的虚拟机部署模型,定义模型优化目标;为了获取多维资源占用信息,设计基于矢...
关键词：虚拟机部署 虚拟机合并 蚁群算法 资源利用率 
基于链路内在相关性的IP网络拥塞链路丢包率推断算法被引量：4
《太原理工大学学报》2019年第5期679-683,共5页韩建萍 张建国 
山西省应用基础研究计划项目(201801D121124)
为解决网络链路丢包率推理算法中网络拓扑复杂、链路丢包率分析不准确等问题,已有研究采用假设子链路或通过率较高的路径中的链路作为不丢包链路,或者假设共享数目最多的链路为丢包链路,但是这种假设缺少有效的推理和证明。为解决此问题...
关键词：IP网络 链路拥塞 丢包率 贝叶斯网络 代数模型 
基于角色协同的角色扮演逻辑及其代数模型被引量：2
《电子学报》2017年第12期3012-3018,共7页滕少华 张如琪 刘冬宁 刘林源 朱咸军 
国家自然科学基金(No.61402118);广东省产学研合作项目(No.2015B090901016);广州市科技计划项目(No.2016201604030034);江苏省自然科学基金(No.BK20130735);江苏省高校自然科学研究项目(No.13KJB520011)
基于角色协同(Role-Based Collaboration,RBC)的软件工程与协同计算方法以角色为基础进行研究,能有效促进信息系统的抽象与分类,有利于单元协作与协同计算.为支撑RBC及其角色引擎,本文从元理论角度出发,运用子结构逻辑对RBC的关键元素:...
关键词：角色协同 群组 角色 代理 角色扮演逻辑 
软件模型代数性质的程序化验证
《计算机科学》2017年第11期240-245,共6页赵会群 黄榆涵 
国家自然科学基金(61370051)资助
软件模型代数的思想是通过引入进程代数来对软件体系结构进行建模。它将构件解释为变量,将连接子抽象为代数运算,并针对软件的特性建立了软件体系结构代数模型。在代数模型的基础上,讨论分析获得一系列能指导软件演化的代数性质。但是,...
关键词：代数模型 代数性质 程序化验证 软件演化 
复杂事件模式检测与CEP测试数据生成算法研究被引量：6
《计算机学报》2017年第1期256-272,共17页赵会群 孙晶 杨岩坤 毛立志 
国家自然科学基金(61370051)资助~~
随着信息技术的快速发展和广泛应用,大数据正以不可阻挡的气势向我们走来.大数据源于信息技术,同时又向信息技术提出挑战.如何征服大数据给信息技术处理能力上带来的挑战是一个广泛关注的课题.由于采用面向流式数据的处理策略,复杂事件...
关键词：复杂事件处理 事件模式检测 测试数据生成 大数据 代数模型 
基于时序图的FSP代数模型自动生成方法研究
《福建电脑》2016年第2期95-96,106,共3页王雪娇 王碧 
系统形式建模方法是构建安全系统的重要保障之一。基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法。根据UML时序图与元模型之间的关系自动生成Java框架代码,结合Java框架代码并修改,实现了UML时序图到FSP代数模型自动...
关键词：UML时序图 JAVA 元模型 FSP代数模型 
高级Petri网并行化预处理方法的研究被引量：4
《广西大学学报（自然科学版）》2013年第5期1100-1107,共8页李文敬 廖伟志 元昌安 李双 
国家自然科学基金资助项目(61163012);广西自然科学基金资助项目(2012GXNSFAA053218);广西高校科学技术研究项目(2013YB147)
为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网(Place/Transition Net)的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数...
关键词：高级PETRI网 结构模型 代数模型 P T网 并行化预处理方法 
网构软件可靠性代数模型及简化计算研究
《微电子学与计算机》2013年第7期28-32,共5页张靖 雷航 
四川省科技项目基金项目(2009F80152)
为了在网络环境下为网构软件提供一致的语法和语义规约并进行可靠性分析,利用抽象代数理论,根据网构软件特征,建立了网构软件形式化代数模型,在此基础上实现了构件组合运算,在定性和定量方面具有演算能力,提出了网构软件系统可靠性计算...
关键词：网构软件 可靠性 形式化 演算 模型 简化方法 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部