WOLFRAM SYSTEM MODELER

BooleanNetwork1

Demonstrates the usage of blocks from Modelica.Blocks.MathBoolean

Diagram

Wolfram Language

In[1]:=
SystemModel["Modelica.Blocks.Examples.BooleanNetwork1"]
Out[1]:=

Information

This information is part of the Modelica Standard Library maintained by the Modelica Association.

This example demonstrates a network of Boolean blocks from package Modelica.Blocks.MathBoolean. Note, that

  • at the right side of the model, several MathBoolean.ShowValue blocks are present, that visualize the actual value of the respective Boolean signal in a diagram animation ("green" means "true").
  • the Boolean values of the input and output signals are visualized in the diagram animation, by the small "circles" close to the connectors. If a "circle" is "white", the signal is false. If a "circle" is "green", the signal is true.

Components (27)

showValue

Type: BooleanValue

Description: Show Boolean value from numberPort or from number input field in diagram layer dynamically

and1

Type: And

Description: Logical 'and': y = u[1] and u[2] and ... and u[nu]

booleanPulse1

Type: BooleanPulse

Description: Generate pulse signal of type Boolean

booleanPulse2

Type: BooleanPulse

Description: Generate pulse signal of type Boolean

booleanStep

Type: BooleanStep

Description: Generate step signal of type Boolean

or1

Type: Or

Description: Logical 'or': y = u[1] or u[2] or ... or u[nu]

xor1

Type: Xor

Description: Logical 'xor': y = oneTrue(u) (y is true, if exactly one element of u is true, otherwise it is false)

showValue2

Type: BooleanValue

Description: Show Boolean value from numberPort or from number input field in diagram layer dynamically

showValue3

Type: BooleanValue

Description: Show Boolean value from numberPort or from number input field in diagram layer dynamically

nand1

Type: Nand

Description: Logical 'nand': y = not ( u[1] and u[2] and ... and u[nu] )

or2

Type: Nor

Description: Logical 'nor': y = not ( u[1] or u[2] or ... or u[nu] )

showValue4

Type: BooleanValue

Description: Show Boolean value from numberPort or from number input field in diagram layer dynamically

nor1

Type: Not

Description: Logical 'not': y = not u

onDelay

Type: OnDelay

Description: Delay a rising edge of the input, but do not delay a falling edge.

rising

Type: RisingEdge

Description: Output y is true, if the input u has a rising edge, otherwise it is false (y = edge(u))

set1

Type: MultiSwitch

Description: Set Boolean expression that is associated with the first active input signal

falling

Type: FallingEdge

Description: Output y is true, if the input u has a falling edge, otherwise it is false (y = edge(not u))

booleanTable

Type: BooleanTable

Description: Generate a Boolean output signal based on a vector of time instants

changing

Type: ChangingEdge

Description: Output y is true, if the input u has either a rising or a falling edge and otherwise it is false (y=change(u))

triggeredAdd

Type: TriggeredAdd

Description: Add input to previous value of output, if rising edge of trigger port

integerConstant

Type: IntegerConstant

Description: Generate constant signal of type Integer

showValue1

Type: IntegerValue

Description: Show Integer value from numberPort or from number input field in diagram layer dynamically

showValue5

Type: BooleanValue

Description: Show Boolean value from numberPort or from number input field in diagram layer dynamically

showValue6

Type: BooleanValue

Description: Show Boolean value from numberPort or from number input field in diagram layer dynamically

rSFlipFlop

Type: RSFlipFlop

Description: A basic RS Flip Flop

sampleTriggerSet

Type: SampleTrigger

Description: Generate sample trigger signal

sampleTriggerReset

Type: SampleTrigger

Description: Generate sample trigger signal