12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %% Version control history
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %% $Id$
% %% $Log$
% %% Revision 1.1 1996/11/02 10:18:25 peterg
% %% Initial revision
% %%
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
OPERATOR lsin;
%DESCRIPTION three port component: EMTF
FOR ALL gain, input, causality, gain_causality, outport, inport,
m_input, m_causality
SUCH THAT (
(causality = gain_causality) AND (outport = 2)
OR
(causality NEQ gain_causality) AND (outport = 1)
)
LET lsin(gain_causality, gain, causality, outport,
input, causality, inport,
m_input, m_causality, 3)
= sin(m_input)*gain*input;
FOR ALL gain, input, causality, gain_causality, outport, inport,
m_input, m_causality
SUCH THAT (
(causality NEQ gain_causality) AND (outport = 2)
OR
(causality = gain_causality) AND (outport = 1)
)
LET lsin(gain_causality, gain, causality, outport,
input, causality, inport,
m_input, m_causality, 3)
= input/(sin(m_input)*gain);
END;;
|
>
>
>
|
|
|
|
|
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %% Version control history
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% %% $Id$
% %% $Log$
% %% Revision 1.2 1998/03/04 17:51:37 peterg
% %% Added END
% %%
% %% Revision 1.1 1996/11/02 10:18:25 peterg
% %% Initial revision
% %%
% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
OPERATOR lsin;
%DESCRIPTION three port component: EMTF
FOR ALL comp_type, gain, input, causality, gain_causality, outport, inport,
m_input, m_causality
SUCH THAT (
(causality = gain_causality) AND (outport = 2)
OR
(causality NEQ gain_causality) AND (outport = 1)
)
LET lsin(comp_type, gain_causality, gain, causality, outport,
input, causality, inport,
m_input, m_causality, 3)
= sin(m_input)*gain*input;
FOR ALL comp_type, gain, input, causality, gain_causality, outport, inport,
m_input, m_causality
SUCH THAT (
(causality NEQ gain_causality) AND (outport = 2)
OR
(causality = gain_causality) AND (outport = 1)
)
LET lsin(comp_type, gain_causality, gain, causality, outport,
input, causality, inport,
m_input, m_causality, 3)
= input/(sin(m_input)*gain);
END;;
|