中文
相关论文

相关论文: Experiences with Automated Build and Test for Geod…

200 篇论文

The design of structural & functional materials for specialized applications is being fueled by rapid advancements in materials synthesis, characterization, manufacturing, with sophisticated computational materials modeling frameworks that…

C programs can use compiler builtins to provide functionality that the C language lacks. On Linux, GCC provides several thousands of builtins that are also supported by other mature compilers, such as Clang and ICC. Maintainers of other…

编程语言 · 计算机科学 2019-07-02 Manuel Rigger , Stefan Marr , Bram Adams , Hanspeter Mössenböck

Power grids are transitioning from an infrastructure model based on reactive electronics towards a smart grid that features complex software stacks with intelligent, pro-active and decentralized control. As the power grid infrastructure…

软件工程 · 计算机科学 2020-05-26 Eric MSP Veith , Jawad Kazmi , Stephan Balduin

Predicting high-fidelity ground motions for future earthquakes is crucial for seismic hazard assessment and infrastructure resilience. Conventional empirical simulations suffer from sparse sensor distribution and geographically localized…

We present the Seismic Laboratory for Imaging and Modeling/Monitoring (SLIM) open-source software framework for computational geophysics and, more generally, inverse problems involving the wave-equation (e.g., seismic and medical…

Cloud Geographic Information Systems (GIS) has emerged as a tool for analysis, processing and transmission of geospatial data. The Fog computing is a paradigm where Fog devices help to increase throughput and reduce latency at the edge of…

分布式、并行与集群计算 · 计算机科学 2017-01-11 Rabindra K. Barik , Harishchandra Dubey , Arun B. Samaddar , Rajan D. Gupta , Prakash K. Ray

Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. They are built from and depend upon the seamless integration…

软件工程 · 计算机科学 2020-07-15 Nianyu Li , Christos Tsigkanos , Zhi Jin , Zhenjiang Hu , Carlo Ghezzi

Strong digitalization and shifting from unidirectional to bidirectional topology have transformed the electrical grid into a cyber-physical energy system, i.e. smart grid, with strong interdependency among various domains. It is mandatory…

This paper draws on perspectives from co-design as an integrative and collaborative design activity and co-simulation as a supporting information system to advance engineering design methods for problems of societal significance. Design and…

计算机与社会 · 计算机科学 2021-05-05 Paul T. Grogan

We present the SLIM (https://github.com/slimgroup) open-source software framework for computational geophysics, and more generally, inverse problems based on the wave-equation (e.g., medical ultrasound). We developed a software environment…

Influenced by the advances in data and computing, the scientific practice increasingly involves machine learning and artificial intelligence driven methods which requires specialized capabilities at the system-, science- and service-level…

Hybrid simulation (HS) is a widely used structural testing method that combines a computational substructure with a numerical model for well-understood components and an experimental substructure for other parts of the structure that are…

机器学习 · 计算机科学 2020-04-07 Elif Ecem Bas , Mohamed A. Moustafa , David Feil-Seifer , Janelle Blankenburg

Simulation is an indispensable tool for validating distributed IoT architectures before physical deployment, and iFogSim has emerged as one of the most widely adopted platform in the fog and edge computing research community. Yet the…

软件工程 · 计算机科学 2026-04-28 Milliam Maxime Zekeng Ndadji

Programming projects are essential in computer science education for bridging theory with practice and introducing students to tools like Git, IDEs, and debuggers. However, designing and evaluating these projects (especially in MOOCs)can be…

计算机与社会 · 计算机科学 2026-01-22 Pierre Schaus , Guillaume Derval , Augustin Delecluse

The complex and often safety-critical nature of cyber-physical energy systems makes validation a key challenge in facilitating the energy transition, especially when it comes to the testing on system level. Reliable and reproducible…

Accurately predicting the dynamic responses of building structures under seismic loads is essential for ensuring structural safety and minimizing potential damage. This critical aspect of structural analysis allows engineers to evaluate how…

计算工程、金融与科学 · 计算机科学 2024-10-29 Shiqiao Meng , Ying Zhou , Qinghua Zheng , Bingxu Liao , Mushi Chang , Tianshu Zhang , Abderrahim Djerrad

3D Computer-Aided Design (CAD) users need to overcome several obstacles to benefit from the flexibility of programmatic interface tools. Besides the barriers of any programming language, users face challenges inherent to 3D spatial…

人机交互 · 计算机科学 2024-08-06 J. Felipe Gonzalez , Danny Kieken , Thomas Pietrzak , Audrey Girouard , Géry Casiez

With the transition towards a smart grid, Information and Communications Technology (ICT) infrastructures play a growing role in the operation of transmission systems. Cyber-physical systems are usually studied using co-simulation. The…

系统与控制 · 电气工程与系统科学 2023-12-04 Frédéric Sabot , Pierre-Etienne Labeau , Jean-Michel Dricot , Pierre Henneaux

This paper proposes a novel simulator IoTSim-Edge, which captures the behavior of heterogeneous IoT and edge computing infrastructure and allows users to test their infrastructure and framework in an easy and configurable manner.…

Geocoding systems are widely used in both scientific research for spatial analysis and everyday life through location-based services. The quality of geocoded data significantly impacts subsequent processes and applications, underscoring the…