搜索结果: 1-15 共查到“知识库 计算机系统设计”相关记录515条 . 查询时间(4.687 秒)
西安电子科技大学智能软件与系统新技术研究所学术研究成果（图）
智能软件 系统 学术研究
2025/2/5
西安电子科技大学智能软件与系统新技术研究所学术研究成果在动态智能化软件工程技术方向上取得了特色鲜明、优势明显的研究成果，具体包括：1)建立动态软件体系结构、智能化软件开发方法、软件在线演化与自适应机制；2)研究语义理解与分析技术、智能交互、机器人系统和智能信息处理等技术；3)解决复杂动态环境中软件系统的工程化和智能化问题等。研究所教师承担了一批国家863计划项目、国家重点研发计划项目、国防973重...
DESIGN AND APPLICATIONS OF RAPID IMAGE TILE PRODUCING SOFTWARE BASED ON MOSAIC DATASET
Image Tile Mosaic Dataset Cluster Tile Producing Quality Checking
2018/5/16
Map tile technology is widely used in web geographic information services. How to efficiently produce map tiles is key technology for rapid service of images on web. In this paper, a rapid producing s...
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...
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...
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...
Determining the Benefits of Direct-Touch, Bimanual, and Multifinger Input on a Multitouch Workstation
multitouch mouse direct-touch input bimanual input multifinger input multitarget selection
2016/5/24
Multitouch workstations support direct-touch, bimanual, and multifinger
interaction. Previous studies have separately examined the
benefits of these three interaction attributes over mouse-based int...
We describe techniques for analyzing data polymorphism in C, and show that understanding data polymorphism is important for statically verifying type casts in the Linux kernel, where our techniques pr...
Structuring, Aggregating, and Evaluating Crowdsourced Design Critique
Design critique feedback social computing crowdsourcing
2016/5/24
Feedback is an important component of the design process,
but gaining access to high-quality critique outside a classroom
or firm is challenging. We present CrowdCrit, a webbased
system that allows...
Mechanism Design and Implementation for Lung Exchange
Mechanism Design Implementation Lung Exchange
2016/1/22
We explore the mechanism design problem for lung exchange and its implementation in practice. We prove that determining whether there exists a non-trivial solution of the lung exchangeproblem is NP-co...
Optimal Auctions for Partially Rational Bidders
Optimal Auctions Partially Rational Bidders
2016/1/22
We investigate the problem of revenue optimal mechanism design [Myerson, 1981] under the con-text of the partial rationality model, where buyers randomize between two modes: rational and irra-tional. ...
Forward secrecy guarantees that eavesdroppers simply cannot reveal secret data of past communications. While many TLS servers have deployed the ephemeral Diffie-Hellman (DHE) key exchange to support f...
OSS: Using Online Scanning Services for Censorship Circumvention
Censorship Circumvention Online Scanning
2015/8/5
We introduce the concept of a web-based online scanning service, or OSS for short, and show that these OSSes can be covertly used as proxies in a censorship circumvention system. Such proxies are suit...
Towards Sustainable Future by Transition to the Next Level Civilisation
Universal science of complexity dynamic multivaluedness chaos self-organisation dynamically probabilistic fractal dynamic information dynamic entropy symmetry of complexity Unitary System Harmonical System sustainability transition Revolution of Complexity noosphere
2015/8/3
Universal and rigorously derived concept of dynamic complexity shows that any system of interacting components, including society and civilisation, exists only as a process of highly inhomogeneous, qu...
Control and Design of Multiple Unmanned Air Vehicles for a Persistent Surveillance Task
Persistent Surveillance Task Unmanned Air Vehicles
2015/6/18
In this research, we investigate techniques for high-level control that
are scalable, reliable, efficient, and robust to problem dynamics (new information about
the target area, failure of UAVs...