別名: Static Analysis Results Interchange Format
Static Analysis Results Interchange Formatの略称。静的解析ツールが出力する診断結果を、IDEやCI/CDツールなどの異なる環境間で共有・統合するための標準的なJSONフォーマット。
With new satellite constellations being launched into low Earth orbit, the growing use of medium Earth orbit for radio‐navigation and timing signals, slot region orbits for telecommunications and the introduction of electric propulsion to reach geostationary orbit, there is a growing need to develop services to protect satellites from space weather. Here we highlight two recent events in relation to satellite operations. We summarize 10 user needs that arose out of meetings with satellite operators, designers, underwriters and space agency staff. We present the satellite risk prediction and radiation forecast (SaRIF) system which is designed to meet most of these needs. The system uses real‐time data as input to the BAS radiation belt model (BAS‐RBM) to solve the Fokker Planck equation and provides a forecast of the electron flux throughout the outer radiation belt with 1‐hr resolution up to 24 hr ahead. The electron flux is used to calculate charging currents, and is combined with GOES near real time proton fluxes to calculate dose rate and total ionizing dose behind set levels of shielding for satellites in Medium Earth orbit, Geostationary orbit and slot region orbits. The results are compared against design standards and presented as risk indicators to forecast the risk of damage. The system works automatically and is updated every hour. We also present data and a best reconstruction of the radiation environment which are held in a searchable archive for satellite anomaly resolution. The SaRIF system is available via the European Space Agency space weather web portal.
Increasing numbers of satellites are orbiting through the Earth's radiation belts, and the range of orbits being commonly used is also growing. As a result, there is an increasing need for services to help protect satellites from space weather. The Satellite RIsk prediction and radiation Forecast (SaRIF) system provides reconstructions and forecasts of the high‐energy electron flux throughout the outer radiation belt and translates these predictions into charging currents, dose rates, total ionizing dose and risk indicators. SaRIF both informs satellite operators of current and expected conditions and provides a tool to aid in post‐event analysis. The reconstructions and forecasts are provided by the British Antarctic Survey Radiation Belt Model (BAS‐RBM) running as part of an automatic system using real‐time data to specify the boundary conditions and drive processes within the physics‐based model. If SaRIF is to provide a useful tool, then the accuracy of the reconstructions and forecasts needs to be understood. Here we assess the accuracy of the simulations for geostationary orbit by comparing the model output with measurements made by the GOES 14 spacecraft for the period March–September 2019. No GOES 14 data was used to create the reconstruction or forecasts. We show that, with some improvements to the original system, the reconstructions have a prediction efficiency of 0.82 for >800 keV electrons and 0.87 for >2 MeV electrons, with corresponding prediction efficiencies of 0.59 and 0.78 for the forecasts.
Signaled intersection of Pahlawan steet and Raden Saleh Sarif Bustaman street is one of the main streets in Bogor. This intersection has 3-arm approaches namely Pahlawan Street at East, Raden Saleh Sarif Bustaman Street at North, and Empang Street at West. Highest traffic on weekend is 11653 units/hour or 5087 SMP/hour which occur between 5.20-7.20 pm. Pahlawan - Raden Saleh Sarif Bustaman street obtained inconsistent time cycle of APILL and size of approach dimension which resulted in intersection with high saturated degree. The saturation degree of the intersection of the eastern approaches was 0.75 which meant that this value was same with the standard value in MKJI 1997 which is 0.75. This meant that the performance of intersection capacity was already saturated. The high saturation degree of the intersection resulted in a low level of service level and was classified as, service level E with the intersection delay 45 seconds/SMP. Scenario II is the best alternative scenario for intersections, with the addition of road or lane widening, so the intersection capacity of the eastern, northern and western approaches were 3931, 5066 and 4562 SMP/hour respectively. The average intersection delay became to 9 seconds / SMP, and classified as service level B.Key words: capacity, intersection, intersection delay, service level
SARIF is an emerging standard for representing the results of program analysis tools. This tool demo shows how it can enable integration between static analysis tools and version control systems such as GitHub, and by doing so, encourage developers to reduce technical debt in a gradual non-invasive fashion.
Based fundamentally on the Italian archival documents, this essay examines the internal affairs and the struggle for power of the ṭarīqah al-sanūsiyyah during the First World War, a strongly problematic period for the brotherhood. The decision to take the side of the Ottoman Empire by the sayḫ al-kabīr Aḥmad al-Sarīf was not unanimously shared: his cousin (and future king of independent Libya) Muḥammad Idrīs inclined for an alliance with Great Britain. Inside the Sanūsī tribes, decimated by the war and its scourges, the question arose of the legitimacy of the supreme charge between the branch of direct descent from the founder (to which Idrīs belonged) and the collateral branch represented by Aḥmad al-Sarīf. In 1902 the latter had been chosen to direct the ṭarīqah due to the young age of Idrīs: some thought that Idrīs would have to take up the post that had been his father’s when he became of age. This ‘family affair’, linked to the political and economic control of the country and to the ambitions of the leading members of the brotherhood, remains controversial, and had dramatic consequences even during the monarchy.
