975 resultados para Lambda calculus


Relevância:

10.00% 10.00%

Publicador:

Resumo:

An HPLC-UV-MS method for simultaneous identification of predominant phenolics and minor nucleoside derivatives in Gastrodia elata was developed, which was based on their UV and MS characteristics summarized through a series of homemade reference standard experiments. Phenolics showed characteristic UV lambda(max) at 267 nm, [M + NH4](+) base peak in positive mode and [M - H](-) base peak in negative mode while nucleosides exhibited UV lambda(max) at 255 nm, [M + H](+), [M - H + 2H(2)O](-) or [M - H + CH3COOH](-). Phenolics conjugates mainly underwent the consecutive loss of gastrodin residue (- 268 U) and the combined loss of H2O and CO2 from the citric acid unit under negative MS/MS conditions whereas nucleosides simply lost the ribose (- 132 U) under positive MS/MS conditions. According to these characteristics, a special pattern under MS/MS conditions and reported compound data for G. elata in the literature, not only 15 phenolics were identified but also 6 nucleoside derivatives were identified. Among these compounds, seven phenolics and three nucleoside derivatives have not been reported yet from G. elata.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A sensitive method for the determination of free fatty acids using 2-(2-(anthracen-10-yl)-1H-naphtho[2,3-dimidazol-1-yl) ethyl-p-toluenesuIfonate (ANITS) as tagging reagent with fluorescence detection has been developed. ANITS could easily and quickly label fatty acids in the presence of the K2CO3 catalyst at 90 degrees C for 40 min in N,N-dimethylformamide solvent. From the extracts of rape bee pollen samples, 20 free fatty acids were sensitively determined. Fatty acid derivatives were separated on a reversed-phase Eclipse XDB-C8 column by HPLC in conjunction with gradient elution. The corresponding derivatives were identified by post-column APCI/MS in positive-ion detection mode. ANITS-fatty acid derivatives gave an intense molecular ion peak at mlz [M+H](+); with MS/MS analysis, the collision-induced dissociation spectra of m/z [M+H](+) produced the specific fragment ions at mlz [M-345](+) and mlz 345.0 (here, m/z 345 is the core structural moiety of the ANITS molecule). The fluorescence excitation and emission wavelengths of the derivatives were lambda(ex) = 250 nm and lambda(em) = 512 nm, respectively. Linear correlation coefficients for all fatty acid derivatives are > 0.9999. Detection limits, at a signal-to-noise ratio of 3 : 1, are 24.76-98.79 fmol for the labeled fatty acids.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A simple and sensitive method for the determination of free fatty acids (FFAs) using acridone-9-ethyl-p-toluenesulfonate (AETS) as a fluorescence derivatization reagent by high performance liquid chromatography (HPLC) has been developed. Free fatty acid derivatives were separated on an Eclipse XDB-C-8 column with a good baseline resolution and detected with the fluorescence of which excitation and emission wavelengths of derivatives were set at lambda(ex) 404 and lambda(em) 440 nm, respectively. Identification of 19 fatty acid derivatives was carried out by online post-column mass spectrometry with an atmospheric pressure chemical ionization (APCI) source under positive-ion detection mode. Nineteen FFAs from the extract of Lomatogonium rotatum are sensitively determined. The results indicate that the plant Lomatogonium rotatum is enriched with an abundance of FFAs and FFAs of higher contents, which mainly focus on even carbon atoms, C-14, C-16, and C-18. The validation of the method including linearity, repeatability, and detection limits was examined. Most linear correlation coefficients for fatty acid derivatives are > 0.9989, and detection limits (at signal-to-noise of 3: 1) are 12.3-43.7 fmol. The relative standard deviations (RSDs) of the peak areas and retention times for 19 FFAs standards are < 2.24% and 0.45%, respectively. The established method is rapid and reproducible for the separation determination of FFAs from the extract of Lomatogonium rotatum with satisfactory results.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A simple, sensitive, and mild method for the determination of amino compounds based on a condensation reaction with 1-ethyl-3-(3-dimethylaminopropyl)-carbodiimide hydrochloride (EDC-HCI) as the dehydrant with fluorescence detection has been developed. Amines were derivatized to their acidamides with labeling reagent 2-(2-phenyl-1H-phenanthro-[9,10-d]imidazole-1-yl)-acetic acid (PPIA). Studies on derivatization conditions indicated that the coupling reaction proceeded rapidly and smoothly in the presence of a base catalyst in acetonitrile to give the corresponding sensitively fluorescent derivatives with an excitation maximum at lambda(ex) 260nm and an emission maximum at lambda(em) 380nm. The labeled derivatives exhibited high stability and were enough to be efficiently analyzed by high-performance liquid chromatography. Identification of derivatives was carried out by online post-column mass spectrometry (LC/APCI-MS/MS) and showed an intense protonated molecular ion corresponding m/z [MH](+) under APCI in positive-ion mode. At the same time, the fluorescence properties of derivatives in various solvents or at different temperature were investigated. The method, in conjunction with a gradient elution, offered a baseline resolution of the common amine derivatives on a reversed-phase Eclipse XDB-C-8 column. LC separation for the derivatized amines showed good reproducibility with acetonitrile-water as mobile phase. Detection limits calculated from 0.78 pmol injection, at a signal-to-noise ratio of 3, were 3.1-18.2 fmol. The mean intra- and inter-assay precision for all amine levels were < 3.85% and 2.11%, respectively. Excellent linear responses were observed with coefficients of > 0.9996. The established method for the determination of aliphatic amines from real wastewater and biological samples was satisfactory. (c) 2006 Elsevier B.V. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

本文给出由连续系统的S域,到离散领域?的转换的通式。并给出了离散传递函数W(?)的基本属性、离散振荡指标Md的基本概念、?变换的稳定判据、二阶无静差数字随动系统的动态综合、Md综合在海洋机器人航向控制中的应用。

Relevância:

10.00% 10.00%

Publicador:

Resumo:

分析了制造系统与制造过程之间的关系;论证了从过程的角度对制造进行建模更恰当;结合Agent和π演算的特点,给出Agent制造系统描述模型及基于π演算的单个Agent的BDI模型,并指出Agent和π演算结合的制造过程模型有利于进行优化目标在不同制造过程层次的分解,不论从方法的角度还是实现的角度,都适合复杂系统建模。Agent和π演算相结合可以有效分析并解决离散事件的建模与仿真中的问题。

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A simple and sensitive method for the determination of short and long-chain fatty acids using high-performance liquid chromatography with fluorimetric detection has been developed. The fatty acids were derivatized to their corresponding esters with 9-(2-hydroxyethyl)-carbazole (HEC) in acetonitrile at 60 degreesC with 1-ethyl-3-(3-dimethylaminopropyl)carbodiimide hydrochloride as a coupling agent in the presence of 4-dimethylaminopyridine (DMAP). A mixture of esters of C-1-C-20 fatty acids was completely separated within 38 min in conjunction with a gradient elution on a reversed-phase C-18 column. The maximum fluorescence emission for the derivatized fatty acids is at 365 nm (lambda (ex) 335 nm). Studies on derivatization conditions indicate that fatty acids react proceeded rapidly and smoothly with HEC in the presence of EDC and DMAP in acetonitrile to give the corresponding sensitively fluorescent derivatives. The application of this method to the analysis of long chain fatty acids in plasma is also investigated. The LC separation shows good selectivity and reproducibility for fatty acids derivatives. The R.S.D. (n = 6) for each fatty acid derivative are <4%. The detection limits are at 45-68 fmol levels for C-14-C-20 fatty acids and even lower levels for

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Many problems in early vision are ill posed. Edge detection is a typical example. This paper applies regularization techniques to the problem of edge detection. We derive an optimal filter for edge detection with a size controlled by the regularization parameter $\\ lambda $ and compare it to the Gaussian filter. A formula relating the signal-to-noise ratio to the parameter $\\lambda $ is derived from regularization analysis for the case of small values of $\\lambda$. We also discuss the method of Generalized Cross Validation for obtaining the optimal filter scale. Finally, we use our framework to explain two perceptual phenomena: coarsely quantized images becoming recognizable by either blurring or adding noise.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Most knowledge representation languages are based on classes and taxonomic relationships between classes. Taxonomic hierarchies without defaults or exceptions are semantically equivalent to a collection of formulas in first order predicate calculus. Although designers of knowledge representation languages often express an intuitive feeling that there must be some advantage to representing facts as taxonomic relationships rather than first order formulas, there are few, if any, technical results supporting this intuition. We attempt to remedy this situation by presenting a taxonomic syntax for first order predicate calculus and a series of theorems that support the claim that taxonomic syntax is superior to classical syntax.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Taxas de crescimento populacional são importantes indicadores em estudos sobre a eficiência de espécies de artrópodes como agentes de controle biológico e aspectos de biossegurança relacionados ao possível impacto de agentes biológicos sobre artrópodes não alvo (MAIA et al., 2000). Nesses estudos, dados de oviposição e sobrevivência de cada um dos tratamentos avaliados são condensados em tabelas de vida e fertilidade (TBVF), para posterior estimação dos parâmetros populacionais: taxa líquida de reprodução (Ro), taxas intrínsecas de crescimento (Rm), tempo de duplicação (Dt), intervalo entre geraçãoes (T) e razão finita de crescimento (Lambda). Os testes estatísticos para comparação de grupos com relação a esses parâmetros requerem a quantificação das incertezas (variância, erro padrão, intervalos de confiança) associada às suas respectivas estimativas, em cada grupo. As estimativas dessas incertezas são tradicionalmente obtidas utilizando o método jackknife. Como alternativa aos testes que utilizam estimativas jackknife da variância, propomos o uso de testes permutacionais (MANLY, 1991). Os testes permutacionais (TP) utilizam distribuições empíricas, geradas via alocações aleatórias das unidades experimentais aos tratamentos (grupos). Tais distribuições empíricas são utilizadas testar hipóteses sobre os parâmetros de interesse.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Data and procedures and the values they amass, Higher-order functions to combine and mix and match, Objects with their local state, the message they pass, A property, a package, the control of point for a catch- In the Lambda Order they are all first-class. One thing to name them all, one things to define them, one thing to place them in environments and bind them, in the Lambda Order they are all first-class. Keywords: Scheme, Lisp, functional programming, computer languages.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Homogeneous DNA hybridization assay based on the luminescence resonance energy transfer (LRET) from a new luminescence terbium chelate, N,N,N-1,N-1-[2,6-bis(3'-aminomethyl-1'-pyrazolyl)-4-phenylpyridine]tetrakis(acetic acid) (BPTA)-Tb3+ (lambda(ex) = 325 nm and lambda(em) = 545 nm) to an organic dye, Cy3 (A,. = 548 nm and A,. = 565 nm), has been developed. In the system, two DNA probes whose sequences are complementary to the two different consecutive sequences of a target DNA are used; one of the probes is labeled with the Tb3+ chelate at the T-end, and the other is with Cy3 at the 5'-end. Labeling of the Tb3+ chelate is accomplished via the linkage of a biotin-labeled DNA probe with the Tb3+ chelate-labeled streptavidin. Strong sensitized emission of Cy3 was observed upon excitation of the Tb3+ chelate at 325 run, when the two probe DNAs were hybridized with the target DNA. The sensitivity of the assay was very high compared with those of the previous homogeneous-format assays using the conventional organic dyes; the detection limit of the present assay is about 30 pM of the target DNA strand.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward predicate calculus translation of a problem, requests additional information if necessary, decides what to represent and how, designs representations capturing the constraints of the problem, and creates and executes a LISP program that uses those representations to produce a solution. Even though these problems are typically difficult for theorem provers to solve, the LISP program that uses the designed representations is very efficient.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

An empirical equation is proposed to accurately correlate isothermal data over a wide range of temperature With the equation ln k = A* + B*/T-lambda the retention times of different solutes tested on OV-101, SE-54 and PEG 20M capillary columns have been achieved even when lambda is assigned a constant value of 1.7 Comparison with ln k = A + B/T and in k = c + d/T+ h/T-2, shows that the proposed equation is of higher accuracy and is applicable to extrapolation calculation, especially from data at high temperature to those at low temperature. Parameters A* and B* as well as A and B are also discussed. The linear correlation of A* and B* is weaker than that of A and B.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, e.g., maintenance, modification, and debugging. This report describes a recognition system, called the Recognizer, which automatically identifies occurrences of stereotyped computational fragments and data structures in programs. The Recognizer is able to identify these familiar fragments and structures, even though they may be expressed in a wide range of syntactic forms. It does so systematically and efficiently by using a parsing technique. Two important advances have made this possible. The first is a language-independent graphical representation for programs and programming structures which canonicalizes many syntactic features of programs. The second is an efficient graph parsing algorithm.