中文
相关论文

相关论文: Characterising radio telescope software with the W…

200 篇论文

Composition is an important feature of a specification language, as it enables the design of a complex system in terms of a product of its parts. Decomposition is equally important in order to reason about structural properties of a system.…

计算机科学中的逻辑 · 计算机科学 2022-07-05 Benjamin Lion , Farhad Arbab , Carolyn Talcott

Many fault diagnosis methods of rotating machines are based on discriminative features extracted from signals collected from the key components such as bearings. However, under complex operating conditions, periodic impulsive…

信号处理 · 电气工程与系统科学 2025-12-12 Yuhan Yuan , Xiaomo Jiang , Haibin Yang , Haixin Zhao , Shengbo Wang , Xueyu Cheng , Jigang Meng , Shuhua Yang

Accurate load forecasting is critical for reliable and efficient planning and operation of electric power grids. In this paper, we propose a unifying deep learning framework for load forecasting, which includes time-varying feature…

机器学习 · 计算机科学 2023-05-10 Jing Xiong , Yu Zhang

An instrument and software algorithm is described for the purpose of characterization of large single crystals at the Alignment Facility (ALF) of the ISIS spallation neutron source. We describe a method for both characterizing the quality…

材料科学 · 物理学 2021-06-29 Z. Liu , H. Lane , C. D. Frost , R. A. Ewings , J. P. Attfield , C. Stock

Measuring performance-critical characteristics of application workloads is important both for developers, who must understand and optimize the performance of codes, as well as designers and integrators of HPC systems, who must ensure that…

软件工程 · 计算机科学 2018-11-01 Beau Johnston , Josh Milthorpe

We have designed and implemented a novel way to process wide-field astronomical data within a distributed environment of hardware resources and humanpower. The system is characterized by integration of archiving, calibration, and…

天体物理仪器与方法 · 物理学 2011-10-17 J. P. McFarland , G. Verdoes-Kleijn , G. Sikkema , E. M. Helmich , D. R. Boxhoorn , E. A. Valentijn

Implementing large software, as software analyzers which aim to be used in industrial settings, requires a well-engineered software architecture in order to ease its daily development and its maintenance process during its lifecycle. If the…

软件工程 · 计算机科学 2015-08-18 Julien Signoles

Big data benchmark suites must include a diversity of data and workloads to be useful in fairly evaluating big data systems and architectures. However, using truly comprehensive benchmarks poses great challenges for the architecture…

性能 · 计算机科学 2016-11-15 Zhen Jia , Jianfeng Zhan , Lei Wang , Rui Han , Sally A. McKee , Qiang Yang , Chunjie Luo , Jingwei Li

The demand for clean energy is ever increasing, with new nuclear technologies presenting a complementary solution to renewable energies. However, designing and operating these systems is exceptionally difficult, given the complexity of the…

Formal Concept Analysis (FCA) is a mathematical framework for knowledge representation and discovery. It performs a hierarchical clustering over a set of objects described by attributes, resulting in conceptual structures in which objects…

人工智能 · 计算机科学 2025-08-12 Jessie Galasso

In this paper, we propose a design solution for the implementation of Virtualized Network Coding Functionality (VNCF) over a service coverage area. Network Function Virtualization (NFV) and Network Coding (NC) architectural designs are…

网络与互联网体系结构 · 计算机科学 2018-03-15 Tan Do-Duy , M. Angeles Vazquez Castro

Feature coding has become increasingly important in scenarios where semantic representations rather than raw pixels are transmitted and stored. However, most existing methods are architecture-specific, targeting either CNNs or Transformers.…

计算机视觉与模式识别 · 计算机科学 2025-06-17 Changsheng Gao , Shan Liu , Feng Wu , Weisi Lin

Telescope bibliographies record the pulse of astronomy research by capturing publication statistics and citation metrics for telescope facilities. Robust and scalable bibliographies ensure that we can measure the scientific impact of our…

天体物理仪器与方法 · 物理学 2025-12-15 John F. Wu , Joshua E. G. Peek , Sophie J. Miller , Jenny Novacescu , Achu J. Usha , Christopher A. Wilkinson

Reliability, security and stability of cloud services without sacrificing too much resources have become a desired feature in the area of workload management in clouds. The paper proposes and evaluates a lightweight framework for scheduling…

分布式、并行与集群计算 · 计算机科学 2017-05-09 Muhammed Abdulazeez , Pawel Garncarek , Dariusz R. Kowalski , Prudence W. H. Wong

This paper describes NCRF++, a toolkit for neural sequence labeling. NCRF++ is designed for quick implementation of different neural sequence labeling models with a CRF inference layer. It provides users with an inference for building the…

计算与语言 · 计算机科学 2018-06-19 Jie Yang , Yue Zhang

The LOFAR radio telescope creates Petabytes of data per year. This data is important for many scientific projects. The data needs to be efficiently processed within the timespan of these projects in order to maximize the scientific impact.…

天体物理仪器与方法 · 物理学 2018-09-03 A. P. Mechev , J. B. R Oonk , T. Shimwell , A. Plaat , H. T. Intema , H. J. A. Röttgering

Large scientific institutions, such as the Space Telescope Science Institute, track the usage of their facilities to understand the needs of the research community. Astrophysicists incorporate facility usage data into their scientific…

EnKF-C provides a compact generic framework for off-line data assimilation into large-scale layered geophysical models with the ensemble Kalman filter (EnKF). It is coded in C for GNU/Linux platform and can work either in EnKF, ensemble…

计算工程、金融与科学 · 计算机科学 2026-02-11 Pavel Sakov