曝光台 注意防骗
网曝天猫店富美金盛家居专营店坑蒙拐骗欺诈消费者
should be set to true. If LCM[i,j] is ANDD, PUM[i,j] should be set to true only if (CMV[i] AND CMV[j])
is true. If LCM[i,j] is ORR, PUM[i,j] should be set to true if (CMV[i] OR CMV[j]) is true. (Note that the
LCM is symmetric, i.e. LCM[i,j]=LCM[j,i] for all i and j).
Example
Assume that the given #Logical Connector Matrix# is as shown below:
Logical Connector Matrix (LCM)
LIC l 2 3 4 5 ... 15
l ANDD ANDD ORR ANDD NOTUSED ... NOTUSED
2 ANDD ANDD ORR ORR NOTUSED ... NOTUSED
3 ORR ORR ANDD ANDD NOTUSED ... NOTUSED
4 ANDD ORR ANDD ANDD NOTUSED ... NOTUSED
5 NOTUSED NOTUSED NOTUSED NOTUSED NOTUSED ... NOTUSED
. . . . . . . .
. . . . . . . .
. . . . . . . .
l5 NOTUSED NOTUSED NOTUSED NOTUSED NOTUSED ... NOTUSED
Also assume that the entries in the CMV have been computed as described, giving the following results:
Conditions Met Vector (CMV)
Condition Value
1 false
2 true
3 true
4 true
5 false
. .
. .
. .
l5 false
- 35 -
The following PUM is generated:
Preliminary Unlocking Matrix (PUM)
LIC 1 2 3 4 5 ... 15
1 * false true false true ... true
2 false * true true true ... true
3 true true * true true ... true
4 false true true * true ... true
5 true true true true * ... true
. . . . . . . .
. . . . . . . .
. . . . . . . .
15 true true true true true ... *
* Diagonal elements are input, not computed values.
Explanation of selected PUM entries:
(1) PUM[1,2] is false because LCM[1,2] is ANDD, and at least one of CMV[1] and CMV[2] is false.
(2) PUM[1,3] is true because LCM[1,3] is ORR, and at least one of CMV[1] and CMV[3] is true.
(3) PUM[2,3] is true because LCM[2,3] is ORR, and at least one of CMV[2] and CMV[3] is true.
(4) PUM[3,4] is true because LCM[3,4] is ANDD, and both CMV[3] and CMV[4] are true.
(5) PUM[1,5] is true because LCM[1,5] is NOTUSED.
The #Final Unlocking Vector# (FUV) is generated from the #Preliminary Unlocking Matrix#. The
input #diagonal elements# of the PUM indicate whether the corresponding LIC is to be considered as a
factor in signaling interceptor launch. FUV[i] should be set to true if PUM[i,i] is false (indicating that the
associated LIC should not hold back launch) or if all elements in PUM row i are true.
Example
- 36 -
Assume that the PUM now appears as follows:
Preliminary Unlocking Matrix (PUM)
LIC 1 2 3 4 5 ... 15
1 true false true false true ... true
2 false false true true true ... true
3 true true true true true ... true
4 false true true false true ... true
5 true true true true false true
. . . . . . . .
. . . . . . . .
. . . . . . . .
15 true true true true true false
The FUV generated is:
Final Unlocking Vector (FUV)
Condition Value
1 false
2 true
3 true
4 true
5 true
. .
. .
. .
15 true
Explanation of selected FUV entries:
(1) FUV[1] is false because PUM[1,1] is true, but PUM[1,2] and PUM[1,4] are false.
(2) FUV[2] is true because PUM[2,2] is false.
(3) FUV[3] is true because PUM[3,i] is true for all i, 1 <= i <= 15.
- 37 -
The final launch/no launch decision is based on the FUV. The decision to launch requires that all
elements in the FUV be true, i.e. LAUNCH should be set to true if and only if FUV[i] is true for all i, 1 <= i
<= 15. For the example, LAUNCH is false because FUV[1] is false.
- 38 -
NONFUNCTIONAL REQUIREMENTS
(1) The functional requirements are to be implemented by a parameterless Pascal procedure named
DECIDE. It will perform no input or output, because the calling program will provide input data
through global variables. Likewise, DECIDE should store its results in global variables.
(2) Whenever real numbers must be compared within the procedure DECIDE, that comparison should
be made with a fixed amount of precision. The program which calls DECIDE will provide a
function called REALCOMPARE.. (See function header in declarations on page 4.) This function
compares two real numbers, A and B, with respect to the six most significant digits.
REALCOMPARE returns LT if A < B , EQ if A = B , or GT if A > B . DECIDE should call this
function for all comparisons of real numbers.
(3) Information contained in the global variables when the subroutine is called will remain valid
throughout the execution of the procedure. There are no feedback or time series effects during a
call to DECIDE, or from multiple calls to DECIDE.
(4) Do not include input error checking. Assume that the calling program insures inputs are complete
and within the specified range.
(5) No double precision or complex variables should be used.
中国航空网 www.aero.cn
航空翻译 www.aviation.cn
本文链接地址：
航空资料35(197)
