Results 251 to 260 of about 6,642,147 (292)
Some of the next articles are maybe not open access.
Verification of Function Blocks
2014Formal verification is the field of applying mathematical techniques in order to prove or disprove the correctness of a system against a formally specified behaviour, known as a property. The negative result of the verification process is an execution trace that leads to a state where the system fails to comply with the given specification, known as a ...
Li Hsien Yoong +3 more
openaire +1 more source
2023
Functional Airspace Blocks are a key component of the EU SES initiative and can be described as airspace blocks established according to operational requirements, regardless of State boundaries, in order to enable a performance-driven and optimised provision of air navigation services.
openaire +2 more sources
Functional Airspace Blocks are a key component of the EU SES initiative and can be described as airspace blocks established according to operational requirements, regardless of State boundaries, in order to enable a performance-driven and optimised provision of air navigation services.
openaire +2 more sources
Blocks, Functions, and Procedures
2015In this chapter, as the title suggests, you’ll learn about the foundational structures of PL/SQL: blocks, functions, and procedures. Blocks define the structures upon which functions and procedures are built. Functions and procedures are very similar, but distinct, in that a function returns a value to a calling function or procedure, while a procedure
openaire +1 more source
1998
This chapter discusses the function block diagram, the first graphical language of the IEC languages in the set structured text, function block diagram, ladder diagram, instruction list and sequential function chart.
openaire +1 more source
This chapter discusses the function block diagram, the first graphical language of the IEC languages in the set structured text, function block diagram, ladder diagram, instruction list and sequential function chart.
openaire +1 more source
2001
As discussed in Chapters 1 and 2, a fundamental property of IEC 61499 function block networks is that the execution of all software within every function block is, in some way, event triggered. In this chapter, we will review a special set of standard function blocks that are provided for event behaviour.
openaire +1 more source
As discussed in Chapters 1 and 2, a fundamental property of IEC 61499 function block networks is that the execution of all software within every function block is, in some way, event triggered. In this chapter, we will review a special set of standard function blocks that are provided for event behaviour.
openaire +1 more source
Non-Additive Cost Functions for JPEG Steganography Based on Block Boundary Maintenance
IEEE Transactions on Information Forensics and Security, 2021Weixiang Li, Weiming Zhang, Nenghai Yu
exaly
A Synchronous Approach for IEC 61499 Function Block Implementation
IEEE Transactions on Computers, 2009Zoran Salcic +2 more
exaly