7 resultados para Gaussian quadrature formulas.
em Brock University, Canada
Resumo:
With the recent growth in cultural complexity, many organizations are faced with increasingly diverse employee pools. Gaining a greater understanding of the values that employees possess is the first step in effectively satisfying their needs and achieving a more productive workforce (lung & Avolio, 2000). Values playa significant role in influencing individual behaviours. It is therefore necessary to assess the qualities of employee value systems and directly link them to the values of the organization. The importance of values and value congruence has been emphasized by many organizational behaviour researchers (cf. Adkins & Caldwell, 2004; Erdogan, Kraimer, & Liden, 2004; Jung & Avolio, 2000; Rokeach, 1973); however the emphasis on value studies remains fairly stagnant within the sport industry (Amis, Slack, & Hinings, 2002). In order to examine the realities that were constructed by the participants in this study a holistic view of the impact of values within a specific sport organization were provided. The purpose of this case study was to examine organizational and employee values to understand the effects of values and value congruence on employee behaviours within the context of a large Canadian sport organization. A mUltiple methods case study approach was adopted in order to fully serve the purpose and provide a comprehensive view of the organization being examined. Document analysis, observations, surveys, as well as semi-structured interviews were conducted. The process allowed for triangulation and confirmability of the findings. Each method functioned to create an overarching understanding of the values and value congruence within this organization. The analysis of the findings was divided into qualitative and quantitative sections. The qualitative documents were analyzed twice, once manually by the researcher and once via AtIas.ti Version 4 (1998). The a priori and emergent coding that took place was based on triangulating the findings and uncovering common themes throughout the data. The Rokeach Value Survey (1973) that was incorporated into the survey design of the study was analyzed using descriptive statistics, as well as Mann-Whitney U, and Kruskal Wallis formulas. These were deemed appropriate for analysis given the non-parametric nature of the survey instrument (Kinnear & Gray, 2004). The quantitative survey served to help define the values and value congruence that was then holistically examined through the qualitative interviews, document analyses, and observations. The results of the study indicated incongruent value levels between employees and those stated or perceived as the organization's values. Each finding demonstrated that varying levels of congruence may have diverse affects on individual behaviours. These behaviours range from production levels to interactions with fellow employees to turnover. In addition to the findings pertaining to the research questions, a number of other key issues were uncovered regarding departmentalization, communication, and board relations. Each has contributed to a greater understanding of the organization and has created direction for further research within this area of study.
Resumo:
A fluorescence excitation spectrum of formic acid monomer (HCOOH) , has been recorded in the 278-246 nm region and has been attributed to an n >7r* electron promotion in the anti conformer. The S^< S^ electronic origins of the HCOOH/HCOOD/DCOOH/DCOOD isotopomers were assigned to weak bands observed at 37431.5/37461.5/37445.5/37479.3 cm'''. From a band contour analysis of the 0°^ band of HCOOH, the rotational constants for the excited state were estimated: A'=1.8619, B'=0.4073, and C'=0.3730 cm'\ Four vibrational modes, 1/3(0=0), j/^(0-C=0) , J/g(C-H^^^) and i/,(0-H^yJ were observed in the spectrum. The activity of the antisymmetric aldehyde wagging and hydroxyl torsional modes in forming progressions is central to the analysis, leading to the conclusion that the two hydrogens are distorted from the molecular plane, 0-C=0, in the upper S. state. Ab initio calculations were performed at the 6-3 IG* SCF level using the Gaussian 86 system of programs to aid in the vibrational assignments. The computations show that the potential surface which describes the low frequency OH torsion (twisting motion) and the CH wagging (molecular inversion) motions is complex in the S^ excited electronic state. The OH and CH bonds were calculated to be twisted with respect to the 0-C=0 molecular frame by 63.66 and 4 5.76 degrees, respectively. The calculations predicted the existence of the second (syn) rotamer which is 338 cm'^ above the equilibrium configuration with OH and CH angles displaced from the plane by 47.91 and 41.32 degrees.
Resumo:
Thylakoid membrane fractions were prepared from specific regions of thylakoid membranes of spinach (Spinacia oleracea). These fractions, which include grana (83), stroma (T3), grana core (8S), margins (Ma) and purified stroma (Y100) were prepared using a non-detergent method including a mild sonication and aqueous two-phase partitioning. The significance of PSlla and PSII~ centres have been described extensively in the literature. Previous work has characterized two types of PSII centres which are proposed to exist in different regions of the thylakoid membrane. a-centres are suggested to aggregate in stacked regions of grana whereas ~-centres are located in unstacked regions of stroma lamellae. The goal of this study is to characterize photosystem II from the isolated membrane vesicles representing different regions of the higher plant thylakoid membrane. The low temperature absorption spectra have been deconvoluted via Gaussian decomposition to estimate the relative sub-components that contribute to each fractions signature absorption spectrum. The relative sizes of the functional PSII antenna and the fluorescence induction kinetics were measured and used to determine the relative contributions of PSlla and PSII~ to each fraction. Picosecond chlorophyll fluorescence decay kinetics were collected for each fraction to characterize and gain insight into excitation energy transfer and primary electron transport in PSlla and PSII~ centres. The results presented here clearly illustrate the widely held notions of PSII/PS·I and PSlIa/PSII~ spatial separation. This study suggests that chlorophyll fluorescence decay lifetimes of PSII~ centres are shorter than those of PSlIa centres and, at FM, the longer lived of the two PSII components renders a larger yield in PSlIa-rich fractions, but smaller in PSIlr3-rich fractions.
Resumo:
Raman scattering in the region 20 to 100 cm -1 for fused quartz, "pyrex" boro-silicate glass, and soft soda-lime silicate glass was investigated. The Raman spectra for the fused quartz and the pyrex glass were obtained at room temperature using the 488 nm exciting line of a Coherent Radiation argon-ion laser at powers up to 550 mW. For the soft soda-lime glass the 514.5 nm exciting line at powers up to 660 mW was used because of a weak fluorescence which masked the Stokes Raman spectrum. In addition it is demonstrated that the low-frequency Raman coupling constant can be described by a model proposed by Martin and Brenig (MB). By fitting the predicted spectra based on the model with a Gaussian, Poisson, and Lorentzian forms of the correlation function, the structural correlation radius (SCR) was determined for each glass. It was found that to achieve the best possible fit· from each of the three correlation functions a value of the SCR between 0.80 and 0.90 nm was required for both quartz and pyrex glass but for the soft soda-lime silicate glass the required value of the SCR. was between 0.50 and 0.60 nm .. Our results support the claim of Malinovsky and Sokolov (1986) that the MB model based on a Poisson correlation function provides a universal fit to the experimental VH (vertical and horizontal polarizations) spectrum for any glass regardless of its chemical composition. The only deficiency of the MB model is its failure to fit the experimental depolarization spectra.
Resumo:
RelAPS is an interactive system assisting in proving relation-algebraic theorems. The aim of the system is to provide an environment where a user can perform a relation-algebraic proof similar to doing it using pencil and paper. The previous version of RelAPS accepts only Horn-formulas. To extend the system to first order logic, we have defined and implemented a new language based on theory of allegories as well as a new calculus. The language has two different kinds of terms; object terms and relational terms, where object terms are built from object constant symbols and object variables, and relational terms from typed relational constant symbols, typed relational variables, typed operation symbols and the regular operations available in any allegory. The calculus is a mixture of natural deduction and the sequent calculus. It is formulated in a sequent style but with exactly one formula on the right-hand side. We have shown soundness and completeness of this new logic which verifies that the underlying proof system of RelAPS is working correctly.
Resumo:
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be implemented by utilizing the robustness of dynamic logic. For a very broad range of languages and applications in program veri cation, a theorem prover named KIV (Karlsruhe Interactive Veri er) Theorem Prover has already been developed. But a high degree of automation and its complexity make it di cult to use it for educational purposes. My research work is motivated towards the design and implementation of a similar interactive theorem prover with educational use as its main design criteria. As the key purpose of this system is to serve as an educational tool, it is a self-explanatory system that explains every step of creating a derivation, i.e., proving a theorem. This deductive system is implemented in the platform-independent programming language Java. In addition, a very popular combination of a lexical analyzer generator, JFlex, and the parser generator BYacc/J for parsing formulas and programs has been used.
Resumo:
If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, the time consumed in testing depends on the size of the structure where the property is applied. We present an implementation of a system for finding counterexamples and testing properties of models of first-order theories. This system is supposed to provide a convenient and paperless environment for researchers and students investigating or studying such models and algebraic structures in particular. To implement a first-order theory in the system, a suitable first-order language.( and some axioms are required. The components of a language are given by a collection of variables, a set of predicate symbols, and a set of operation symbols. Variables and operation symbols are used to build terms. Terms, predicate symbols, and the usual logical connectives are used to build formulas. A first-order theory now consists of a language together with a set of closed formulas, i.e. formulas without free occurrences of variables. The set of formulas is also called the axioms of the theory. The system uses several different formats to allow the user to specify languages, to define axioms and theories and to create models. Besides the obvious operations and tests on these structures, we have introduced the notion of a functor between classes of models in order to generate more co~plex models from given ones automatically. As an example, we will use the system to create several lattices structures starting from a model of the theory of pre-orders.