Results 41 to 50 of about 65,035 (289)
Радіоелектронні і комп'ютерні системи, 2022 The subject of the research in this article is the methods for detecting intrusions into the information systems of organizations to justify the requirements for the functioning of the monitoring agent of the selected logical object.
Галина Іванівна Гайдур +2 more
doaj +1 more source
南方能源建设, 2023 [Introduction] This paper aims to effectively avoid the design quality problems caused by the difference between domestic and foreign engineering design specifications. The study makes comparative analysis of slenderness ratio of cross bracings for angle
Molin SUN +3 more
doaj +1 more source
A perspective on specifying and verifying concurrent modules [PDF]
, 2018 The specification of a concurrent program module, and the verification of implementations and clients with respect to such a specification, are difficult problems.
Da Rocha Pinto, P +2 more
core +1 more source
Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning [PDF]
, 2010 Rule-based specifications have been very successful as a declarative approach in many domains, due to the handy yet solid foundations offered by rule-based machineries like term and graph rewriting.
A. Aldini +17 more
core +3 more sources
Continuum Mechanics Modeling of Flexible Spring Joints in Surgical Robots
Advanced Robotics Research, EarlyView.A new mechanical model of a tendon‐actuated helical extension spring joint in surgical robots is built using Cosserat rod theory. The model can implicitly handle the unknown contacts between adjacent coils and numerically predict spring shapes from straight to significantly bent under actuation forces.
Botian Sun +3 more
wiley +1 more source
Dynamic Planning of Mobile Service Teams’ Mission Subject to Orders Uncertainty Constraints
Applied Sciences, 2020 This paper considers the dynamic vehicle routing problem where a fleet of vehicles deals with periodic deliveries of goods or services to spatially dispersed customers over a given time horizon.
Grzegorz Bocewicz +3 more
doaj +1 more source
A Perspective on Interactive Theorem Provers in Physics
Advanced Science, EarlyView.Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
Development of Algebra Test Using the Item Response Theory Approach for Junior High School Students
Jurnal KependidikanThis research aims to develop valid and reliable measuring tool for students' algebraic abilities that can be used in schools and the general public.
Ahmad Rustam +3 more
doaj +1 more source
Control Study of Hydropower System with Francis Turbine in Isolated Operation [PDF]
Modeling, Identification and ControlThis paper provides a comprehensive examination of controller design for hydropower systems equipped with Francis turbines operating in isolated conditions.
Usha Adhikari +2 more
doaj +1 more source
Contracts as specifications for dynamical systems in driving variable form [PDF]
, 2019 This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications.
alam +10 more
core +2 more sources