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

数学的实践与认识 2015年第11期45卷 213-220页

作者：季振义冯勇秦小林四川农业大学四川省都江堰市611830 中国科学院重庆绿色智能技术研究院自动推理与认知实验室重庆市401120 中国科学院成都计算机应用研究所自动推理实验室四川省成都市610041

研究了多元多项式系统的Sylvester结式、Dixon结式以及混合CayleySylvester结式之间是否存在特定关系的问题,利用构造混合结式矩阵的方法证明了在满足一定的条件下,多元多项式系统的这些结式的绝对值都相等.而对于一般的多元多项式系统... 详细信息

研究了多元多项式系统的Sylvester结式、Dixon结式以及混合CayleySylvester结式之间是否存在特定关系的问题,利用构造混合结式矩阵的方法证明了在满足一定的条件下,多元多项式系统的这些结式的绝对值都相等.而对于一般的多元多项式系统,也证实了上述这些结式之间仅仅相差一个因子,推广了两变元多项式系统的结论.

关键词： Sylvester结式 Dixon结式混合Cayley-Sylvester结式

来源：评论

学校读者我要写书评

暂无评论

一种蜂窝基站的迭代加权质心定位算法

引用

计算机应用与软件 2013年第7期30卷 1-3,61页

作者：张飞虎吴尽昭沈强田一姝中国科学院成都计算机应用研究所四川成都610041 广西民族大学广西混杂计算与集成电路设计分析重点实验室广西南宁530006 中国科学院声学研究所高性能网络实验室北京100190

在蜂窝系统中,信号受多径传播和非视距传播等因素影响,导致基于距离的GPRS定位的精度难以提高。针对该问题,提出一种基于多个基站的GPRS定位算法,它综合考虑了蜂窝网络中基站的分布特征和移动台接收的信号强度。在对孤立基站的有效性进... 详细信息

在蜂窝系统中,信号受多径传播和非视距传播等因素影响,导致基于距离的GPRS定位的精度难以提高。针对该问题,提出一种基于多个基站的GPRS定位算法,它综合考虑了蜂窝网络中基站的分布特征和移动台接收的信号强度。在对孤立基站的有效性进行检测之后,以最近基站为中心,运用加权质心法求得移动终端的最终坐标。为了获得最好的定位效果,对加权系数进行了精确调优。与经典质心定位法相比,新提出的算法在精度上提高了30%左右。

关键词：多基站移动台定位加权质心最近基站异常点检测

来源：评论

学校读者我要写书评

暂无评论

融合语义相似度与矩阵分解的评分预测算法

引用

计算机应用 2017年第A01期37卷 287-291页

作者：王阳钟勇李振东杨观赐中国科学院成都计算机应用研究所成都610041 现代制造技术教育部重点实验室(贵州大学) 贵阳550003

项目评分矩阵稀疏性问题严重影响协同过滤算法的推荐准确性。针对评分数据稀疏性问题,提出一种融合语义相似度与矩阵分解算法的评分预测算法(SS-MF)。SS-MF通过构建本体概念的层次结构树计算项目间的语义相似度,依据相似度预测填充稀疏... 详细信息

项目评分矩阵稀疏性问题严重影响协同过滤算法的推荐准确性。针对评分数据稀疏性问题,提出一种融合语义相似度与矩阵分解算法的评分预测算法(SS-MF)。SS-MF通过构建本体概念的层次结构树计算项目间的语义相似度,依据相似度预测填充稀疏矩阵中部分缺失值,调整语义相似度阈值使得既不破坏原始矩阵的内在属性特征又能够完善矩阵数据信息;以预测后评分矩阵为基础,基于矩阵分解理论进行降维与分解,进一步对稀疏矩阵中缺失值进行预测填充。实验结果表明:算法实现了对稀疏评分矩阵中缺失值的预测,且绝对误差值较正态分布随机数预填充奇异值分解(RN-SVD)算法最大降低了4.62%,较奇异值分解(SVD)算法平均降低了1.73%,算法提高了协同过滤中稀疏矩阵评分预测准确性。

关键词：协同过滤稀疏矩阵语义相似度矩阵分解评分预测

来源：评论

学校读者我要写书评

暂无评论

维修时点预测的动态车间调度问题

引用

计算机应用 2016年第8期36卷 2340-2345页

作者：匡鹏吴尽昭中国科学院成都计算机应用研究所成都610041 广西混杂计算与集成电路设计分析重点实验室(广西民族大学) 南宁530006

针对制造业中生产计划的不确定问题,提出一种维修时点预测与自适应的遗传模拟退火算法相结合的优化调度方法。该方法首先利用差分自回归移动平均模型预测设备未来的故障率,然后借助电气设备的威布尔(Weibull)分布模型逆向求出设备未来... 详细信息

针对制造业中生产计划的不确定问题,提出一种维修时点预测与自适应的遗传模拟退火算法相结合的优化调度方法。该方法首先利用差分自回归移动平均模型预测设备未来的故障率,然后借助电气设备的威布尔(Weibull)分布模型逆向求出设备未来故障发生时刻,最后将此作为约束条件,利用自适应的遗传模拟退火算法解决传统的生产调度问题。结合工厂实际情况,主要分析了设备有无维修的随机调度问题,以最小化最大完工时间为目标,获取每一个任务的调度计划以及每一台设备的维修时点,确定出最佳调度方案。实验表明自适应的遗传模拟退火算法的性能较好。在河北某工厂的生产车间中,设备在运行调度方法后三个月的平均故障率比运行前相对降低了3.46%。

关键词：自回归移动平均模型设备故障率遗传算法模拟退火算法生产调度

来源：评论

学校读者我要写书评

暂无评论

基于坐标变换的图形自适应排列算法

引用

计算机应用研究 2017年第11期34卷 3486-3489,3499页

作者：杨观赐王阳李少波何玲贵州大学现代制造技术教育部重点实验室贵阳550025 中国科学院成都计算机应用研究所成都610041

为了解决基于网格技术的图形排列算法在处理可变尺寸图形排列问题上的局限性,基于几何变换思想,建立了有界平面上图形自适应排列的数学模型,并证明了其正确性,进而提出了基于坐标变换的图形自适应排列算法。此算法用图形平移变换方式代... 详细信息

为了解决基于网格技术的图形排列算法在处理可变尺寸图形排列问题上的局限性,基于几何变换思想,建立了有界平面上图形自适应排列的数学模型,并证明了其正确性,进而提出了基于坐标变换的图形自适应排列算法。此算法用图形平移变换方式代替网格划分方法在有界视图上部署图形元素,其时间复杂性为O(N)。最后将所获得的算法应用到面向中央空调节能控制的软PLC系统上。基于九类指令图形、三类测试案例的测试结果表明,算法能以较低的CPU占用率实现图形有序排列的效果,具有较高的运行速率与稳定性。

关键词：几何变换图形排列自适应算法软PLC系统有界平面

来源：评论

学校读者我要写书评

暂无评论

服装类商品属性实体识别

引用

计算机应用 2015年第7期35卷 1945-1949页

作者：周详李少波杨观赐中国科学院成都计算机应用研究所成都610041 现代制造技术教育部重点实验室(贵州大学) 贵阳550003

针对服装类商品标题中的商品属性实体识别问题,提出了一种边界探测规则与条件随机场(CRF)相结合的混合方法。首先,使用统计方法挖掘隐蔽的实体提示字信息;然后,以字为粒度对三种统计成词指标及其内涵进行了阐释;接着,基于统计成词指标... 详细信息

针对服装类商品标题中的商品属性实体识别问题,提出了一种边界探测规则与条件随机场(CRF)相结合的混合方法。首先,使用统计方法挖掘隐蔽的实体提示字信息;然后,以字为粒度对三种统计成词指标及其内涵进行了阐释;接着,基于统计成词指标和提示字信息设计了实体边界探测规则;最后,基于经验风险最小化给出了规则中阈值的确定方法。在与字标注的CRF模型的对比实验中,总体准确率、召回率、F1值分别提升了1.61%、2.54%和2.08%,验证了对于实体边界探测规则的有效性。所提方法可用于电子商务信息检索(IR)、电子商务信息抽取(IE)、查询意图识别等任务。

关键词：命名实体识别服装类商品条件随机场电子商务

来源：评论

学校读者我要写书评

暂无评论

基于Spin的安全协议形式化验证技术

引用

计算机应用 2014年第A02期34卷 85-90页

作者：冉俊轶吴尽昭中国科学院成都计算机应用研究所成都610041 中国科学院大学北京100049 广西混杂计算与集成电路设计分析重点实验室(广西民族大学) 南宁530000 北京交通大学计算机与信息技术学院北京100044

针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,验证发现其不满足线性时序逻辑(LTL)公式描述的安全性,得到了原协议的安全漏洞。针对该漏洞,提出了一种协... 详细信息

针对安全协议的形式化验证问题,运用模型检测方法,以一种改进的入侵者Promela语义模型,对双方密钥分配中心协议进行Spin模型检测,验证发现其不满足线性时序逻辑(LTL)公式描述的安全性,得到了原协议的安全漏洞。针对该漏洞,提出了一种协议改进方案,并针对改进后的协议,给出新的Promela语义模型的建模方法。改进的入侵者模型建模方法比起原方法:模型检测过程中的存储状态数减少,使模型复杂度降低约40%;迁移状态数减少,使验证效率提升约44%。

关键词：安全协议形式化验证 Spin模型检测 Promela语义模型 LTL公式密钥分配中心协议

来源：评论

学校读者我要写书评

暂无评论

物联网网关中轻量化规则引擎的设计与实现

引用

计算机应用 2015年第4期35卷 1035-1039页

作者：田瑞琴吴尽昭唐鼎中国科学院成都计算机应用研究所成都610041 广西混杂计算与集成电路设计分析重点实验室(广西民族大学) 南宁530006 中国科学院声学研究所高性能网络实验室北京100190

针对物联网网关不适用于多个应用场景的问题,提出了在网关上实现规则引擎的方法。该方法通过＂关联事实＂属性和＂议程推理＂机制,解决了传统规则引擎如JRules等无法应用于轻量级网关设备并且运行时间和响应时间较长的问题。添加＂关联... 详细信息

针对物联网网关不适用于多个应用场景的问题,提出了在网关上实现规则引擎的方法。该方法通过＂关联事实＂属性和＂议程推理＂机制,解决了传统规则引擎如JRules等无法应用于轻量级网关设备并且运行时间和响应时间较长的问题。添加＂关联事实＂属性能减小匹配规则集的大小,＂议程推理＂机制能避免匹配过程中不必要的等待时间。基于上述方法,在物联网网关上设计并实现了一种快速轻量化规则引擎（FLRE）,并用规模不等的数据集测试。实验结果表明,添加＂关联事实＂属性能将规则引擎的运行速度提高8%~30%,＂议程推理＂机制能将规则引擎的响应速度提高7%~35%,使规则引擎能够高效地应用于物联网网关上。

关键词：物联网网关轻量化规则引擎运行时间响应时间

来源：评论

学校读者我要写书评

暂无评论

有理数域上一类多项式可约性的一个判别法

引用

系统科学与数学 2021年第12期41卷 3351-3362页

作者：赵世忠符红光秦小林刘静刘云浩华东师范大学软件工程学院上海市高可信计算重点实验室上海200062 电子科技大学计算机科学与工程学院成都611731 中国科学院成都计算机应用研究所成都610041

任给一个m次的整系数多项式∑_(i=0)^(m)aix^(i),其中首项系数am=1,以及对应的下列不动点迭代算法{u1=u^(~)1,u2=u^(~)2,…u_(m-1)=u^(~)_(m-1),u_(n)=-(a_(m-1)+a_(m-2)/u_(n-1)+a_(m-3)/u_(n-1)u_(n-2)+…+a0/u_(n-1)u_(n-2)…u_(n-(m-1)))(n≥m).1)不难看出,若迭代具有一个有理数极限值,则该值为多项式的一个零点,从而多项式在有理数域上可约.2)该迭代具有"勿需选择初始点"的特征:若多项式有m个绝对值互不相同的有理数零点,那么任意取m-1个非零有理初始点(u)i(1≤i≤m-1),迭代均趋近于其中一个零点,因此,多项式可约.3)假设{ζ_(i)||ζ_(1)|≥|ζ_(2)|≥...≥|ζ_(m)|,ζ_(i)∈C,1≤i≤m}是上述多项式互不相同的零点,则存在m个复数{β_(i)|β_(i)∈C,1≤i≤m},使得u_(n)可以表示成u_(n)=β_(1)ζ_(1)^(n+1)+β_(2)ζ_(2)^(n+2)+…+β_(m)ζ_(m)^(n+1)/β_(1)ζ_(1)^(n)+β_(2)ζ_(2)^(n)+…+β_(m)ζ_(m)^(n)在β向量的m个元素中,设βl是首个非0元素,βk为其后首个非0元素,即{β_(i)|β_(i)∈C,1≤i≤m}={(0,0,…,0,)全为0βl(≠0),(0,0,…,0,)全为0β_(k)(≠0),...,β_(m)}.这时,若|ζ_(l)|>|ζk|,则迭代收敛于ζ_(l).因此,若ζ_(l)∈Q,则多项式可约.

关键词：可约不可约多项式迭代零点根初始值

来源：评论

学校读者我要写书评

暂无评论

差分隐私增强的大米区块链品控模型

引用

智慧农业（中英文） 2024年第4期6卷 149-159页

作者：吴国栋胡全兴刘旭秦辉高博文安徽农业大学信息与人工智能学院安徽合肥230036 智慧农业技术与装备安徽省重点实验室安徽合肥230036 中国科学院成都计算机应用研究所四川成都610041 中国科学院大学北京100049

[目的/意义]针对传统大米品质监管追溯系统中存在的品控数据链机制不够完善、品控信息可追溯程度不足、数据上链效率低及隐私信息泄露等问题,提出一种差分隐私增强的大米区块链品控模型。[方法]首先,结合大米全产业链,设计数据传输流程... 详细信息

[目的/意义]针对传统大米品质监管追溯系统中存在的品控数据链机制不够完善、品控信息可追溯程度不足、数据上链效率低及隐私信息泄露等问题,提出一种差分隐私增强的大米区块链品控模型。[方法]首先,结合大米全产业链,设计数据传输流程,涵盖种植、收购、加工、仓储和销售等各环节,有效保证品控数据链的连续性;其次,为解决上链数据量大、上链效率低问题,将大米全产业链各环节关键品控数据存储于星际文件系统(InterPlanetary File System, IPFS),然后将存储完成后返回的哈希值上链;最后,为提高品控模型信息可追溯程度,将种植环节关键品控数据中涉及隐私的部分信息通过差分隐私(Differential Privacy)处理后展示给用户,模糊化个体数据,以提高品控信息可信度,同时也保护了农户种植隐私。基于该品控模型,设计了差分隐私增强的大米区块链品控系统,并在相关大米企业实际运行。[结果与讨论]经测试,差分隐私增强的大米区块链品控系统全产业链单环节数据完成存储平均耗时1.125 s,信息追溯查询平均耗时0.691 s。与传统大米品质监管追溯系统相比,单环节数据存储时间缩短6.64%,信息追溯查询时间缩短16.44%。[结论]研究提出的模型不仅提高了品控数据连续性和信息可追溯程度,同时保护了农户的隐私,还在一定程度上提升了品控数据存储及信息追溯查询的效率,可为大米品质监管与信息追溯系统的设计和改进提供参考。

关键词：星际文件系统区块链品控高效上链差分隐私增强信息追溯

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：