Made available in DSpace on 2014-06-12T15:59:16Z (GMT). No. of bitstreams: 2 arquivo4984_1.pdf: 2006892 bytes, checksum: 224264401a8274ab07b0eb4b22c3ec68 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2006 / A tecnologia Web Services está se tornando a mais importante solução para prover a comunicação entre aplicações heterogêneas, contribuindo enormemente para o avanço na área de desenvolvimento de sistemas distribuídos. Uma conseqüência dessa popularidade é a existência de mais de setenta Web Services toolkits disponíveis para uma variedade de plataformas e linguagens de programação. Além disso, várias aplicações em áreas como, por exemplo, e-commerce, computação científica, saúde e finanças estão sendo expostas como Web Services. Dessa forma, o fato de estar sendo adotada por muitas empresas como a infra-estrutura para desenvolver seus sistemas, aumenta a demanda pela sua eficiência, uma vez que desempenho é um importante parâmetro da qualidade do serviço. O problema é que o desempenho de Web Services é uma questão em aberto, uma vez que sua eficiência foi sacrificada para prover simplicidade, interoperabilidade e flexibilidade. Dessa forma, os desenvolvedores deveriam avaliar as condições de desempenho das aplicações Web Services, pois sua ineficiência pode limitar sua aplicabilidade em algumas situações.O principal objetivo dessa dissertação é viabilizar a avaliação de desempenho de Web Services toolkits, propondo diretrizes que foram desenvolvidas baseando-se nos gargalos de desempenho de Web Services. A partir dessas diretrizes, foi elaborado um processo que tem como objetivo uniformizar a avaliação de desempenho de toolkits e facilitar a escolha do toolkit ideal para desenvolver uma aplicação. Também será apresentado o utilitário JWSPerf (Java Web Service Performance) que, juntamente com outras ferramentas, automatiza algumas tarefas desse processo, reduzindo o tempo e os custos necessários para sua execução

Submitted by Alice Araujo (alice.caraujo@ufpe.br) on 2018-06-01T18:15:57Z No. of bitstreams: 1 DISSERTAÇÃO Carlos Alexandre Silva de Melo.pdf: 1936170 bytes, checksum: 13873280858c0ea2c56136260d3bdcde (MD5) / Made available in DSpace on 2018-06-01T18:15:57Z (GMT). No. of bitstreams: 1 DISSERTAÇÃO Carlos Alexandre Silva de Melo.pdf: 1936170 bytes, checksum: 13873280858c0ea2c56136260d3bdcde (MD5) Previous issue date: 2016-09-23 / Dispositivos eletrônicos como celulares, smartphones, televisores, smartwatches, computadores pessoais, laptops, consoles de mesa e portáteis estão, de algum modo, em praticamente todos os lares que se visite nos últimos anos, e é bem provável que pelo menos um deles possua conexão com a Internet e/ou algum tipo de mecanismo de sincronização instalado. Já a adoção de mecanismos de sincronização, como Dropbox, Google Drive e One Drive, tornou-se de grande importância para usuários de sistemas computacionais, que almejam ter acesso aos seus dados pessoais, sempre que possível, de forma justa e confiável, 24 horas por dia, os 07 dias da semana. E é este tipo de exigência que proporciona um aumento da demanda e da qualidade do serviço oferecido pelas prestadoras uma vez que, com a propagação do paradigma de computação em nuvem, vem sendo migrado em larga escala para este tipo de plataforma. A adoção da computação em nuvem é ligada diretamente à firmação de contrato entre prestadora de serviço e fornecedora de infraestrutura. Este contrato, também conhecido como Acordo de Nível de Serviço ou Service Level Agreements (SLA), prevê o pagamento de multas, caso os valores de disponibilidade estabelecidos não sejam alcançados. Quanto maior os valores de disponibilidade requeridos, mais alto será o custo da arquitetura que proverá o serviço, sendo imprescindível uma análise, meticulosa, antes de qualquer investimento realizado. Sendo uma possibilidade para os que desejam fornecer serviços, através da Internet, arcar com os custos de implantação de sua própria infraestrutura computacional. A compra das máquinas e equipamentos necessários para a implantação de uma infraestrutura própria pode ter um custo menor que a realização de um SLA com alguma grande empresa especializada no provimento de infraestruturas de computação em nuvem como Amazon e Google. Este trabalho propõe modelos hierárquicos baseados em RBDs, SPNs e CTMCs para avaliar disponibilidade e custos de implantação de serviços de sincronização de dados hospedados em plataformas privadas de computação em nuvem. Os modelos propostos poderão ser utilizados como subsídio para o planejamento de infraestruturas que possam prover serviços de sincronização de dados, e auxiliar nos processos internos de tomada de decisão e análise entre custo x benefício para determinação do melhor ambiente. / Electronic devices such as mobile phones, smartphones, televisions, smartwatches, PCs, laptops, table consoles and handhelds are present in some amount in virtually every home you’ve visited in the past few years, and it’s likely that at least one of them has an Internet connection and some synchronization mechanism installed. Since the adoption of synchronization mechanisms, such as Dropbox, Google Drive, and One Drive, became of great importance to computer systems users, which aims to gain access to your personal data wherever possible, fairly and reliably, 24 hours a day, seven days a week. This kind of requirement provides an increase in demand and the quality of service offered by the providers. This service, with the spread of cloud computing paradigm, has been migrated in large scale for this type of platform. The adoption of cloud computing is linked directly to the contract affirmation between the service provider and supplier of infrastructure, this contract, also known as Service Level Agreement (SLA) provides for the payment of penalties if the availability values set are not achieved. The higher the values of desired availability, the higher the cost of the architecture that will provide the service, being indispensable a thorough analysis before any investment. It is a possibility for those who wish to serve over the Internet, bear the implementation costs of their computing infrastructure, responsible for providing the service. The purchase of machinery and equipment required for the deployment of its infrastructure may have a lower cost than the fulfillment of a contract with some big specialized company. This research proposes hierarchical models, based in RBDs, SPNs, and CTMCs for availability evaluation and deployment costs for data synchronization services hosted in a private cloud computing platform. The proposed model can be used as input for the planning of infrastructure that can provide data synchronization services, and assist in the internal decision-making and cost x benefit analysis determine which one is the best environment.

Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-08-13T22:01:55Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Eric Rodrigues Borba.pdf: 2055625 bytes, checksum: ae2416e53b36567f223505f6bf56a4ce (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-16T18:15:15Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Eric Rodrigues Borba.pdf: 2055625 bytes, checksum: ae2416e53b36567f223505f6bf56a4ce (MD5) / Made available in DSpace on 2018-08-16T18:15:15Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Eric Rodrigues Borba.pdf: 2055625 bytes, checksum: ae2416e53b36567f223505f6bf56a4ce (MD5) Previous issue date: 2017-06-14 / O aperfeiçoamento de sistemas computacionais pode vir a ser limitado de acordo com a eficiência dos dispositivos de armazenamento. Deste modo, a substituição de dispositivos de disco rígido (hard disk drives) por dispositivos de estado sólido (solid-state drives) pode ser uma forma efetiva para melhorar o desempenho dos sistemas, tanto para computadores pessoais, quanto para data centers. Entretanto, o alto custo por gigabyte e um reduzido tempo de vida, dificulta a substituição por completo dos hard disk drives (HDDs) por solid-state drives (SSDs). Para mitigar estas questões, diversas arquiteturas e políticas de armazenamento têm sido concebidas baseadas em sistemas de armazenamento híbridos, todavia, não propõem modelos de desempenho e disponibilidade para melhor avaliar diferentes arquiteturas. Esta dissertação apresenta uma abordagem baseada em modelos estocásticos para a modelagem de desempenho e disponibilidade de sistemas de armazenamento híbridos, usando redes de Petri estocásticas (SPN) e diagrama de blocos de confiabilidade (RBD). Os modelos propostos possibilitam representar operações de escrita, leitura e mixed (escrita e leitura), e eles podem estimar tempo médio de resposta, vazão e disponibilidade. Inicialmente, análises estatísticas (teste t emparelhado) validam os modelos SPN concebidos, para um cenário com quatro diferentes dispositivos de armazenamento (HDDs) e cinco tamanhos diferentes de objetos, com o auxílio do DiskSim, que é uma ferramenta de simulação de sistemas de armazenamento. Em seguida, um planejamento de experimento (DoE) define os fatores relevantes para uma arquitetura baseada na plataforma de computação em nuvem adotada (OpenStack Swift). Posteriormente, experimentos de desempenho e disponibilidade, considerando esta plataforma de computação em nuvem, proporcionam uma comparação entre tecnologias de armazenamento tradicionais (HDD e SSD) e diferentes soluções de armazenamento híbrido. Além disso, este trabalho propõe a avaliação conjunta do desempenho (tempo médio de resposta), disponibilidade (para o cálculo do downtime) e custo, com o intuito de fornecer uma análise a respeito de diferentes tecnologias e arquiteturas de armazenamento, bem como políticas de leitura e escrita. Os resultados demonstram a viabilidade da abordagem proposta, bem como os benefícios por adotar dispositivos de armazenamento híbridos associados a uma política de armazenamento adequada. / Improvements in computational systems may be constrained by the efficiency of storage drives. Therefore, replacing hard disk drives (HDD) with solid-state drives (SSD) may also be an effective way to improve system performance, both in personal computers and data centers. However, the higher cost per gigabyte and reduced lifetime of SSDs hinder a thorough replacement. To mitigate these issues, several architectures and storage policies have been conceived based on hybrid storage systems, but performance and availability models have not been proposed to better assess such different architectures. This dissertation presents an approach based on stochastic models for performance and availability modeling of hybrid storage systems, using stochastic Petri nets (SPN) and reliability block diagrams (RBD). The proposed models can represent write, read and mixed operations, and they may estimate response time, throughput and availability. Initially, statistical analyses (paired t-test) validate SPN models conceived, for a scenario with four different storage devices (HDDs) and five different object sizes, with the DiskSim support, which is a storage system simulation tool. Next, a design of experiment (DoE) defines the relevant factors for a storage architecture based on the cloud computing platform adopted (OpenStack Swift). Hereafter, performance and availability experiments, considering this cloud computing platform, provide a comparison between traditional storage technologies (HDD and SSD) and different hybrid storage solutions. Also, this work proposes a joint evaluation of both performance (response time), availability (for calculating downtime), and cost, in order to provide an analysis of different technologies and storage architectures as well as read/write policies. The results show the feasibility of the proposed approach as well as the improvements by adopting hybrid storage devices associated with an adequate storage policy.

Este experimento foi desenvolvido no Laboratório de Hidráulica do Departamento de Engenharia Rural - USP/ESALQ, com o objetivo de avaliar o desempenho de um carneiro hidráulico para dois tipos de materiais diferentes na tubulação de alimentação, PVC e aço galvanizado sob três alturas de queda (2,1 m, 3,8 m e 4,7 m). Foi utilizado a equação de D'Aubussion para o cálculo do rendimento, sendo calculado a partir das leituras de pressão de recalque, vazão de escape, vazão de recalque e altura de alimentação. Para a representação dos dados, utilizou-se equação polinomial de segundo grau para as curvas de rendimento e equação exponencial para as curvas de pressão. Verificou-se que pode-se conseguir o máximo rendimento com o carneiro hidráulico utilizando-se de tubulação alimentadora de PVC com até 4,2 m de desnível; além desse valor a tubulação de aço galvanizado é mais eficiente; e há influência do número de batidas no desempenho de um carneiro hidráulico. / not available

Com o objetivo de avaliar o efeito da posição do emissor no desempenho de um sistema de irrigação por aspersão tipo pivô-central, foram conduzidos 18 ensaios com "sprays" de placa defletora fixa e instalados em pendural a cerca de 1,0; 2,0 e 3,0 m do solo, montados na linha lateral e voltados para baixo, sobre o tubo do pivô e, "sprays" com placa defletora rotativa (rotators) posicionados sobre o tubo do pivô. Para cada posição foram conduzidos testes com o equipamento movimentando-se a 40, 60 e 80% de velocidade. Na determinação da performance do equipamento foram avaliadas a uniformidade de aplicação de água e as componentes de eficiências tais como: de aplicação, de aplicação em potencial, de armazenamento, de distribuição e perda de água por percolação profunda. As taxas de aplicação máxima e média também foram determinadas com um pluviógrafo instalado no ponto médio do segundo, terceiro e quarto vãos, para os ensaios conduzidos a 40% de velocidade. Na avaliação da uniformidade de aplicação de água foram testados os métodos de Christiansen (CUC), Wilcox & Swayles, Heermann & Hein (CUC), Marek et alii ou do coeficiente de uniformidade estatístico (C), sendo portanto recomendáveis. Foram testadas as funções de distribuição de probabilidade gama e normal para previsão das áreas de déficit, excesso e posterior determinação das componentes do volume total para obtenção dos termos da eficiência de irrigação na parcela. Foi verificado que a função normal acumulada mostrou melhor ajuste, devendo ser recomendada para a faixa de coeficiente de variação estudada (CV <0,256). A posição relativa dos emissores exerce influência no desempenho geral do equipamento, sendo verificada redução no alcance do jato, afetando a sobreposição o que acarretou prejuízos à uniformidade de aplicação de água do sistema, com aproximação do emissor da superfície do solo. No entanto, há um incremento na eficiência de aplicação em potencial do equipamento, devido à redução das perdas provocadas pela deriva do vento. Também foi verificada nessa situação, a elevação nas taxas de aplicação média e máxima, o que pode vir a constituir-se em risco para equipamentos instalados em áreas que apresentam baixa capacidade de infiltração. Para a situação estudada, recomenda-se a instalação dos emissores na posição mais próxima do solo, uma vez que não há o risco do escoamento superficial e/ou encharcamento e as perdas de água pela deriva do vento são minimizadas. / not available

Visando viabilizar o uso de sistemas de irrigação por aspersão de baixo custo e economia de energia, foram avaliadas as características hidráulicas e de desempenho de 4 modelos de aspersores, nas pressões de 9B, 123, 147, 172 e 196 KPr. Foram realizados ensaios de vazào, distribuição de água, velocidade de rotação e durabilidade, determinando-se CUCs, raios de alcance e perfis de precipitação. Para analisar a distribuição de água foi utilizado o CUC, sendo feita análise estatística num esquema de fatorial, para espaçamentos de interesse. Os resultados mostraram ser possível utilizar pequenos sistemas de aspersão em pressão reduzida, com uniformidades aceitáveis. Os aspersores Biehl; Fabrimar - A1823; e NAAN-5022/91 podem ser utilizados em baixa pressão de operação, em projetos tecnicamente elaborados e manejados. O uso do pino dispersor em bocal circular; e do bocal elíptico apresentou efeitos significativos na elevação dos valores de CUC em baixa pressão. Os aspersores Biehl A1823 e 5022/91 não apresentaram alteração substancial nas suas características de operação e de distribuição, após operação por 1200 horas na pressão 196 KPa, segundo os critérios da ABNT. / not available

As idéias, modelos e técnicas no campo da Administração têm passado por uma constante e inegável evolução desde a consolidação desta especialidade na esfera do conhecimento humano. Apesar de se tratar de uma disciplina relativamente recente, o desenvolvimento dos conceitos e idéias na Administração, devido ao seu alcance e importância, tem provocado uma proliferação de pesquisas e publicações relativas ao tema de forma significativa e sem precedentes. Nesta perspectiva de evolução e de desenvolvimento da Administração, cabe ao pesquisador, de tempos em tempos, realizar uma análise crítica a respeito dos vários objetos de estudo que compõem esta área do conhecimento. Um destes objetos, o qual se tornou uma questão recorrente para os mais diversos setores, é determinar se o desempenho da organização está de acordo com o que foi estabelecido previamente, ou seja, seus objetivos e metas. O meio através do qual se verificaria este desempenho seria a utilização de métodos e sistemas de mensuração e avaliação de desempenho organizacional eficazes. Neste contexto, o presente estudo apresenta um enfoque tanto exploratório, por meio da revisão da literatura – que servirá de base para as discussões seguintes – da evolução histórica dos métodos de mensuração e avaliação do desempenho organizacional, quanto descritivo, por meio da descrição e análise de estudos de casos de quatro grandes empresas do setor das indústrias químicas no Brasil. Assim, a partir do levantamento dos principais métodos de mensuração e avaliação do desempenho organizacional encontrados na literatura administrativa, bem como da realização de uma leitura crítica desses mesmos métodos e de uma pesquisa junto a empresas conceituadas de um importante setor econômico, o que se pretende neste estudo é identificar como as organizações pesquisadas vêem o papel e a importância de tais ferramentas, sua relevância, necessidade de aplicação, efetividade, bem como os fatores que contribuem ou dificultam sua utilização e os efeitos decorrentes de sua implementação. Dessa forma, espera-se que se possa contribuir para a discussão do tema, tanto do ponto de vista da análise teórica, quanto da verificação das práticas em organizações brasileiras.

Esta dissertação de mestrado apresenta a implementação e validação de mecanismos de negociação no módulo de controle de admissão de uma arquitetura de servidor web com diferenciação de serviços - SWDS. Foram propostos dois algoritmos, um deles denominado algoritmo de negociação forçada e o outro algoritmo de negociação com a participação do cliente, ambos detalhados ao longo deste trabalho. Verificou-se que a técnica de negociação melhorou o atendimento aos clientes pertencentes a uma determinada classe de serviço para que esses tivessem uma qualidade de serviço garantida. Também foi objeto de estudo a criação de uma métrica envolvendo parâmetros relativos à QoS em servidores web. Os resultados alcançados com desenvolvimento deste trabalho sinalizam para uma melhoria em termos de qualidade de serviços sendo, portanto, mais uma técnica que contribui para a construção de protótipos de servidores web com diferenciação de serviços num futuro não muito distante.

Esta dissertação de mestrado apresenta a implementação e validação de mecanismos de negociação no módulo de controle de admissão de uma arquitetura de servidor web com diferenciação de serviços - SWDS. Foram propostos dois algoritmos, um deles denominado algoritmo de negociação forçada e o outro algoritmo de negociação com a participação do cliente, ambos detalhados ao longo deste trabalho. Verificou-se que a técnica de negociação melhorou o atendimento aos clientes pertencentes a uma determinada classe de serviço para que esses tivessem uma qualidade de serviço garantida. Também foi objeto de estudo a criação de uma métrica envolvendo parâmetros relativos à QoS em servidores web. Os resultados alcançados com desenvolvimento deste trabalho sinalizam para uma melhoria em termos de qualidade de serviços sendo, portanto, mais uma técnica que contribui para a construção de protótipos de servidores web com diferenciação de serviços num futuro não muito distante.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-11-09T22:10:22Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Bruno Costa e Silva Nogueira.pdf: 3537074 bytes, checksum: ddedd27d9a5ae5318ae8cc114ef6ec89 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2019-01-25T17:05:29Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Bruno Costa e Silva Nogueira.pdf: 3537074 bytes, checksum: ddedd27d9a5ae5318ae8cc114ef6ec89 (MD5) / Made available in DSpace on 2019-01-25T17:05:30Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) TESE Bruno Costa e Silva Nogueira.pdf: 3537074 bytes, checksum: ddedd27d9a5ae5318ae8cc114ef6ec89 (MD5) Previous issue date: 2015-02-12 / CAPES / Nos últimos anos, a indústria tem adotado sistemas embarcados com múltiplos e heterogêneos processadores como uma resposta viável à demanda por mais desempenho e baixa potência consumida. No entanto, programar, depurar, simular e otimizar arquiteturas heterogêneas são atividades complexas, e isso tem forçado as empresas a lidar com diversos novos desafios para aumentar a produtividade de seus projetistas. Um dos desafios proeminentes é disponibilizar métodos para que os projetistas possam eficientemente explorar o espaço de projeto. A exploração do espaço de projeto refere-se ao processo de explorar e avaliar diferentes decisões (opções) de projeto durante o desenvolvimento do sistema. Diversas abordagens têm sido propostas para resolver o problema de exploração, que é composto por duas questões complementares: (i) como representar e avaliar uma alternativa de projeto (modelos), e (ii) como percorrer o espaço de projeto (algoritmos), dado que a exploração exaustiva é usualmente inviável. Apesar da disponibilidade de métodos de exploração, as abordagens atuais possuem diversas restrições, principalmente, em relação ao tempo de avaliação e a exatidão dos modelos adotados para representar sistemas de tempo-real não críticos. Este trabalho apresenta um novo método de exploração do espaço de projeto para sistemas embarcados de tempo-real não críticos. O principal objetivo deste trabalho é prover meios para que o projetista possa escolher uma arquitetura composta por processadores heterogêneos e programáveis para uma dada aplicação de tempo-real não crítica, considerando diversas restrições conflitantes de projeto, como: probabilidades de violação de deadlines e potência consumida. O método adota uma abordagem centrada em simulação estocástica para evitar os problemas relacionados ao tempo de avaliação e exatidão dos métodos existentes. Dentre as contribuições do método proposto, destacam-se: (i) novos modelos de especificação para definir as restrições e os atributos da aplicação/plataforma de hardware, (ii) método automático de mapeamento dos modelos de especificação em modelos formais DEVS (Discrete Event System Specification) para simulação estocástica, (iii) novos algoritmos de exploração multiobjetivo, baseados em algoritmos genéticos, e (iv) uma biblioteca para dar suporte ao desenvolvimento de aplicações que executam em arquiteturas compostas por processadores heterogêneos e programáveis. Diversos experimentos foram conduzidos para demonstrar a viabilidade do método proposto. Os resultados mostram a boa exatidão dos modelos de desempenho desenvolvidos (erro máximo de 5%, em comparação a medições em um sistema real), e a eficiência do método proposto em encontrar soluções de boa qualidade para especificações que os métodos existentes têm dificuldade em explorar. / In the last years, industry has adopted embedded systems with multiple and heterogeneous processors as a viable solution for the ever-increasing demand for higher performance and lower power consumption. However, programming, debugging, simulating, and optimizing heterogeneous architectures are complex tasks, which has forced companies to deal with several new challenges in order to increase their designers’ productivity. One prominent challenge is to provide efficient methods for design space exploration. Design space exploration refers to the activity of exploring and evaluating different design decisions (options) during system development. Several approaches have been proposed to tackle the exploration problem, which is composed of two complimentary issues: (i) how to represent and evaluate a design alternative (models), and (ii) how to traverse the design space (algorithms), given that exhaustive exploration is usually infeasible. Although several methods have been proposed for design space exploration, they have many drawbacks, mainly related to the evaluation time and accuracy of the models adopted to represent soft real-time embedded systems. This work presents a new method for design space exploration of soft real-time embedded systems. The main objective of this work is to provide to the designer means for choosing an optimized architecture for a given application, considering several conflicting design objectives, such as: deadline miss violation probabilities and power consumption. The proposed method adopts an approach centered on stochastic simulation to prevent the problems related to evaluation time and accuracy of current methods. Among the contributions of this work are: (i) new models for specifying application/architecture restrictions and attributes. (ii) automatic method for mapping the specification models into formal DEVS (Discrete Event System Specification) models for stochastic simulation, (iii) new algorithms, based on genetic algorithms theory, for multiobjective exploration, and (iv) a new library for designing applications that execute on multiprocessor heterogeneous architectures. Several experiments have been conducted to demonstrate the viability of the proposed method. Results show the accuracy of the proposed performance models (maximum error of 5%, in comparison with measurements on a real system), and the efficiency of the proposed method in finding good quality solutions for specifications that current methods cannot satisfactorily explore.