搜索结果: 1-15 共查到“知识库 可计算性理论”相关记录62条 . 查询时间(4.076 秒)
2022年山东大学软件学院博士招生团队简介——高性能计算与大数据处理团队
山东大学软件学院 博士招生团队 高性能计算与大数据处理团队 高性能计算 大数据处理
font style='font-size:12px;'>
2022/12/19
高性能计算与大数据处理团队的主要研究方向是高性能计算、大数据处理与分析，智能硬件与边缘计算、网络与云计算、嵌入式与物联网应用方向的研究工作，现有教师10人，其中教授3人，副教授5人，讲师1人，特别资助类博士后1人，包括泰山学者特聘教授1人，齐鲁青年学者1人。近几年来，团队师生已在IEEE TPDS、Bioinformatics、TC、TOS、TCAD、TECS、TMC，TDSC，Ubicomp，T...
基于智慧道路的城市交通运行智能化管控关键技术、设备及应用
智慧道路 交通运行 智能化管控
font style='font-size:12px;'>
2022/9/9
基于智慧道路的城市交通运行智能化管控关键技术、设备及应用，获奖年度：2019年，获奖级别：中国智能交通协会科学技术奖二等奖，该项目由深圳市城市交通规划设计研究中心有限公司、深圳市智能交通技术有限公司完成，项目针对当前城市交通运行管控中 “感知、计算、算法”等方面的瓶颈，研发了多层数据链路互联互通、融合感知的标准协议栈和低时延、低功耗的边缘计算设备，开发了具有自主知识产权的 “云-边” 协同智慧道路...
中国自动化学会粒计算及其应用专业委员会
中国自动化学会 粒计算及其应用 人工智能
font style='font-size:12px;'>
2022/12/31
国务院发布的《新一代人工智能发展规划》中明确指出，要建立新一代人工智能基础理论体系。粒计算模拟人类“分而治之”的思考方式，将复杂任务分解为简单的子任务，通过建立起多粒度、多层次的高效的推理机制，最终实现对问题进行分析与求解，是自动化和人工智能的重要理论基础。在此大背景下，粒计算及其应用专业委员会依托中国自动化学会，于2017年6月11日在福州成立。
中国自动化学会边缘计算专业委员会
中国自动化学会 边缘计算 委员会
font style='font-size:12px;'>
2022/12/31
工业互联网智能化生产、网络化协同、个性化定制和预测性维护等创新应用对计算提出新需求，而工业应用低开销、实时性要求使云计算模式难以适用，而传统的分布式计算方法缺乏高效的网络边缘侧资源管理和任务调度方法，难以应对先进工业生产过程中海量数据的实时分析和系统的实时控制任务，因此需要发展云与网络边缘侧融合进行数据分析和计算的新模式。工业互联网边缘计算是在靠近物或数据源头的网络边缘侧就近提供边缘智能服务，满足...
基于多线性Diffie-Hellman问题的秘密共享方案
可验证的秘密共享 多线性映射 信息率 多线性Diffie-Hellman问题
font style='font-size:12px;'>
2017/1/17
秘密共享方案的信息率是衡量秘密共享通信效率的重要指标，鉴于已有的秘密共享方案效率不高的问题，本文基于多线性对提出了信息率为m/（m+1）的可验证秘密共享方案.方案中，共享秘密为m维向量，其可验证性可利用多线性映射的多线性性质来实现；同时，在多线性Diffie-Hellman问题下，方案是可证明安全的.性能分析结果表明，与已有的相同安全级别下的秘密共享方案相比，该方案具有较高的通信效率，更适用于通信...
First-Order Theory of Subtyping Constraints
First-Order Theory Subtyping Constraints
font style='font-size:12px;'>
2016/5/24
We investigate the first-order theory of subtyping constraints.We show that the first-order theory of nonstructural subtyping is undecidable, and we show that in the case where all constructors are ei...
Scalable Error Detection using Boolean Satisfiability
Program analysis error detection boolean satisfiability
font style='font-size:12px;'>
2016/5/24
We describe a software error-detection tool that exploits recent advances in boolean satisfiability (SAT) solvers. Our analysis is path sensitive, precise down to the bit level, and models pointers an...
Image Warps for Artistic Perspective Manipulation
Perspective Manipulation Warps
font style='font-size:12px;'>
2016/5/24
Painters and illustrators commonly sketch vanishing points and
lines to guide the construction of perspective images. We present
a tool that gives users the ability to manipulate perspective in phot...
Optimal Representations of Polymorphic Types with Subtyping
types polymorphism subtyping
font style='font-size:12px;'>
2016/5/24
Many type inference and program analysis systems include notions of subtyping and parametric polymorphism. When used together, these two features induce equivalences that allow types to be simpli ed b...
Small Variance Asymptotics for Dirichlet Process Mixtures of SVMs
Small Variance Asymptotics Dirichlet Process Mixtures SVM
font style='font-size:12px;'>
2016/1/22
Infinite SVM (iSVM) is a Dirichlet process (DP) mix-ture of large-margin classifiers. Though flexible in learning nonlinear classifiers and discovering latent clustering structures, iSVM has a difficu...
传统的情感分析研究大多立足于解决主观性文本的情感分类问题,面向复杂交互式文本的情感演化分析却力所不逮.本文以天涯论坛短文本中文在线评论为研究对象,首先提出一种高效的情感计算框架捕捉在线评论所蕴含的情感倾向;然后将情感计算和博弈论相结合提出情感演化预测算法,以混合纳什均衡策略作为交互行为的预测结果;最后在大规模评论数据集上,验证了情感计算框架的有效性和情感演化预测算法的准确性.
现有商空间模型中论域结构一般被指定为拓扑结构,问题的粒度由等价关系唯一地确定.当论域结构由拓扑结构变成应用广泛的代数结构时,引入同余关系的概念,系统地论证了两个重要结论在基于代数结构的商空间模型中依然成立,即全体同余关系构成的完备半序格和保假,保真原理的存在性.而当确定问题粒度的等价关系不是一个同余关系时,对偶地定义了上(下)同余与上(下)商,简捷地证明了它们的存在性并得出了一些重要性质,为商空间...
基于子树丢包模式的链路丢包率快速推断算法
网络测量 网络层析成像 链路丢包率 丢包模式
font style='font-size:12px;'>
2017/1/3
为提高网络链路丢包率的测量速度,本文提出一种基于子树丢包模式的链路丢包率推断算法.该算法通过选择合理的链路丢包率初始值以减少迭代次数;根据端到端测量结果将网络拓扑划分为传输状态确定性区域和非确定性区域,避免确定性区域冗余分解造成的时间开销;通过对非确定性区域子树丢包模式按层分解,以子树丢包模式为基本计算单元,减少非确定性区域链路丢包的重复分解过程,提高链路丢包率计算速度.仿真结果表明,该算法能在不...
基于种类-位置模型的可重构资源指派方法
可重构计算 资源建模 资源指派 定制指令
font style='font-size:12px;'>
2017/1/9
在基于指令集动态可扩展技术的可重构指令集处理器研究中,如何有效使用系统的可重构资源,将很大程度上影响扩展得到的定制指令的功能实现,进而影响系统性能的优化效果.本文针对可重构资源的利用问题,首先设计了一种可重构资源模型,该模型弱化了可重构资源的功能和数量属性,主要提供其种类和位置属性,并能够以此计算资源使用的时间属性.基于此模型,本文将图论中的图着色问题进行扩展,引入多遍着色的思想,提出了一种针对粗...