Foundations of the Bandera Abstraction Tools

NASA Technical Reports Server (NTRS)

Hatcliff, John; Dwyer, Matthew B.; Pasareanu, Corina S.; Robby

2003-01-01

Current research is demonstrating that model-checking and other forms of automated finite-state verification can be effective for checking properties of software systems. Due to the exponential costs associated with model-checking, multiple forms of abstraction are often necessary to obtain system models that are tractable for automated checking. The Bandera Tool Set provides multiple forms of automated support for compiling concurrent Java software systems to models that can be supplied to several different model-checking tools. In this paper, we describe the foundations of Bandera's data abstraction mechanism which is used to reduce the cardinality (and the program's state-space) of data domains in software to be model-checked. From a technical standpoint, the form of data abstraction used in Bandera is simple, and it is based on classical presentations of abstract interpretation. We describe the mechanisms that Bandera provides for declaring abstractions, for attaching abstractions to programs, and for generating abstracted programs and properties. The contributions of this work are the design and implementation of various forms of tool support required for effective application of data abstraction to software components written in a programming language like Java which has a rich set of linguistic features.

Bahía de Banderas, Mexico: Morphology, Magnetic Anomalies and Shallow Structure

NASA Astrophysics Data System (ADS)

Mortera Gutiérrez, Carlos A.; Bandy, William L.; Ponce Núñez, Francisco; Pérez Calderón, Daniel A.

2016-10-01

The Bahía de Banderas lies within a tectonically complex area at the northern end of the Middle America Trench. The structure, morphology, subsurface geology and tectonic history of the bay are essential for unraveling the complex tectonic processes occurring in this area. With this focus, marine geophysical data (multi-beam bathymetry, high resolution seismic reflection and total field magnetic data) were collected within the bay and adjacent areas during four campaigns aboard the B.O. EL PUMA conducted in 2006 and 2009. These data image the detailed morphology of, and sedimentation patterns within, the Banderas Canyon (a prominent submarine canyon situated on the south side of the bay) as well as the shallow subsurface structure of the northern part of the bay and the submarine Marietas Ridge, which bounds the bay to the west. We find that the Marietas Ridge is presently a transtensional feature; the course of the Banderas Canyon is controlled by extensive turbidite fan sedimentation in its eastern extremity and by structural lineaments to the west; the canyon floor is filled by sediments and exhibits almost no evidence for recent tectonic movements; the southern canyon wall is quite steep and a few sediments are deposited as submarine fans at the base of the southern wall; and extensive turbidite fans form the lower part of the northern canyon wall, producing a gently sloping lower northern wall. We find no evidence for a regional east-west striking lineament between the bay and the Middle America Trench, which casts doubts on the previous assertion that the Banderas Canyon is unequivocally related to the presence of a regional half-graben. Finally, a N71°E oriented normal fault offsets the seafloor reflector by 15 m within the central part of the bay, suggesting that the bay is currently being subjected to NNW-SSE extension.

Influence of Tropical Cyclones Period 1970 TO 2010 IN the Region of Bahia de Banderas, Nayarit-Jalisco Mexico

NASA Astrophysics Data System (ADS)

Hernandez, J. M.

2013-12-01

This study evaluates the impacts of tropical cyclones (TC) that made landfall in populated areas along the Pacific coast of Mexico, especially in the region of Bahia de Banderas. During the period of 1970-2010 and used a database of international natural disasters to identify impacts. Were more than 13 events during the reporting period, of which 10 are examined more precipitation accumulated and 6 that caused further damage to the affected population in these cases ranged from 5000 to more than 15 000 inhabitants. Strong winds and heavy rainfall in periods of one to three days were associated with property damage and loss of life. The results of the study indicate that excessive accumulations of rain and daily intensity are important factors connected with the occurrence of disasters in densely populated areas. Six of the first 10 Tropical Cyclone associated with major disasters occurred in conditions of El Niño and four neutral conditions. With the analysis of satellite images using GOES-10 in the IDV software maps were obtained in the coastal impacts of Banderas Bay and describes the main features of each meteorological phenomena. In which concludes that no tropical cyclone entered directly to the Banderas Bay region, but its effects were very relevant, taking into account the topography, land use change and the vulnerability of the region. Tropical Cyclones that have affected the region of Bay of Banderas

Geologic and geophysical investigations of the Zuni-Bandera volcanic field, New Mexico

DOE Office of Scientific and Technical Information (OSTI.GOV)

Ander, M.E.; Heiken, G.; Eichelberger, J.

1981-05-01

A positive, northeast-trending gravity anomaly, 90 km long and 30 km wide, extends southwest from the Zuni uplift, New Mexico. The Zuni-Bandera volcanic field, an alignment of 74 basaltic vents, is parallel to the eastern edge of the anomaly. Lavas display a bimodal distribution of tholeiitic and alkalic compositions, and were erupted over a period from 4 Myr to present. A residual gravity profile taken perpendicular to the major axis of the anomaly was analyzed using linear programming and ideal body theory to obtain bounds on the density contrast, depth, and minimum thickness of the gravity body. Two-dimensionality was assumed.more » The limiting case where the anomalous body reaches the surface gives 0.1 g/cm/sup 3/ as the greatest lower bound on the maximum density contrast. If 0.4 g/cm/sup 3/ is taken as the geologically reasonable upper limit on the maximum density contrast, the least upper bound on the depth of burial is 3.5 km and minimum thickness is 2 km. A shallow mafic intrusion, emplaced sometime before Laramide deformation, is proposed to account for the positive gravity anomaly. Analysis of a magnetotelluric survey suggests that the intrusion is not due to recent basaltic magma associated with the Zuni-Bandera volcanic field. This large basement structure has controlled the development of the volcanic field; vent orientations have changed somewhat through time, but the trend of the volcanic chain followed the edge of the basement structure. It has also exhibited some control on deformation of the sedimentary section.« less

Modeling the marine magnetic field of Bahía de Banderas, Mexico, confirms the half-graben structure of the bay

NASA Astrophysics Data System (ADS)

Alvarez, Román; López-Loera, Héctor; Arzate, Jorge

2010-06-01

An existing aeromagnetic survey flown on the central, western portion of Mexico did not include an important tectonic structure: Bahía de Banderas. The bay has an extension of approximately 1400 km 2 and is located within the Puerto Vallarta batholith, a granitic structure of Cretaceous origin. We report here the additional gathering of 5523 magnetic values on the bay, in order to complement the existing land aeromagnetic information; this allowed modeling the structure of the bay from the magnetic viewpoint. A late Miocene age has been proposed for the bay making it roughly contemporaneous with the first stages of separation of Baja California from mainland Mexico. Initially proposed as a graben, it was subsequently shown that its structure actually corresponds to a half-graben of the fault growth type, with reverse drag geometry; it appears to have been developed in response to an extensional process in the ˜ N-S direction. Valle de Banderas neighbors the bay constituting its eastern land continuation; it has also been proposed as a graben and it is also likely the result of an extensional process. However, it seems to be a structure more recently formed, probably around 5 Ma. The different time origin of the bay and of the valley is strengthened by the different alignment of the valley axis, where Ameca River flows and discharges into the bay, of around 30° from the trace of Banderas fault. The magnetic responses of the valley, aeromagnetic and terrestrial, support the existence of an extensional process. Upward and downward continuations of the magnetic fields show that Sierra de Vallejo and Sierra de Zapotán, to the NW of the valley, are deeply rooted structures and their magnetic responses are similar to those obtained in the Puerto Vallarta batholith; these characteristics support a common origin for them. Three magnetic profiles trending NNW are modeled across Bahía de Banderas. The models identify the structure as a half-graben with a listric main

10Be and 36Cl Surface Exposure age of the Puerto Banderas Moraine, Lago Argentino, Argentina, 50°S

NASA Astrophysics Data System (ADS)

Becker, R. A.; Ackert, R. P.; Singer, B. S.; Douglass, D. C.; Caffee, M.; Kurz, M.; Mickelson, D. M.; Rabassa, J.

2005-12-01

The Antarctic Cold Reversal (ACR) and Younger Dryas (YD) are prominent late deglacial cool periods expressed in polar ice and high latitude marine sediments between 14.8-12.7 and 12.7-11.5 ka, respectively. Debate centers on the extent to which YD cooling affected the earth`s surface, particularly in the mid- to high latitudes of the Southern Hemisphere. Resolving the timing of late glacial cooling is critical to determining the degree of inter-hemispheric synchroneity as the climate system evolved after the global Last Glaciation Maximum (LGM) 16 ka. The Puerto Banderas moraine was deposited at 50°S in the rain shadow east of the Andes and between LGM moraines 60 km to the east and the present south Patagonian Ice Cap 40 km to the west. It is a sharp-crested ridge 30 km long and 10-15 m high, topped by numerous erratic boulders >1 m high ideally suited for surface exposure dating. Radiocarbon dating provides only broad age limits. A weighted mean of three 14C ages on peat younger than the moraine of 11.7±0.3 cal. ka (2 σ), along with glacier behavior elsewhere in the Andes, led John Mercer to propose that the Puerto Banderas moraine is late glacial, ca. 15 ka. Recent mapping and two additional 14C ages suggest that the moraine may have been deposited in stages between 15.4 and 11.9 ka. New cosmogenic surface exposure ages from the most prominent part of this moraine, however, indicate a considerably younger age. The weighted mean of 10Be ages from quartz in 8 boulders is 11.3±0.7 ka. Moreover, the weighted mean of 36Cl ages from 8 other boulders is 10.9±0.9 ka. The weighted mean age of all 16 boulders is 11.1±0.5 ka. Uncertainties include analytical and production rate contributions. Our previous work in the region suggests that production rates may be 10% higher than expected owing to reduced air pressure during the late glacial and the early Holocene. Thus, the age of 11.1±0.5 ka is a maximum for the Puerto Banderas moraine and although it is possible

A new species of Asterocheres (Copepoda, Siphonostomatoida) with a redescription of A. complexus Stock, 1960 and A. sarsi Bandera & Conradi, 2009.

PubMed

Bandera, Eugenia; Conradi, Mercedes

2014-07-07

The present paper reviews the material of three species of Asterocheres Boeck 1859 deposited in four different Zoological European museums as part of the ongoing taxonomical revision of this genus. Asterocheres sarsi Bandera & Conradi 2009, the species described by Sars in 1915 as Ascomyzon latum (Brady 1880) and lately recognized as a distinct species by Bandera and Conradi in 2009 is fully described in this paper from material collected by Sars in Norway in 1915 and deposited in The Natural History Museum of the University of Oslo. Asterocheres complexus Stock, 1960 which has been sometimes confused with A. sarsi is redescribed from material collected by Stock in France in 1959 and deposited in the Zoological Museum of the University of Amsterdam. Furthermore, a new species, previously misidentified as A. suberitis Gieisbrecht 1897, from the Norman`s collection of The Natural History Museum of London, is described as A. eugenioi, new species. These three species, A. complexus, A. eugenioi, and A. sarsi share the general appearance of body thanks to the pointed posterolateral angle of the epimeral area of somite bearing leg 3, sometimes slightly produced into backwardly directed processes, and somite bearing leg 4 largely concealed under somite bearing leg 3.

Study of Seismic Clusters at Bahía de Banderas Region, Mexico

NASA Astrophysics Data System (ADS)

Nunez-Cornu, F. J.; Rutz-Lopez, M.; Suarez-Plascencia, C.; Trejo-Gomez, E.

2010-12-01

Given that the coast in the states of Jalisco and south of the state of Nayarit is located within a region of high seismic potential and also because population is increasing, perhaps motivated by the development of tourism, the Civil Defense authorities of Jalisco and the Centro de Sismología y Volcanología de Occidente-SisVOc of Universidad de Guadalajara started in the year 2000 a joint project to study the seismic risk of the region, including the seismic monitoring of Colima volcano (located between the states of Jalisco and Colima). This work focuses on the study of seismicity in the area of Bahía de Banderas and northern coast of Jalisco. To this end, we perform an analysis of available seismograms to characterize active structures, their relationship to surface morphology, and possible reach of these structures into the shallow parts of the bay. The data used in this work are waveforms recorded during the year 2003 during which the seismograph network spanned the region of study. Our method is based on the identification of seismic clusters or families using cross-correlation of waveforms, earthquake relocation and modeling of fault planes. From an initial data set of 404 earthquakes located during 2003, 96 earthquakes could be related to 17 potentially active continental structures. A modeling of fault planes was possible for 11 of these structures. Subgroups of 7 structures are aligned parallel to the Middle America Trench, a possible consequence of oblique subduction. The magnitudes of earthquakes grouped into families is less than 3.6 (Ml), corresponding to fault dimensions of hundreds of meters.

Shatter Complex Formation in the Twin Craters Lava Flow, Zuni-Bandera Field, New Mexico

NASA Astrophysics Data System (ADS)

von Meerscheidt, H. C.; Bleacher, J. E.; Brand, B. D.; deWet, A.; Samuels, R.; Hamilton, C.; Garry, W. B.; Bandfield, J. L.

2013-12-01

Lava channels, tubes and sheets are transport structures that deliver flowing lava to a flow front. The type of structure can vary within a flow field and evolve throughout an eruption. The 18.0 × 1.0 ka Twin Craters lava flow in the Zuni-Bandera lava field provides a unique opportunity to study morphological changes of a lava flow partly attributable to interaction with a topographic obstacle. Facies mapping and airborne image analysis were performed on an area of the Twin Craters flow that includes a network of channels, lava tubes, shatter features, and disrupted pahoehoe flows surrounding a 45 m tall limestone bluff. The bluff is 1000 m long (oriented perpendicular to flow.) The general flow characteristics upstream from the bluff include smooth, lobate pahoehoe flows and a >2.5 km long lava tube (see Samuels et al., this meeting.) Emplacement characteristics change abruptly where the flow encountered the bluff, to include many localized areas of disrupted pahoehoe and several pahoehoe-floored depressions. Each depression is fully or partly surrounded by a raised rim of blocky material up to 4 m higher than the surrounding terrain. The rim is composed of 0.05 - 4 m diameter blocks, some of which form a breccia that is welded by lava, and some of which exhibit original flow textures. The rim-depression features are interpreted as shatter rings based on morphological similarity to those described by Orr (2011.Bul Volcanol.73.335-346) in Hawai';i. Orr suggests that shatter rings develop when fluctuations in the lava supply rate over-pressurize the tube, causing the tube roof to repeatedly uplift and subside. A rim of shattered blocks and breccias remains surrounding the sunken tube roof after the final lava withdraws from the system. One of these depressions in the Twin Craters flow is 240 m wide and includes six mounds of shattered material equal in height to the surrounding undisturbed terrain. Several mounds have depressed centers floored with rubbly pahoehoe

Multibeam bathymetric survey of the Ipala Submarine Canyon, Jalisco, Mexico (20°N): The southern boundary of the Banderas Forearc Block?

NASA Astrophysics Data System (ADS)

Urías Espinosa, J.; Bandy, W. L.; Mortera Gutiérrez, C. A.; Núñez Cornú, Fco. J.; Mitchell, N. C.

2016-03-01

The Middle America Trench bends sharply northward at 20°N. This, along with the close proximity of the Rivera-North America Euler pole to the northern end of this trench, sharply increases the obliquity of subduction at 20°N. By analogy with other subduction zones with similar sharply changing obliquity, significant trench parallel extension is expected to exist in the forearc region near the bend. To evaluate this possibility, multibeam bathymetric, seafloor backscatter and sub-bottom seismic reflection data were collected in this area during the MORTIC08 campaign of the B.O. El Puma. These data image in detail a large submarine canyon (the Ipala Canyon) extending from the coast at 20°05‧N to the Middle America Trench at 19°50‧N. This canyon is 114 km long and is fed by sediments originating from two, possibly three, small rivers: the Ipala, Tecolotlán and Maria Garza. This canyon deeply incises (up to 600 m) the entire continental slope and at least the outer part of the shelf. Within the canyon, we observe meanders and narrow channels produced by turbidity flows indicating that the canyon is active. In the marginal areas of the canyon slumps, rills, and uplifts suggest that mass movements and fluid flow have had a major impact on the seafloor morphology. The seafloor bathymetry, backscatter images and sub-bottom reflection profiles evidence the tectonic processes occurring in this area. Of particular interest, the canyon is deflected by almost 90° at three locations, the deflections all having a similar azimuth of between 125° and 130°. Given the prominence and geometry of this canyon, along with its tectonic setting, we propose that the presence of the canyon is related to extension produced by the sharp change in the plate convergence. If so, the canyon may lie along the southeast boundary of a major forearc block (the Banderas Forearc Block).

76 FR 25690 - Ocean Transportation Intermediary License Applicants

Federal Register 2010, 2011, 2012, 2013, 2014

2011-05-05

.... Lanuzga, Vice President, Application Type: Business Structure Change. Embarque Bandera Shipping, Inc. (NVO... Road, Suite 222, Diamond Bar, CA 91765, Officer: Rachel Zhu, President, (Qualifying Individual...

Crustal Structure across Rivera Plate and Jalisco Block (MEXICO): TsuJal Project

NASA Astrophysics Data System (ADS)

Nuñez-Cornu, F. J.; Nunez, D.; Barba, D. C., Sr.; Trejo, E.; Escalona, F.; Danobeitia, J.; Gutierrez Pena, Q. J.

2015-12-01

Located on the western margin of Mexico, the collision zone between Rivera, Cocos and North American plates is a complex tectonic collage with high seismic hazards and potential tsunamigenic sources. During the spring of 2014, within the framework of TSUJAL project, Spanish and Mexican scientists investigated this region with the main objective of defining the crustal architecture of this active margin and recognizing potential structural sources that can trigger earthquakes and tsunamis at the convergence between Rivera plate-Jalisco block with the North American Plate. To achieve these goals, a wide-ranging of geophysical data was acquired in this region both offshore and onshore. In this paper, we present the preliminary results obtained from this project about bathymetric, structural geology and wide-angle seismic data of the southern coast of Bahía de Banderas. A crustal P-wave velocity model for the southern coast of Bahía de Banderas was obtained using WAS data recorded by OBS and land seismic stations for more than 150 km across Rivera Plate and Jalisco Block. The thickness of the slab in this area is about 10 km and presents a dip angle about 8º. Continental crustal thickness below Puerto Vallarta is about 20 km, no evidence of continental Moho was found in this study. This model support that due to the convergence of Rivera Plate against Jalisco Block, the region of Bahía de Banderas is under strong crustal stresses that generate structural lineaments and have the same trends offshore and inland. Most of the seismicity reported can be associated to the main structural lineaments. The Banderas Canyon apparently is in an opening process from west to east, which seems to continue through the Rio Pitillal river valley. There is no seismic or morphological evidence to consider that the Banderas Canyon is a continuation of Vallarta Graben.South of María Cleofas Island, the SC marks the limit between RP and JB, possibly being the result of the RP against JB

Eventos de Junio (June Events).

ERIC Educational Resources Information Center

Pla, Myrna; Toro, Leonor

Written in Spanish, this booklet contains brief information on six June events celebrated by Puerto Ricans: Nathan Hale, Dia de la Bandera (Flag Day), Francisco Oller, Dia de los Padres (Father's Day), Fiesta de San Juan Bautista, and school graduation. Designed for teachers, the booklet includes a listing of 16 historical events occurring in…

A Bulldog Mobile Is Born

ERIC Educational Resources Information Center

Groff, Suzy

2015-01-01

Sometimes great initiatives in education start with just a glimmer of an idea and a belief that building a foundation under that idea can effect change. That glimmer of an idea came to Bandera Independent School District (BISD) from a middle school English teacher who attended an International Reading Association Conference and heard about…

Final Environmental Impact Statement, Brooks City Base Project, Brooks Air Force Base, Texas

DTIC Science & Technology

2001-03-01

Wilson GuadalupeBexar Cornal Kendall Gillespie Kerr Bandera Medina Frio Uvalde Atascosa Karnes NOT TO SCALE Index Map TEXAS San Antonio Brooks AFB 3-60...1987, Anthropology, California State University, San Bernardino Years of Experience: 15 Ray Ramos , P.E., Environmental Professional, Earth Tech M.S...The Honorable Frank Madla, District 29 House of Representatives The Honorable Carlos Uresti, District 118 Elected Officials - Local The Honorable

Preparing Graduate Students for Solar System Science and Exploration Careers: Internships and Field Training Courses led by the Lunar and Planetary Institute

NASA Astrophysics Data System (ADS)

Shaner, A. J.; Kring, D. A.

2015-12-01

To be competitive in 21st century science and exploration careers, graduate students in planetary science and related disciplines need mentorship and need to develop skills not always available at their home university, including fieldwork, mission planning, and communicating with others in the scientific and engineering communities in the U.S. and internationally. Programs offered by the Lunar and Planetary Institute (LPI) address these needs through summer internships and field training programs. From 2008-2012, LPI hosted the Lunar Exploration Summer Intern Program. This special summer intern program evaluated possible landing sites for robotic and human exploration missions to the lunar surface. By the end of the 2012 program, a series of scientifically-rich landing sites emerged, some of which had never been considered before. Beginning in 2015 and building on the success of the lunar exploration program, a new Exploration Science Summer Intern Program is being implemented with a broader scope that includes both the Moon and near-Earth asteroids. Like its predecessor, the Exploration Science Summer Intern Program offers graduate students a unique opportunity to integrate scientific input with exploration activities in a way that mission architects and spacecraft engineers can use. The program's activities may involve assessments and traverse plans for a particular destination or a more general assessment of a class of possible exploration targets. Details of the results of these programs will be discussed. Since 2010 graduate students have participated in field training and research programs at Barringer (Meteor) Crater and the Sudbury Impact Structure. Skills developed during these programs prepare students for their own thesis studies in impact-cratered terrains, whether they are on the Earth, the Moon, Mars, or other solar system planetary surface. Future field excursions will take place at these sites as well as the Zuni-Bandera Volcanic Field. Skills

Automated Environment Generation for Software Model Checking

NASA Technical Reports Server (NTRS)

Tkachuk, Oksana; Dwyer, Matthew B.; Pasareanu, Corina S.

2003-01-01

A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are fundamentally open since their behavior is dependent on patterns of invocation of system components and values defined outside the system but referenced within the system. Whether reasoning about the behavior of whole programs or about program components, an abstract model of the environment can be essential in enabling sufficiently precise yet tractable verification. In this paper, we describe an approach to generating environments of Java program fragments. This approach integrates formally specified assumptions about environment behavior with sound abstractions of environment implementations to form a model of the environment. The approach is implemented in the Bandera Environment Generator (BEG) which we describe along with our experience using BEG to reason about properties of several non-trivial concurrent Java programs.

Public water supplies in southern Texas

USGS Publications Warehouse

Broadhurst, W.L.; Sundstrom, R.W.; Rowley, J.H.

1950-01-01

This report gives a summarized description of the public water supplies in 42 counties of southern Texas, extending from the Rio Grande northward to the northern boundaries of Kinney, Uvalde, Bandera, Kendall, and Hays Counties and eastward to the eastern boundaries of Caldwell, Gonzales, DeWitt, Victoria, and Calhoun Counties. It gives the available data as follows for each of the 114 communities: Population of the community; name of the official from whom the information was obtained; ownership of water works, whether private or municipal; source of supply, whether ground or surface water; the amount of water consumed; the facilities for storage; the number of customers served; the character of the chemical and sanitary treatment, if any; and chemical analyses of the water. Where ground water is used, the following information also is given: Records of wells, including drillers' logs; character of the pumping equipment; yield of the wells and records of water levels, where they are available.

Finding Feasible Abstract Counter-Examples

NASA Technical Reports Server (NTRS)

Pasareanu, Corina S.; Dwyer, Matthew B.; Visser, Willem; Clancy, Daniel (Technical Monitor)

2002-01-01

A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

Potential Flooding area for local Tsunami in Nayarit Region (Western Coast of Mexico).

NASA Astrophysics Data System (ADS)

Trejo-Gomez, E.; Ortiz, M.; Nuñez-Cornu, F. J.

2016-12-01

The western coast of Mexico in the region of Jalisco and Nayarit states has a complex tectonics and a high seismic activity. In the last century, four big tsunamis occurred in this area, (three of them in 1932 and one in 1995, that hit the coast of Colima, Jalisco and Nayarit. Three of these tsunamis were generated by earthquakes and one more (22 June 1932) by an underwater landslide. Currently, there is a seismic Gap on the north coast of Jalisco and southern Nayarit. Recent published papers (Urías-Espinosa et al, 2016) and the first results of TsuJal Project (Núñez- Cornú et al, 2016) suggest that subduction regime to the north of Cabo Corrientes changes and the Rivera plate subducts with a very low angle and this structure remains until Maria Madre Island at north of the Marias Islands. The hypothesis of this work is the estimation of the tsunami run up and the flooding zone after a great magnitude earthquake generated by the rupture of the hypothetical subduction structure north of Cabo Corrientes. The possible effects on the coasts of Nayarit, Islas Marias and Banderas Bay (Puerto Vallarta) are proposed in this study.