The subject which is to us propos¨¦ is as follows: calculation of the degr¨¦ d¡ ¯ inconsistance d¡ ¯ un logical program possibilist in C++. We thus work on a logical program possibilist, it be-¨¤-statement a logical program resulting from non-classique logic. The goal first of this project is of d¨¦ terminer if a logical program is consisting or not of share the calculation of sound degr¨¦ d¡ ¯ inconsistance.
標(biāo)簽: brvbar calculation subject follows
上傳時(shí)間: 2013-12-18
上傳用戶(hù):yulg
The JICQ is the bureau area which JAVA writes according to "Customer s Machine/Server"(C/S) mode message solid hour correspond by letter tool system, the system adopted the SQL Server2000 of Microsoft company as a backstage database, the system passes a JDBC interview database. The system is divided into the server procedure and customer s procedure two parts, server and customer adoption "Transmission Control Protocol"(TCP), connect a word (Socket) conjunction through a set, the adoption "User Datagram Protocol "(UDP) of the customer s, pass a data report a set to connect a word (DatagramSocket) establishment a conjunction. The system has customer registration, customer to register, increase good friend, delete good friend and send out and receive news etc. function.
標(biāo)簽: according Customer Machine Server
上傳時(shí)間: 2014-01-04
上傳用戶(hù):jyycc
The program was written with some object-orientation in mind, which means that all functions that operate on a certain structure, has the structure s name as prefix in the function name, for example "Bitstream_get" which gets bits from a bitstream structure.
標(biāo)簽: object-orientation that functions program
上傳時(shí)間: 2014-01-15
上傳用戶(hù):epson850
The Art of C++ by Herbert Schildt ISBN:0072255129 McGraw-Hill/Osborne © 2004 The author of this text applies C++ to a wide variety of high-powered, practical applications, each focusing on a different aspect of the language. Examples range from a garbage collector subsystem and a thread control panel to AI-based searches and more.
標(biāo)簽: McGraw-Hill 0072255129 The Herbert
上傳時(shí)間: 2015-07-18
上傳用戶(hù):lx9076
Robustnesstochangesinilluminationconditionsaswellas viewing perspectives is an important requirement formany computer vision applications. One of the key fac-ors in enhancing the robustness of dynamic scene analy-sis that of accurate and reliable means for shadow de-ection. Shadowdetectioniscriticalforcorrectobjectde-ection in image sequences. Many algorithms have beenproposed in the literature that deal with shadows. How-ever,acomparativeevaluationoftheexistingapproachesisstill lacking. In this paper, the full range of problems un-derlyingtheshadowdetectionareidenti?edanddiscussed.Weclassifytheproposedsolutionstothisproblemusingaaxonomyoffourmainclasses, calleddeterministicmodeland non-model based and statistical parametric and non-parametric. Novelquantitative(detectionanddiscrimina-ionaccuracy)andqualitativemetrics(sceneandobjectin-dependence,?exibilitytoshadowsituationsandrobustnesso noise) are proposed to evaluate these classes of algo-rithms on a benchmark suite of indoor and outdoor videosequences.
標(biāo)簽: Robustnesstochangesinillumination conditionsaswellas perspectives requirement
上傳時(shí)間: 2014-01-23
上傳用戶(hù):whenfly
In this paper, we provide an overview of the security concerns introduced by wireless LANs, current approaches to wireless LAN security, their limitations, and the weaknesses of various “band aid” security solutions. We conclude by describing how the ReefEdge Connect System provides a comprehensive solution to wireless LAN security.
標(biāo)簽: introduced overview concerns security
上傳時(shí)間: 2015-11-02
上傳用戶(hù):凌云御清風(fēng)
GPS軟件接收機(jī)設(shè)計(jì)的經(jīng)典英文書(shū)籍,《Fundamentals of Global Positioning System Receivers - A Software Approach》對(duì)設(shè)計(jì)人員極具有參考價(jià)值。
標(biāo)簽: GPS 軟件 收機(jī)設(shè)計(jì) 書(shū)籍
上傳時(shí)間: 2013-12-16
上傳用戶(hù):l254587896
The ability to write efficient, high-speed arithmetic routines ultimately depends upon your knowledge of the elements of arithmetic as they exist on a computer. That conclusion and this book are the result of a long and frustrating search for information on writing arithmetic routines for real-time embedded systems. With instruction cycle times coming down and clock rates going up, it would seem that speed is not a problem in writing fast routines. In addition, math coprocessors are becoming more popular and less expensive than ever before and are readily available. These factors make arithmetic easier and faster to use and implement. However, for many of you the systems that you are working on do not include the latest chips or the faster processors. Some of the most widely used microcontrollers used today are not Digital Signal Processors (DSP), but simple eight-bit controllers such as the Intel 8051 or 8048 microprocessors.
標(biāo)簽: arithmetic high-speed ultimately efficient
上傳時(shí)間: 2014-11-30
上傳用戶(hù):lizhen9880
The present document specifies the CAMEL Application Part (CAP) supporting the fourth phase of the network feature Customized Applications for Mobile network Enhanced Logic. CAP is based on a sub-set of the ETSI Core INAP CS-2 as specified by ETSI EN 301 140 1 [26]. Descriptions and definitions provided by ETSI EN 301 140 1 [26] are directly referenced by this standard in the case no additions or clarifications are needed for the use in the CAP.
標(biāo)簽: the Application supporting specifies
上傳時(shí)間: 2015-12-24
上傳用戶(hù):84425894
TRAFFIC LIGHT CONTROLLER using C51 and RTX-51 tiny,This program is a simple Traffic Light Controller. Between start time and end time the system controls a traffic light with pedestrian self-service. Outside of this time range the yellow caution lamp is blinking.
標(biāo)簽: CONTROLLER TRAFFIC LIGHT using
上傳時(shí)間: 2013-12-27
上傳用戶(hù):123456wh
蟲(chóng)蟲(chóng)下載站版權(quán)所有 京ICP備2021023401號(hào)-1