876 resultados para Many-Valued Intellectual System


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Raportointi liittyy kiinteänä osana yrityksen jokapäiväiseen toimintaan. Raportoinnin sisältö ja muoto vaihtelevat organisaatiotasosta riippuen päivittäisen toiminnan tarkkailusta kuukausittaiseen tulosraportointiin. Raportointi voidaan toteuttaa operatiivisten järjestelmien kautta tai nykyisin entistä suositumpana vaihtoehtona on keskitetty raportointi. Uuden raportointijärjestelmän hankintaprojekti on usein koko yritystä koskeva investointi. Jos raportointijärjestelmällä on tarkoitus raportoida sekä operatiivista toimintaa että johdon tarpeita, on sen mukauduttava moneen tarkoitukseen. Aluksi on tärkeää määritellä tietotarpeet ja tavoitteet projektille unohtamatta riskien- ja projektinhallintaa sekä investointilaskelmia. Jos raportoidaan myös yrityksen ulkopuolelle, tulee ottaa huomioon mahdolliset säädökset sekä tietoturvallisuusnäkökulmat. Myös yrityksen toimintatapoja ja – prosesseja on syytä tarkastella kriittisesti ennen järjestelmähankintaa jolloin voidaan havaita uusia raportointikohteita, tai toimintatapoja voidaan uudelleen organisoida parhaan toimintatavan saavuttamiseksi. Raportointijärjestelmää hankittaessa turvaudutaan usein ulkopuoliseen ohjelmistotoimittajaan, joka integroi ja räätälöi järjestelmän yrityksen omiin tarpeisiin soveltuvaksi. Raportointijärjestelmän hankintaprojekti ei lopu käyttöönottoon vaan projektin alussa on huomioitava myös järjestelmän huomattavasti pisin elinkaari eli käyttö ja ylläpito. Raportointi-, kuten ei moni muukaan tietojärjestelmä, ole ikinä valmis sillä tarpeet ja toimintatavat muuttuvat ajan kuluessa ja käyttäjien tietoisuus lisääntyy.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Tämän tutkimustyön tavoitteena on tutkia strategianäkökulmaan perustuvan aineettoman pääoman ilmenemistä ja arvonluontia verkostolentoyhtiö Finnairissa. Aineeton pääoma koostuu kolmesta pääomaluokasta: inhimillisestä pääomasta, suhdepääomasta ja rakennepääomasta. Aineettomalle pääomalle on luonteenomaista, että sitä on vaikea kopioida, korvata, muuntaa, jakaa, siirtää ja erityisesti – tunnistaa. Yritykset luovat arvoa vasta, kun ne hyödyntävät aineettomia resurssejaan tehokkaasti. Tutkimusmetodiksi valittiin ladullinen sisällönanalyysi. Tutkimusaineistona ovat Finnairin viralliset yritysjulkaisut. Tutkimuksessa ilmeni, että Finnairin yritysstrategiasta löytyi varsin paljon staattisia aineettomia resursseja, mutta johtohenkilöiden teksteistä analysoituna osumien määrä oli huomattavasti pienempi. Tutkittaessa arvonluontia yrityksen strategiasta löytyi vain vähän dynaamisia aineettomia resursseja, ja johtohenkilöiden teksteistä analysoituna osumia ei saatu lainkaan. Aineiston avulla oli kuitenkin mahdollista vastata molempiin tutkimuskysymyksiin. Empiriassa lähteenä käytetyt yritysviestinnän julkaisut antoivat dokumentteina suppeahkon tutkimuspohjan, joiden täydentäminen haastatteluin tai kyselyin antaisi laajemman ja vakaamman näkemyksen tutkittavasta aiheesta.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Olemassa olevat spektrieromittarit eivät vastaa riittävästi CIEDE2000-värieroa. Tämän työn tavoitteena oli toteuttaa menetelmä, joka laskee värispektrien eron siten, että tulos vastaa CIEDE2000-värieroa. Kehitystyön tuloksena syntyi menetelmä, joka perustuu ennalta laskettuihin eroihin tunnettujen spektrien välillä ja niiden perusteella johdettuihin laskentaparametreihin. menetelmällä pystyy laskemaan spektrieroja vain niiden spektrien välillä, jotka saadaan sekoittamalla tunnettuja spektrejä. Laskentaparametrien laskenta on työläs prosessi ja siksi menetelmään toteutettiin hajautus usealle tietokoneelle. Menetelmä saatiin vastaamaan hyvin CIEDE2000:ia suurimmalle osalle spektrejä harvoja poikkeuksia lukuunottamatta. Ongelmat johtuvat mallissa olevasta matemaattisesta ominaisuudesta. Spektrieromittari näyttää metameerisille spektreille nollasta poikkeavan arvon, vaikka CIEDE2000 näyttää nollaa. Tämä osoittaa spektrieromittarin oikeamman toiminnan CIEDE2000-värieroon verrattuna.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Ein Luft-Erdwärmetauscher (L-EWT) kommt wegen seines niedrigen Energiebedarfs und möglicher guter Aufwandszahlen als umweltfreundliche Versorgungskomponente für Gebäude in Betracht. Dabei ist besonders vorteilhaft, dass ein L-EWT die Umgebungsluft je nach Jahreszeit vorwärmen oder auch kühlen kann. Dem zufolge sind L-EWT zur Energieeinsparung nicht nur für den Wohnhausbau interessant, sondern auch dort, wo immer noch große Mengen an fossiler Energie für die Raumkühlung benötigt werden, im Büro- und Produktionsgebäudesektor. Der Einsatzbereich eines L-EWT liegt zwischen Volumenströmen von 100 m3/h und mehreren 100.000 m3/h. Aus dieser Bandbreite und den instationären Randbedingungen entstehen erhebliche Schwierigkeiten, allgemeingültige Aussagen über das zu erwartende thermische Systemverhalten aus der Vielzahl möglicher Konstruktionsvarianten zu treffen. Hauptziel dieser Arbeit ist es, auf Basis umfangreicher, mehrjähriger Messungen an einer eigens konzipierten Testanlage und eines speziell angepassten numerischen Rechenmodells, Kennzahlen zu entwickeln, die es ermöglichen, die Betriebseigenschaften eines L-EWT im Planungsalltag zu bestimmen und ein technisch, ökologisch wie ökonomisch effizientes System zu identifizieren. Es werden die Kennzahlen elewt (Aufwandszahl), QV (Netto-Volumenleistung), ME (Meterertrag), sowie die Kombination aus v (Strömungsgeschwindigkeit) und VL (Metervolumenstrom) definiert, die zu wichtigen Informationen führen, mit denen die Qualität von Systemvarianten in der Planungsphase bewertet werden können. Weiterführende Erkenntnisse über die genauere Abschätzung von Bodenkennwerten werden dargestellt. Die hygienische Situation der durch den L-EWT transportierten Luft wird für die warme Jahreszeit, aufgrund auftretender Tauwasserbildung, beschrieben. Aus diesem Grund werden alle relevanten lufthygienischen Parameter in mehreren aufwendigen Messkampagnen erfasst und auf pathogene Wirkungen überprüft. Es wird über Sensitivitätsanalysen gezeigt, welche Fehler bei Annahme falscher Randbedingungen eintreten. Weiterhin werden in dieser Arbeit wesentliche, grundsätzliche Erkenntnisse aufbereitet, die sich aus der Betriebsbeobachtung und der Auswertung der umfangreich vorliegenden Messdaten mehrerer Anlagen ergeben haben und für die praktische Umsetzung und die Betriebsführung bedeutend sind. Hinweise zu Materialeigenschaften und zur Systemwirtschaftlichkeit sind detailliert aufgeführt.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Using the independent particle model as our basis we present a scheme to reduce the complexity and computational effort to calculate inclusive probabilities in many-electron collision system. As an example we present an application to K - K charge transfer in collisions of 2.6 MeV Ne{^9+} on Ne. We are able to give impact parameter-dependent probabilities for many-particle states which could lead to KLL-Auger electrons after collision and we compare with experimental values.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The theory of diffusion in many-dimensional Hamiltonian system is applied to asteroidal dynamics. The general formulation developed by Chirikov is applied to the NesvornA1/2-Morbidelli analytic model of three-body (three-orbit) mean-motion resonances (Jupiter-Saturn-asteroid). In particular, we investigate the diffusion along and across the separatrices of the (5, -2, -2) resonance of the (490) Veritas asteroidal family and their relationship to diffusion in semi-major axis and eccentricity. The estimations of diffusion were obtained using the Melnikov integral, a Hadjidemetriou-type sympletic map and numerical integrations for times up to 10(8) years.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pós-graduação em Saúde Coletiva - FMB

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Pós-graduação em Desenvolvimento Humano e Tecnologias - IBRC

Relevância:

100.00% 100.00%

Publicador:

Resumo:

La presente tesis doctoral pretende arrojar nueva luz sobre la utilización de la prensa durante los primeros años del franquismo. En concreto, el objetivo ha sido estudiar la censura del tema deportivo dentro del sistema censorio de los primeros años de posguerra civil en España, una área no estudiada hasta hoy y que entendemos fundamental para entender el desarrollo del deporte durante el llamado primer franquismo. Para ello, se estudiaron de manera pormenorizada los actores principales y los pasos básicos del proceso de censura; los métodos utilizados, tanto materiales como personales, para hacer efectiva ésta; y, por último, sus manifestaciones reales en el ámbito de la información deportiva: qué se censuró, por parte de quién, de qué forma y por qué motivos. De este modo, pretendemos llenar una de las lagunas de investigación que aún quedan dentro del estudio de la censura de prensa durante el franquismo. La metodología utilizada es la técnica historiográfica. Basado en el análisis crítico y en la interpretación de fuentes primarias, dicho método trata de establecer marcos históricos de referencia a través del estudio pormenorizado de las circunstancias del pasado. Ello implica una estructura algo distinta a la de las tesis doctorales de otras áreas de estudio puesto que, exceptuando la introducción, toda la tesis es la exposición de los resultados de la investigación llevada a cabo. Se ha utilizado cuantiosa documentación de los archivos General de la Administracion (Alcalá de Henares) y Centrale dello Stato (Roma) no manejada anteriormente por ningún investigador. La prensa periódica de la época y la legislación que afecta a nuestro tema de estudio también han sido ampliamente investigadas, tanto en el contexto español como en el italiano. Nuestra investigación arroja los siguientes resultados. Efectivamente, existió censura de prensa en el tema deportivo en las siguientes temáticas fundamentales: cuestiones económicas, autoridades y jerarquías, uso del lenguaje y comportamiento de los deportistas. En la mayor parte de los casos, la censura se ejerce en la información deportiva por razones ajenas al propio deporte. No se puede afirmar que existan diferencias en el tratamiento general entre medios de la Prensa del Movimiento y otros de titularidad privada o eclesiástica, si bien la aplicación de la censura no fue homogénea sino arbitraria en muchos casos. El sistema de censura de prensa español del primer franquismo toma la mayoría de sus rasgos del modelo fascista italiano, aunque tiene alguna característica propia como la censura previa y el catolicismo imperante. ABSTRACT This doctoral thesis aims to shed light on the use of press during the first years of francoism. The particular objective was to study the censorship of the sport topic into the general system of censorship carried out after the Spanish Civil War. It is a subject comparatively understudied to date but a key aspect to understand the development of sport during the so called early francoism. To this end, an in-depth study was made on key actors, main steps of censorship process, human and material methods used to ensure its effectiveness, and the actual manifestations in sports information area: what was censored, by whom, how and why. This should ensure us to fill the historiographical gap within the research on Francoʼs press censorship. Methodology used was historiographic research. It is based on critical analysis and interpretation of primary sources and seeks to establish historical reference frameworks tracing back the past in detail. It determines a different doctoral thesis structure in some aspects. Except the introduction, the whole document is the report and explanation of the results of research. A large amount of unexplored documents from the Archivo General de la Administración (Alcalá de Henares, Spain) and the Archivio Centrale dello Stato (Rome, Italy) has been used. The press of the period and legislation about our topic have also been analysed in detail both in Spain and Italy. Our research states these results. We can affirm that press censorship actually existed on sports topic in these thematic priorities: economical issues, authorities and hierarchies, use of language and sportsmen behaviours. In most cases, the censorship of sports information is exercised for reasons unconnected to sport. It cannot be concluded that general differences were applied in press censorship between State-owned media and private or church media although its implementation was non-uniform and arbitrary in many cases. The system of press censorship in Spain during the early francoism is clearly inspired by fascist Italy system copying most of its features although Spain had a few specific characteristics like prior censorship and catholicism.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Residuated lattices, although originally considered in the realm of algebra providing a general setting for studying ideals in ring theory, were later shown to form algebraic models for substructural logics. The latter are non-classical logics that include intuitionistic, relevance, many-valued, and linear logic, among others. Most of the important examples of substructural logics are obtained by adding structural rules to the basic logical calculus

Relevância:

100.00% 100.00%

Publicador:

Resumo:

"UILU-ENG 80 1719"--Cover.