Academic literature on the topic 'SBVS'

Chitinase proteins are expressed in most of reigns, from fungi to mammals. This kind of proteins can cleave the chitin, the second most abundant polysaccharide in nature. Mammals do not synthesize nor are able to use it, but they express Chitinase proteins. It has been proved that this kind of proteins are involved in several pathologies. Human Acidic Mammalian Chitinase is involved in the development of pathologies related to the Th2 inflammation. It has been discovered that the inhibition of this protein allowed the reduction of the inflammation. This effect makes this protein a very interesting target for the treatment of this kind of pathologies. In this PhD thesis, the first subject is the target fishing procedure applied to a series of macrocyclic compounds endowed with antifungal activity. The result of the target fishing has been the chitinase protein, and it has been rationally designed a new derivative able to inhibit the chitinase protein with higher potency. The second theme of this work has been the computational study the complex between the rationally designed chitinase inhibitor and the human Acidic Mammalian Chitinase, to identify the most reliable binding mode of the compound inside the binding pocket. The identification of the binding mode has been followed by the design of a library of derivatives, using the information acquired after the study, to improve the activity of the series of compounds towards the Acidic Mammalian Chitinase. The last topic has been the Structure Based Virtual Screening on the Acidic Mammalian Chitinase to find novel scaffolds active as AMCase inhibitor. A first screening based on pharmacophoric filtration and docking calculations has been done, identifying a preliminary hit, on which it has been performed a substructure search, that allowed the discovery of a more active derivative. This molecule has been examined with Molecular Dynamics simulations observing modification in the binding mode during each replica. It has been done a cluster analysis used for the generation of a new pharmacophoric model. The selected cluster representatives have been used as receptors for an ensemble docking calculation that allowed the identification of a third molecule biologically active as AMCase inhibitor.

Ontologijos užklausų rašymas paprastiems vartotojams yra per daug sudėtingas. Vartotojai labiausiai mėgsta pateikti užklausas natūralia kalba. Tačiau dar nėra sukurtų programų, kurios suprastų tikrą natūralią kalbą. Šiuo metu galimas sprendimas yra naudoti ribotą (struktūrizuotą) natūralią kalbą, kuri sudaroma pagal tam tikrus šablonus. Sukūrus SBVR metamodeliu grindžiamą struktūrizuotos natūralios kalbos užklausų redaktorių, vartotojui nereikėtų specialistų pagalbos norint peržiūrėti ontologijų duomenis. Informaciją būtų galima peržiūrėti rašant klausimus struktūrizuota natūralia kalba. Šiame darbe nekeliamas tikslas iš struktūrizuotos kalbos klausimų gauti SPARQL užklausas, kadangi tai būtų per didelis uždavinys. Šio darbo tikslas yra atpažinti ir struktūrizuoti įvedamą tekstą, kad vėliau būtų galima generuoti XMI schemą ir transformuoti ją į SPARQL užklausas.<br>Ontology query writing for ordinary users too complicated. People mostly like to submit queries in natural language. However, software systems that could understand natural language do not exist yet. A possible solution is to use a limited (structured) natural language, which is formed according to certain patterns. Users having a structured natural language question editor based on SBVR metamodel would be able to analyse ontology data without help of professionals. They could write questions in structured natural language which is understandable for humans and computers. This work is not intended to transform structured questions into SPARQL queries, since it would be too big task. The aim of this work is to identify and formalize textual questions, typed by users, for subsequent generation of XMI schema and transforming them into a SPARQL queries.

Guaranteeing the correct coordination of distributed applications that are built up as networks of autonomous participants, e.g., software components, web services, online resources, software as a service (SaaS) peers, is inherently challenging. This is obvious when the current distributed applications involve a collaboration between loosely-coupled services on distinct providers; the ordering of interactions that may further affects the dependencies between different participants, including control flow dependencies (e.g., a given service invocation must occur before another one), time constraints, and transactional dependencies. This complexity of the development of distributed applications illustrates how important the techniques and approaches for designing and coordinating the service interactions between distinct participant services to ensure that the overall goal of the collaboration between participant services is achieved. Standardisation efforts to date have resulted in the Web Services Choreography Description Language (WS-CDL), a specification protocol advocated by W3C. WS-CDL and other modeling languages (e.g., UML2) provide various divergent semantics and less user-friendly graphical notation. On the other hand the formal approach would allow unambiguous specification and verification of the intended collaboraton. In this research work, a declarative approach was proposed for specifying coordination of distributed applications involving distinct participant services which is being able to verify that it is correct. The proposed approach could captures and describing the complex interactions that involves the ordering of service interaction based on the given global constraints. A new model using a declarative approach, an OMG standard Semantics of Business Vocabulary and Rules (SBVR) model was introduced for specifying service choreography. This SBVR model is then formulated and transformed into Alloy model using Alloy Analyzer for verification. A fully automated SBVR2Alloy tool was implemented for transforming from the developed SBVR model into the Alloy model. This proposed model is targeted to enable the practitioners (business analysts, developers) to devise and set up the service choreographies that realise their collaborations by generating the automated verifiable choreography model.

Os sistemas de aumento, conhecidos como SBAS (Satellite-Based Augmentation System) fornecem informações de integridade e acurácia em tempo real para seus usuários, utilizando-se das correções diferenciais que são transmitidas pelos satélites geoestacionários e estão disponíveis em algumas regiões do globo terrestre. Fora da sua região de abrangência o sistema ainda não disponibiliza os dados de correção em tempo real. Entretanto, o sinal é transmitido na mesma frequência L1 do GPS, o qual fica disponível aqui no Brasil, e alguns receptores GNSS possuem canais de frequência especifica que captam este sinal, com a perspectiva de que os dados destes satélites melhoram as condições do rastreio, além da melhoria na acurácia das coordenadas. Partindo deste princípio, foi utilizada a observável fase da onda portadora (L1) para inferir sobre a sua contribuição para o posicionamento. Os rastreios foram realizados em diferentes localidades devido à elevação dos satélites SBAS variar em função da latitude e longitude. Contudo, este estudo foi direcionado para os dados dos satélites PRN 138 (WAAS), PRN 120 e 124 (EGNOS), pois foram os únicos visíveis durante todo o rastreio, tendo simultaneidade dos dados entre os receptores base e móvel. Durante a etapa de processamento, o qual foi utilizado o software GNSS Solution, alguns experimentos foram realizados, tais como: 1) Processamento com todas as observáveis L1 dos satélites disponíveis (GPS e SBAS), análise dos desvios-padrão e comparação das coordenadas obtidas com as consideradas verdadeiras; 2) Processamento sem as observáveis L1 dos satélites SBAS, análises e comparações; 3) Retirada gradativa dos satélites GPS e reprocessamento em conjunto (GPS+SBAS) e separadamente (apenas GPS). A finalidade principal desses experimentos foi verificar a potencialidade da observável L1 dos satélites SBAS processadas em conjunto com a observável L1 do GPS, no posicionamento relativo. Análises estatísticas, como tendência e erro médio quadrático (RMS), foram aplicadas para verificar a existência de erros sistemáticos e a acurácia das coordenadas. Os resultados mostram que, especificamente nos locais de rastreio, as observáveis L1 dos satélites SBAS ao serem adicionados ao processamento, combinado com as observáveis L1 dos satélites GPS, não são determinantes para melhoria da acurácia das coordenadas.<br>The augmentation systems, known as SBAS (Satellite-Based Augmentation System) provide information for completeness and accuracy in real time to its users, using the differential corrections that are transmitted by geostationary satellites. They are available in specific regions of the globe such as USA, Canada and Europe. Outside their region of coverage the system still does not provide the correction data in real time. However, the signal is transmitted at the same frequency L1 GPS, which is available here in Brazil, and some GNSS receivers have specific frequency channels that capture this signal, with the prospect that the data from these satellites improve the conditions of screening, besides improving the accuracy of the coordinates. With this assumption, we used the observed phase of the carrier wave (L1) to infer its contribution to the placement. The surveys were conducted in various locations due to rising SBAS satellites vary with latitude and longitude. However, this study was directed to the data from the WAAS satellites (PRN 138) and EGNOS (PRN 120 and 124) because they were the only visible throughout the screening taking simultaneity between the base and mobile receivers. During the processing stage, which was used the software GNSS Solution, some experiments were performed, such as: 1) Processing with all the L1 observable from available satellites (GPS and SBAS), analysis of standard deviations and comparison of the coordinates obtained with the true, 2) processing without observable L1 SBAS satellites, analysis and comparisons, 3) gradual withdrawal of the GPS satellites and reprocessing together (GPS + SBAS) and separately (GPS only). The main purpose of these experiments was to investigate the potential of the L1 observable processed SBAS satellites together with GPS L1 observable in the relative positioning. Statistical analysis such as trending and root mean square (RMS) were applied to verify the existence of systematic errors and accuracy of these coordinates. The results show that, specifically at sites of screening, the observables L1 SBAS satellites to be added to the processing, combined with the L1 observable GPS satellites, are not decisive for improving the accuracy of the coordinates.

A implementação das regras de negócio em sistemas de informação não é uma atividade trivial. Isso acontece porque os modelos utilizados para representá-las não determinam como elas podem ser efetivamente implementadas em situações reais. Neste trabalho é proposta um método para a transformação das regras de negócio descritas em SBVR para um modelo de implementação. Essa tradução é feita mapeando todos os elementos relevantes do modelo em SBVR em um modelo em $\\pi$-calculus baseado em eventos. Neste modelo, existe uma representação explícita de todos os eventos que precisam ser monitorados a fim de identificar quando a regra pode ter sido violada. O objetivo é facilitar o gerenciamento das regras de negócio ao permitir que elas permaneçam separadas dos outros elementos da arquitetura e com isso possam ser gerenciadas de forma independente.<br>The implementation of business rules in an information system is not an easy task. This happens because most of the models used to represent them capture only the meaning of the rules and do not provide means to make them to be effectively implemented. In this work we provide an approach for the translation from a SBVR semantic description of business rules into a implementation model. This was done by mapping all relevant elements of the SBVR semantic representation into a $\\pi$-calculus event-driven model. On this model will be described explicitly all the events that must be monitored in order to identify when some rule may have been violated. This makes the business rule implementation easier because there is a explicit indication of the moment when make sense to do a verification in order to see if any rule was violated. Besides that, it easier the business rule management since the rules stay separate from the others elements of the system architecture and in this way can be managed independently.

Le positionnement par satellites est à un point déterminant de son existence. La modernisation des systèmes américain (GPS – Global Positioning System) et russe (GLONASS - GLObal Navigation Satellite System) ainsi que la venue des systèmes européen (Galileo) et chinois (COMPASS) permettront une multitude de nouvelles applications. Ce regroupement de systèmes de positionnement par satellites (GNSS - Global Navigation Satellite System) ainsi que le système d’augmentation du GPS (SBAS - System Based Augmentation System) permettront d’améliorer l’intégrité, la disponibilité, la précision et la vulnérabilité électromagnétique. Afin de profiter au maximum de ces nouveaux signaux, les récepteurs GNSS devront être repensés. L’objectif de ce mémoire consiste à développer un récepteur multifréquence SBAS-GNSS logiciel pour des applications en temps-réel afin de tirer profit de ces nouveaux signaux GNSS. Pour atteindre cet objectif, une architecture de canal BPSK (Binary Phase Shift Keying) satisfaisant plusieurs signaux GNSS a été implémentée. Ces signaux sont : GPS L1 C/A, GPS L2C, SBAS L1, SBAS L5, GLONASS L1 et GLONASS L2. De plus, ce mémoire se concentre aussi sur l’implémentation d’une solution SBAS complète permettant d’améliorer la précision de la solution de navigation. Le canal générique BPSK réalisé permet de poursuivre à la perfection les signaux GPS L1 C/A, SBAS L1, SBAS L5, GLONASS L1, GLONASS L2, COMPASS B1 et COMPASS B2 couvrant ainsi toute la bande GNSS de 1176 MHz à 1602 MHz. Ce canal BPSK ne dégrade aucunement les performances du récepteur SBAS-GNSS comparativement à un canal GPS L1 C/A. En fait, la précision horizontale est passée de 2,3 m à 1 σ à 1,1 m à 1 σ avec quelques ajustements mineurs. De plus, l’implémentation d’un algorithme de lissage via la porteuse améliore cette précision jusqu’à 0,96 m à 1 σ. Le cercle de probabilité de 50% (CEP) pour cette solution lissée est de 0,62 m et celui de 95% de probabilité (R95) est de 2,21 m. Finalement, l’implémentation de la solution SBAS améliore ces performances à 0,73 m à 1 σ, à un CEP de 0,44 m et à un R95 de 1,4 m. Bref, une amélioration de 70% peut être observée entre les travaux précédents et ceux actuels lorsque l’on en compare les performances à 1 σ. De plus, les nouveaux canaux et algorithmes ont également été testés en dynamique. Une amélioration de 5 % peut être observée sur l’écart-type de l’erreur relative à une solution Real-Time Kinematics (RTK).

Companies today are required more and more to interconnect their information systems with partners and suppliers in order to be competitive in a global marketplace. A problem of how to compare a security policy between two different companies when they need to agree upon a single security policy has been raised. Can a comparison of two access control policies made through Semantic of Business Vocabulary and Business Rules (SBVR) be more appropriate than the traditional way of intuitively comparing two information security policies? In this research, a case study has been conducted along with the questionnaires as a data collection approach. In the case study, a calculation for a degree of policy statement similarity of Company A’s and Company B has been done. Both calculations were based on the questionnaire results of the Company A and Company B in form of SBVR and traditional policy statements separately. This research has revealed that SBVR applied policy is more appropriate for comparing two company policies than a traditional written policy. By applying SBVR to the policy statements, Company A and Company B had their policy in the same structure, which is in the SBVR format. They could get a very clear similar part of the policy statements (70% calculated by the results of the second questionnaire in this case study) agreed by both companies.

The Object Constraint Language (OCL) is a declarative language and is used to make the Unified Modeling Language (UML) models well-defined through defining a set of constraints. However, the syntactic complexity of OCL makes the writing of OCL code difficult. A natural language based interface can be useful in making the process of writing OCL expressions easy and simple. However, the translation of natural language (NL) text to object constraint language (OCL) code is a challenging task on account of the informal nature of natural languages as various syntactic and semantic ambiguities make the process of NL translation to formal languages more complex. However, in our approach the usage of SBVR not only provides natural languages a formal abstract syntax representation but it is also close to OCL syntax. In this thesis, a framework is presented to facilitate the users of the UML tools so that they can write invariants and pre/post conditions in English. The results of the case studies manifest that a natural language based approach to generate OCL constraints can not only help in significantly improving usability of OCL but also outperforms the most closely related techniques in terms of effectiveness and effort required in generating OCL.

Este trabalho apresenta um estudo experimental da influência de mancais radiais hidrodinâmicos cilíndricos e não cilíndricos sobre o comportamento dinâmico de eixos rotativos. Uma bancada de ensaios de rotores horizontais apoiados em dois mancais radiais hidrodinâmicos, capaz de representar diferentes montagens de rotores, é especialmente fabricada para o desenvolvimento desse estudo. Seis mancais hidrodinâmicos de geometria fixa são selecionados para a avaliação da resposta dinâmica de diferentes configurações de rotores. Dois pares de mancais radiais cilíndricos, fabricados por processos de usinagem convencional e por eletro-erosão, e quatro pares de mancais não cilíndricos mancal elítptico (de dois lóbulos ou limão), mancal de dois lóbulos desalinhados (offset), mancal de três lóbulos e mancal de quatro lóbulos fabricados por meio de usinagem de precisão via eletroerosão, são projetados para o sistema de suporte da bancada de rotores desenvolvida nesse trabalho. A análise comparativa do comportamento dinâmico dos seis mancais é efetuada por meio de ensaios de vibrações realizados em condições de velocidade constante e em aceleração. Espectros de freqüência em velocidade zero, espectros de freqüência em diversas velocidades estacionárias de operação, diagramas cascata (waterfall plots) e diagramas das órbitas de precessão do munhão são obtidos a partir da medição das vibrações em diferentes montagens de rotores horizontais suportados pelos mancais selecionados. Acelerômetros e sensores de proximidade sem contato são utilizados para captar os sinais desejados de vibração sobre os mancais sob diferentes condições de carregamento dinâmico. Além dos espectros de freqüência e das órbitas do munhão, a resposta síncrona ao desbalanceamento de diferentes rotores é determinada para cada tipo de mancal para a faixa de velocidades de rotação de 0 a 10.000 rpm. Uma avaliação preliminar do desgaste por contato dos mancais analisados é efetuada por meio de análise metrológica dimensional antes e após os testes de vibração. Os resultados experimentais obtidos permitem a confecção de diversas curvas da resposta dinâmica dos seis mancais analisados, fornecendo subsídios relevantes para a seleção da configuração de mancal radial de geometria fixa mais apropriada para uma dada máquina rotativa. Pela análise comparativa realizada nesse trabalho, a classificação dos mancais analisados baseada na capacidade de atenuar a resposta síncrona ao desbalanceamento de rotores horizontais é dada por: 1) mancal de 2 lóbulos desalinhados (mancal offset); 2) mancal de 3 lóbulos; 3) mancal elíptico; 4) mancal circular de pequena folga radial; 5) mancal circular de grande folga radial; 6) mancal de 4 lóbulos.