排序方式: 共有27条查询结果,搜索用时 31 毫秒
1.
2.
3.
信息-物理融合系统是一种新型嵌入式系统计算模式,它集成了控制计算过程和受控对象,二者相互影响并有机结合.随着信息技术在现实世界中更加广泛、深入的应用,智能化程度不断提升,在具有信息物理紧密耦合特点的嵌入式系统中,嵌入式控制软件的功能比重急剧上升,作用更加突出.作为安全攸关的系统,需要引入形式化验证方法来保证嵌入式控制应用软件的安全性.本文基于自动机理论建立统一的系统验证模型,并针对系统的可达性、安全性(safety)和活性(liveness)等属性要求,提出了对该模型进行形式化验证的算法:基于有界模型检验方法,基于可达性将对系统模型的相关属性验证问题转换为可满足性判定问题.将活性转换为Büchi自动机,并基于四值语义进行判断.在求解过程中,通过偏序规约等手段化简了问题求解的规模,提高可验证系统的规模.另外结合协同仿真技术,灵活配置验证的场景,提高验证的可用性.实验结果表明,结合仿真,形式化协同验证方法可以有效地对系统进行验证. 相似文献
4.
针对个性化推荐,常用的推荐算法有内容推荐、物品协同过滤(Item CF)和用户协同过滤(User CF),但是这些算法以及它们的改进算法大多偏向于关注用户的显性反馈(标签、评分等)或评分数据,缺少对多维度用户行为和行为顺序的利用,导致推荐准确率不够高及冷启动等问题.为了提高推荐精度,文中提出了一种基于知识图谱的行为路径协同过滤推荐算法(BR-CF).首先根据用户行为数据,考虑行为顺序创建行为图谱(behavior graph)和行为路径(behavior route),然后采用向量化技术(Keras Tokenizer)将文本类型的路径向量化,最后计算多维度行为路径向量之间的相似度,对各维度分别进行路径协同过滤推荐.在此基础上,文中提出了两种BR-CF与Item CF相结合的改进算法.实验结果表明,在阿里天池数据集UserBehavior上,BR-CF算法能够有效地在多个维度中进行推荐,实现数据的充分利用和推荐的多样性,并且此改进算法很好地提升了 Item CF的推荐性能. 相似文献
5.
通过分析传统协作过滤推荐算法面临的数据集稀疏性问题及当前解决方法的优缺点, 在基于项目的协作过滤推荐算法的基础上, 提出了一种综合用户特征和项目属性的协作过滤推荐算法。通过分析不同特征的用户对项目的各种属性的兴趣度, 综合已评分的项目属性预测未评分项目, 降低数据集的稀疏性, 提高项目相似度计算的准确性。在MovieLens数据集上的实验结果表明, 在数据极端稀疏的情况下, 能够有效地降低数据集稀疏性, 并在一定程度上缓解了协作过滤推荐算法中的冷启动问题, 提高了推荐算法的预测准确度。 相似文献
6.
提出了一种基于兴趣群组的混合式P2P供应链信任模型.该模型通过企业的兴趣相似度来刻画企业在其偏好领域上的服务行为相似性,同时采用信任和信誉衰减机制实现对供应链上企业节点的信任评估,并进行了实验仿真和比较.结果表明,利用该模型可以在供应链企业间建立高效、可靠的信任合作,有效防止企业的败德行为,从而实现各节点企业的信息共享和资源整合,提高供应链效率. 相似文献
7.
前列腺癌是全球范围内男性最常见的癌症之一,仅次于肺癌。在前列腺癌的诊断过程中最常用的方法是病理学专家通过显微镜对染色活检组织进行观察,得出组织微阵列图像的Gleason评分。在大量的组织微阵列图像下,病理学专家使用Gleason模式对前列腺癌组织微阵列进行评分非常耗时,易受到不同观察者之间主观因素的影响,且可重复性低。深度学习和计算机视觉的发展使得病理学计算机辅助诊断系统更具有客观性和可重复性。U-Net是医学影像分割领域应用最广泛的的网络,不同于以往研究中使用分类器,提出了一种基于改进的U-Net网络的区域分割模型,通过密集连接块来融合深层和浅层特征的同时对各个尺度的特征进行监督。可以减少网络参数,提高计算效率,并在标注完整的数据集上验证了方法有效性。 相似文献
8.
针对当前我国农村电子政务发展的落后状况,以及农村信息基础设施的发展现状,构建一个农村电子政务顶层架构来指导我国农村电子政务的建设,已成为十分迫切的需要。文章针对我国农村当前的基本情况,比较了城乡电子政务的异同,构建一个基于云计算的农村电子政务顶层架构CC-REGA,并分析了该架构的层次功能;最后,应用Hadoop开源云平台搭建了一个农村电子政务云服务实验平台。 相似文献
9.
政务电子邮件日渐成为政府信息资源的重要组成部分,对其进行有效管理的重要性也日益突出。阐述了信息生命周期管理(ILM)的概念及其六个阶段,在分析政务电子邮件特点的基础上,构建基于ILM的政务电子邮件管理系统模型,提出政务电子邮件信息生命周期各阶段的管理策略。基于信息生命周期管理的政务电子邮件管理系统模型及策略为政务邮件管理提供了理论基础和实施规范。 相似文献
10.