|
|
temporal logic
<logic> An extension of predicate calculus which includes
notation for arguing about *when* statements are true. Time
is discrete and extends indefinitely into the future. Three
prefix operators, represented by a circle, square and diamond
mean "is true at the next time instant", "is true from now on"
and "is eventually true". x U y means x is true until y is
true. x P y means x precedes y.
There are two types of formula: "state formulae" about things
true at one point in time, and "path formulae" about things
true for a sequence of steps. An example of a path formula is
"x U y", and example of a state formula is "next x" or a
simple atomic formula such at "waiting".
"true until" in this context means that a state formula holds
at every point in time up to a point when another formula
holds. "x U y" is the "strong until" and implies that there
is a time when y is true. "x W y" is the "weak until" in
which it is not necessary that y holds eventually.
There are two types of temporal logic used: branching time and
linear time. The basic propositional temporal logic cannot
differentiate between the two, though. Linear time considers
only one possible future, in branching time you have several
alternative futures. In branching temporal logic you have the
extra operators "A" (for "all futures") and "E" (for "some
future"). For example, "A(work U go_home)" means "I will work
until I go home" and "E(work U go_home)" means "I may work
until I go home".
(1997-01-21)
Try this search on OneLook / Google
Nearby terms:
TEMPO « Tempo « temporal database « temporal logic » Tempura » Ten15 » tendinitis
This article was derived from the Free Online Dictionary of Computers and is available under ther terms of the GNU Free Documentation License.
512MB DDR RAM PC2700 184-Pin DIMM Major/3rd512MB DDR RAM PC2700 184-Pin DIMM Major/3rd *184-pin 512MB PC-2700 DDR RAM*This PC-2700 DIMM of DDR RAM providesmore bandwidth by transferring data onboth the rising and falling edge of theclock cycle resulting in faster accesstime to and from the RAM. This is a greatway to upgrade existing workstations andservers.- 512MB DDR (Double Data Rate) RAM- PC-2700- 333Mhz- 184-pin- 64x4- 16c- Brand New Compatibility/Requirements/Disclosures:* Motherboard that supports 512MB PC-2700 DDR RAM ** Disclosures *** Picture is for representational purposes only* Country of Origin: Taiwan, Italy More ...
SanDisk 128MB + 802.11b WiFi CF Card-2 for $69.99SanDisk 128MB + 802.11b WiFi CF Card-2 for $69.99 ** SanDisk 128MB + 802.11b WiFi CF Card-2 for $69.99 **This SanDisk Connect Plus combines flash memory and wireless communications into a single card! It features 128 MB memory, 802.11b wireless connectivity, 11 Mbps high speed data transfer rate, and low power consumption. Access the Internet, check email, send and receive from any available access points as well as store data or photos from one device. Order your SanDisk Connect Plus 128 MB + 802.11b WiFi CompactFlash Card today!!General Features:- Stores up to 128 MB of Memory- Compliant to IEEE 802.11b, WiFi certified - 11 Mbps high speed data transfer rate - 2400 - 2483 MHz operating channels- 15 dBm maximum RF output- Powerful and easy to use security feature makes WEP encryption easy- Single slot solution - can be used as memory card orWiFi card to store or move files- Infrastructure, Ad-hoc, roaming network architecture- LED activity indicator- Low power consumption- CompactFlash V1.4, CF+I/O interface, Type I CFA compliant- Includes PC card adapter for laptopsData Rate:- 1 Mbps- 2 Mbps- 5.5 Mbps- 11 Mbps- Auto Fall backCover Range:- 1 Mbps: 1200 feet- 2 Mbps: 800 feet- 5.5 Mbps: 650 feet- 11 Mbps: 450 feetOperating Channels:- Channel 1 - 11 (North America)- Channel 1 - 14 (Europe)- Channel 10 - 13 (France)- Channel 10 - 11 (Spain)- Channel 1 - 14 (Japan)Software Support:- Pocket PC 2002, 2003- Windows 98/ME/2000/XP (XP requires Service Pack 1)Regulatory Approvals:- FCC- CE- MIC- C-TickRetail Blister Pack Includes:- SanDisk Connect Plus 128 MB + 802.11b WiFi CompactFlash Card- PC card adapter- Installation CD (3-inch type) Compatibility/Requirements/Disclosures:** Requirements *** Pocket PC 2002, 2003* Windows 98/ME/2000/XP (XP requires Service Pack 1)* CompactFlash Memory Slot * Available Type II PC card slot* CD-ROM drive* 802.11b access point Informational Links:http://www.sandisk.com/retail/drivers-sdwcfb-128.asp More ...
AMD 5x86 P75 486 ProcessorAMD 5x86 P75 486 Processor ** AMD 5x86 P75 486 Processor **General Features:- AMD Am5x86-P75- 75MHz- 3.3 voltNote:- This is not standard Socket 5 or 7, it is made to be hard wired to a motherboard More ...
Targus DEFCON Fingerprint Authenticator w/2-Port UTargus DEFCON Fingerprint Authenticator w/2-Port U ** Targus DEFCON Authenticator with 2-port USB Hub **This Targus DEFCON Authenticator is an ideal solution to enhance data security, allowing you to bid good-bye to passwords forever! The DEFCON Authenticator is a biometrics, USB-based, stand-alone fingerprint unit with 2 incorporated USB ports. This device uses biometric technology to grant hard-drive access only to authorized users through fingerprint identification, eliminating the need for standard passwords, and increasing the level of data protection. With the DEFCON Authenticator, you now have the one-touch answer to all of your computer security needs. Be completely safe - buy yours today!General Features:- Fingerprint Biometric Authentication allows only authorized users to access sensitive data information- Silicon fingerprint sensor featuring AuthenTec's TruePrint technology- AuthenTec EntrTPad AES4000 fingerprint sensor- Integrated 2-port USB hub- 3-foot USB cable attached to unit- Light, compact, easy to useDimensions:- 2.7 x 1.9 x 0.8 (L xW x H)Regulatory Approvals:- FCC- UL- CE- C-TickBox Includes:- Targus DEFCON Authenticator with USB Hub- Software on CD (Softex OmniPass)- Installation GuideNotes:- Model: PS460- Part No.: PASEC200 Compatibility/Requirements/Disclosures:** Requirements *** PC with Intel Pentium CPU or equivalent* Windows 98/Me/2000/XP* 64 MB RAM* Available USB port* CD-ROM Drive More ...
HP/Compaq Notebook AC Adapter - 2 for $29.99HP/Compaq Notebook AC Adapter - 2 for $29.99 ** HP/Compaq Notebook AC Adapter - 2 for $29.99 **This 19 Volt AC Adapter is ideally suited to power your HP Omnibook, HP Pavilion, and Compaq Presario series notebooks! Pick up a spare AC power adapter for your HP or Compaq notebook today!General Features:- 60W AC adapter- Output Volt: 19V- Output AMP: 3.16A- Input Voltage: AC 100-240V- Power LEDHP Omnibook Series Compatible Models:- 500- 900- 2100- 3000- 3100- 4100- 4150- 6000- 7100- 7150HP Pavilion Series Compatible Models:- N3000- N3100- N3150- N3250- N3270- N3290/5- N3310- N3330- N3390- N3410- N5000- N5100- N5125- N5130- N5150- N5170- N5190/5- N5200- N5210- N5270- N5290/5- N5300- N5350- N5380- N5390/5Compaq Presario Compatible Models:- 700- 710- 800- 1200- 1400- 1600 - 1700- 1800- 2700- XE- XE2- XE3- Prosinia 150 SeriesRetail Package Includes:- HP/Compaq Notebook Compatible 60W 19V AC AdapterNotes:- Model: AC19V3.16-HPQ Compatibility/Requirements/Disclosures:** Requirements *** Compatible HP/Compaq notebook* Available power outlet More ...
PS/2 110-Key Windows Multimedia Keyboard (Sil/Blu)PS/2 110-Key Windows Multimedia Keyboard (Sil/Blu) ** PS/2 110-Key Windows Multimedia Keyboard **This Windows Multimedia Keyboard features a 110-key layout, Multimedia and Internet Hot Keys, and a PS/2 interface. It offers an ergonomic design that makes typing comfortable every time. Get yours today!General Features:- Silver and blue design- PS/2 interface- 110-keys- Black lettering on light gray keys- Multimedia and Internet Hot Keys- Power/Sleep/Wake keys- Tilt legs- Ergonomic design- 50-inch cable length (approximate)Regulatory Approvals:- FCC- CERetail Box Includes:- PS/2 110-Key Windows Multimedia Keyboard Compatibility/Requirements/Disclosures: ** Requirements *** Windows 95/98/ME/2000/XP* Available PS/2 port More ...
|
