Toyo Engineering (Japan)

Project Overview of the 2023–2024 Production Test of Gas Hydrate on the Alaska North Slope

Abstract A 10-month gas production test from a gas hydrate-bearing sand reservoir was successfully conducted on the Alaska North Slope to better understand reservoir depressurization-based gas production. The JOGMEC-DOE-USGS Collaborative Gas Hydrate R&D Project in Alaska was imp...

Characterization of Formation Deformation during Production Test from Gas Hydrate in Alaska: A Distributed Fiber Optic Sensing Approach

Abstract Reliable monitoring of geomechanical responses is essential for the safe and sustainable production of gas hydrate reservoirs. This study reports the first field-scale application of distributed strain sensing (DSS) during a 10 month extended gas production test on Alask...

Multiphysical Responses of a Gas Hydrate Reservoir to Extended-Duration Gas Production on the Alaska North Slope

Abstract The field test of extended-duration gas production from a gas hydrate-bearing reservoir via depressurization─formally titled the JOGMEC–DOE–USGS Collaborative Gas Hydrate R&D Project in Alaska─was conducted in the Prudhoe Bay Unit on the Alaska North Slope during 2023–20...

Overview of the Monitoring Program in the Alaska North Slope Extended-Duration Gas Production Test from Gas Hydrate

Abstract As a part of an extended-duration gas production test conducted under the JOGMEC-DOE-USGS Collaborative Gas Hydrate R&D Project in Alaska, one of the main objectives was to understand the behavior of gas hydrate formation and the production system during long-term depres...

Operational Overview of the JOGMEC-DOE-USGS Gas Production Test from Gas Hydrate on the Alaska North Slope

Abstract To understand the long-term production behavior of gas hydrate, an extended-duration gas production test was conducted under the JOGMEC-DOE-USGS Collaborative Gas Hydrate R&D Project in Alaska. The production test began in September 2023 using an electric submersible pum...

When Is an LLM Code Audit Done? Estimating Audit Completeness with Capture-Recapture over Diverse LLM Lenses

Reproduction artefacts for the paper "When Is an LLM Code Audit Done? Estimating Audit Completeness with Capture-Recapture over Diverse LLM Lenses" (submitted to the Journal of Systems and Software). VSAT runs several deliberately diverse LLM audit lenses over one codebase, treat...

When Is an LLM Code Audit Done? Estimating Audit Completeness with Capture-Recapture over Diverse LLM Lenses

Reproduction artefacts for the paper "When Is an LLM Code Audit Done? Estimating Audit Completeness with Capture-Recapture over Diverse LLM Lenses" (submitted to the Journal of Systems and Software). VSAT runs several deliberately diverse LLM audit lenses over one codebase, treat...

VSAT: Estimating the Completeness of Multi-Lens LLM Security Audits of Web Applications via Capture-Recapture

VSAT (Vulnerability Saturation Auditing) makes the completeness of an LLM security audit a measurable, calibrated quantity. It runs several deliberately diverse LLM audit "lenses" over the same codebase and treats each lens as a capture occasion, so the overlap structure yields (...

Measuring Reverse-Specification Quality Without Ground Truth: A Three-Layer Framework and a Study of Scale-Induced Failure Modes in Autonomous Coding Agents

Tool-using LLM coding agents can reverse-generate specifications from source, but the quality of those specifications is hard to assess when no reference specification exists. We present a ground-truth-free, deterministic-first framework that measures three layers - inventory cov...

Evaluating the Solution Performance of the Augmented Lagrangian Function on Ising Machines

We apply the augmented Lagrangian function (ALF) as a formulation for Ising machines and evaluate its performance by time-to-epsilon (TTε). The ALF has been well studied in continuous optimization for its numerical stability and convergence, and its advantage over the penalty fun...

Measuring Reverse-Specification Quality Without Ground Truth: A Three-Layer Framework and a Pre-Registered Study of Scale-Induced Failure Modes in Autonomous Coding Agents

Tool-using LLM coding agents can reverse-generate specifications from source, but the quality of those specifications is hard to assess when no reference specification exists. We present a ground-truth-free, deterministic-first framework that measures three layers - inventory cov...