bluuebunny/crossref_metadata_2025 huggingface dataset:
Neural Network Model to Predict Pore Pressure and Wellbore Stability from LWD Log and Drilling Parameter
Authors: Bruna Teixeira Silveira B. S. , Claudio Rabe C. R. , Cristian Mejia C. M. , Deane Roehl D. R.
Published: September 2023

In well construction, well stability is needed to predict drilling time, costs, and risk management accurately. Several models have been developed in the last 60 years to estimate rock parameters and stress magnitudes from well logs. However, this involves uncertainties due to rock heterogeneity, lack of information due to high data acquisition costs, and indirect measurements. Drilling monitoring has been used to mitigate instability occurrences by updating the geomechanics model while drilling. Nevertheless, monitoring highly depends on the analyst's experience and immediate interpretation of available information. Artificial Intelligence algorithms have been used to improve efficiency in many different technologies, but they depend on good predictions to learn from experience. In order to build an accurate and generalist ANN model, this paper uses the real case study experience of the analysis of offshore wells in Brazil calibrated with drilling events. Data is provided by the Brazilian National Petroleum Agency (ANP) and used to build an ANN model. The available drilling parameters are used, such as weight on bit, torque, rate of penetration, log data and well reports. Neural networks were applied to the available data to build a model. Model output includes pore pressure and collapse pressure for the survey. The proposed model can be an additional tool to help well construction operations.

INTRODUCTION

The maximum value of pore or collapse pressure defines the lower boundary of the drilling mud window. Using mud weights below those values can lead to several problems, such as inflows, excess reaming, poor hole cleaning conditions, excess cavings, pack-offs, stuck pipe, and more severe issues, such as loss of the hole or uncontrolled blowouts.

Methods to estimate pore pressure, in-situ stresses, and collapse curves were developed and improved over many years (Barton et al., 1997a; Eaton, 1972, 1975a, 1976; Fjaer et al., 1992; Zoback et al., 1985; Zoback, 2007). Most pore pressure methods are applied to argillaceous rocks assuming under-compaction mechanisms (Vernik, 2016). Pore pressure in permeable environments is generally measured using well pressure tests or inflow events.
In-Situ Nuclear Magnetic Resonance Detection and Visualisation of Hydraulic Fracture: A Proof of Concept
Authors: Giwelli A. , Esteban L. , Banks S. , Kiewiet L. , Sun H. , Sarmadivaleh M. , Al-Yaseri A.
Published: September 2023

A novel approach to study hydraulic fracture initiation and propagation inside Nuclear Magnetic Resonance core flooding system (NMR) was examined on 38 mm diameter (1.5") outcrop sandstone rock plugs. A 3.4 mm diameter and about 35 mm long borehole (two-third of the plug's length) was drilled at the center of the plugs, and then a 3.17 mm diameter (1/8") PEEK tube was carefully inserted and glued. Dry plugs were assembled and loaded into the NMR confining system, and then hydrostatically pressurised to 500 psi (∼3.5 MPa). Potassium iodide brine was slowly injected into the borehole, while the increasing injection pressure was monitored throughout the experiment using an independent pressure sensor positioned near the borehole's inlet face. NMR-T2 relaxation and saturation profile measurements were conducted at different pore pressure stages to locate and quantify any pore size changes. Both X-ray CT images and NMR spatial T2 measurements were only acquired before and after hydraulic fracture was created to support its location, aperture closure and growth. The results proved that NMR core flooding system is sensitive to any porosity or pressure changes induced by hydraulic fracture development.

INTRODUCTION

The oil and gas industry has widely adopted Nuclear magnetic resonance (NMR) measurement for reservoir characterization and monitoring. NMR detects the relaxation times of hydrogen nuclei in a rock's pore spaces, providing valuable information on petrophysical properties such as fluid(s) volume, porosity and pore-size distribution. Both laboratory and field-scale studies have extensively employed NMR, and its reliability and accuracy have been well-documented in various petrophysical research (Kleinberg and Horsfield, 2003; Blümich et al., 2007).

Hydraulic fracturing (HF) is a common technique used to increase the permeability of tight reservoirs that are uneconomical to produce otherwise. High-pressure fluids are injected into the reservoir to create fractures that facilitate the flow of hydrocarbons to the wellbore. Despite extensive research on hydraulic fracturing, the actual fracturing process remains poorly understood, particularly at a laboratory scale.
Efficient Simulation of Well Production with Multi-Scale Complex Natural Fractures
Authors: Junira Adi , Xie Hongbing , Liu Chuxi , Sepehrnoori Kamy , Yu Wei , Miao Jijun
Published: September 2023

In general, natural fractures are favorable for hydrocarbon-producing enterprises in low-permeability unconventional reservoirs. In conventional reservoirs with higher permeabilities on the other hand, such natural fractures could be counterproductive since it can be used by water to bypass oil. This study is concerned with natural fractures in a conventional gas reservoir with porosity and permeability of 20% and 10 md, respectively. Natural fractures with different scales are incorporated into the numerical reservoir model in order to investigate the effects of various natural fracture scales to the recovery. Here, the Embedded Discrete Fracture Model (EDFM) is used to insert a couple natural fractures sets to the numerical reservoir models. With EDFM, the natural fractures in the model can be slanted, randomly placed across the reservoir volume, and varied in dimensions which are more likely the traits of natural fractures found subsurface. Seemingly, the larger the natural fracture scale is, the higher its gas estimated ultimate recovery (EUR). This is probably due to the larger scale natural fractures having greater total fracture area and vice versa. Furthermore, the small-scale natural fractures contribution to the EUR in 20 years of primary production seems rather minimal. Omitting natural fractures of such scale in the reservoir model used in this study that translates to about 20% reduction in total fracture area, reduces the EUR of about 3% which means the omission might be acceptable to some extent. The connectivity of the fractures does not seem to play a significant role for the EUR. In summary, it does not really matter which fractures scale is used, as long as the total area is significant, those fractures should be included in the reservoir model. However, this is true for the model used in this study where the reservoir has relatively high permeability and natural fractures have a relatively low conductivity.
Physical Properties and Fracture Network Characteristics of Mafic and Ultramafic Rocks
Authors: Zhang Tiansheng , Huang Haiying
Published: September 2023

Mineral carbon storage in mafic and ultramafic rocks is a novel concept for CO2 sequestration. In contrast to carbon sequestration in sedimentary formations, where structural and residual trappings are the primary mechanisms of storage, solubility and mineral trappings are expected to be the dominant storage mechanisms in mafic and ultramafic rocks. Mafic and ultramafic rocks are rich in calcium, magnesium and iron. Mineral carbonation occurs when these rocks are exposed to an environment with CO2 and water. Feasibility of mineral carbon storage has been demonstrated in field trials in Iceland and eastern Washington state. In this work, we conduct a comprehensive literature review on the properties of mafic and ultramafic rocks such as basalt, gabbro and peridotite. We examine the ranges of material properties and their correlations as well as rock mass characteristics and their implications in terms of carbon sequestration. Comprehensive knowledge of intact rocks and rock mass properties will be essential for research and development of carbon storage in these rocks.

INTRODUCTION

Mineral carbon storage in mafic and ultramafic rocks is a novel concept for CO2 sequestration. In contrast to carbon sequestration in sandstone formations, where structural and residual trappings are the primary mechanisms of storage, solubility and mineral trappings are expected to be the dominant storage mechanisms in mafic and ultramafic rocks. Mafic and ultramafic rocks are rich in calcium, magnesium and iron. Mineral carbonation occurs when these rocks are exposed to an environment with CO2 and water.

Pilot field studies have been previously conducted - the Wallula Project in eastern Washington state (McGrail et al., 2017) and the CarbFix and CarbFix2 Project in southwest Iceland (Matter et al., 2016; Clark et al., 2020; Ratouis et al., 2022). These projects aimed at capturing CO2 permanently through mineral carbonation in basalt. Nearly 1,000 tons of supercritical CO2 were injected over a three-week period in summer 2013 in the Wallula Project. Two permeable basalt interflow reservoir zones with a combined thickness about 20 m within a layered basalt sequence at a depth of 830 − 890 m below the surface were chosen as the target zone. Field monitoring and characterization were carried out over a two-year period post injection. Isotope analysis of carbonate minerals from side-wall cores sampled post injection showed isotopic signatures of injected CO2. Presence of free-phase CO2 was detected from wireline logging at the top of the two injection interflow zones, likely due to buoyancy driven flow. But no vertical migration of CO2 above the injection zones was observed. These evidences suggest that storage and rapid mineralization of CO2 in a suitable basalt formation are feasible.
Perbandingan Penggunaan Media Pembelajaran Poster dan Buku Saku Terhadap Hasil Belajar Sanitasi Hygiene Kelas X Tata Boga
Authors: -Rahmahsari Nadhifah Irma , Riska Nur , Yulianti Yeni
Published: September 2023

Penelitian ini bertujuan untuk menganalisis perbandingan penggunaan media pembelajaran poster dan buku saku terhadap hasil belajar sanitasi hygiene. Metode penelitian yang digunakan adalah Nonequivalent Control Group Design. Sampel penelitian terdiri dari 2 kelas SMKN 1 Sewon. Instrumen penelitian berupa tes pilihan ganda sebanyak 20 butir soal. Berdasarkan hasil analisis data dengan menggunakan uji-t, Thitung<Ttabel menunjukkan terdapat perbandingan penggunaan media pembelajaran poster dan buku saku terhadap hasil belajar sanitasi hygiene. Hal ini dilihat dari data hasil hipotesis diperoleh nilai signifikasi 0,04, oleh karena itu Ho ditolak dan Ha diterima. Dari kedua media tersebut hasil belajar peserta didik pada kelas eksperimen 2 menggunakan media buku saku lebih tinggi dibandingkan kelas eksperimen 1 menggunakan media poster. Dengan demikian, disimpulkan bahwa terdapat perbandingan penggunaan media pembelajaran poster dan buku saku terhadap hasil belajar sanitasi hygiene kelas X tata boga.
Penggunaan Artificial Intelligence Markup Language (AIML) Untuk Menganalisa Kesalahan Menulis Bahasa Arab di MTs Bilingual Batu
Authors: Kawijaya Joni
Published: September 2023

Keterampilan menulis merupakan salah satu keterampilan penting dalam pembelajaran bahasa karena merupakan salah satu dari empat keterampilan bahasa Arab. Peneliti menemukan masalah dalam pembelajaran menulis terbimbing di Madrasah Aliyah Bilingual Batu, yaitu bahwa siswa belum mampu menulis bahasa Arab dengan kaidah yang benar dan kurangnya waktu latihan siswa untuk melatihnya. Berdasarkan hal tersebut, peneliti mengembangkan aplikasi yang mampu mengatasi permasalahan tersebut. Tujuan dari penelitian ini adalah: 1) Mendesain aplikasi Artificial Intelligence Markup Language (AIML) yang membantu guru dan siswa dalam mencapai tujuan pembelajaran menulis terbimbing di Madrasah Aliyah Bilingual Batu. 2) Untuk mengetahui validitas aplikasi Artificial Intelligence Markup Language (AIML) di Madrasah Aliyah Bilingual Batu. 3) Untuk mengetahui efektifitas aplikasi Artificial Intelligence Markup Language (AIML) dalam mencapai tujuan pembelajaran menulis terbimbing di Madrasah Aliyah Bilingual Batu. Metodologi penelitian yang digunakan dalam penelitian ini adalah penelitian dan pengembangan, karena penelitian ini bertujuan untuk menhasilkan produk serta mengetahui tingkat validitasnya dari tenaga ahli dan tingkat keefektifan penerapannya di lapangan.Tenaga ahli dalam penelitian ini adalah seorang ahli materi di bidang bahasa Arab dan seorang ahli di bidang media. Untuk subjek tes sebanyak 45 siswa, dan metode pengumpulan data yang digunakan adalah wawancara, angket, dokumentasi dan test. Hasil dari penelitian ini adalah sebagai berikut: 1) Langkah-langkah mendesain aplikasi Artificial Intelligence Markup Language (AIML) di Madrasah Aliyah Bilingual Batu adalah: mengidentifikasi masalah dan kebutuhan, dan mendesain aplikasi yang prosesnya terdiri dari mendesain kerangka aplikasi dan mendesain data aplikasi. Adapun spesifikasi dari aplikasi Artificial Intelligence Markup Language (AIML) adalah desain antar muka, pengaturan sistem, navigasi aplikasi, dan lingkungan basis data. 2) Tingkat validitas aplikasi yang didesain untuk menganalisis kesalahan menulis terbimbing di Madrasah Aliyah Bilingual Batu dari ahli materi bahasa adalah 83% atau dengan nilai baik, dari ahli media adalah adalah 75% atau dengan nilai baik. 3) Penggunaan aplikasi Artificial Intelligence Markup Language (AIML) di Madrasah Aliyah Bilingual Batu efektif dalam membantu siswa dan guru mencapai tujuan pembelajaran menulis terbimbing yang dibuktikan dengan nilai T hitung (3.197) lebih besar daripada nilai T tabel (2.021) pada tingkat signifikansi 5% dan nilai N-gain (0.46), hasil ini menunjukkan bahwa hipotesis penelitian diterima.
Design of Convolutional Neural Networks Architecture for Non-Profiled Side-Channel Attack Detection
Authors: Ahmed Amjed Abbas , Hasan Mohammad Kamrul , Islam Shayla , Aman Azana Hafizah Mohd , Safie Nurhizam
Published: September 2023

Deep learning (DL) is a new option that has just been made available for side-channel analysis. DL approaches for profiled side-channel attacks (SCA) have dominated research till now. In this attack, the attacker has complete control over the profiling device and can collect many traces for a range of critical parameters to characterise device leakage before the attack. In this study, we apply DL algorithms to non-profiled data. An attacker can only retrieve a limited number of side-channel traces from a closed device with an unknown key value in non-profiled mode. The authors conducted this research. Key estimations and deep learning measurements can reveal the secret key. We prove that this is doable. This technology is excellent for non-profits. DL and neural networks can benefit these organisations. Neural networks can provide a new technique to verify the safety of hardware cryptographic algorithms. It was recently suggested. This study creates a non-profiled SCA utilising convolutional neural networks (CNNs) on an AVR microcontroller with 8 bits of memory and the AES-128 cryptographic algorithm. We used aligned power traces with several samples to demonstrate how challenging CNN-based SCA is in practise. This will help us reach our goals. Here is another technique to create a solid CNN data set. In particular, CNN-based SCA experiment data and noise effects are examined. These experiments employ power traces with Gaussian noise. The CNN-based SCA works well with our data set for non-profiled attacks. Gaussian noise on power traces causes many more issues. These results show that our method can recover more bytes successfully from SCA compared to other methods in correlation power analysis (CPA) and DL-SCA without regularisation.
Deep Learning-Based Classification of Black Gram Plant Leaf Diseases: A Comparative Study
Authors: YASIN Elham Tahsin , KURSUN Ramazan , KOKLU Murat
Published: September 2023

The escalating incidence of plant diseases presents considerable obstacles to the agricultural domain, resulting in substantial reductions in crop yield and posing a threat to food security. To address the pressing concern of Black Gram Plant Leaf Diseases (BPLD), this research endeavors to tackle disease classification through the application of a deep learning methodology. The approach leverages a comprehensive dataset that encompasses Anthracnose, Leaf Crinkle, Powdery Mildew, and Yellow Mosaic diseases, all of which affect the black gram crop. By employing this advanced technique, we aim to contribute valuable insights to combat BPLD effectively. Our research applies deep learning models, including Darknet-53, ResNet-101, GoogLeNet, and EfficientNet-B0, to classify plant diseases. Darknet-53 achieved 98.51% accuracy, followed by ResNet-101 (97.51%), GoogLeNet (96.52%), and EfficientNet-B0 (77.61%). These findings demonstrate the potential of deep learning for accurate disease identification, benefiting agriculture. The study provides a comparative analysis of deep learning models for Black Gram Plant Leaf Disease (BPLD) classification, revealing Darknet-53 and ResNet-101 as superior performers. Implementing these models in real-world agricultural scenarios holds promise for early disease detection and intervention, reducing potential crop losses. The high accuracy achieved signifies significant progress in automating disease recognition, benefiting the agricultural sector.
Generalized unit commitment by the radar multiplier method
Authors:   , Beltrán Royo César
Published: September 2023

This operations research thesis should be situated in the field of the power generation industry. The general objective of this work is to efficiently solve the Generalized Unit Commitment (GUC) problem by means of specialized software. The GUC problem generalizes the Unit Commitment (UC) problem by simultane-ously solving the associated Optimal Power Flow (OPF) problem. There are many approaches to solve the UC and OPF problems separately, but approaches to solve them jointly, i.e. to solve the GUC problem, are quite scarce. One of these GUC solving approaches is due to professors Batut and Renaud, whose methodology has been taken as a starting point for the methodology presented herein.
This thesis report is structured as follows. Chapter 1 describes the state of the art of the UC and GUC problems. The formulation of the classical short-term power planning problems related to the GUC problem, namely the economic dispatching problem, the OPF problem, and the UC problem, are reviewed. Special attention is paid to the UC literature and to the traditional methods for solving the UC problem. In chapter 2 we extend the OPF model developed by professors Heredia and Nabona to obtain our GUC model. The variables used and the modelling of the thermal, hydraulic and transmission systems are introduced, as is the objective function. Chapter 3 deals with the Variable Duplication (VD) method, which is used to decompose the GUC problem as an alternative to the Classical Lagrangian Relaxation (CLR) method. Furthermore, in chapter 3 dual bounds provided by the VDmethod or by the CLR methods are theoretically compared.
Throughout chapters 4, 5, and 6 our solution methodology, the Radar Multiplier (RM) method, is designed and tested. Three independent matters are studied: first, the auxiliary problem principle method, used by Batut and Renaud to treat the inseparable augmented Lagrangian, is compared with the block coordinate descent method from both theoretical and practical points of view. Second, the Radar Sub- gradient (RS) method, a new Lagrange multiplier updating method, is proposed and computationally compared with the classical subgradient method. And third, we study the local character of the optimizers computed by the Augmented Lagrangian Relaxation (ALR) method when solving the GUC problem. A heuristic to improve the local ALR optimizers is designed and tested.
Chapter 7 is devoted to our computational implementation of the RM method, the MACH code. First, the design of MACH is reviewed brie y and then its performance is tested by solving real-life large-scale UC and GUC instances. Solutions computed using our VD formulation of the GUC problem are partially primal feasible since they do not necessarily fulfill the spinning reserve constraints. In chapter 8 we study how to modify this GUC formulation with the aim of obtaining full primal feasible solutions. A successful test based on a simple UC problem is reported. The conclusions, contributions of the thesis, and proposed further research can be found in chapter 9.
Comunicaciones analógicas
Authors: Fernández Rubio Juan Antonio
Published: September 2023

El objetivo de este libro es proporcionar al estudiante una introducción a los principios básicos de los Sistemas de
Comunicaciónes Analógicos. Los cinco últinos capítulos del libro se adaptan perfectamente a la asignatura COM
I del plan 92 de la ETSETB, por lo que puede ser utilizado como libro de texto de dicha asignatura. Además incluye tres temas introductorios de señales y sistemas.
Máquinas hidráulicas : problemas resueltos
Authors: Codina Macià Esteban , Bergadà Granyó Josep Maria , Heras Jiménez Salvador Augusto de las
Published: September 2023

En el libro que se presenta, se repasan algunos de los temas básicos sobre máquinas hidráulicas que todo Ingeniero debe conocer. Los problemas que aquí se exponen, son fruto de más de 15 años de docencia, y en su mayoría son problemas de exámen, siendo una de sus características principales la multidisciplinariedad, es decir, cada problema abarca varios temas de interes, con lo cual ayuda a dar una imagen global de la temática de Máquinas Hidráulicas.
Técnicas de representacion gráfica : enunciados
Authors: Garcia Almirall Ignasi , Codina Muñoz Francesc Xavier , Castillo Baliarda Miquel
Published: September 2023

La presente publicación recoge los materiales elaborados para la informatización de la asignatura de Técnicas de Representación gráfica, obligatoria de primer curso de Ingeniería Industrial y de Ingenieria Química en la Escola Tècnica Superior d'Enginyers Industrials de Barcelona (ETSEIB).
Contiene más de cien ejemplos de clase y exámenes de los últimos cursos (enunciados y archivos) resolubles mediante ordenador.
El proyecto de informatización de Técnicas de representación gráfica ha sido premiado por la UPC en la sexta edición del Concurso de ayudas para la elaboración de material docente.
P-Spice para teoría de circuitos
Authors: Miguel López José María , Sanz Postils Margarita , Miró Sans Joan Maria , Moncunill Geniz Francesc Xavier , Mas Casals Orestes Miquel
Published: September 2023

Sobre PSPICE se han escrito muchos y buenos libros.Pero creo sinceramente que al lector que se acerca al tema por primera vez con uno de ellos le puede suceder lo mismo que al ecologista novel:Que los árboles le impidan ver el bosque.
Para evitar este efecto perverso,en este libro se ha optado por presentar y desarrollar PSPICE con un enfoque minimalista de manera que los estudiantes que se inician en ingeniería eléctrica o electrónica con un curso de Teoría de Circuitos puedan disponer desde el principio de una herramienta de simulación estrictamente ajustada a sus necesidades y de la que además conocen los secretos básicos para su elaboración.
Simulació de sistemes Trunking
Authors: Barceló Arroyo Francisco , Navarro Ezquerra Marta
Published: September 2023

Aquest llibre correspon al manual de practiques d’un simulador de comunicacions mòbils PMR. La pràctica a la qual fa referència el document cobreix els aspectes relacionats amb el tràfic, la avaluació i el dimensionament dels sistemes trunking. Les possibilitats que ofereix el simulador inclouen molts casos que son freqüents en els sistemes reals però en els quals la modelització matemàtica no és possible: gestió per missatge i per transmissió, limitació de la durada de les trucades, limitació del temps sense transmetre, sistemes multiflota amb flotes de característiques diferents, tràfics no balancejats, etc. A més del manual del simulador i alguns exercicis pràctics el llibre incorpora una revisió dels conceptes teòrics dels sistemes trunking, consideracions sobre els estàndards (MPT i TETRA) i una introducció als càlculs emprats normalment per a avaluar els sistemes més senzills.
Software y hardware del C8XC251 : problemas
Authors: Ramos Lara Rafael Ramón , López Lapeña Oscar , Matas Alcalá José
Published: September 2023

El objetivo fundamental de esta obra es facilitar el aprendizaje a los estudiantes que realicen un curso de sistemas basados en microcontroladores, en particular los de la familia MCS-251 de Intel Corporation. Con esta finalidad la obra incluye un amplio y variado conjunto de problemas, con un marcado enfoque práctico, a los que recurrir para apoyar los contenidos teóricos. Por otra parte, las soluciones aportadas están rigurosamente detalladas y justificadas y son una guía fundamental en el proceso de asimilación de gran parte de los conceptos básicos relacionados con el análisis y diseño de sistemas basados en microcontroladores. Desde otro punto de vista, esta publicación ofrece al docente la posibilidad de disponer de un conjunto de ejercicios y de problemas a los que recurrir para apoyar los desarrollos teóricos a la vez que constituye el complemento idóneo a la obra ¨Microcontroladores MCS-51 y MCS-251" (Edicions UPC).
Algebra lineal
Authors: Boadas Elvira Juan
Published: September 2023

Aquest text aborda els temes fonamentals de l'Àlgebra Lineal que formen part dels continguts de primer curs de les carreres d'Enginyeria i Ciències: aplicacions lineals, matrius, determinants, diagonalització, producte escalar, formes bilineals i formes quadràtiques reals. Per a la comprensió d'aquests continguts cal conèixer els conceptes fonamentals de l'Àlgebra que podeu trobar, per exemple, en el llibre "Fonaments i estructures d'àlgebra lineal" d'Edicions UPC. Els temes estan desenvolupats amb rigor i tenint molta cura en utilitzar una simbolització adequada. Els capítols 2, 4, 5 i 6, es poden trobar de dues maneres: utilitzant la notació que representa matricialment els vectors mitjancant la matriu columna de les seves components o bé segons la matriu fila de les seves components. Les demostracions que no s'obtenen d'una manera seqüencial i que necessiten d'una feliç idea estan incloses en l'annex del corresponent capítol. A més, s'inclouen en cadascun dels capítols, esquemes i exercicis resolts que poden ser d'una ajuda molt gran per aquells alumnes que no poden assistir a un nombre suficient de classes presencials.
Diseño de equipos e instalaciones
Authors: Bilurbina Alter Luis , Iribarren Laco José Ignacio
Published: September 2023

El libro está dirigido a técnicos de las industrias de la producción y del mantenimiento de instalaciones, a estudiantes de ingeniería y de ciencias de los materiales, y en general, a todos aquellos profesionales preocupados para combatir el deterioro prematuro que ocasiona la corrosión y vitar la pérdida económica que presenta. En el capítulo 1 se dan unas reflexiones sobre la forma en que hay que diseñar instalaciones sujetas a ambientes agresivos. En los capítulos 2, 3, 4 y 5 se estudian los efectos de la corrosión sobre diferentes materiales (aceros inoxidables, aluminio, níquel, titanio, materiales refractarios, plásticos) y las formas de prevenirla así como los criterios para escoger el más adecuado para cada ambiente. En el capítulo 6 aborda el diseño de aparatos, en especial los aparatos a presión y las uniones (soldaduras, adhesivos, juntas, bridas). En el capítulo 7 se exponen, de forma resumida, los diferentes métodos de inspección de materiales, resaltando los métodos no destructivos. Por último, dada la función docente de la obra, se incluyen unas preguntas de síntesis, unos problemas y prácticas.
Lògica de primer ordre
Authors: Morrill Glyn
Published: September 2023

Aquest llibre presenta la teoria estàndard de la lògica de primer ordre. Conté demostracions completes de bastants dels resultats més importants de la lògica, inclosos la solidesa, la completesa, el teorema de Löwenheim-Skolem, la compacitat, el teorema d'Herbrand, la indecidibilitat i el teorema d'incompletesa de Gödel. Triant entre els mètodes existents més senzills, la matèria és accessible a estudiants de segon cicle d'informàtica, matemàtiques o filosofia.
Geometría lineal : teoría y práctica
Authors: Perelló Miguel Ángel
Published: September 2023

Espacios afines.Aplicaciones Aplicaciones afines. Espacios euclídeos y hermíticos. Aplicaciones ortogonales. Espacios afines euclídeos. Cónicas. Cuádricas.
A Self-study grammar book for engineers
Authors: Oliver del Olmo Sonia
Published: September 2023

A Self-Study Grammar Book for Engineers és un llibre d'autoaprenentatge de la llengua anglesa en l'àmbit de les carreres tècniques i, d'una manera especial, per a l'alumnat universitari dins el camp de les enginyeries. Està dividit en tres mòduls ben diferenciats per a facilitar la seva utilització i ordenar les unitats a estudiar en funció de les necessitats específiques de l'alumne en cada moment. En un primer mòdul s'han inclòs 31 unitats de gramàtica i documents específics amb explicacions i exemples bilingües (en català i en castellà), així com exercicis complementaris i les seves solucions respectives. El segon mòdul conté un total de 13 unitats bàsicques, relacionades amb l'anglès per a finalitats específiques: anglès per a la banca i les finances, anglès comercial, anglès per a la producció i el transport, anglès per a la construcció, etc. També en aquest mòdul s'han afegit 6 unitats extres, molt útils com a referència bàsica i sòlida sobre l'anglès americà i l'anglès britànic, friends and false friends, phrasal verbs i opposites. En el tercer i últim mòdul d'aquest llibre hi ha un apèndix amb material essencial per a l'aprenent avançat de la llengua anglesa, com per exemple: abreviacions típiques angleses, taules de conversió i càlcul, els verbs irregulars anglesos traduïts al català i al castellà, el sistema de puntuació anglès, un quadre sinòptic dels temps verbals en anglès, etc. Al final del llibre s'hi pot trobar la bibliografia i una sèrie de webs i enllaços recomanats per ambdues autores per tal de facilitar el procés d'aprenentatge de l'alumne en l'anglès com a llengua estrangera i per a finalitats específiques.
Sensitometria
Authors: Llunas i Pérez Pere , Mur i Sanabre Carme de
Published: September 2023

La documentació gràfica d’aquesta publicació correspon als continguts de l’assignatura Sensitometria i Laboratori, nivells 1 i 2, que s’imparteix a l’Escola de Fotografia de la Fundació Politècnica de Catalunya de la UPC. Aquestes il·lustracions s’utilitzen a les classes com a suport gràfic als temes que s’hi desenvolupen. La finalitat d’aquesta àrea de coneixement és l’estudi de les característiques i el comportament dels materials sensibles fotoquímics de blanc i negre i color. La documentació que es presenta proporciona informació sobre els materials i processos, la metodologia d’exposició, els processos de calibratge, l’estudi sensitomètric dels materials negatiu, positiu i reversible, l’anàlisi comparativa dels materials, la modificació i el control de processos. També s’hi inclouen càlculs i valors de resultats de proves experimentals. Aquesta publicació pot ser d’interès per als estudiants de fotografia i els fotògrafs professionals i, en general, per a totes aquelles persones que vulguin tenir un coneixement més aprofundit del rendiment dels materials sensibles fotoquímics de blanc i negre i color, i de les metodologies de treball que permeten obtenir uns resultats previsibles i repetibles.
Dibujo asistido con ordenador : teoría y prácticas de diseño con Solid Works
Authors: Gómez González Sergio
Published: September 2023

Dibujo asistido con ordenador. Teoria y prácticas de diseño con SolidWorks, se ha realizado pensando en los alumnos de los primeros cursos de las escuelas de ingeniería industrial y de diseño, así como en aquellos profesionales en activo que incorporan en sus currículos académicos o profesionales el SolidWorks, como herramienta de diseño. El libro está estructurado en distintos capítulos en los que se presentan las principales ordenes de diseño, junto con tutoriales guiados y comentados. En cada capítulo se adjuntan ejercicios no guiados que permiten poner en práctica las capacidades adquiridas y mejorar en rapidez y destreza. En el texto se han incorporado las últimas aplicaciones de la versión SolidWorks 2003 más moderna, así como todas y cada una de las aplicaciones que contiene la licencia básica: módulo de piezas, dibujo, ensamblaje y chapa metálica. Por último, se incluyen algunos aspectos teóricos y, prácticos del módulo. PhotoWorks para la obtención de imágenes renderizadas de gran realismo y de COSMOSXpress, versión introductoria de COSMOSWorks integrada en SolidWorks 2003 cuya principal aplicación es facilitar a los ingenieros y diseñadores la obtención de productos seguros, económicos y eficaces. Se basa en el método de los elementos finitos y permite realizar análisis de esfuerzos (stress analysis, estudio de tensiones, esfuerzos y deformaciones).
Pengaruh Intensitas Membaca Al-Qur’an Terhadap Sikap Religius Pada Siswa Di Smk Negeri 7 Jakarta Timur
Authors: Mutiarawati Hanjany Indy , Sulthani Dinil Abrar
Published: September 2023

Intensitas membaca Al-Qur’an ialah suatu keadaan yang dipenuhi dengan semangat dan kerutinan dalam pemahaman, pengejaan, pelafalan, dan pengkajian Al-Qur'an dalam upaya mempraktikkannya dalam kehidupan sehari-hari. Siswa di sini membaca Al-Qur'an secara intens dengan bimbingan dan pengawasan guru di sekolah. Seperti yang kita ketahui, membaca Al-Qur'an sendiri akan ketenangan hati dan ketentraman jiwa di setiap bacaanya.Metode penelitian ini menggunakan metode descriptive analytic correlation. Teknik pengumpulan data yang digunakan yaitu observasi, wawancara, angket. Penelitian ini bertujuan untuk mengetahui ada tidak nya pengaruh intensitas membaca Al-Qur’an terhadap sikap religius pada siswa di SMK Negeri 7 Jakarta.Metode yang digunakan dalam penelitian ini adalah korelasi dengan pendekatan kuantitatif, metode penarikan sampel dilakukan dengan Simple Random Sampling, dengan jumlah responden 38 peserta didik. Hasil penelitian menunjukkan bahwa jika dilihat dari segi uji koefisien Product Moment menghasilkan “rxy” atau “ro” sebesar 0,647, sedangkan “rt” pada taraf signifikan 5% = 0,271 dan taraf signifikan 1% = 0,332. Dengan demikian hipotesis nihil atau Ho ditolak dan hipotesis alternative atau Ha diterima. Berdasarkan hasil penelitian ini, maka dapat disimpulkan bahwa terdapat pengaruh intensitas membaca Al-Qur’an terhadap sikap religius siswa. Hal ini membuktikan bahwa semakin rutin membaca Al-Qur’an di lakukan maka semakin meningkat pula sikap religius siswa.
Manajemen Penggunaan Teknologi Informasi Dan Komunikasi Dalam Meningkatkan Kinerja Guru Pendidikan Agama Islam Di Smkn 1 Narmada Kabupaten Lombok Barat
Authors: Amrullah Abdul Malik , Citriadin Yudin , Thohri Muhammad
Published: September 2023

Tujuan penelitian ini adalah mengetahui kinerja guru Pendidikan Agama Islam dalam penggunaan TIK di SMKN 1 Narmada Kabupaten Lombok Barat dan mengetahui manajemen penggunaan TIK guru Pendidikan Agama Islam dilihat dari POAC (Planning Organizing, Actuating and Controling) di SMKN 1 Narmada Kabupaten Lombok Barat. Penelitian ini termasuk ke dalam penelitian kualitatif (kualitatif research) atau naturalistik. Spesifiknya penelitian ini bersifat penelitian deskriptif kulaitatif, Teknik pengumpulan data dalam penelitian ini adalah observasi, wawancara, dan dokumentasi. Analisis data yang digunakan membedah penelitian ini adalah 1) pengumpulan data 2) display data 3) data condensation dan 4) verifikasi data.Hasil dari penelitian ini adalah pertama Kinerja guru dalam pembelajaran didukung penggunaan TIK terutama untuk mencari bahan ajar utama maupun pengayaan, penyediaan materi ajar, sebagai media pembelajaran, membantu perumusan dan pembuatan soal, pengelolaan nilai, dan penyimpanan file. Walaupun begitu banyak guru yang kurang paham penggunaan TIK dalam pembelajaran. Kedua Pengelolaan TIK dalam pembelajaran PAI tanpa perencanaan khusus apalagi evaluasi. Pengelolaan ada fokus pada pemanfaatannya sebagai alat bantu guru dalam pembelajaran tanpa arahan lembaga. Pengelolaan pemanfaatan TIK lebih dominan untuk pembelajaran belum menjadi sistem pembelajaran menyeluruh (learning managemen sistem).
Onset of reproductive capacity in unowned free-roaming cats
Authors: Bohrer Ellie , Billings Devany , Patton Kristin , Kutzler Michelle
Published: September 2023

Purpose was to investigate if an underlying biological cause exists for the reproductive success in unowned free-roaming (UFR) cats. These cats were presented for surgical sterilization during late summer/early fall. After castration of UFR toms, presence of penile spines was recorded, slides were made from vas deferens secretions for sperm morphology analyses, and testes were hemi-sectioned, formalin-fixed, paraffin-embedded, sectioned, stained with hematoxylin and eosin, and seminiferous tubule diameters were measured. After ovariohysterectomy of UFR queens, total ovarian-uterine weights were recorded. Ovaries were hemi-sectioned, formalin-fixed, paraffin-embedded, sectioned, stained, and follicles were counted. Presence of penile spines did not differ (p = 0.07) between toms 2 - 6 (n = 13) and > 6 months (n = 16). Percentage of normal sperm morphology did not differ (p = 0.39) between toms 2 - 6 (n = 11; 77 ± 11%) and > 6 months (n = 9; 81 ± 13%). Seminiferous tubular diameter increased (p < 0.01) in toms 2 - 2.5 (n = 6; 88.1 ± 10.9 µm), 3 - 4 (n = 6; 109.8 ± 8.9 µm), 5 - 6 (n = 6; 142.2 ± 16.9 µm), and > 6 months (n = 6; 237.9 ± 52.5 µm). There was no association (R2 = 0.20; p = 0.07) between age and total ovarian-uterine weight of queens. Number of primary, secondary, and tertiary follicles recorded did not differ (p = 0.08) between queens 2 - 4 (n = 13) and 5 - 6 (n = 4) months. The largest follicle diameter did not differ (p = 0.14) between queens 2 - 4 (581.6 ± 53.7 µm) and 5 - 6 months (469.4 ± 113.9 µm). Results may explain why UFR cat populations continue to increase despite investments in extensive trap-neuter-return efforts. Selective pressure responses to shortened lifespans may contribute to onset of earlier reproductive capacity in UFR cats.
Perluasan Pasar Ekspor Produk Manggis Ke Korea Selatan Dengan Memanfaatkan IK-CEPA Pada CV A&H
Authors: Nurarsyika Hesti Saffana
Published: September 2023

Artikel ini menganalisis strategi bisnis ekspor dengan menggunakan Metode BCG Matriks pada studi kasus CV Faza Jaya Abadi. Tujuan dari penelitian ini adalah untuk menganalisis strategi pengembangan bisnis ekspor perusahaan berdasarkan klasifikasi portofolio produk menggunakan BCG Matriks. Metode penelitian yang digunakan adalah studi kasus dengan pendekatan kualitatif. Data yang digunakan adalah data internal perusahaan, termasuk informasi mengenai produk-produk yang diekspor, pangsa pasar, dan pertumbuhan penjualan. Analisis data dilakukan dengan menggambarkan portofolio produk perusahaan dalam BCG Matriks yang terdiri dari Bintang, Tanda Tanya, Sapi Perah, dan Anjing. Hasil penelitian menunjukkan bahwa CV Faza Jaya Abadi memiliki portofolio produk yang terdiri dari berbagai kategori dalam BCG Matriks. Beberapa produk diidentifikasi sebagai Bintang yang memiliki pertumbuhan tinggi dan pangsa pasar besar, sementara beberapa lainnya termasuk dalam kategori Tanda Tanya yang memerlukan perhatian lebih lanjut untuk pengembangan. Strategi pengembangan bisnis ekspor disarankan berdasarkan klasifikasi tersebut, termasuk alokasi sumber daya yang tepat dan pengambilan keputusan terkait investasi.
Six Dart Out
Authors: Dixon Phillip E. ,   After Dinner Conversation
Published: September 2023

Would you trade the life of a loved one (or five strangers) for your own? In this work of philosophical short story fiction, Marc owns a struggling bar, and uses the money from it to support his struggling family. His wife is pregnant with twins. After the bar closes a stranger comes in, Death, and tells Marc he has slipped, hit is head, died, and she has come to collect him. Death comes to all, but is willing to make a deal. Marc and continue his life in exchange for the life of one of his unborn twins? Or, if he’d prefer, he can trade is life for five strangers of his choosing. What he does know is, without a father, his unborn children are going to have a very difficult future ahead of them. In the end, Marc decides to accept his fate and pass on.
The Tragedy of the Knight of Faith
Authors: Sticchi Francesco , Angeli Silvia Liliana ,   Society for the Philosophic Study of the Contemporary Visual Arts
Published: September 2023

The cinema of Martin Scorsese has been analysed in connection with a wide range of themes and issues. In this paper, through a film-philosophical analysis, we aim to demonstrate how his filmography produces storyworlds pervaded by a tension similar to the one Søren Kierkegaard expressed in his existentialist writings. Indeed, one of the tenets of film-philosophy is that audio-visual media generate, in an affective and experiential manner, complex moral and ethical systems and existential viewpoints with which viewers interact in a direct and creative way. Empathising with the self-sacrifice of the unlikely martyr played by Jake LaMotta or feeling the collapsing certainties of a missionary in seventeenth-century Japan are thus occasions to encounter particular conceptual personae. These characters embody specific iterations of Kierkegaardian knights of faith: existentialist figures whose doom takes in ambiguous film ecologies where the desire for wholesomeness constantly clashes with mortality and finitude.
Privacy at Great Cost: An Argument Against Collecting and Storing DNA and Location Data and Other Mass Surveillance
Authors: Tunick Mark ,   Washington University Review of Philosophy
Published: September 2023

Mass surveillance involves the collection and storage of vast amounts of information, such as DNA samples from the general population, or location data from cell phones towers, aerial surveillance, and other sources, to then be used when a future crime occurs. For example, DNA from a crime scene could be checked against the database to identify a suspect; location data could identify suspects who were at the scene of a crime. Mass surveillance implicates important privacy interests, but it would surely reduce crime and therefore has been defended by those who reject “privacy at all costs.” I also reject “privacy at all costs.” However, while agreeing that privacy is a value that must be balanced against competing values, I argue that requiring everyone to provide a sample of their DNA or keeping track of everyone’s movements would limit the autonomy of vast numbers of people who there is no reason to suspect will pose a threat, and though such policies would make society safer, that is not worth the cost to individual autonomy. After explaining why individuals can have a substantial interest in privacy even if they are not guilty of a crime, by linking that interest to the value of individual autonomy, and drawing on a political theory of liberal pluralism to restrict what counts as a legitimate public interest that might justify mass surveillance, I articulate a method of balancing these competing interests that is more feasible than a utilitarian approach.
Natural Privacy
Authors: Perry John ,   Washington University Review of Philosophy
Published: September 2023

Over the last century and a half, appeals to “privacy” have become common in American law. The result is a rather chaotic mix of concepts, which philosophers might be able to help bring into some kind of order. But I want to discuss one kind of privacy that isn’t discussed much in the law literature, what I call “natural privacy.” I strongly suspect that unlike cricket or checkers or bridge with respect to our concept of game (Wittgenstein’s example) there is something very basic about natural privacy that can illuminate, at least to a certain extent, part of the web of concepts for which we have come to use the term “privacy.” The basis of this hunch is that two aspects of natural privacy, imagination and contemplation, seem to be a very important part of what it is to be a human being. The privacy we seek by building houses, fences and private offices seems to bear a close kinship with the kind of privacy with which nature endows us. And so does the sort of privacy we seek to provide, often in vain, for things we do with the help of modern technology, from the printing press to the internet.
Data, AI and the Dialectics of More
Authors: Jarzombek Mark ,   Washington University Review of Philosophy
Published: September 2023

The attempt by the digital forces to ‘naturalize’ the digital and thus to make it one with our ontology raises a whole host of issues about how to identify the Self. The multi-pronged process of naturalization are driven by a particular dynamic: the ‘more’ of data. Data is not a static pile of information, but only works within strategies of accumulation. Businesses and academe have bought into this strategy – addicted to its potential for control – in ways that make it impossible to see ‘an outside’. This ‘more’ is, however, hardly foolproof, and is in fact designed around a wide range of fallibilities – some visible, but most not - that are also now part of the new natural. The resultant dialectic is unstable and as it operates to re-engineer our sense of Self it faces its own destiny.
“The Circumstances of Democracy”: Why Random Selection Is Not Better Than Elections if We Value Political Equality and Privacy
Authors: Lever Annabelle ,   Washington University Review of Philosophy
Published: September 2023

Elections are generally considered the only way to create a democratic legislature where direct democracy is not an option. However, in recent years that assumption has been challenged by individuals who claim that lotteries are a democratic way of selecting people for office, elections are aristocratic or oligarchic, not democratic, and that elections as we know them are inadequate if true democracy is prioritized. In opposition to this wave, my paper argues that the assertions made to support the democratic merits of lotteries are unpersuasive. Current evidence that sortition is either more egalitarian or produces epistemically better results than elections is poor. Instead, these assertions illuminate the importance of elections in enabling the constituents of a democracy to reconcile the personal and political dimensions of their lives and, therefore, better reflect citizens’ claims to privacy and equality. The paper begins by recapping the main arguments for treating sortition as a democratic way to select a legislature, outlines their deficiencies, and then turns to what these perceived failings actually suggest about the democratic value of elections.