搜索结果: 61-75 共查到“知识库 计算机系统结构”相关记录6880条 . 查询时间(4.824 秒)
中国当前正面临由“对抗式”信任危机、“竞合式”信任挑战、“疑虑式”信任难题构成的周边信任困境. 这种信任困境很大程度上是国家间安全关系“低度社会化”的一种反映,是国家安全脱嵌于全球安全社会网络的后果. 事实上,全球化时代的国家安全是一种关注自我与他者之间关系的复合安全. 国际社会的场域特征形塑了国家间的镶嵌关系,而安全的共享与共治正是国家间“安全镶嵌”的核心价值所在,同时也为国家间基于“安全镶嵌”...
基于西门子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. ...
The term soundness originated in mathematical logic: a deductive system is sound with respect to a semantics if it only proves valid arguments. This concept naturally extends to the context of optimiz...
Saturn is a boolean satisfiability (SAT) based framework for static bug detection. It targets software written in C and is designed to support a wide range of property checkers.
Effective Static Race Detection for Java
static race detection Java synchronization concurrency multi-threading
2016/5/24
We present a novel technique for static race detection in Java programs,comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses...
Design Considerations for Collaborative Visual Analytics
visualization analysis collaboration design computer-supported cooperative work
2016/5/24
Information visualization leverages the human visual system to
support the process of sensemaking, in which information is
collected, organized, and analyzed to generate knowledge and
inform action...