 | The topic of this article may not meet Wikipedia's general notability guideline .(May 2013) |
 |
Maria: The Modular Reachability Analyzer is a reachability analyzer for concurrent systems that uses Algebraic System Nets (a high-level variant of Petri nets) as its modelling formalism.
 | This computer science article is a stub. You can help Wikipedia by expanding it. |
In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" when reaching a certain value, called the modulus. The modern approach to modular arithmetic was developed by Carl Friedrich Gauss in his book Disquisitiones Arithmeticae, published in 1801.
A logic analyzer is an electronic instrument that captures and displays multiple logic signals from a digital system or digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, opcodes, or may correlate opcodes with source-level software. Logic analyzers have advanced triggering capabilities, and are useful when a user needs to see the timing relationships between many signals in a digital system.
A packet analyzer is a computer program or computer hardware such as a packet capture appliance that can analyze and log traffic that passes over a computer network or part of a network. Packet capture is the process of intercepting and logging traffic. As data streams flow across the network, the analyzer captures each packet and, if needed, decodes the packet's raw data, showing the values of various fields in the packet, and analyzes its content according to the appropriate RFC or other specifications.
Lex is a computer program that generates lexical analyzers. It is commonly used with the yacc parser generator and is the standard lexical analyzer generator on many Unix and Unix-like systems. An equivalent tool is specified as part of the POSIX standard.
A Petri net, also known as a place/transition net, is one of several mathematical modeling languages for the description of distributed systems. It is a class of discrete event dynamic system. A Petri net is a directed bipartite graph that has two types of elements: places and transitions. Place elements are depicted as white circles and transition elements are depicted as rectangles. A place can contain any number of tokens, depicted as black circles. A transition is enabled if all places connected to it as inputs contain at least one token. Some sources state that Petri nets were invented in August 1939 by Carl Adam Petri—at the age of 13—for the purpose of describing chemical processes.
Electronic test equipment is used to create signals and capture responses from electronic devices under test (DUTs). In this way, the proper operation of the DUT can be proven or faults in the device can be traced. Use of electronic test equipment is essential to any serious work on electronics systems.
Mass spectrometry (MS) is an analytical technique that is used to measure the mass-to-charge ratio of ions. The results are presented as a mass spectrum, a plot of intensity as a function of the mass-to-charge ratio. Mass spectrometry is used in many different fields and is applied to pure samples as well as complex mixtures.
Nozomi was a Japanese Mars orbiter that failed to reach Mars due to electrical failure. It was constructed by the Institute of Space and Astronautical Science, University of Tokyo and launched on July 4, 1998, at 03:12 JST with an on-orbit dry mass of 258 kg and 282 kg of propellant. The Nozomi mission was terminated on December 31, 2003.
Modularity of mind is the notion that a mind may, at least in part, be composed of innate neural structures or mental modules which have distinct, established, and evolutionarily developed functions. However, different definitions of "module" have been proposed by different authors. According to Jerry Fodor, the author of Modularity of Mind, a system can be considered 'modular' if its functions are made of multiple dimensions or units to some degree. One example of modularity in the mind is binding. When one perceives an object, they take in not only the features of an object, but the integrated features that can operate in sync or independently that create a whole. Instead of just seeing red, round, plastic, and moving, the subject may experience a rolling red ball. Binding may suggest that the mind is modular because it takes multiple cognitive processes to perceive one thing.
1-Wire is a wired half-duplex serial bus designed by Dallas Semiconductor that provides low-speed (16.3 kbit/s) data communication and supply voltage over a single conductor.
The AutoAnalyzer is an automated analyzer using a flow technique called continuous flow analysis (CFA), or more correctly segmented flow analysis (SFA) first made by the Technicon Corporation. The instrument was invented in 1957 by Leonard Skeggs, PhD and commercialized by Jack Whitehead's Technicon Corporation. The first applications were for clinical analysis, but methods for industrial and environmental analysis soon followed. The design is based on segmenting a continuously flowing stream with air bubbles.
Modular design, or modularity in design, is a design principle that subdivides a system into smaller parts called modules, which can be independently created, modified, replaced, or exchanged with other modules or between different systems.
A network analyzer is an instrument that measures the network parameters of electrical networks. Today, network analyzers commonly measure s–parameters because reflection and transmission of electrical networks are easy to measure at high frequencies, but there are other network parameter sets such as y-parameters, z-parameters, and h-parameters. Network analyzers are often used to characterize two-port networks such as amplifiers and filters, but they can be used on networks with an arbitrary number of ports.
NeSSI is a global and open initiative sponsored by the Center for Process Analysis and Control (CPAC) at the University of Washington, in Seattle.
Maria may refer to:
SAF Tehnika is a Latvian designer, producer and distributor of digital Microwave Data transmission equipment. SAF Tehnika products provide wireless backhaul for digital voice and data transmission to mobile and fixed network operators, data service providers, governments, and private companies. The company sells microwave point-to-point radios for licensed and license-free frequency bands, as well as unique spectrum analyzer Spectrum Compact. SAF Tehnika also provides customized microwave solutions for various applications, such as Broadcasting and Low latency networks.
Frama-C stands for Framework for Modular Analysis of C programs. Frama-C is a set of interoperable program analyzers for C programs. Frama-C has been developed by the French Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA-List) and Inria. It has also received funding from the Core Infrastructure Initiative. Frama-C, as a static analyzer, inspects programs without executing them. Despite its name, the software is not related to the French project Framasoft.
NTi Audio AG is a manufacturer of test and measurement instruments for acoustics, audio and vibration applications. With headquarters in Schaan, Liechtenstein, the company specializes in end-of-line audio testing for manufacturing quality control purposes, provides instruments for testing public address systems in safety-critical environments and also produces handheld Audio Analyzers and generators aimed at the professional audio industry.
Keysight Technologies, Inc. is an American company that manufactures electronics test and measurement equipment and software. The name is a blend of key and insight. The company was formed as a spin-off of Agilent Technologies, which inherited and rebranded the test and measurement product lines developed and produced from the late 1960s to the turn of the millennium by Hewlett-Packard's Test & Measurement division.
The Mars Organic Molecule Analyser (MOMA) is a mass spectrometer-based instrument on board the Rosalind Franklin rover to be launched in 2028 to Mars on an astrobiology mission. It will search for organic compounds in the collected soil samples. By characterizing the molecular structures of detected organics, MOMA can provide insights into potential molecular biosignatures. MOMA will be able to detect organic molecules at concentrations as low as 10 parts-per-billion by weight (ppbw). MOMA examines solid crushed samples exclusively; it does not perform atmospheric analyses.