bluuebunny/crossref_metadata_2025 huggingface dataset:
Humán inzulinról glargininzulin-alapú bázis-bolus kezelésre váltott betegek glykaemiás állapotának javulása a váltás után
Authors: Nagy Erzsébet , Kovács Gábor
Published: July 2018

Abstract:

Introduction: The effectiveness of human and analogue insulins is similar but the latter have more advantageous pharmacokinetic features, leading to an improvement in hypoglycaemia and come closer to achieving the physiologic insulin profile. Aim: To demonstrate that switching from a human basal-bolus insulin treatment to an insulin glargine-based basal-bolus regimen can achieve a better glycaemic control. Method: This 3-month prospective, non-interventional study, including a 12-month retrospective data collection phase, enrolled patients who were switched to the insulin glargine- – 100 U/mL – based basal-bolus treatment at the time of enrolment if they were inadequately controlled and had at least one additional HbA1c result in the 12 months before the switch. Of 1513 patients 1181 had the data that were needed for the efficacy analysis. Results: The mean age of the efficacy population was 58.3 years and 48.1% were male. Their mean HbA1c levels remained unchanged in the year before the switch: it was 8.8 ± 1.4% at 12 months prior to the switch and 8.8 ± 1.2% at the switch, but decreased significantly to 7.7 ± 1.0% (p<0.001) after 3 months. Between the baseline and 3 months, the fasting blood glucose and the postprandial blood glucose improved significantly (from 10.0 ± 3.2 mmol/L to 7.4 ± 1.9 mmol/L, p<0.001 and from 11.1 ± 2.8 mmol/L to 8.8 ± 1.7 mmol/L, p<0.001, respectively). Insulin doses were increased both before and after the switch. Conclusions: Switch to an insulin glargine-based basal-bolus regimen could achieve a significant improvement in the glycaemic control in patients who were inadequately controlled prior to the switch. Orv Hetil. 2018; 159(29): 1201–1207.
A megfelelő szájegészség megvédhet a kalciumcsatorna-blokkoló készítmények okozta gingivahyperplasia kialakulásától
Authors: Bán Ágnes , Pintér Erika , Kun József
Published: July 2018

Abstract:

Cardiovascular diseases including hypertension affect 40% of the adult population in Hungary. Calcium channel blockers are frequently prescribed for the treatment of hypertension either in monotherapy or in fixed-combination therapy. Their main effect is vasodilatation with gingival hyperplasia as a side effect. Our aim is to draw our colleagues’ attention to the practical importance of the fact that calcium channel blocker-induced gingival hyperplasia correlates closely with the dental status and the quantity of plaque on the surface of teeth and dental implants. Once established, gingival hyperplasia makes it more difficult for the patient to maintain individual tooth cleaning and increases plaque formation. Thus proliferation of Gram-negative bacteria is enabled in the plaque which promotes gingival overgrowth and can pose a risk factor for further cardiovascular diseases. If proper individual oral hygiene and professional interventions are carried out, healthy and hyperplasia-free gingival state can be sustained in the long term in most cases, even with calcium channel blocker therapy. In order to protect patients’ oral health, a closer cooperation of internists and dentists would be desirable. Orv Hetil. 2018; 159(29): 1183–1187.
EKG-gyöngyszem: tranziens Q-hullám myocardialis infarctusban
Authors: Tomcsányi János
Published: July 2018

Abstract:

A case of ST-segment elevation myocardial infarction (STEMI) is presented with pathologic transient Q-waves in the precordial leads disappearing after percutaneous coronary intervention (PCI). Orv Hetil. 2018; 159(29): 1208–1209.
A beállítási biztonsági margó nagyságának meghatározása fej-nyak daganatok 2D-2D és 3D képvezérelt intenzitásmodulált sugárkezelése esetén
Authors: Kovács Péter , Szita Evelin , Schvarcz Kitti , Kamu Szabolcs , Kalincsák Judit , Kovács Árpád , Repa Imre , Hadjiev Janaki
Published: July 2018

Abstract:

Introduction: Image-guided intensity-modulated radiation therapy is essential for oncology treatment of head-and-neck cancer patients. Aim: MV-kV and CBCT modalities were compared in case of IGRT treatment for head-and-neck cancer patients. Setup error, setup margin (SM), imaging and evaluation times and imaging doses were analyzed. Method: Eight patients’ elective treatment was evaluated, 66 orthogonal MV-kV images and 66 CBCT series were acquired. Setup error measurement was based on bony manual image registration in three translational directions. Normality test and F-test were performed followed by the comparison with independent-samples T-test (p<0,05). The necessary target volume setup margin was calculated based on Van Herk’s equation. Imaging time and setup error determination time were measured. Imaging doses were estimated based on the literature. Results: No statistically significant difference was found between setup errors determined by MV-kV and CBCT (VRT: 0.5 mm, SD = 1.9 vs. 0.4 mm, SD = 2.1, p = 0.371; LNG: 0.2 mm, SD = 2.2 vs. –0.1 mm, SD = 2.2, p = 0.188; LAT: 0.2 mm, SD = 2.2 vs. 0.3 mm, SD = 2.1, p = 0.41). SM values were: VRT: 2.7 mm vs. 2.5 mm; LNG: 2.1 mm vs. 1.3 mm; LAT: 2.2 mm vs. 2.3 mm. Mean imaging time was 0.65 min (MV-kV) vs. 2.29 min (CBCT). Mean setup error determination time was 2.41 min for both modalities. Estimated imaging doses were 6.88 mGy (MV-kV) vs. 17.2 mGy (CBCT) per fraction. Conclusion: The bony anatomy derived image registration based translational setup error determination results in similar values either by MV-kV or by CBCT. Using 3 mm setup margin in all the directions might be adequate. Imaging time is less by MV-kV, significant difference in imaging doses did not appear. Using CBCT is generally suggested. MV-kV might be an alternative in case of need for shortened imaging time. Orv Hetil. 2018; 159(29): 1193–1200.
A pubertas fejlődését szabályozó neuroendokrin mechanizmusok. Irodalmi áttekintés
Authors: Ságodi László , Sólyom Enikő , Kiss-Tóth Emőke
Published: July 2018

Abstract:

Puberty is the stage of development in human life, when the hypothalamus–hypophysis–gonad axis is re-activated after quiescence. Humanity has long been concerned with the idea of exogenous and endogenous factors and mechanisms that influence the temporal course of puberty neuroendocrine events. Recent discoveries have helped to understand the functioning of the neuroendocrine system. It has been clarified that kisspeptin plays a key role in puberty and regulation of fertility. However, in the function of the gonadotropin-releasing hormone (GnRH) pulse secretion, besides kisspeptin, neurokinin B, dynorphin neurons other positive and negative signals are involved, guiding the release of hormones of hypophysis gonadotropin. The knowledge of these nerves further enhanced the understanding of GnRH pulsation modulation by endocrine, metabolic and environmental impacts. The authors point out the risk of endocrine disruptors in the physiological course of puberty. The aim of the review is to provide a comprehensive picture of the research results of the physiology of kisspeptin, as the manipulation of kisspeptin signaling has the potential for novel therapies in patients with pathologically low or high luteinizing hormone (LH) pulsatility. Orv Hetil. 2018; 159(29): 1175–1182.
Hypertableau Reasoning for Description Logics
Authors: Motik B. , Shearer R. , Horrocks I.
Published: July 2018

We present a novel reasoning calculus for the description logic SHOIQ^+---a knowledge representation formalism with applications in areas such as the Semantic Web. Unnecessary nondeterminism and the construction of large models are two primary sources of inefficiency in the tableau-based reasoning calculi used in state-of-the-art reasoners. In order to reduce nondeterminism, we base our calculus on hypertableau and hyperresolution calculi, which we extend with a blocking condition to ensure termination. In order to reduce the size of the constructed models, we introduce anywhere pairwise blocking. We also present an improved nominal introduction rule that ensures termination in the presence of nominals, inverse roles, and number restrictions---a combination of DL constructs that has proven notoriously difficult to handle. Our implementation shows significant performance improvements over state-of-the-art reasoners on several well-known ontologies.
BnB-ADOPT: An Asynchronous Branch-and-Bound DCOP Algorithm
Authors: Yeoh W. , Felner A. , Koenig S.
Published: July 2018

Distributed constraint optimization (DCOP) problems are a popular way of formulating and solving agent-coordination problems. A DCOP problem is a problem where several agents coordinate their values such that the sum of the resulting constraint costs is minimal. It is often desirable to solve DCOP problems with memory-bounded and asynchronous algorithms. We introduce Branch-and-Bound ADOPT (BnB-ADOPT), a memory-bounded asynchronous DCOP search algorithm that uses the message-passing and communication framework of ADOPT (Modi, Shen, Tambe, & Yokoo, 2005), a well known memory-bounded asynchronous DCOP search algorithm, but changes the search strategy of ADOPT from best-first search to depth-first branch-and-bound search. Our experimental results show that BnB-ADOPT finds cost-minimal solutions up to one order of magnitude faster than ADOPT for a variety of large DCOP problems and is as fast as NCBB, a memory-bounded synchronous DCOP search algorithm, for most of these DCOP problems. Additionally, it is often desirable to find bounded-error solutions for DCOP problems within a reasonable amount of time since finding cost-minimal solutions is NP-hard. The existing bounded-error approximation mechanism allows users only to specify an absolute error bound on the solution cost but a relative error bound is often more intuitive. Thus, we present two new bounded-error approximation mechanisms that allow for relative error bounds and implement them on top of BnB-ADOPT.
An Investigation into Mathematical Programming for Finite Horizon Decentralized POMDPs
Authors: Aras R. , Dutech A.
Published: July 2018

Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Partially Observable Markov Decision Processes (DEC-POMDPs). Although DEC-POMDPS are a general and powerful modeling tool, solving them is a task with an overwhelming complexity that can be doubly exponential. In this paper, we study an alternate formulation of DEC-POMDPs relying on a sequence-form representation of policies. From this formulation, we show how to derive Mixed Integer Linear Programming (MILP) problems that, once solved, give exact optimal solutions to the DEC-POMDPs. We show that these MILPs can be derived either by using some combinatorial characteristics of the optimal solutions of the DEC-POMDPs or by using concepts borrowed from game theory. Through an experimental validation on classical test problems from the DEC-POMDP literature, we compare our approach to existing algorithms. Results show that mathematical programming outperforms dynamic programming but is less efficient than forward search, except for some particular problems.

The main contributions of this work are the use of mathematical programming for DEC-POMDPs and a better understanding of DEC-POMDPs and of their solutions. Besides, we argue that our alternate representation of DEC-POMDPs could be helpful for designing novel algorithms looking for approximate solutions to DEC-POMDPs.
Ceratitis capitata (Wiedemann) (Diptera: Tephritidae)’nın bazı meyve bahçelerinde popülasyon dalgalanması
Authors: Tiring Gülsevim , Satar Serdar
Published: July 2018

Meyve yetiştiriciliği ihracatımız için çok önemlidir. Ceratitis capitata (Wiedemann) (Diptera: Tephritidae) birçok meyve ve sebzenin önemli bir zararlısıdır. Bu sebepten dolayı, çalışmada C.capitata’nın üç meyve bahçesindeki popülasyonu 2013-2015 yılları arasında takip edilmiştir. Çalışmalar, avokado, şeftali ve incir bahçelerinde trimedlure içeren feromon kapsüllerinin yerleştirildiği McPhail tipi tuzak ile yürütülmüştür. Çalışma sonucunda en yüksek ergin sayısı avokado bahçesinde 2013 yılı Ekim ayı içerisinde (499 ergin/tuzak) saptanmıştır. Avokado bahçesinde ağaç üzerinde sağlam görünen meyvelerin kültüre alınması ile C. capitata bireyleri elde edilmiş fakat yere dökülüp çürümeye başlayan meyvelerin kültüre alınması sonucunda ise Sarcophagidae familyasına ait bir tür gözlemlenmiştir. Şeftali bahçesinde ilk bireyler mayıs ayı başında yakalanmasına rağmen vuruklu meyvelere ancak hasat sonunda dalda kalan üründe haziran ortasına doğru saptanmıştır. Çukurova Bölgesi ova kesiminde mayıs ayı başında başlayan erkenci şeftali hasadı için Akdeniz meyvesineğinin bir tehdit oluşturmadığı ancak haziran ortası gibi hasadı başlayan çeşitler için bir tehdit oluşturduğu saptanmıştır. İncir bahçesine asılan tuzaklarda ilk bireyler mayıs ayı başında yakalansa da en yüksek popülasyona ağustos ayı içerisinde (297 ergin/tuzak) ulaşmış, C. capitata uçuşları ekim ayı sonuna kadar devam etmiştir. Diğer meyve ağaçları gibi vuruklu meyvelerini dökmeyen incir meyvesindeki C. capitata larvaları üzerinde Pycnonotus xanthopgos (Hemprich & Ehrenberg) (Pycnonotidae: Passeriformes) ve eşek arıları Vespula spp. gibi predatörün beslendiği tespit edilmiştir.
Esquema de vacunación ideal vs Cartilla Nacional de Vacunación
Authors: Reyes Cadena Armando
Published: July 2018

En México ha disminuido la morbilidad y mortalidad de las enfermedades prevenibles por vacunación, incluidas las de: poliomielitis, sarampión, difteria, tosferina, tétanos y tuberculosis meníngea; a lo anterior han contribuido particularmente las semanas nacionales de salud y otras estrategias que han permitido focalizar las acciones y cumplir con las metas nacionales e internacionales.
Informative feature selection based on the Zernike polynomial coefficients for various pathologies of the human eye cornea
Authors:   Samara National Research University, Khorin P. , Ilyasova N. ,   Samara National Research University,   Image Processing Systems Institute оf RAS – Branch of the FSRC “Crystallography and Photonics” RAS, Paringer R. ,   Samara National Research University,   Image Processing Systems Institute оf RAS – Branch of the FSRC “Crystallography and Photonics” RAS
Published: July 2018

The study was devoted to the analysis of wavefront aberrations under changes of the cornea surface curvature in the human eye. The analysis was based on the representation of aberrations of the front and rear corneal surfaces as superposition of Zernike functions. Weight coefficients of the Zernike polynomials were the object of this study. The data under analysis were obtained in a number of clinical trials in the Branchevski’s eуе clinic. The most informative weight coefficients were analyzed from the point of view of classification of patients by particular diagnosis. A comparison of the classification results was carried out using thirty front and rear corneal features, as well as the most informative features. The features were ranked by the informativity criterion for solving a specific classification task. While doing analysis, the informativity was evaluated on the basis of values of a separability criterion. An additional estimation of informativeness was carried out by calculating the classification error by a K-means method. As a result of the analysis, basic Zernike functions that are most informative for particular eye pathologies were identified.
A Combined Computer-Aided Approach to Drive the Identification of Potential Epitopes in Protein Therapeutics
Authors: Galvão da Silva Bárbara Athayde Vaz , Chudzinski-Tavassi Ana Marisa , Pasqualoto Kerly Fernanda Mesquita
Published: July 2018

Background: The identification of fragment sequences, or motifs, within a therapeutic protein that may elicit an immune response when processed by T-cells can be provided by computer-aided approaches. Immunogenicity is a significant problem associated with protein therapeutics and should be investigated in the early stage of protein-based drug development to avoid treatment resistance and potentially life-threatening immune responses. Purpose: To provide a combined computer-aided protocol for investigating the immunogenic profile of a recombinant Kunitz-type inhibitor, which has been reported as promising antitumor agent by our research group. Methods: The combination of databases searching (IEDB and SYFPEITHI) and molecular docking simulations was exploited, herein. This combined protocol has allowed the identification of potential epitopes before in vitro/in vivo evaluation. Predictors of human proteasome cleavage transport and major histocompatibility complex (MHC) binding were considered as overall score assigning the corresponding intrinsic potential of being a T cell epitope to each fragment sequence. The peptides or motifs better classified in the two databases were docked into the three-dimensional (3D) structure of MHC (class I and II) complex to verify the calculated binding affinity.  The binding interactions regarding the molecular recognition process by T-cells were also exploited through the MHC:ligand:T-cell complexes. Results: Regarding the Kunitz-type sequence, four motifs were identified as potentially epitopes for MHC-I and three motifs were found for MHC-II. But, those motifs were classified as moderately immunogenic. Final remarks: The combined computer-aided protocol has significantly reduced the number of potential epitopes to be considered for further analysis and could be useful to identify immunogenic fragments (high, moderate and low) in protein pharmaceutics before in vitro/in vivo experimentation.
Estratégia de Conexão à Rede Elétrica do Gerador a Relutância Variável para Injeção de Potência Ativa
Authors: Viajante G. P. , Andrade D. A. , Gomes L. C. , Santos Jr J. A. , Bernardeli V. R. , Silveira A. W. F. V. , Freitas M. A. A. , Silva F. S.
Published: July 2018

Este artigo relata resultados de uma pesquisa no contexto das possibilidades de geração distribuída. Uma estratégia para injetar potência ativa na rede de alimentação é discutida e testada. A energia proveniente de uma fonte mecânica é convertida em energia elétrica utilizando um Gerador a Relutância Variável. A tensão gerada alimenta um barramento CC e é controlada em malha fechada. Um conversor CC-CA faz a interface do gerador com uma rede elétrica monofásica, onde o sincronismo é obtido através de Phase Locked Loop (PLL). O fator de potência unitário é alcançado com uma malha de controle da corrente injetada por meio de um controlador Proporcional Ressonante (P+RES). A Modelagem matemática dos elementos do sistema apresentado é utilizada na simulação de todo o conjunto. A montagem experimental utilizada para testes de bancada é descrito. Resultados simulados e experimentais são discutidos, comparados e mostram a viabilidade da proposta.
Hybrid Power Filter Based on a Six-Switch Two-Leg Inverter
Authors: Limongi Leonardo R. , Genú Luiz G. B. , Filho Luís R. Silva , Bradaschia Fabrício , Azevedo Gustavo M. S.
Published: July 2018

Hybrid power filters (HPFs) are considered an attractive solution to overcome the problem of current harmonics generated by nonlinear loads. They mix low power rating active filters with passive filters, but many of these HPF topologies have a great number of passive components and/or transformers. Based on this fact, new concepts of HPFs, consisting of small rated inverters and LC filters, have been introduced with wide acceptance. The advantage comes from the fact that these HPFs are connected to the grid without any matching transformer. This paper proposes a transformerless HPF based on a new six-switch two-leg inverter with an enhanced harmonic compensation capability. Besides presenting a reduced number of switches when compared with dual topologies, the proposed solution is capable of providing good compensation even for loads with a high harmonic content. Experimental results are presented for a HPF inverter prototype in order to demonstrate the effectiveness of the proposed topology.
Controle de Posição de um Motor Linear de Primário Curto em Sistemas de Transporte e Processamento de Materiais
Authors: Neto T. R. Fernandes , Mutschler P. , Pontes R. S. T. , Aguiar V. P. B.
Published: July 2018

O potencial de utilização do motor linear de primário curto em sistemas de transporte e processamento de cargas e materiais é grande, em particular com movimentações que envolvem vários veículos em percursos longos, com alta velocidade, e que requerem muita repetição e precisão na colocação final. A automação de almoxarifados, farmácias e indústrias são as aplicações imediatas deste sistema de transporte. Para implementar esse sistema de transporte, um motor linear foi concebido para operar como motor síncrono ou assíncrono, já que o custo do transporte em longo percurso é reduzido utilizando-se um secundário em gaiola plana ou em placa de reação, ao invés do uso de imãs permanentes. Este artigo tem como objetivo o desenvolvimento de uma estratégia de controle da posição do primário (veículo), a fim de se obter uma regulação de velocidade sem oscilações. Um algoritmo de controle será desenvolvido para ambos os modos de operação, e utiliza a técnica de controle orientado pelo campo. Além disso, será detalhado o comportamento do motor linear no momento da transição entre os modos de operação síncrono e assíncrono. Por fim, diversos testes foram executados para a validação da eficácia da estratégia de controle utilizada.
Controle da Potência Gerada em Microrredes Autônomas e Isoladas com Fontes de Energia Renováveis e Sistema de Armazenamento com Bancos de Baterias
Authors: De Matos José Gomes , Ribeiro Luiz Antonio de Souza , E Silva Felipe Simões Freitas
Published: July 2018

Este trabalho apresenta uma nova estratégia para controlar a potência gerada por fontes de energia renováveis conectadas à microrredes autônomas e isoladas, que utilizam sistema de armazenamento a base de banco de baterias. O principal objetivo da estratégia de controle proposta é manter o balanço de energia dentro da microrrede para que a integridade dos bancos de baterias seja garantida, mesmo quando houver potencial para geração de mais energia do que a carga pode consumir e os bancos de baterias são capazes armazenar. Essa meta é alcançada controlando a quantidade de potência gerada dentro da microrrede, sem dissipar eventual excesso de energia gerada em cargas resistivas auxiliares e sem utilizar qualquer comunicação física entre os sistemas de controle dos conversores de potência envolvidos. A frequência elétrica da microrrede é utilizada para informar quanta potência cada fonte de energia pode gerar para que a tensão dos bancos de baterias seja mantida abaixo do seu valor máximo permitido. Um método de controle droop modificado é proposto para implementar esse tarefa.
Dimmable Single-stage Sepic-buck Converter for Led Lighting With Reduced Storage Capacitor
Authors: Cosetin M. R. , Bolzan T. E. , Bitencourt E. A. , Da Silva M. F. , Alonso J. M. , Do Prado R. N.
Published: July 2018

This paper presents an analysis and design of a Light Emitting Diode (LED) driver aiming to eliminate or substitute the electrolytic capacitors. Considering the low lifetime of electrolytic capacitors compared to LEDs, this topology aims for reducing the storage capacitance and replaces it by a longer lifetime capacitor, increasing the overall system life span. This reduction is based on designing of the control dynamic with a compromise between the input current distortion and the output current ripple. The power factor correction (PFC) stage is based on a Single Ended Primary Inductance Converter (SEPIC) operating under discontinuous conduction mode (DCM) because of its low input current distortion characteristic making it possible to eliminate the electromagnetic interference (EMI) filter. The power control (PC) stage is performed by a Buck converter using its output current source behavior, suitable for LED application. A 106 W LED driver prototype is implemented resulting in 27.1% total harmonic distortion (THD), 50% current ripple on the LED and an efficiency of 92.18%. Furthermore an effective simple dimming strategy is proposed and implemented by an LED parallel active switch.
Modulation Technique Applied for THD Reduction in 3-level Flying Capacitor Multilevel Inverter
Authors: Joca Davi R. , Barreto Luiz H. S. C. , Oliveira Jr. Demercil S. , Henn Gustavo A. L. , Silva Ranoyca N. A. L.
Published: July 2018

This paper introduces a modulation technique for a three-level flying capacitor multilevel inverter applied in THD reduction. The proposed modulation improves power quality, reducing the total harmonic distortion and combining the advantages of two modulation techniques: HE-PWM and CSV-PWM. In order to validate the proposed method, the THD analysis, the loss study and the experimental results are shown concerning a three-level 6 kW 0.92 power factor flying capacitor inverter. The experimental results presented line voltage THD around 42.09% and phase voltage THD around 79.06%.
A Generalized Scalar Pulse-width Modulation for Nine-switch Inverters
Authors: Bradaschia Fabrício , Limongi Leonardo R. , De Andrade Felipe C. , Azevedo Gustavo M. S.
Published: July 2018

The nine-switch inverter has been proposed recently and, since then, a large number of applications has been investigated, specially as a substitute to the dualbridge (back-to-back) converter. The main advantage of the nine-switch inverter is its lesser number of switches (nine instead of twelve of the back-to-back converter), which has as a tradeoff some restrictions in the total attainable amplitude at its outputs, dependent on the phase shift between its two terminal sets. Thus, when migrating modulation techniques from the conventional three-phase inverter to the nine-switch inverter, more concerns have to be addressed. This paper deals with pulse-width modulation strategies that can be easily implemented by using the concept of generalized scalar modulation in this type of inverter. In fact, such concept leads to a systematic and straight approach to the generation of any continuous or discontinuous pulsewidth modulation strategy. Aiming the reduction of switching losses, the generalized modulation is applied with a specific distribution parameter that reduces the number of switchings and the power losses of the three-phase nine-switch inverter. Experimental results confirm the validity of the proposed method.
Conexão de Veículos Elétricos à Rede de Energia Elétrica para Recarga de Baterias: Uma Visão Geral
Authors: Rodrigues Márcio do C. B. P. , Oliveira Janaína G. , Ferreira André A. , Barbosa Pedro G. , Braga Henrique A. C.
Published: July 2018

Este artigo apresenta uma compilação, de natureza tutorial, de informações relacionadas às atuais formas de conexão de veículos elétricos (VEs) ao sistema de distribuição de energia elétrica para recarga de baterias. São discutidos conceitos gerais e específicos, abordando as características das baterias atualmente utilizadas em VEs, formas de recarga, tipos de carregadores e padrões de recarga. Além disso, é apresentado um sistema experimental para avaliação de estratégias de integração de veículos elétricos à rede de energia elétrica que vem sendo desenvolvido pelos autores
Analysis and Design of an Active-Clamping Coupled-Inductor Boost Converter for High-Voltage-Gain Applications
Authors: Rodycz Helder M. , Jr. Eloi Agostini
Published: July 2018

This paper proposes the analysis and design of an active-clamping coupled- inductor boost converter for high-voltage-gain applications. A buck-boost type active clamping circuit is employed in a configuration that enables the leakage energy to be recycled to the output. An accurate mathematical analysis considering the influence of the leakage and auxiliary inductances in the energy transfer process is carried out, providing the basis for the elaboration of a step- by-step design procedure. A detailed commutation analysis is also performed, describing the necessary conditions for soft-switching operation. The theoretical results are experimentally verified with a 260 W, 30 V input voltage, 400 V output voltage, 100 kHz, 94.38% peak efficiency prototype.
Geriatrics Evaluation and Management in the Veterans Administration– An Historical Perspective
Authors: Powers james , Eubank Kathryn
Published: July 2018

Comprehensive geriatric assessment, defined as an interdisciplinary assessment and development of an overall plan of treatment and follow-up, has become a fundamental part of clinical geriatric care. Since the 1970s, the Veterans Administration has encouraged the development of geriatric evaluation and management programs. Evolution of geriatric evaluation and management has occurred over time and many VA medical centers have transferred inpatient geriatric evaluation programs to long-term care Community Living Centers (CLC) and outpatient settings. Availability of resources and trained personnel across the continuum of care as well as administrative facilitation of collaboration between care components are critical to the efficient utilization of geriatric services. Facilities may need to prioritize their resources and utilize the most effective and relevant elements of geriatric evaluation and management according to patient population needs, available space, resources, and institutional priorities.
Предмет и перспективы развития логики
Authors: Ивлев Ю. В.
Published: July 2018

В статье обсуждается вопрос о предмете логики и о некоторых перспективах ее развития. Утверждается, что логика является наукой о мышлении. То есть мышление — это объект науки логики. Предмет логики — это особые структуры мыслей и процессов мышления, называемые, не совсем удачно, по мнению автора, формами мыслей и процессов мышления. Эти структуры выявляются путем частичного отвлечения от смысловых и предметных значений нелогических терминов, входящих в языковые выражения, которыми представлены мысли и процессы мышления. Современная логика отличается от традиционной использованием методов, сходных с математическими, — методов символической логики. Однако все значимые для научного и обыденного познания достижения традиционной логики сохраняются. Логика, изложенная в некоторых учебниках, изданных в сороковых годах прошлого столетия в СССР, называется суррогатной. Выделяются эмпирический и теоретический уровни исследований в логике, а также логика и _как-бы-логика_ (_as-if-logic_), логика классическая и неклассическая. Обсуждаются перспективы развития _как-бы-логики_ и собственно логики. Отмечается полезность исследований в области _как-бы-логики_ — могут будут созданы _как-бы-логические_ системы, некоторые из которых найдут интерпретацию в качестве собственно логических систем, могут быть разработаны новые методы доказательства метатеорем, которые будут применяться для доказательств относительно собственно логических. В качестве перспектив развития собственно логики указываются два направления — исследования эмпирические и теоретические. Названы возможные приложения квазиматричной логики в области логики, а также в других областях познания.DOI: 10.21146/2074-1472-2018-24-1-115-128
Анализ vs дедукция
Authors: Шалак В. И.
Published: July 2018

В настоящей работе рассматриваются четыре вида задач, которые естественным образом возникают в связи с определением логического вывода: 1) проверка доказательства: $\varGamma \langle A_{1},..,A_{n}\rangle A $; 2) поиск интересных следствий: $ \varGamma \langle ...\rangle ?$; 3) поиск доказательства: $ \varGamma \langle .?.\rangle A$; 4) поиск гипотез: $ ?\langle ...\rangle A $. В современной логике основное внимание уделяется задаче поиска доказательств. Ограничительные теоремы Гёделя имеют прямое к ней отношение. В то же время в реальной практике задача поиска гипотез, из которых следует целевое предложение, встречается гораздо чаще, чем задача поиска доказательства. Подробному ее исследованию и посвящена основная часть настоящей работы. Дано предложение $A$, и требуется найти множество гипотез (посылок) $\varGamma$, из которых оно логически выводимо. Выбор подходящих гипотез $\varGamma$происходит на основе логического анализа предложения $A$. Мы можем выделить шесть различных оснований для выбора этих гипотез: 1) принятие явных определений для предикатных и функциональных символов; 2) принятие неявных аксиоматических определений для предикатных и функциональных символов; 3) принятие ранее доказанных теорем; 4) принятие эмпирически истинных предложений; 5) принятие предложений, описывающих результат некоторого действия; 6) принятие правдоподобных гипотез, которые могут иметь отношение к решаемой задаче. В работе построено исчисление, которое формализует задачу аналитического поиска гипотез для данного целевого предложения.DOI: 10.21146/2074-1472-2018-24-1-26-45
Семантики Войшвилло для некоторых расширений логики FDE: часть I
Authors: Беликов А. А.
Published: July 2018

В настоящей статье исследуются семантики полуобобщенных описаний состояний, которые являются разновидностью информационной семантики Е.К. Войшвилло, предложенной им для первоуровневой релевантной логики $(\textbf{FDE})$ в начале восьмидесятых годов. Ключевой особенностью войшвилловского подхода является рассмотрение описаний состояний, на которые не налагаются классические условия о непротиворечивостии полноте, что позволяет определить релевантное отношение следования. Под релевантным отношением следования понимается такое, для которого не проходят классические парадоксы: $A\wedge{\sim}A\models B$и $B\models A\vee{\sim}A $ . Нами рассматриваются известные расширения логики $(\textbf{FDE})$, сформулированные в терминах систем бинарных следований: трехзначная логика Клини, логика Приста и классическая логика. Первые две из них могут быть семантически определены при помощи полуобобщенных описаний состояний: для логики Клини вводится понятие $\top$-обобщенных описаний состояний (непротиворечивых, но неполных), для логики Приста используется понятие $\bot$-обобщенных описаний состояний (противоречивых, но полных). Отношение следования, порождающее логику Клини, определяется через сохранность истинности и не-ложности от посылки к заключению. В свою очередь, логика Приста определяется отношением следования через сохранность ложности и не-истинности от заключения к посылке. В статье предлагаются доказательства адекватности данных семантик указанным системам. В случае с классической логикой мы формулируем лишь набросок доказательства полноты и непротиворечивости относительно семантики с классическими описаниями состояний (непротиворечивыми и полными). Настоящая статья является первой частью исследования, посвященного семантикам Е.К. Войшвилло для расширений логики $(\textbf{FDE})$.
DOI: 10.21146/2074-1472-2018-24-1-46-61
Логические матрицы и проблема Гольдбаха
Authors: Преловский H. Н.
Published: July 2018

В статье рассматриваются эквивалентные формулировки бинарной проблемы Гольдбаха в терминах множеств тавтологий последовательностей логических матриц и отдельных логических матриц. При этом существенную роль играют понятия тавтологий логических матриц, а также произведений и сумм логических матриц из последовательности $K_{n+1}$(матриц Карпенко). Таким образом, в статье дается вариант ответа на поставленный А.С. Карпенко вопрос о возможности наличия связи между подобными $K_{n+1}$последовательностями матриц и отдельными логическими матрицами и известной как бинарное утверждение Гольдбаха открытой проблемой: всякое четное натуральное число $n\geq 4$может быть представлено в виде суммы двух простых чисел $(G_{2})$. Доказано утверждение о том, что всякая конечнозначная матрица в построенной последовательности $M$имеет тавтологии, если и только если $(G_{2})$является истинным. С использованием свойств операции произведения матриц доказано, что бесконечнозначная матрица $M\otimes$имеет тавтологии, если и только если $(G_{2})$истинно. Показано, что $(G_{2})$эквивалентна верности утверждения о равенстве множества тавтологий матрицы $M\otimes$, образующего заданную этой матрицей логическую теорию, и логической теории, определенной в терминах множеств тавтологий конечнозначных логик Лукасевича$__{n}$. Данные результаты распространены на последовательности матриц и произведения матриц из таких последовательностей, входящие в довольно широкую совокупность классов матриц. За счет этого установлено, что построения с использованием последовательности $K_{n+1}$могут рассматриваться в качестве частного случая построений в данных классах. Проблема Гольдбаха таким образом приобретает логические аспекты, так как вопрос о ее истинности или ложности теперь сводится к вопросу о непустоте определенной логической теории. DOI: 10.21146/2074-1472-2018-24-1-62-74
О свойствах одного класса четырехзначных паранормальных логик
Authors: Томова Н. Е.
Published: July 2018

Статья посвящена результатам, полученным в ходе исследования одного класса четырехзначных литеральных паранормальных логик, т. е. логик, которые одновременно являются паранепротиворечивыми и параполными на уровне пропозициональных переменных и их отрицаний. Паранепротиворечивые логики допускают возможность работы с противоречивой информацией, параполные логики позволяют строить рассуждения в условиях неполной информации. С обоими типами неопределенности, как с противоречивой, так и с неполной информацией, позволяют работать паранормальные системы. В [5] рассмотрен класс четырехзначных литеральных паралогик, полученных методом комбинирования изоморфов классической логики, выделенных в четырехзначной логике Бочвара $\mathbf{B}_4$. В результате вместе с самими изоморфами логические матрицы, определяющие эти логики, образуют десятиэлементную верхнюю полурешетку относительно функционального вложения. В предложенной статье мы исследуем класс матриц, составляющий супремум упомянутой полурешетки. Как оказалось, матрицы этого класса обладают интересными функциональными свойствами, а именно соответствуют классу всех внешних четырехзначных функций. В статье также проводится алгоритм построения совершенной дизъюнктивной $\mbox{$J$}$-нормальной формы четырехзначной внешней функции. В литературе имеются известные матрицы, которые функционально эквивалентны матрицам рассматриваемого класса. Например, одна из них это матрица, определяющая логику ${\bf V}$ [17], представляющая собой формализацию интуиций воображаемой логики Н.А. Васильева. Нами рассмотрен вопрос о соотношении всех этих систем как по классам тавтологий, так и по классам правильных заключений, порождаемых рассматриваемыми матрицами. В результате доказано, что по классу тавтологий все системы эквивалентны, однако отличаются по свойствам отношения логического следования.DOI: 10.21146/2074-1472-2018-24-1-75-89
Логика, единство в трёх лицах
Authors: Горбунов И. А.
Published: July 2018

Эта работа в своей большей части имеет обзорный характер. В ней рассмотрены некоторые основополагающие результаты, полученные в рамках так называемой алгебраической логики. В частности, обсуждаются факты о взаимосвязях, существующих между такими основными синтаксическими объектами логики, как логическое следование, операция добавления следствий и решётка теорий логики.
Основное внимание в работе уделяется обоснованию того факта, что для того, чтобы определить логику синтаксически, необходимо и достаточно задать один из этих объектов. Для этого детально показано, как задание одного из этих объектов полностью определяет и два других объекта, а значит, и логику. А именно, показано что отношение логического следования определяет и операцию добавления следствий, и решётку теорий логики. В свою очередь, задание оператора добавления следствий определяет и логическое следование, и решётку теорий логики. Особенно подробно рассматриваются условия, которые являются необходимыми и достаточными для того, чтобы семейство множеств формул порождало операцию замыкания, которую можно трактовать как операцию добавления следствий. Для этого в работе вводится понятие семейства множеств формул, образующего решётку теорий. Доказывается, что такое семейство определяет логику. Намечаются возможные подходы к способам задания таких семейств.
В заключение обращается внимание на то, что наиболее популярные синтаксические определения логик (такие, как исчисления секвенций, исчисления фрегевского типа, замыкание множеств относительно правил вывода) одинаково успешно можно понимать как определения и логического следования, и операции добавления следствий, и компактных элементов решётки теорий логики (а значит, в силу её алгебраичности, и самой решётки теорий). DOI: 10.21146/2074-1472-2018-24-1-9-25
Cтефан Александрийский как _наследник_ Аммония
Authors: Воробьев В. В.
Published: July 2018

В работе рассмотрен комментарий философа поздней неоплатонической школы Стефана Александрийского (вторая половина 6 в. – начало 7 в. н. э.) на 9 главу _Об истолковании_ Аристотеля. Стефан Александрийский предположительно был учеником Иоанна Филопона, одного из учеников Аммония Гермия (435/445–517-526 гг.), и особого внимания историков философии до сих пор не привлекал, хотя до нас дошли его сочинения по философии. Комментарий Стефана невелик по объему и по содержанию весьма близок к такому же комментарию Аммония.
Сделан и проанализирован перевод соответствующего фрагмента текста Стефана. Отмечено, что он принимает так называемую традиционную, или стандартную, интерпретацию проблемы «завтрашнего морского сражения». Её смысл, в самом общем виде, состоит в том, что существуют различия при определении истинности высказываний, имеющих временные характеристики. Высказывания о событиях прошлого и настоящего мы считаем истинными или ложными, а высказывания о случайных событиях будущего имеют иной истинностный статус. Стефан (вслед за Аммонием) для характеристики таких высказываний вводит термин «определенно (horismenos) истинно».
Переведен также текст, содержащий известный «парадокс жнеца». Этот парадокс упоминается многими античными авторами, но до нас он дошел только в изложении Аммония, Стефана и еще одного анонимного автора. В издании Диогена Лаэртского имеется примечание, в котором содержится перевод _жнеца_. Однако этот перевод, к сожалению, сокращенный, вследствие чего очень искаженный. Парадокс _Жнец_ в последнее время привлекает внимание современных авторов и требует дальнейшего исследования.DOI: 10.21146/2074-1472-2018-24-1-90-98
Овремененные пропозиции в логике У. Оккама
Authors: Копылова А. О.
Published: July 2018

Данная статья представляет собой реконструкцию подхода средневекового схоласта, представителя логики новых Уильяма Оккама к анализу овремененных предложений. Основным источником статьи является глава 7 второй книги и глава 72 первой книги трактата $\textit{Summa Logicae}$. В этих главах Уильям Оккам отказывается от традиционного схоластического инструмента для анализа овремененных пропозиций — амлиацио, взамен предлагая собственный способ. Цель данной статьи состоит в выяснении того, по каким причинам Оккам не использует данный инструмент анализа условий истинности предложений о будущем и прошлом. В начале статьи предлагается текстологическая реконструкция структуры седьмой главы и ее основных аргументов, после чего эксплицируется роль субъектного термина и правила предикации в овремененных позициях. Далее строится основная схема анализа условий истинности овременненных пропозиций, согласно У. Оккаму. В статье показано, что основанием отказа от амплиацио были онтологические интересы схоласта, которые, в частности, выразились в его полемике с реалистом У. Бурлеем. Вместо традиционной дизъюнкции Уильям Оккам предлагает выделение двух смыслов пропозиции. Это приводит его систему к некоторым семантическим противоречиям: референция к сущностям, не существующим в настоящем времени, не редуцируется до традиционной референции в настоящем. Для решения этой проблемы Уильям Оккам вводит простые категорические пропозиции с демонстративами. Их онтологическая простота имеет два теоретических обоснования: первое — номинализм схоласта, в котором признается существование только индивидуальных вещей и субстанций, второе — его концепцию ментального языка. DOI: 10.21146/2074-1472-2018-24-1-99-114
Modeling Course Achievements of Elementary Education Teacher Candidates with Artificial Neural Networks
Authors: Akgün Ergün , Demir Metin
Published: July 2018

In this study, it was aimed to predict
elementary education teacher candidates’ achievements in “Science and
Technology Education I and II” courses by using artificial neural networks. It
was also aimed to show the independent variables importance in the prediction.
In the data set used in this study, variables of gender, type of education,
field of study in high school and transcript information of 14 courses
including end-of-term letter grades were collected. The fact that the
artificial neural network performance in this study was R=0.84 for the Science
and Technology Education I course, and R=0.84 for the Science and Technology
Education II course shows that the network performance overlaps with the
findings obtained from the related studies.
ROZUM W DEFENSYWIE. W NAWIĄZANIU DO ENCYKLIKI FIDES ET RATIO
Authors: Szostek Andrzej
Published: July 2018

This article refers to Fides et Ratio by John Paul II. Starting from the analysisof this letter, the author discusses the deficiency of ratio in three dimensions: philosophical, theological and social one.
PROBLEM FILOZOFICZNEGO UJĘCIA ISTOTY BOGA W SUMMA THEOLOGIAE ŚW. TOMASZA Z AKWINU. PERSPEKTYWA EGZYSTENCJALNA
Authors: Andrzejuk Artur
Published: July 2018

The „second way” in the famous third article of Summa theologiae most closelycorresponds to all of Thomas’s own investigation into the existence of God. Onseveral occasions, when referring to its conclusion („there is a first effective cause”),Aquinas adds that the first cause is its own esse. The attributes of God are the consequencesof His structure as the esse itself. The first is that God is a one-elementbeing, in which existence is the only ontic material, and it has the nature of an act.It follows that existence is identified with an essence of God, His nature, life andall that God can be predicted („divinity” – deitas). God is understood to be thecause of all other beings, and He is not caused. This is what we call „subsistence”(ipsum subsistens). God’s immutability and eternity are simple consequences of Hissubsistent existence. God’s infinity and omnipresence are the derivative attributesof His existence. The whole group of such attributes can be recognized as theconsequences of his structure of the subsistent act of existence.The second group of attributes of God is the attributes which manifest theexistence of being. As such, they concern every being. However, the existence ofGod has absolute character as well as its attributes which manifest the existence.In relation to God, Thomas mentions here such attributes as the good, the truth, theunity, but there is no doubt that we can attribute to God the rest of transcendentals:reality, distinctiveness and beauty. Aquinas – basing here on metaphysical principleof proportionality of cause and effect – sees the source of perfection in God. Fromthis perspective we can talk about the personal nature of God, that is, His reasoning,freedom and love. Also, Thomas does not reject the existential perspective. Withinits framework, he solved the paradox of the omnipotence of God (can God createsomething more perfect than Himself?). Aquinas associates the concept of God’somnipotence with existence and states that it consists in the possibility of creatingevery being that can exist. This means that God does not contribute contradictoryontological internal structures.Thus, we can say that Thomas Aquinas in Summa theologiae outlines a coherentand quite complete conception of the essence of God, which is built within hisexistential theory of existence.
THEOLOGY: ITS DEFINITION, METHOD AND PLACE IN THE MODERN WORLD
Authors: Ciećko Szymon Krzysztof
Published: July 2018

This article presents theology in three aspects: definitions, methods and places in the modern world. The definition is derived using the statements of the ecclesiastical Magisterium. A reflection on the method is based on some selected academic publications and the ecclesiastical Magisterium statements, too. The basis for a brief reflection on the place of theology is J. Ritter’s thought and the statement of the ecclesiastical Magisterium (“Gaudium et Spes”). The article is addressed to both theologians and the representatives of other sciences.