 | 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 signals from a digital system or digital circuit. A logic analyzer may convert the captured data into timing diagrams, protocol decodes, state machine traces, assembly language, or may correlate assembly 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, also known as packet sniffer, protocol analyzer, or network analyzer, is a computer program or computer hardware such as a packet capture appliance, that can intercept 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.
A Petri net, also known as a place/transition (PT) 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, depicted as white circles and rectangles, respectively. 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 Mars orbiter that failed to reach Mars due to electrical failures. The 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 device communications bus system designed by Dallas Semiconductor Corp. that provides low-speed data, signaling, and power 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.
Sartorius AG is an international pharmaceutical and laboratory equipment supplier, covering the segments of Bioprocess Solutions and Lab Products & Services.
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 solutions 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, or Keysight, is an American company that manufactures electronics test and measurement equipment and software. In 2014, Keysight was spun off from Agilent Technologies, taking with it the product lines focused on electronics and radio, leaving Agilent with the chemical and bio-analytical products.
The Mars Organic Molecule Analyser (MOMA) is a mass spectrometer-based instrument on board the Rosalind Franklin rover to be launched in August–October 2022 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.