Results 31 to 40 of about 163,944 (210)
Verification Experiment of Zr-4 Alloy Tube in Irradiation Rig Out-of-pile
Yuanzineng kexue jishu, 2023 Special irradiation rig should be designed when a new type of nuclear fuel need to be irradiated and tested in the reactor. In the design of irradiation rig used in light water reactor, zirconium alloy is often be fabricated as component because of its ...
WU Qi;SHI Baolei;ZHANG Peisheng;GUAN Xitong;LI Kai
doaj
Jurnal Pendidikan: Teori, Penelitian, dan Pengembangan, 2020 : The aim of this study is to investigate the difference of XI grade science students’ metacognitive knowledge as the impact of POGIL and verification learning on solubility equilibrium topic. The study used quasy experiment design.
Wiwin Dwi Nurpitasari +2 more
doaj +1 more source
UNMANNED AERIAL SYSTEMS IN THE PROCESS OF JURIDICAL VERIFICATION OF CADASTRAL BORDER [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2013 Quite often in the verification of cadastral borders, owners of the parcels involved are not able to make their attendance at the appointed moment in time.
M. Rijsdijk +7 more
doaj +1 more source
An Experiment in Automatic Generation of Test Suites for Protocols With Verification Technology [PDF]
, 1996 In this paper we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based on advanced verification techniques applied to a real industrial protocol.
Jean-Claude Fernandez, Claude Jard
core +3 more sources
UNMANNED AERIAL VEHICLE IMAGE MATCHING BASED ON IMPROVED RANSAC ALGORITHM AND SURF ALGORITHM [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2020 A UAV image matching method based on RANSAC (Random Sample Consensus) algorithm and SURF (speeded up robust features) algorithm is proposed. The SURF algorithm is integrated with fast operation and good rotation invariance, scale invariance and ...
X. G. Li +5 more
doaj +1 more source
An experience report on the verification of autonomic protocols in the cloud [PDF]
Innovations in Systems and Software Engineering, 2013 Cloud applications are often complex distributed applications composed of multiple software components running on separate virtual machines. Setting up, (re)configuring, and monitoring these applications are complicated tasks because a software application may depend on several remote software and virtual machine configurations.
Salaün, Gwen +5 more
openaire +3 more sources
Graph Reasoning with Context-Aware Linearization for Interpretable Fact Extraction and Verification [PDF]
, 2021 This paper presents an end-to-end system for fact extraction and verification using textual and tabular evidence, the performance of which we demonstrate on the FEVEROUS dataset.
Neema Kotonya +7 more
core +1 more source
Nihon Kikai Gakkai ronbunshuFrom the machining center (MC) user’s point of view, this paper, as the second report of a systematic study, proposes a practical approach to estimate the trajectory error of a circular arc interpolation cutter path produced by the NC linear acceleration/
Hua QIU, Tetsurou YAMAGUCHI
doaj +1 more source
EXPERIENCE WITH FORMAL VERIFICATION OF SDL PROTOCOLS
International Journal of Computing, 2014 This paper presents a case study in the application of formal methods to the verification of communication protocols. We analyze one component block of telephone switching software developed in the SDL language at Alcatel Network Systems Romania. We use the IF toolset from VERIMAG Grenoble to build a state-transition model of the system and verify ...
Marius Minea +2 more
openaire +2 more sources
Water surface profile experiment and verification calculation.
, 2019 Water surface profile experiment and verification calculation.
Shihe Liu (7435034), Rui Xu (158313)
core +1 more source