搜索结果: 61-75 共查到“知识库 计算机系统结构”相关记录6885条 . 查询时间(2.301 秒)
一致性问题是多智能体协同控制的基础，有广泛的应用背景。之前的研究已经给出了线性一致性协议实现均方一致的充分条件，在此基础上，对线性离散均方一致性问题进行了更加深入的讨论，以图论和随机分析为基础，进一步给出并严格证明线性离散均方一致性问题噪声偏差的上界，同时以4种不同的网络拓扑为例，对所提理论结果进行了说明。结论将为线性离散一致性系统的噪声估计和控制提供理论依据。
基于效用的机会网络“物—物交换”激励机制
机会网络 自私 “物—物交换”激励机制 效用
2016/12/3
针对机会网络环境下简单“物—物交换”（SBT, simple barter trade）激励机制因盲目缓存而降低网络性能的问题，设计一种基于效用的“物—物交换”（UBT, utility-based barter trade）激励机制。UBT通过预测未来相遇节点和相遇节点转发消息到目的节点的概率进行缓存决策从而提高了缓存效率和网络性能。仿真实验证明，和SBT相比，UBT在有效激励节点协作的同时能用...
互联网使用对创业行为的影响——基于微观数据的实证研究
互联网使用 创业 CFPS 制度环境
2019/3/21
近二十年来，互联网的迅速发展及广泛应用，不仅直接影响了社会的生产方式和人们的生活方式，也使潜在创业者所面对的创业环境发生了深刻的变化。基于中国家庭追踪调查CFPS的微观数据，实证研究发现，互联网的使用促进了个人的创业活动。就影响机制而言，将互联网作为主要的信息渠道，使个人创业概率提高4.1%～4.8%。同时,就信息类型而言，专业信息和商务信息的获得都对创业产生了明显的正向影响。进一步研究发现，互联...
平台之治： 论网络时代的广告法
新广告法 网络广告 互联网信息服务提供者 网络广告平台 审查义务 注意义务
2019/3/21
当广告进入互联网时代，网络广告的海量性及网络广告平台的出现给原《广告法》带来了很大挑战。此次《广告法》的修订回应了这些挑战，其中最重要的修改之一是引入了新的网络广告主体即互联网信息服务提供者。新《广告法》对互联网信息服务提供者设定的义务模式为“明知或应知违法—制止”。这一义务是一个行政法上的第三方义务，类似的义务在我国网络治理领域早已有之。但新《广告法》的义务模式与通行模式有所区别，其义务模式没有...
中国当前正面临由“对抗式”信任危机、“竞合式”信任挑战、“疑虑式”信任难题构成的周边信任困境. 这种信任困境很大程度上是国家间安全关系“低度社会化”的一种反映,是国家安全脱嵌于全球安全社会网络的后果. 事实上,全球化时代的国家安全是一种关注自我与他者之间关系的复合安全. 国际社会的场域特征形塑了国家间的镶嵌关系,而安全的共享与共治正是国家间“安全镶嵌”的核心价值所在,同时也为国家间基于“安全镶嵌”...
基于西门子PLC的旋转衰减盘控制
旋转衰减盘 自由口通信 RS-485
2016/10/17
为实现智能化光衰减器不同能量光路的参数测量，设计一种旋转衰减轮盘，并基于西门子PLC 进行总线 运动控制。主要介绍旋转衰减轮盘的设计，利用西门子S7-200 系列PLC 实现运动控制功能，通过西门子S7-200 系 列PLC 的自由口通信，进行RS-485 总线组网。研究结果表明：该设计能实现对旋转衰减盘的准确定位控制和远程 控制，目前已投入正常使用，并保证了某国家大型装置光学实验的正常运行。
分布式水文模型中的逐栅格汇流算法计算量大，需要借助并行计算以满足大流域长历时模拟的要求。针对目前鲜有对基于隐式有限差分的逐栅格汇流算法进行并行计算研究的情况，基于栅格分层的思想提出一种适用于共享内存并行计算环境的逐栅格汇流并行算法。该算法首先根据流向进行栅格分层，使同一层中栅格的计算相互独立，然后将同一层中栅格的计算任务分配到多个计算单元并行计算。采用C++编程语言与OpenMP并行编程库实现了该...
随着媒介革命的纵深发展，中国新媒体发展已经进入了“微时代”。与之相应的是，网络谣言层出不穷，使得网络成为媒体危机甚至诸多突发事件恶化的媒介，导致社会风险扩大化、恶性化发展。网络谣言具有明显的社会危害性，在义愤心理、信息流瀑、从众效应、群体极化和偏颇吸收的作用下，本身即形成了一定的自我强化机制。因此，针对新媒体时代网络社会的新常态，必须强化网络社会制度规范,创新网络社会治理模式，切实提高网络谣言的治...
Saturn is a system for the static analysis of programs. Saturn aims to be both highly scalable and precise, with the goal of eventually being able to verify the absence of certain kinds of bugs in rea...
Advice for Program Chairs
Program Chairs
2016/5/25
The title says it all: This document is written for people who are, will be, or think they might want to be the program chair for a technical conference.I am a former program chair for POPL (the ACM S...
Perfect Pipelining: A New Loop Parallelization Technique
Pipelining Loop Parallelization Technique
2016/5/25
Parallelizing compilers do not handle loops in a satisfactory manner. Fine-grain transformations capture irregular parallelism inside a loop body not amenable to coarser approaches but have limited ab...
Parallelizing compilers promise to exploit the parallelism available in a given program, particularly parallelism that is too low-level or irregular to be expressed by hand in an algorithm.
Systems of set constraints are a natural formalism for many problems in program analysis. Set constraints are also a generalization of tree automata. We present an algorithm for solving systems of set...
We present an algorithm for automatic type checking of logic programs with respect to directional types that describe both the structure of terms and the directionality of predicates. The type checkin...
Flow-Sensitive Type Qualifiers
Types type qualifiers alias analysis effect inference flowsensitivity
2016/5/24
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. ...
