• Aucun résultat trouvé

still illia.

N/A
N/A
Protected

Academic year: 2022

Partager "still illia."

Copied!
39
0
0

Texte intégral

(1)

DOCU NET RBSURE 05922 - B1566594 ]

(Review of ray's Efforts To Develop TACFIRE]. LCD-78-116;

B-163074. June '2, 1978. 10 pp. + 7 enclosures (28 pp.).

Leport to Sen. illiam Proxsire; y Elmer B. Staats, Comptroller

General.

Ii3sue Area: Automatic Data Processing: Design, Development, and Installation of Software (106).

Contact: Logistics and Cosaunications Div.

Budget Funct,on: iscellaneous: Automatic Data Processing

(1001).

Organizatior. Concerned: Department of the rm7.

CongressionAl Relevance: House Comittee on rmed Services;

Senate Consittee on Armed Services. Sen. illia. Proxmir.

Auter moacre than 10 years o effort, the rayes Tactical Fire Direction System (TACFIRE) was completed 4.n January 1978.

The Govtrriment ust now decide whether TCFIRE should enter full-sca.a production while comunications, aintenance, equipment, and software problems still exist. The TCPIRB

equipment tested during Operational Test III and scheduled for product n is not the equipment the rmy plans to field; the

Army has identified new equipment based on updated technology as

potential replacement for certain TCFIBB components. Computer programs for nuclear fire planning and corps artillery

operations need to be tested and completed before TCIRE is fielded. The programs need to be rewritten because of changes made to nuclear doctrine in July 1977, but rewriting ham not yet

begun. The TACFIRE coupiler, a program that converts prograner language to achine-readable instructions, contains at least 27 deficiencies that could disrupt computer operations and cause data processing errors. The production decision should be

delayed to give the ramy tinme to: somplete software development;

correct known system problems and deficiencies; complete . development, testing, and evaluation of new equipment and

associated software; and assess the ipact that the changes will have cn t.e TACFIBE contracts, production schedules, and

?eployment requirements. The Secretary of Defense should direct the rmy to delay full-scale production of TCFIRB to permit the program to be reassessed. (RRS)

(2)

COMPTROLLE GENERAL OF THE UI4ITED STATES WA5IHNGTON. D.C. 2054

B-163074 Junie 2, ]978

The Honorable Williai Proxmire United States Senate

Dear Senator Proxmire:

Pursuant to your June 21, 1977, request, we have reviewed the Department of the Army's efforts to develop the Tactical Fir. Direction System (TACFIRE). Our findings, conclusions, and rcommendations, presented orally to your staff on Febru- ary 3, 1978, are summarized below.

TACFIR LDFVFr,OPMENT COMPLETED

AfteL ;aore than 10 years of effort, TACFIRE's development phase was completed in January 1978, when Operational Test III ended. The Government must now decide whether TACFIRE should enter full-scale production. The Amy Systems Acquisition Re- view Council is to make this decision in September 1978 based on the results of Operational est III and other factors.

We don't know whether the test results will show that TACFIRE is ready for production, since the Army's calcula- tions of the results have not yet been completed. However, our observations indicate that some problems, including com- munications, maintenance, equipment, and software problei.s, still exist.

Communications problems

TACFIRE uses digital communications and a digital mes- sage device to link the forward observers with the TACFIRE computer at the battalion level. This link is the primary path for inputting fire mission ata into TACFIRE. The Army encountered roblems with it during Operational Test III.

The tactically deployed forward observers of the 2/19 Field Artillery Ba-talion, using the digital message device with standard rmy field radios, were unable to consistently transmit fire missions digitally to the battalions' fire direction centers. Raw data recorded by t-e Army testers

LCD-78-116 (941134)

(3)

B-163074

showed that only 28 percent of the tactically deployed forward observers' igital transmissions during the test- ing period were successful. When digital communications did not work, the forward observers reverted to voice com- munications.

The Army has r'ot identified the cause of the communica- tion problems. Hoever, the problems may be caused, partly or wholly, by the use of standard Army radios designed pri- marily for voice communications. This was true even though the radios used in the test were finely tuned ano supported hy extraordinary maintenance measures, including special

training and the use of civilian depot maintenance personnel.

Maintenance problems

Equipment was repaired under a different maintenance concept from that intended for use in the test. The planned concept required equipment users to make 90 percent of the repairs onsite within an hour and to report those that could not be made within that time to the direct support mainten- ance battalion. The maintenance battalion was to make all other repairs except those requiring general support or depot-level maintenance.

However, during the test, equipment users reported equip- ment breakdowns immediately to the maintenance battalion,

which in turn replaced troublesome components with operable ones. The replaced components were then sent to a Litton- operated maintenance facility for repairs. This facility handled depot-level maintenance, which will be done at Toby- hanna, Pennsylvania, when TACFIRE becomes operational.

Because the maintenance concept was not followed, the

test was not a realistic exercise of the system. Consequently, the test did not provide sufficient data to properly deter- mine the mean-time-to-repair, spare parts allocations, validity of the maintenance concept, or ability of the equipment users

t3 make repairs. Without a fully developed and tested main- tenance capability, there is little assurance that TACFIRE will be maintainable under critical operational conditions.

Equipment and software problems

(4)

B-163074

between failures of 150 hours. The problems included many computer dumps and freezes like those experienced during

the earlier Developmental Test III and vauLous quipment problems involving line printers, digital data terminals, digital message devices, and mass core memory units.

The dumps and freezes shot down computer operations and caused (1) systems to be reloaded and restarted and (2)

data bases to be reconstructed at a frequency not expected of a computer that has completed its development phase. De- spite these problems, testing was not delayed, primarily be- cause of backup computer procedures and the different main- tenance concept employed. According to a testing official, had the intended maintenance concept been used, testing would have been administratively stepped because the spply of spare parts and components would have been exhausted aftr days of testing.

Bec 'se of the problems, the operational test results most likely will not conclusively show that TACFIP is opera-- tionally ready or that it should enter full-scale production without corrective actions. Those problems alone may be sufficient to delay production. However, ot more signifi- cance is TACFIRE's lengthy development, which has produced, in our opinion, a technologically outuated system that ap- parently will be obsolete before production is completed.

As a result, the Army plans to make major changes in key TACFIRE components.

NEW EQUIPMENT TO REPLACE TACFIRE COMPONENTS

The r'ACFIRE equipment tested during Operational Test III and scheduled for production is not the equipment the Army plans to field. The Army has identified new equipment based

upon today's technology as potential replacement for certain TACFIRE components. The equipment is being developed with Government funding but has not yet been tested as part of TACFIRE.

Battery level computers

The Army is developing a battery level computer to give the firing batteries a computational capability integrated with TACFIRE. The computer will replace the obsolescent computing device called FADAC, which was fielded in 1964, and the TACFIRE Battery Display Unit, which provides the

3

(5)

B-163374

batteries with firing data. Its introduction into TACFIRE will satisfy a longstanding requirement for battery-autonomous operations.

The battery level computer needs to be cested with TACFIRE, particularly to determine the adequacy of the in- terfacing software. This s to be done n November 1978.

Replacement computer

The Army has idertified two fourth-generation computers (one Litton and one Contro. Data Corporation) as potential replacements for the TACFIRE computer, which is tech-

nologically outdated. It is competitively testing these computers at the irection o the Office of the Secretary of Defense. The iurpose of the testing is to introduce competition into TACFIRE and other major development pro- grams, such as the Tactical Operations System and the Missile

Minder which use the TACFIRE computer, and to determine whether to retain o. replace the TACFIRE computer. The testing was scheduled to be completed in March 1978; the replacement decision will be made in September.

Replacing the TACFIRE computer with a modern technology computer offers a number of advantages, including faster

computations, increased operational reliability, fewer main- tenance requirements, and compactness. The latter advantage would allow the Army to reduce the size of the TACFIRE

equipment and thus increase operating space, which is presently cramped, within the van housing the equipment.

ilso, the replacement would eliminate potential supply prob- lems of providing parts for outdated circuitry and subcom- ponents.

Acquiring a new TACFIRE computer would significantly affect the program. Its introduction would delay production schedules to permit system testing. Also, if it is not the Litton computer, all production options not exercised will be voided and new contracting may be required. According to Litton and Control Data, enough of the new computers could be available for system testing in November 1979.

Digital message device

The digital message device is used by the forward ob- server to input target information into TACFIRE. This

(6)

B-163074

technology and to reduce it3 sizes The new device should be available for testing with TACFIRE by June 1980.

Secure digital measase device

The present digital message;-device is unsecured. Trans- missions need to be manually encrypted. Otherwise, they

must be sent in clear text that can be intercepted and used by enemy forces to disclose the forward observer position, friendly units' locations, and other tactical information.

This deficiency is being corrected through the development of a rypto device, which is now available for testing with TACFIRE.

Digital data terminal

The digital data terminal is the communications equip- ment link between the computer and TACFIRE's input devices.

It is being redesigned to incorporate new technology that will increase communications throughput and reliability.

The increased throughput is significant because the Army's new fite support team concept substantially increases the number of forward observers that will be inputting data

into TACFIRE. The faster terminal, which should be ready for TACFIRE testing in June 1980, will provide a greater capacity to handle the increased communications.

Magnetic tape unit

A new magnetic tape nit, used to load the TACFIRE com- puter, has been developed to correct operating deficiencies.

This unit is pre.:ently available for testing.

Digital plotter map

The existing plotter map is subject to mechanical fail- ure and is considered inadequate. Electronic maps that have been developed and are being tested should be available in June 1982.

TACFIRE APPLICATION SOFTWARE NOT COMPLETED

Ccmputer programs for nuclear fire planning and corps artillery operations need to b, completed and tested before TACFIRE is fielded. The programs that had been written for luc]ear fire planning need to be rewritten because of changes

5

(7)

- 363074

made to nuclear doctrine in July 1977. This rewriting has not yet begun.

TACFIRE is supposed to operate under the Army's corps structure, in which the corps commander directs and controls the artillery at all echelons. This requires TACFIRE, and particularly the computer programs used at the corps, divi-

sion, and battalion echelons, to be interoperable and in- tegrated. TACFIRE has accomplished this at the division and battalion levels, but the programs needed to automate the corps operations and to integrate them into TACFIRE have not yet been developed.

The development of the corps programs will affect the completed ptc of TACFIRE. Changes to division and bat-

talion computer programs, communications software, and operat- ing procedures will be required to integrate the corps

artillery operations into TACFIRE. Also, more equipment will be needed to process the additional workload. The effort will be substantial, but until it is completed and tested, TACFIRE will not be a complete system.

The Army received a proposal rom Litton in August 1977 to do the development work. The proposal has not been

accepted, purportedly because of the Army's desire to do the work in-house. The Army presently does not have a work r.an or a target date for completing the work.

TACFIRS COMPILER IS DEFICIENT

The TACFIRE compiler, a program that converts programer language to machine-readable instructions, was purchased from Litton. It contains at least 27 deficiencies that can dis- rupt computer operations and cause data processing errors.

These deficiencies have been identified by Litton, which has proposed to fix them for about $600,000.

NEED FOR SMART TERMINAL

TACFIRE includes a variable format message entry device tnat provides two-way digital communications between the fire direction center and remote users. This device con- stricts communications because it cannot be programed to perform certain functions and it lacks the ability to store

The need for a programmable or smart

(8)

B-163074 CONCLUSION

The new equipment developments offer the Army an oppor- tunity to improve and upgrade TACFIRE before it enters full- scale production and to preclude costly retrofitting. This opportunity--coupled with the nee'd to cc.nplete software

development (particularly corps software) and the uncertainty of whether TACFIRE, as presently configured, will work

adequately after it is fielded--indicates that the production decision should be delayed.

The delay will give the Army time to (1) complete soft- ware development, (2) correct known system problems and de-

ficiencies, (3) complete development, testing, and evalua- tion of new equipment and its associated software, and (4) assess the impact that the changes will have on the TACFIRE contracts, production schedules, and deployment requirements.

It will also give tiL Army an opportunity to plan and incor- porate the Reserve Forces requirements into the TACFIRE

program. Presently, none of thoae requirements are in the program, although the Reserve Forces have about 55 percent of the Army's artillery.

We recognize that delaying production may affect TACFIRE's October 1980 scheduled deployment to Europe, where it is most

needed. However, we believe that the advantages of deploying an improved, completed, and fully tested TACFIRE would justify delaying deployment. This belief is compatible with those of the Commanding General of the U.S. Army Training and Doc-

tine Command and the Commanding General of the U.S. Army, Europe.

The latter has stated that a complex system such as TACFIRE should be thoroughly tested in the ontinental

United States and then issued to Europe with proven logistic, maintenance, and training packages. de added that the de-

ployment of TACFIRE with the battery computer system was con- sidered a significant advantage.

The Commanding General of the U.S. Army Training and Doctrine Command has stated that while the need to deploy a combat multiplier such as TACFIRE to Europe at the earliest possible date is understood, t danger of hastily introduc-

ing a new complex system before establishing a thoroughly stressed logistics package, refined and tested doctrine (especially corps), plus equipping our force wit a mixture of equipment, greatly outweigh the advantage of early

7

(9)

B-163074

introduction. These statements were made in rsponse to an inquiry into whether TACFIRE should be deployed 10 months earlier than scheduled.

RECOMMENDATION

We recommend that the Secretary of Defense direct the Army to delay full-scale production of TACFIRE to permit

the program to be reassessed, Specifically, a special De- fense Systems Acquisition Review Council should be convened to consider the two alternatives of redesign and redirection of the program to incorporate the system improvements that have been identified. Of these alternatives, we recommend that TACFIRE be redirected so that the Active and Reserve Forces can be equipped with an improved, completed, and fully tested TACFIRE within the shortest time. The details of

this recommendation are included in our briefing document.

AGENCY COMMENTS

We discussed our review with officials of the Cffice of the Secretary of Defense and the Department of the Army.

The Army's Director of Combat Support Systems (Office of the Deputy Chief of Staff for Research, Development and

Acquisition) acknowledged the existence of the system im- provements. According to him, development programs often lag ehind technology and continual attempts to catch up would tend to keep programs in the development stages. He said that new equipment or improvements will always be available but that at some point a decision must be made to go with a certain equipment configuration or technology.

He concluded that in such cases, a system can be upgraded by retrofitting or replacing equipment with higher perform- ance equipment or components.

We agree that technology is elusive and that retrofitting is a way of catching up after a system i developed and

produced. However, in the case of TACFIRE, technology that can improve the system is available now, before full-scale production begins. Moreover, the enhancements under consid- eration constitute major realignments of the system. We be- lieve that the Defense Systems Acquisition Review Council should determine hich of the improvements we itemized

should be included in the production configuration and which should be postponed for future incorporation.

(10)

B-163074

The officials also commented on the various test results, including our observations of Operational Test III, and fi-

RnciaI matterc. Where appropriate, we modified our brief- ing document to accommodate their views.

Your staff requested a copy,.of the briefing document containing the information presented above for your use during hearings on the fiscal year 197.9 military budget.

We are formally transmitting a copy of that document as enclosure I. Five classified pages have been withdrawn,

but we can provide them to you separately if you wsh.

We are also transmitting the following information, requested by your office, as enclosures II through VII.

II. Deputy Secretary of Defense memorandum for the Secretary of the Army, daLt ' January 28, 1975, concerning production approval or TACFIRE.

III. Office of the Director of Defense Research and Engineering memorandum for the Assistant Secretary of the Army (Research and Development), dated

February 20, 1975, concerning TACFIRE Program Supplementary Guidance.

IV. General Blanchard's message, dated August 5, 1977, concerning TACFI'E deployment and fielding.

V. General Starry's letter to General Kerwin, Army Vice Chief of Staff, dated August 26, 1977, con- cerning TACFIRE deployment in Europe by Octob.r

1980.

VI. General Kerwin's letter to General Starry, dated September 12, 1977, concerning'TACFIRE deployment in Europe.

VII. Abstract of Modification 130 to the Litton TACFIRE contract, which established a $1 million incentive

for Litton to fix software problems.

9

(11)

B-163074

If you desire, we will gladly meet wth you to discuss TACFIRE in greater detail or provide other assistance.

As discussed with your office, we are sending copies of this letter and enclosures to the Chairmen of the Senate

and House Committees on Appropriations and Armed Services, the Secretary of Defense, the Secretary of the Army, and other interested parties.

S ti y yours

Comptroller General of the United States Enclosures - 7

(12)

ENCLJSURE I ENCLOSURE I

TACFIRE BRIEFING DOCUMENT

1

(13)

ENCLOSURE I ENCLOSURE I

co

w~~~~~~~~~~~~~~

'

Ar~~~~~~~~~~~~~~~~~~~~a

(14)

ENCLOSURE I ENCLOSURE I

4-

>

U

.C c

- o

, 04

E4.

: e O

L H

3 e I 4' -

I _ _ _

e* I I 43

w a _ _ _

0a -. 5

0. u -

e-0

0 0 ei

GE 3 4. u

9- 43 C

C 43 43 y

VI 9- '.. lb

- h (1 O

I~- o 0 . o E 0. .

(15)

ENCLOSUR I ENCtSURE I

oz r~~~

La Wa LI L ,

Z -

M c L

WL L

Z 0 o

0. L Z LU

U- B

C CZ V

Li U-S K

a: CL _ UU

W ~ ~

O o "fi

o w

*- O = ,, 0.

U-U.

FO C ClO

U.. '-4 I-~~~~~~~C. A

Z ~ 0I 5- L LI C

LU ~~~~~~~~~~~~ 0 CD Z~~~~~C W-

O CD- -

am w =

O O~~~~~~O

0 FW C

U W LI O U.

LII U) CD Z B-~~~~~~=. C-)

_- L v z L 0 6,; Io

QC LU 4n 2 M U-

oU I .I ;- . ' = M 8

LU - ' Xc -_ _ g ) = CD

eL: W ,J @_ W AC

o eC ) * I * U. I

o~w y_

-4 c

~~~W~~~~~ 3 W c -:

U B- -1cr L

LLJ L2~~~~~ II L

~:i

iii

kiI

o: o a:

U.~~~~~~~

L

-4 4

B- - 4 B -~ 1 0 .1 C. 0 ..

Z

LU LU 0. -o .

-. ~c B-LI L

:u :~v

LU a :

0.~~~c L 4'

LI

-~~ 0lKI

-4.~~- 8 '

I'-L O

B.-"

4L

(16)

ENCLOSURE I ENCLOSURE I

-_u,

a:~ ~ ~~~~~~C ~ Q. w C:

Li .-.F_

cc CD C

OL * t .

W~~ c~~ cm r C

<r z i M W Q Q.

O- - - - JC

Z -V - 0 cc C0

Lii ..JCCD

z C O 0

O C cF Z

0 0

0 Z I: U

W W or 1

e( r 01O

Fw SE O S s Z

O - C

^ 0 L Ol E a.

O a 1, F < >

w o "~~~c

- C I l ^ t

* U W 0 U LI

C

- C C O 0

o 4 ~ UJ c - Li v

C D L- i -Cie

(A - 0 O W -

_ n C.0 C) 0 O

- U. I 9 CD

- ~ ~ ~ ~ ~~~~~~~~~U z~

CD cm- 0 D D CD o

o o o c M

0~ C) t - i i

V Q L o 0 J

es g o O: W - e

O S t *. F- C3

a> = ~~n : e,,;M C t

* Li. s-s ..i O (

= I : ZlZ

0. - 0: O *. 0 F O O

- e cc U

F~c CLvZ zC :o

co 0 = CD 0 =- =i

0 i ii E I C . w

F) F- - t

cmi w i n -

W V0 U. L Q. 0- 0 * -

I- - .C I 0 C I 0 I- I U

_ F-) f >: - -v L ii

C- DA U - .C I I.) ac

_0 _ Lii C. C C

Li 3 - Z Z 3 0 .C 0 -.

La . I- =- Z _ - I- - F- 0

- C. - 1-I - F- C.) ) Li 0

0 CD > F °- -i Q C

a- (IA ) c. C- _ O *

0 et: 1 Q J < .: J F 1

h _i F-F- o L U w - - L z 0

= Li (fl F-i CA 0 :i i u

sIC Lii I- F

-Zo

-. I o o o

~~~~~Ln M M BQ<°Q<

V) ~ ~ ~ ~ ~ . (d-

of~~~o

IZ L Z Li

X ~ ~ z- ~ ~ ~ ~ 0 - Q 1- Li

IA 7. o0 - a-U1 z

(A ~ I 0 U- Li i 0,Ui 0

: @ ~ o N n l

O. Z | 0 0 0 a-n

W ~ U ur Y r h Q et z L

CL~ c

_ . Li o Li -

C.) wa2 ~ 0u U ~ ~ 0 ~ (~0 * I a. a z -

In w. - C) . ~ ~ I - C) -

J"~ LiiC

Lii C)

a~~~ zo r-

a- L 03 ILl Li .3 Li

5

(17)

ENCLOSURE I ENCLOSURE I

z *. -r

u L

L U ;

z W -

a.) a

z 0

C tn~~tnu

U- I L

wP

L~~~~~ C

Li Li 0 ( ., 2

4 n

Li C 0 u U,

CD Li~~~~~i

- Z C~ ~~~ i 0

Li (A

c e~~~~~~~~~~

Li Li J ~ 0 C U 0 Li-

- -~~~~~ K U 4 (A s

Li- I- 0 ~~~ b- I.-. 0 r - 4A LiL i

s-iZ uC. ~ . L I.& -IC V

L in u i (A I- . i-

Li V) 1= i L

I ~~~

k

U 0. N Li Lii UJ i - L

-U. co a . * in Uo

C D --

Li 4Z- c i

w .j h I- L W .- I

M - 8-4. - Zi

.Cc c C = -

o ~ 0. Li ~ 0 Li f% Li 0 I Li

(A, Li Li UL a-

8-4~s w

<I 5 t -I La :

U- a. 0- U a. a. 10

I S I C~VI I cm

I- Li I I 5? 0 w ui

Li s- Li AC C '

o L <).J U

o w~~~~~~~~~~t;

w ,19 C w~~~~~~~~~~~~n39c

-J

w

W~- C

a I- r- -f t 0 I- 040 P.

Li ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~~~L

= " I ~ 9 " ?

_j LL.

Li.

w cv rc '

w I1w

C)w CD W. i

(18)

ENCLOSURE I ENCLOSURE

V

-~~~~~~J~~

a~ ~-

o

I o

V) C) V) I.- c

o C

o 0 CD

w o- w o c C

%c V) M -cc CD

c u o

r LL C 0

I- Lio -I - -

o _r 0 03 -- L_

_- m - * M

0.1 _ Li _ - I-

ffi p.>L m 0 Lii L i

LA O .L co

O- OL 0 1 - O U l

I K O C X Z U) 0 W

_w) e

- 1 : -J

) 0 U Lii -i Kn

U'- JC -- E LO) :j a.J th tm c \J i

0 OJJ I -J L O F- YC U) c

- L i . Si

U= Li i _ = = 0 =

U Z * 0 o L K a 0 o 0

,i _ 0 s D L 0 0

V :- 3 1 :I _ 0

e . K U I ; Cd)

c I0

7

(19)

ENCLOSURE I ENCLOSURE I

F- = zz,; o C

8~~~~~~~~~~~~~~~~~~~~~~~L i m-

>~~~ I a

4A

ki c

(-)~~~~~~~~~~~~~~-

_' 0 K S

LU

<-) -_ Z

B I O O Z 0 Z t C

Ix F F ' ui n

L.A 0.~~~~~~~~~~~~~~~~~~~~< 1 C

ca ~~ W ~ a

_ L. W

O < 0L Z

< ~ I z N z 11 a.

(r) U

I ~ ~ ~ ~ ~ ~

> J O - ;,u _ = Co°, >0

I._ > Z F- @ -F- ; O F -w

CJ 4 Z

Z~~~L L = 0 -U

cZc -, __, f _l

o Y . J _ F- V - Z O ZC - 0> O

cm M c c.-

Zo O J 3.- -J4 -

z~~~~~

r ~ ~ L 0

° ffi Z F- ° % 3

£

g W

S 0 0 Fu Q | F- F F- - X CL Io , fi O

ex w CDU

~4

4 u U

o- F- CZ F-- CD Oc-Vo rY Ln 0 J F

I t2 I I I a II

tY 0

U- Z 0 B- ~~~~~~~~~~~~~~~~~~~~U- C

ill N a oc d~~~~~~~~~~~~~;ct

lLr~~~~~~~~~W FL C

Z~~~~~

-J . 0i S.- t I.

L, ~ ~ ~ ~ ~ L s- -U, K L

0r 0 LI c

B- -

B. B U- a LIn B "

C.) -. *J B 5/ C.

B- Lfl

U, ~L, r

r o L n c & z wr

(%JL a

L4L

uJ Z 0 I. I. W.

...B- J LI B- ~~~~~~ I -J U U :-B- . 0 B- LL

-I a u ~ ICa~~~~~~~~~~~~~~~~~~~c

Lu 4/) ) F- L U) w 6n U, L LL. yp

:II- 0 ) Li 0-L Uj UJI L 0 UJA CD o)

C.) CD a:

U.. 0~~~~~~~

8~~~~

(20)

ENCTOSURE I ENCLOSURE I

CZ

cr:I OI

o

(A~~~~~~~~~~~~2

U ~ ~ ~ ~ ~ L LU

. 0

o ) CA_

- ( o

Ji V m (A L

Ln _

0 _ 0--I-V

27~~~~~~~~~~~~~~~~~~O T5 F

s O~~~~~~~~~~~~~~~~~~~V

cO CM,^ F

0 0

O~~~~~~ - Ci Z, 0Z

z w w1

uj . ~j ui~~~~U. C

U. Ca C C3~~~~~~

(A (A uj

V O o ~ >t

w w L_ >-

0 O 0 J OI )

C)

LUi U J =

U- 'S b (A I- . L&' C- cc

CD (A 0 0Ca ) -cc 0

- O 2w L C I-I:-

c c, I u CD

8~~ 2 ~ o °° °F

Z. Z 0 - 08 B- o Ci 0-l Ci >

I- L LIU . ... ( a - J a

.~ ~ L _-

- tU - 0 XQ0 0

_ L -i B - < -U-

D_ JU L ZUJI- 1A 0.1 D - D_. LJ -

J O J O L 1ZZ. =

V)e C m CD

0

_ 1- 0 D 0 C D Z - 0-

ui J - f J X D

-lc t t' J L U 0 o

L O e w -J U

uJ CD ( V 0. u m a. C Z U 0 3 0 C a-

U. IC 1i L " UI -- LU

0 .i Z 0)U Ou

@

Ci ( A C~~~~~~n. w f # S LU w D i C) C 1= i U Z E

~~~~~IJ Z .' C .CYJ Z~ O- .. Z4 _. LU [ 0J

o : LU LU LU O-4 0) ~< Z B LUAZ

B- I- ^ B- ^ 1 * 1 - ' _ 0 Z 1 J LU

3 ( DA Z0 ( A ZU ~ ~ 0 L (A f (A LU Z

O- )- C 0 w w

LU (A ~ ~ ~ ~ N LU 0 a- 0 (A~~4 U< tn 0) .u

6 w ui 0. U w

I- U U - (K (A > a

ci cm CD 0 in L B = >- J. (A Q I--

'. IU '- 0 0 I .I - LU | ~ C

Ie U- co C r

LU~ LU WU

ILU ~ 0

-C'J B- IL. 0 D

C o A Z c V~~~~~~~~~~~~~c

LU I I .. 4 I~~~~~~~~~~~~~~- I~ I -2 I9 -

0) e >.

V) C cn c c

IWe I I I

B- T

I PI a ~

I~~ I

9

;e ;r o v, w ui9 E

(21)

ENCLOSURE I EICLOSURE I

o v,~~~~~~~~~~~~~~~~~c

U, L

CL

c- #- 0

u vr~~~~~~~~~c

I o W

L) (. U. .

LU. CD. .

tB "~~~~~~~~~~~~~~~~~t

W U.

- LU0

cr z

c C. m wJ~~~~~-

LU Ic a

o e p- - ..i

4n z

U, U

II

im , z LU

LU~~~~~c '3 in U.J z~~~~~-U 4n LU

a: . -9-

U,

Q~~~ V1C~~Z 2

ii

L

Wr

Cm ui 0-6 W

W W 0. i g i

W CD U. z 4i- 6

-aI

YO iS B B~~~~~~~~C

~~t-~L LUe -

10 ~ ~ ~ ~~-

r ~ ~ x 0

U, I- LU-

-. 3 ') .. J a~ 0 , .J U U,

Z~~~V

LU LU LU Li I- &f U, U aU

UZ 0 I- 0 I- Z, I- L -

LU S

U, I S I~ ~

I~U I I!

-g

(. 0 L

(22)

ENCLOSURE I ZNCLOSURE I

-J _ I-

00 0

0V)

gY . .

V) W -i W U," Li i'L

I- Lc

wr ~~cnr

w · oc

LU r 4v)

I- >

Z ,

o cw a E

CZ 0

s >- sr z

C~~~~~~~~~~C W~~~~

CD Y : 39 0 0

Z o F-. Z 4-O

iN~~~c

F-- z: O -

u- F-w8

Q LU _ 0~~~~~~L

0 - 0 LUa

LU ~ 4- >-. F- J =J

c W o :s Z

W~~

LW m Wo m

cn~

1-1~~~~~~~~~~~~~~~-

C. -4 3

W r~

0 K x -Jc

g Y~~~1 a X i

z CZ W Z u>tjZ W -C

W~~

D:L _ g < F

U - LU LU-

'Clcr V)~~~~~~~V

8 o c

Ur 00

-U W °r O Z F- i O > C Z

Co

" U o Z

>- P 4 LW

5h _ CZ ZrC K 7Z > L Z Z >J )

I. F- LU .F W F O

4: 1)P 1 1 1

KC Z

LU g~~- _.

0 I

Références

Documents relatifs

As far as the importance in theoretical computer science and mathemat- ics are concerned, the role of SAT in the P-vs-NP problem (one among the 7 Millennium Problems listed by the

- Testing the impact of the landscape changes on two mosquito species (Ae. vexans and Cx. poicilipes) diffusion in space and in time in Barkedji area (Ferlo,

To refer to fields within a record, you must create a context. If there is more than one valid context for a field name, DATATRIEVE uses the most recent valid con- text. BIGGIES

We evaluate the effect of different parts of a HIN on the accuracy and the diversity of recommen- dations, then investigate if these effects are only due to the semantic content

Everyone will be permitted to modify and redistribute GNU, but no distributor will be allowed to restrict its further redistribution.’ Compare these hopefully

Model Driven Engineering (MDE) benefits software development (a.k.a. Model Driven Software Development) as well as software processes (a.k.a. Software Process Mod-

In particular, the validation process is built around a formal development based on the interactive theorem proving system Isabelle/HOL, by linking the business logic of the

Using the same technique as prompt tags, we attach contracts to this key so that the continuation mark operations can introduce contract checks based on the key’s contract..