用户7454091

LV2
发表了文章

动力学方程的保守半拉格朗日格式第一部分:重构(cs)

在本文中,我们提出并分析一种重建技术,使一个人设计高阶保守半拉格朗日格式的动力学方程。所提出的重构可以通过对数值解的多项式重构取滑动平均来获得。给出了高阶保守重...

用户7454091
发表了文章

二维曲面边的混合虚元法(cs)

在此工作中,我们提出了一种扩展的混合虚拟元法(VEM)的二维计算网格的曲线边缘元。利用具有曲线几何特征的区域的直线边缘(例如区域边界的一部分或内部界面)进行逼近...

用户7454091
发表了文章

反应速率相关动态边界条件下Cahn-Hilliard方程的数值逼近及误差分析(cs)

我们考虑了与反应速率相关的动态边界条件下的Cahn-Hilliard方程的数值逼近和误差分析(P. Knopf等人,arXiv, 2020)。基于稳定线性隐式方...

用户7454091
发表了文章

智能城市中的自动停车 (cs)

这个项目的目标是最大限度地利用土地空间,减少驾驶员的压力和挫败感,同时显著减少空气污染。我们的贡献是一个由手机控制的自动停车系统。该结构是一个六边形的形状,使用...

用户7454091
发表了文章

基于GPU并发的非线性多网格深度残差神经网络的分层并行训练(cs)

摘要提出了一种求解深度剩余网络的多网格全近似存储算法,使神经网络能够在GPUs上并行进行分层训练和计算内核。这项工作证明了使用相同数量的计算单元可以把传统的分层...

用户7454091
发表了文章

Orpheus:一个新的深度学习框架,便于边缘推理的部署和评估(cs)

由于神经网络的普遍存在,优化边缘设备和优化目标(如推理时间、内存占用和功耗)是一个关键挑战。目前,产品深度学习框架提供了有用的抽象概念,以帮助机器学习工程师和系...

用户7454091
发表了文章

随机存取机器程序的程序代数(cs)

本文提出了一种以随机存取机(RAM)指令为基本指令的指令序列的代数理论,以及指令序列在执行过程中产生的行为,以及这些行为与RAM存储器之间的相互作用。这一理论为...

用户7454091
发表了文章

具有交互的软件事务性内存(cs)

软件事务性内存(STM)是并发编程替代基于锁的同步的一种新兴抽象。大多数STM模型只允许独立的事务,这在多线程编程中是不够的,因为事务在提交之前需要通过共享数据...

用户7454091
发表了文章

如何通过跨学科应用提高对函数式程序设计的兴趣(cs)

函数式编程代表了应用和实现软件的现代化工具。函数式编程的最新发展报告了这种范式中越来越多的方法。然而,缺乏广泛的跨学科应用。我们的目标是提高学生的兴趣,追求进一...

用户7454091
发表了文章

关于第一次虚拟PLDI会议的报告(cs)

这是一份关于2020年PLDI会议的报告,我是该会议的总主席,由于COVID-19大流行,该会议实际上是第一次举行。该报告包括:我对该事件的积极和消极方面的个人...

用户7454091
发表了文章

用程序变换求解词方程(cs)

本文给出了一个用WE(R,E)结构特化来解词方程的实验,程序WE可以看作是一个解释器,测试一个替换组合R是否产生一个词方程E的解。当使用基本展开/折叠策略时,这...

用户7454091
发表了文章

一种面向对象的信息系统保护方法(cs)

我们提供了一个利用封装、消息通信、接口功能的保护系统,这些功能来自于前面的面向对象模型。每个用户通过其“user”对象类型向系统表示自己。识别程序适合每个人的需...

用户7454091
发表了文章

城市环境下无人机目标跟踪应用深度强化学习(cs)

中文摘要:在城市环境中,由于无人机的视场有限、障碍物的可见性障碍和目标运动的不确定性等原因,对目标进行持续跟踪是一项非常困难的任务。车辆需要在3D中进行智能规划...

用户7454091
发表了文章

超几何系统多项式解解析复杂度的算法估计(cs)

中文摘要:本文研究了二元完整Horn型超几何系统解的解析复杂性。我们得到了zonotopes定义的超几何系统的Puiseux多项式解的解析复杂性的估计。我们还提...

用户7454091
发表了文章

动态网络识别的激励和测量的最优分配(cs)

中文摘要:本文正式地阐述和分析了动态网络识别中激励和测量的最佳分配问题。最好的选择是用最宜的实验来实现最准确的识别。精度是由参数估计的渐近协方差矩阵的轨迹来评估...

用户7454091
发表了文章

基于输出反馈的不确定多智能体系统的最优一致性(cs)

中文摘要: 研究了一类不确定线性多智能体系统的最优一致问题。允许所有的代理都具有一个任意大的紧凑集范围内的参数不确定性。其目标是以分布式的方式集体最小化局部成本...

用户7454091
发表了文章

反应系统的可控性(cs)

中文摘要:控制一个动力系统就是通过选择合适的输入任意改变其配置的能力。它是控制理论中研究得非常透彻的概念,在医学、生物学、社会科学、工程等领域有着广泛的应用。在...

用户7454091
发表了文章

控制理论自适应人体飞行员模型:理论和实验验证(cs)

中文摘要: 本文提出了一种自适应人体飞行员模型,该模型能够模拟存在不确定性的交叉模型。所提出的结构是基于模型参考自适应控制,并利用Lyapunov-Krasov...

用户7454091
发表了文章

COVID-19疫情中的反社会行为分析(cs)

中文摘要: 随着全球新闻报道在线和线下社区仇外情绪和歧视急剧上升,COVID-19大流行已发展成为一场生物危机。这种有害的行为给社会带来了沉重的代价,尤其是在这...

用户7454091
发表了文章

评估机器人流程自动化对业务流程活动的可行性的框架(cs)

中文摘要: 机器人流程自动化(RPA)是一种集中化的业务流程自动化技术。RPA通过图形用户界面实现了用户交互的自动化,从而保证了效率的提高,减少了流程执行过程中...

用户7454091

个人简介

个人成就

扫码关注云+社区

领取腾讯云代金券