“signature”的概念、定义、翻译、参考文献-科学参考

signature

Computer

1. A collection of symbols intended to be associated with sets and with functions on and elements from the sets. Signatures provide names for the carrier sets, operations, and constants of algebras. They are central in the precise treatment of the syntax of many computer science concepts, including (a) abstract data types, (b) algebraic specifications, and (c) classes, modules, and objects. Typically, headers of modules are signatures. The specification of an Ada package is in effect a signature.
In its simplest form a signature is a set Σ‎ of symbols with, for each Σ‎ ∈‎ Σ‎, a natural number ρ‎(σ‎) called the arity of Σ‎. A Σ‎-algebra consists of a set A (called the carrier of the algebra) together with, for each σ‎ ∈‎ Σ‎, an n-argument function over A, where n = ρ‎(σ‎). As an example, suppose
$\begin{array}{l} Σ = {‘zero’, ‘one’, ‘plus’, ‘times’} \\ with ρ (‘zero’) = ρ (‘one’) = 0 \\ and ρ (‘plus’) = ρ (‘times’) = 2 \end{array}$
Then one Σ‎-algebra results from taking the set of all integers as carrier, and associating the number 0 with ‘zero’, 1 with ‘one’, addition with ‘plus’, and multiplication with ‘times’. As indicated by ρ‎, addition and multiplication are 2-argument functions while zero and one, being constants, expect no arguments and their arity is 0.
It is important to realize that the above example describes only one possible Σ‎-algebra. For example, the carrier could be the real numbers; or, perversely multiplication could be associated with ‘plus’ and addition with ‘times’; equally sets could be considered instead of numbers, associating, say, union and intersection with ‘plus’ and ‘times’. The point is that an algebra can involve arbitrary sets and arbitrary functions: any choice is as much an algebra as any other and it need not reflect in any obvious way the names chosen for the symbols in the signature. Indeed the whole point of signatures is to make a distinction between the names and symbols and their possible interpretations.
In computer science the more complex notion of many-sorted signature is used. This allows algebras to have many carriers. A signature now, in addition to function symbols, includes a set of sorts. These are symbols that, in an algebra, are associated with carrier sets. Instead of a natural number, ρ‎(σ‎) is a sequence of sorts indicating which sets the arguments come from, together with an additional sort giving the set in which the result lies.
Signatures are often displayed as shown in the diagram. Here real numbers and Booleans are equipped with their usual operations.
2. That part of an email message in which the originator states his or her identity and claims authenticity.
3. A bit pattern believed to be specific to a particular program and used to identify virus programs or unlicensed copies of proprietary software.
4. See signature analysis.
Signature. A signature for real numbers

Logic

In a first-order deductive system, a collection $σ$ of sets $C$ , $F$ , and $R$ , containing constant symbols, function symbols, and relation symbols, respectively. A signature $σ$ determines a unique set of terms by the scheme:
- • If $x$ is a variable then $x$ is a term
- • If $c \in C$ then $c$ is a term
- • If $f \in F$ is an $n$ -ary function symbol and $t_{0}, . . ., t_{n - 1}$ are terms, then $f (t_{0}, . . ., t_{n - 1})$ is a term
Considering $σ$ also leads to a unique set of atomic formulae by the scheme:
- • If $R \in R$ is an $n$ -ary relation symbol and $t_{0}, . . ., t_{n - 1}$ are terms, then $R t_{0}, . . ., t_{n - 1}$ is an atom
- • If $t_{0}$ and $t_{1}$ are terms, then $t_{0} = t_{1}$ is an atom (if identity is assumed to be a logical symbol)
Depending on the deductive system—i.e., the connectives and other logical symbols it employs—the signature will then determine a particular language $ℒ_{σ}$ as well.

Geology and Earth Sciences

The characteristics of geophysical anomalies within a region or along a profile. It is often based on Fourier or power-spectrum analyses of either gravity (gravity signature) or magnetic (magnetic signature) residual anomalies.

单词	signature
释义	signature Computer 1. A collection of symbols intended to be associated with sets and with functions on and elements from the sets. Signatures provide names for the carrier sets, operations, and constants of algebras. They are central in the precise treatment of the syntax of many computer science concepts, including (a) abstract data types, (b) algebraic specifications, and (c) classes, modules, and objects. Typically, headers of modules are signatures. The specification of an Ada package is in effect a signature. In its simplest form a signature is a set Σ‎ of symbols with, for each Σ‎ ∈‎ Σ‎, a natural number ρ‎(σ‎) called the arity of Σ‎. A Σ‎-algebra consists of a set A (called the carrier of the algebra) together with, for each σ‎ ∈‎ Σ‎, an n-argument function over A, where n = ρ‎(σ‎). As an example, suppose $\begin{array}{l} Σ = {‘zero’, ‘one’, ‘plus’, ‘times’} \\ with ρ (‘zero’) = ρ (‘one’) = 0 \\ and ρ (‘plus’) = ρ (‘times’) = 2 \end{array}$ Then one Σ‎-algebra results from taking the set of all integers as carrier, and associating the number 0 with ‘zero’, 1 with ‘one’, addition with ‘plus’, and multiplication with ‘times’. As indicated by ρ‎, addition and multiplication are 2-argument functions while zero and one, being constants, expect no arguments and their arity is 0. It is important to realize that the above example describes only one possible Σ‎-algebra. For example, the carrier could be the real numbers; or, perversely multiplication could be associated with ‘plus’ and addition with ‘times’; equally sets could be considered instead of numbers, associating, say, union and intersection with ‘plus’ and ‘times’. The point is that an algebra can involve arbitrary sets and arbitrary functions: any choice is as much an algebra as any other and it need not reflect in any obvious way the names chosen for the symbols in the signature. Indeed the whole point of signatures is to make a distinction between the names and symbols and their possible interpretations. In computer science the more complex notion of many-sorted signature is used. This allows algebras to have many carriers. A signature now, in addition to function symbols, includes a set of sorts. These are symbols that, in an algebra, are associated with carrier sets. Instead of a natural number, ρ‎(σ‎) is a sequence of sorts indicating which sets the arguments come from, together with an additional sort giving the set in which the result lies. Signatures are often displayed as shown in the diagram. Here real numbers and Booleans are equipped with their usual operations. 2. That part of an email message in which the originator states his or her identity and claims authenticity. 3. A bit pattern believed to be specific to a particular program and used to identify virus programs or unlicensed copies of proprietary software. 4. See signature analysis. Signature. A signature for real numbers Logic In a first-order deductive system, a collection $σ$ of sets $C$ , $F$ , and $R$ , containing constant symbols, function symbols, and relation symbols, respectively. A signature $σ$ determines a unique set of terms by the scheme: • If $x$ is a variable then $x$ is a term • If $c \in C$ then $c$ is a term • If $f \in F$ is an $n$ -ary function symbol and $t_{0}, . . ., t_{n - 1}$ are terms, then $f (t_{0}, . . ., t_{n - 1})$ is a term Considering $σ$ also leads to a unique set of atomic formulae by the scheme: • If $R \in R$ is an $n$ -ary relation symbol and $t_{0}, . . ., t_{n - 1}$ are terms, then $R t_{0}, . . ., t_{n - 1}$ is an atom • If $t_{0}$ and $t_{1}$ are terms, then $t_{0} = t_{1}$ is an atom (if identity is assumed to be a logical symbol) Depending on the deductive system—i.e., the connectives and other logical symbols it employs—the signature will then determine a particular language $ℒ_{σ}$ as well. Geology and Earth Sciences The characteristics of geophysical anomalies within a region or along a profile. It is often based on Fourier or power-spectrum analyses of either gravity (gravity signature) or magnetic (magnetic signature) residual anomalies.
随便看	clinostat clinothem clinozoisite clint Clinton, Bill (1946) Clinton, George (1739–1812) Clinton ironstone cliometrics clip art clipboard clipped trace clipping clitellum Clitomachus (7–110) clitoris clitter Clive, Robert, 1st Baron Clive of Plassey (1725–74) CLNS cloaca cloaking clock clock arithmetic clock cycle clock drift clock drive