Analisis Struktur Perkerasan Lentur Menggunakan Program Everseries Dan Metoda AASHTO 1993 Studi Kasus: Jalan Tol Jakarta - Cikampek

. An analytical method of overlay design has some advantages, such as to take into account the variation of loading types, which will give more exact and accurate results. The purpose of this research is to analyze the existing pavement structure of Jakarta-Cikampek toll road, for analysis period between 1988 to 2008 and to calculate the Overlay Thickness required, based on the deflection data using Falling Weight Deflectometer (FWD) equipment. From the deflection data, Resilient Moduli in each layer can be determined. Considering the Cumulative Damage theory and the allowable stress/strain in each layer, the overlay thickness needed were obtained. These results could be compared to the calculation results using semi-analytical method i.e. AASHTO® 2003 method.The result of Resilient Moduli in each layer shows that those values could identify the weakness layer in the pavement structure, indicated by the lower value of Moduli. The calculation of Cumulative Damage for each section showed some locations that needed to be overlaid immediately. If the actual Cumulative Damage is greater than the allowable one, the overlay is needed. This means that pavement structure was not strong enough and need to be repaired in short term

Quiescent consistency: Defining and verifying relaxed linearizability

Concurrent data structures like stacks, sets or queues need to be highly optimized to provide large degrees of parallelism with reduced contention. Linearizability, a key consistency condition for concurrent objects, sometimes limits the potential for optimization. Hence algorithm designers have started to build concurrent data structures that are not linearizable but only satisfy relaxed consistency requirements. In this paper, we study quiescent consistency as proposed by Shavit and Herlihy, which is one such relaxed condition. More precisely, we give the first formal definition of quiescent consistency, investigate its relationship with linearizability, and provide a proof technique for it based on (coupled) simulations. We demonstrate our proof technique by verifying quiescent consistency of a (non-linearizable) FIFO queue built using a diffraction tree. © 2014 Springer International Publishing Switzerland

Pharmacotherapy efficacy and safety criteria based on spectral shifts in elder patients with arterial hypertension and coronary artery disease

The article is dedicated to development of homeostatic criteria of efficacy and safety of drugs combinations “lisinopril, bisoprolol, indapamide, isosorbide dinitrate, acetylsalicylic acid”. These criteria are based on study of homeostatic shifts and their association with clinical and laboratory parameters on elder patients with arterial hypertension (AH) II, III stage combined with coronary artery disease (CAD). Complex clinical, biochemical, biophysical and instrumental investigation was performed in 67 patients with AH II, III stage combined with CAD. On the grounds of developed criteria was established that for patients with AH II and CAD is not recommended combination “lisinopril, acetylsalicylic acid” and for those ones with AH III and CAD prohibited combinations “lisinopril, bisoprolol, acetylsalicylic acid” and “lisinopril, bisoprolol, indapamide, isosorbide dinitrate, acetylsalicylic acid” in order to prevent development of drug induced renal dysfunction. It was also determined safety of combinations “lisinopril, bisoprolol, acetylsalicylic acid”; “lisinopril, bisoprolol, indapamide, acetylsalicylic acid” for patients with AH II and CAD and “lisinopril, bisoprolol, indapamide, acetylsalicylic acid” for those ones with AH III and CAD

Efficacy of pharmacotherapy according to laser correlation spectrometry in elderly with arterial hypertension and comorbid pathology

In patients with arterial hypertension (AH) pharmacotherapy often remains ineffective because of comorbid pathology. Research of haemodynamic and homeostatic processes in such patients allows prescribe effective antihypertensive medicines, improve life quality and prognosis. Material and methods: 60 patients with AH, coronary artery disease and obesity were divided into three groups: 1st group was treated with lisinopril + atorvastatin + aspirin (regimen I); 2nd group was treated with lisinopril + atorvastatin + bisoprolol + aspirin (regimen II); 3rd group was treated with lisinopril + bisoprolol + indapamide + atorvastatin + aspirin (regimen III). Laser correlation spectrometry (LCS) was used to evaluate the homeostatic alterations. Results: All regimens were equally effective in normalization of systolic blood pressure and did not influence the ejection fraction. Only in the 3rd group was determined significant increase of glomerular filtration rate (92.732.12 vs 79.6213.62 ml/min/1.73m2). The LCS test showed that these patients had high level of light scattering particles IV, which may be caused by activation of anabolic processes. In other groups, spectral alterations were not so expressive. Conclusions: Prescription of antihypertensive therapy cause homeostatic and metabolic alterations, which may influence the efficacy of treatment

Порівняння сироваткового та плазмового гомеостазу в динаміці фармакотерапії різними комбінаціями препаратів у літніх пацієнтів з первинною артеріальною гіпертензією II стадії у поєданні з ішемічною хворобою серця = Comparison of serum and plasma homeostasis in dynamic of pharmacotherapy with different combinations in elderly patients with primary hypertension II stage and ischemic heart disease

Shtanko V. A., Tofan N. V., Yablonskaya V. B. Порівняння сироваткового та плазмового гомеостазу в динаміці фармакотерапії різними комбінаціями препаратів у літніх пацієнтів з первинною артеріальною гіпертензією II стадії у поєданні з ішемічною хворобою серця = Comparison of serum and plasma homeostasis in dynamic of pharmacotherapy with different combinations in elderly patients with primary hypertension II stage and ischemic heart disease. Journal of Education, Health and Sport. 2016;6(2):283-292. eISSN 2391-8306. DOI http://dx.doi.org/10.5281/zenodo.46670http://ojs.ukw.edu.pl/index.php/johs/article/view/3405https://pbn.nauka.gov.pl/works/717179 The journal has had 7 points in Ministry of Science and Higher Education parametric evaluation. Part B item 755 (23.12.2015).755 Journal of Education, Health and Sport eISSN 2391-8306 7© The Author (s) 2016;This article is published with open access at Licensee Open Journal Systems of Kazimierz Wielki University in Bydgoszcz, PolandOpen Access. This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium,provided the original author(s) and source are credited. This is an open access article licensed under the terms of the Creative Commons Attribution Non Commercial License(http://creativecommons.org/licenses/by-nc/4.0/) which permits unrestricted, non commercial use, distribution and reproduction in any medium, provided the work is properly cited.This is an open access article licensed under the terms of the Creative Commons Attribution Non Commercial License (http://creativecommons.org/licenses/by-nc/4.0/) which permits unrestricted, non commercialuse, distribution and reproduction in any medium, provided the work is properly cited.The authors declare that there is no conflict of interests regarding the publication of this paper.Received: 05.01.2016. Revised 12.02.2016. Accepted: 27.02.2016.  Порівняння сироваткового та плазмового гомеостазу в динаміці фармакотерапії різними комбінаціями препаратів у літніх пацієнтів з первинною артеріальною гіпертензією II стадії у поєданні з ішемічною хворобою серця В. А. Штанько, Н. В. Тофан, В. Б. Яблонська Одеський національний медичний університет, Одеса РезюмеВ даному дослідженні розглянута проблема покращення ефективності фармакотерапії шляхов вивчення сироваткових та плазмових гомеостатичних зсувів на фоні різних комбінацій препаратів у пацієнтів літнього віку з первинною артеріальною гіпертензією II стадії та ішемічною хворобою серця. За допомогою методу ЛКС-метрії виявлені та охарактеризовані особливості спектральної картини при застосуванні трьох комбінацій препаратів у пацієнтів з вищезазначеною паталогією. Ключові слова: гомеостаз, фармакотерапія, первинна артеріальна гіпертензія, ішемічна хвороба серця, лазерна кореляційна спектроскопія      Comparison of serum and plasma homeostasis in dynamic of pharmacotherapy with different combinations in elderly patients with primary hypertension II stage and ischemic heart disease V. A. Shtanko, N. V. Tofan, V. B. Yablonskaya  Odessa National Medical University, Odessa, Ukraine SummaryIn this investigation problem of pharmacotherapy efficacy improvement was observed by mean of studying plasma and serum homeostatic alterations under the influence of different combinations in elderly with primary hypertension II stage combined with ischemic heart disease.For this aim 60 elder patients were examined and treated in the University Clinic of Odessa National Medical University. Mean age of the patients was 67.2±3.8 years. Depending on prescribed treatment regimen (TR) all the patients were divided into 3 groups: lisinopril, cardiomagnil – TR I; lisinopril, bisoprolol, cardiomagnil – TR II; lisinopril, bisoprolol, indapamide, cardiomagnil – TR III. N=20 in all the groups. Laser correlation spectrometry (LCS) was special biophysical investigation method. Blood serum and plasma were investigated biomaterial. TR I led to increase of intoxication processes in both investigated liquids – serum and plasma. TR II was effective in decrease of catabolic reactions and increase of anabolic ones in plasma, but in serum it caused decrease of anabolic alterations. TR III improved serum homeostasis condition, while in plasma anabolic reactions increased but in the same time was revealed growth of intoxication processes.LCS is rather sensitive method in reflection of  blood serum and plasma homeostatic condition as before the treatment as after it. It allows reveal features of spectral picture after usage of specific combination. For further confirmation of informative capacity of the method must be found out associations of the LCS results with other laboratory investigations. Keywords: homeostasis, pharmacotherapy, primary hypertension, ischemic heart disease, laser correlation spectrometry.stasis, pharmacotherapy, primary hypertension, ischemic heart disease, laser correlation spectrometry

Prediction of pregnancy onset in the treatment of endometriosis associated infertility

В статті наведені основні дані, які дозволяють прогнозувати настання вагітності при лікуванні ендометріоз-асоційованого безпліддя на підставі огляду літературних джерел. Описані основні методи лікування ендометріоз-асоційованого безпліддя за допомогою лапароскопічної хірургії, допоміжних репродуктивних технологій, а також класифікації ендометріозу, за допомогою яких можна прогнозувати настання вагітності. The main data, that can predict the onset of pregnancy in the treatment of endometriosis-associated infertility, based on a literature review, are cited in the article. The article describes the principle methods for endometriosis-associated infertility treatment by means of laparoscopic surgery, subsidiary reproductive technologies, classifications of endometriosis that can predict the onset of pregnancy

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures

Efficient implementations of data structures such as queues, stacks or hash-tables allow for concurrent access by many processes at the same time. To increase concurrency, these algorithms often completely dispose with locking, or only lock small parts of the structure. Linearizability is the standard correctness criterion for such a scenario—where a concurrent object is linearizable if all of its operations appear to take effect instantaneously some time between their invocation and return. The potential concurrent access to the shared data structure tremendously increases the complexity of the verification problem, and thus current proof techniques for showing linearizability are all tailored to specific types of data structures. In previous work, we have shown how simulation-based proof conditions for linearizability can be used to verify a number of subtle concurrent algorithms. In this article, we now show that conditions based on backward simulation can be used to show linearizability of every linearizable algorithm, that is, we show that our proof technique is both sound and complete. We exemplify our approach by a linearizability proof of a concurrent queue, introduced in Herlihy and Wing's landmark paper on linearizability. Except for their manual proof, none of the numerous other approaches have successfully treated this queue. Our approach is supported by a full mechanisation: both the linearizability proofs for case studies like the queue, and the proofs of soundness and completeness have been carried out with an interactive prover, which is KIV

A practical and user-friendly toxicity classification system with microbiotests for natural waters and wastewaters

Various types of toxicity classification systems have been elaborated by scientists in different countries, with the aim of attributing a hazard score to polluted environments or toxic waste-waters or of ranking them in accordance with increasing levels of toxicity. All these systems are based on batteries of standard acute toxicity tests (several of them including chronic assays as well) and are therefore dependent on the culturing and maintenance of live stocks of test organisms. Most systems require performance of the bioassays; on dilution series of the original samples, for subsequent calculation of L(E C50 or threshold toxicity values. Given the complexity and costs of these toxicity measurements, they can only be applied in well-equipped and highly specialized laboratories, and none of the classification methods so far has found general acceptance at the international level. The development of microbiotests that are independent of continuous culturing of live organisms has stimulated international collaboration. Coordinated at Ghent University, Belgium, collaboration by research groups from 10 countries in central and eastern Europe resulted in an alternative toxicity classification system that was easier to apply and substantially more cost effective than any of the earlier methods. This new system was developed and applied in the framework of a cooperation agreement between the Flemish community in Belgium and central and eastern Europe. The toxicity classification system is based on a battery of (culture-independent) microbiotests and is particularly suited for routine monitoring. It indeed only requires testing on undiluted samples of natural waters or wastewaters discharged into the aquatic environment, except for wastewaters that demonstrate more than 50% effect. The scoring system ranks the waters or wastewaters in 5 classes of increasing hazard/toxicity, with calculation of a weight factor for the concerned hazard/toxicity class. The new classification system was applied during 2000 by the participating laboratories on samples of river water, groundwaters, drinking waters, mine waters, sediment pore waters, industrial effluents, soil leachates, and waste dump leachates and was found to be easy to apply and reliable. © 2003 Wiley Periodicals, Inc