Path Sensitive Cache Analysis Using Cache Miss Paths

Cache analysis plays a very important role in obtaining precise Worst Case Execution Time (WCET) estimates of programs for real-time systems. While Abstract Interpretation based approaches are almost universally used for cache analysis, they fail to take advantage of its unique requirement: it is not necessary to find the guaranteed cache behavior that holds across all executions of a program. We only need the cache behavior along one particular program path, which is the path with the maximum execution time. In this work, we introduce the concept of cache miss paths, which allows us to use the worst-case path information to improve the precision of AI-based cache analysis. We use Abstract Interpretation to determine the cache miss paths, and then integrate them in the IPET formulation. An added advantage is that this further allows us to use infeasible path information for cache analysis. Experimentally, our approach gives more precise WCETs as compared to AI-based cache analysis, and we also provide techniques to trade-off analysis time with precision to provide scalability.

Non-deterministic transducer models of retransmission protocols over noisy channels

Retransmission protocols such as HDLC and TCP are designed to ensure reliable communication over noisy channels (i.e., channels that can corrupt messages). Thakkar et al. 15] have recently presented an algorithmic verification technique for deterministic streaming string transducer (DSST) models of such protocols. The verification problem is posed as equivalence checking between the specification and protocol DSSTs. In this paper, we argue that more general models need to be obtained using non-deterministic streaming string transducers (NSSTs). However, equivalence checking is undecidable for NSSTs. We present two classes where the models belong to a sub-class of NSSTs for which it is decidable. (C) 2015 Elsevier B.V. All rights reserved.

Numerical study of laminar, standing hydraulic jumps in a planar geometry

We solve the two-dimensional, planar Navier-Stokes equations to simulate a laminar, standing hydraulic jump using a Volume-of-Fluid method. The geometry downstream of the jump has been designed to be similar to experimental conditions by including a pit at the edge of the platform over which liquid film flows. We obtain jumps with and without separation. Increasing the inlet Froude number pushes the jump downstream and makes the slope of the jump weaker, consistent with experimental observations of circular jumps, and decreasing the Reynolds number brings the jump upstream while making it steeper. We study the effect of the length of the domain and that of a downstream obstacle on the structure and location of the jump. The transient flow which leads to a final steady jump is described for the first time to our knowledge. In the moderate Reynolds number regime, we obtain steady undular jumps with a separated bubble underneath the first few undulations. Interestingly, surface tension leads to shortening of wavelength of these undulations. We show that the undulations can be explained using the inviscid theory of Benjamin and Lighthill (Proc. R. Soc. London, Ser. A, 1954). We hope this new finding will motivate experimental verification.

On the detection of human influence in extreme precipitation over India

Climate change is expected to influence extreme precipitation which in turn might affect risks of pluvial flooding. Recent studies on extreme rainfall over India vary in their definition of extremes, scales of analyses and conclusions about nature of changes in such extremes. Fingerprint-based detection and attribution (D&A) offer a formal way of investigating the presence of anthropogenic signals in hydroclimatic observations. There have been recent efforts to quantify human effects in the components of the hydrologic cycle at large scales, including precipitation extremes. This study conducts a D&A analysis on precipitation extremes over India, considering both univariate and multivariate fingerprints, using a standardized probability-based index (SPI) from annual maximum one-day (RX1D) and five-day accumulated (RX5D) rainfall. The pattern-correlation based fingerprint method is used for the D&A analysis. Transformation of annual extreme values to SPI and subsequent interpolation to coarser grids are carried out to facilitate comparison between observations and model simulations. Our results show that in spite of employing these methods to address scale and physical processes mismatch between observed and model simulated extremes, attributing changes in regional extreme precipitation to anthropogenic climate change is difficult. At very high (95%) confidence, no signals are detected for RX1D, while for the RX5D and multivariate cases only the anthropogenic (ANT) signal is detected, though the fingerprints are in general found to be noisy. The findings indicate that model simulations may underestimate regional climate system responses to increasing human forcings for extremes, and though anthropogenic factors may have a role to play in causing changes in extreme precipitation, their detection is difficult at regional scales and not statistically significant. (C) 2015 Elsevier B.V. All rights reserved.

Efficient Protocol for Authenticated Email Search

Executing authenticated computation on outsourced data is currently an area of major interest in cryptology. Large databases are being outsourced to untrusted servers without appreciable verification mechanisms. As adversarial server could produce erroneous output, clients should not trust the server's response blindly. Primitive set operations like union, set difference, intersection etc. can be invoked on outsourced data in different concrete settings and should be verifiable by the client. One such interesting adaptation is to authenticate email search result where the untrusted mail server has to provide a proof along with the search result. Recently Ohrimenko et al. proposed a scheme for authenticating email search. We suggest significant improvements over their proposal in terms of client computation and communication resources by properly recasting it in two-party settings. In contrast to Ohrimenko et al. we are able to make the number of bilinear pairing evaluation, the costliest operation in verification procedure, independent of the result set cardinality for union operation. We also provide an analytical comparison of our scheme with their proposal which is further corroborated through experiments.

A PRACTICAL PROCEDURE TO ESTIMATE THE BEARING CAPACITY OF FOOTINGS ON SAND-APPLICATION TO 87 CASE STUDIES

Following the recent work of the authors in development and numerical verification of a new kinematic approach of the limit analysis for surface footings on non-associative materials, a practical procedure is proposed to utilize the theory. It is known that both the peak friction angle and dilation angle depend on the sand density as well as the stress level, which was not the concern of the former work. In the current work, a practical procedure is established to provide a better estimate of the bearing capacity of surface footings on sand which is often non-associative. This practical procedure is based on the results obtained theoretically and requires the density index and the critical state friction angle of the sand. The proposed practical procedure is a simple iterative computational procedure which relates the density index of the sand, stress level, dilation angle, peak friction angle and eventually the bearing capacity. The procedure is described and verified among available footing load test data.

El uso de detalles biográficos como información seductora en el texto de ciencias

Resumen: Se estudió el efecto de incluir detalles biográficos seductores en un texto expositivo de ciencias. 66 estudiantes con bajo conocimiento sobre el tema leyeron el texto sin detalle seductor o con una anécdota biográfica interesante. El interés asociado a los materiales fue examinado en un estudio preliminar. Se recolectaron medidas de retención (recuerdo del texto y verificación de afirmaciones literales), comprensión (verificación de afirmaciones inferidas) y síntesis del texto (selección de un título). Los resultados indicaron que la condición que recibió el detalle biográfico tuvo más dificultades para recordar los contenidos y para contestar afirmaciones de la sección del texto próxima al detalle. Estos resultados son interpretados a la luz de la hipótesis de la integración desviada.

La Eucaristía, primicia y fundamento de un orden social verdaderamente justo : un aporte con ocasión del Congreso Eucarístico Nacional

Resumen: Con motivo de la celebración del Congreso Eucarístico Nacional, el autor propone volver a la inspiración original de esos congresos, poniendo de relieve la dimensión salvífica social de la Eucaristía de cara a los desafíos que presenta la realidad argentina. Uno de ellos es, sin duda, el establecimiento de un orden social más justo. Como aporte en vista de ese fin, el artículo intenta profundizar en la relación entre Eucaristía y justicia. Esto se hace en un desarrollo en cinco momentos: una clarificación de la noción de justicia, desde el punto de vista jurídico-filosófico y desde la perspectiva bíblica; una relectura de las fuentes bíblicas relativas al signo y al significado de la Eucaristía, donde se pone de manifiesto que ésta es el sacramentum caritatis; un momento especulativo que busca explicitar la relación entre caridad y justicia, y la relación de ésta con la Eucaristía; la verificación de esa interpretación en la praxis sacramental cristiana de los primeros siglos; y, por último, la recuperación de algunos textos claves del Magisterio de la Iglesia que han desarrollado el tema. Esto permite concluir que la Eucaristía señala de modo eminente lo que significa ser cristiano, razón por la cual su celebración exige una cierta conducta ética. La Eucaristía rememora así que en Cristo la justicia de Dios ha sido definitivamente realizada y un nuevo orden ha sido instaurado; ella manifiesta e incentiva a establecer una verdadera “contra-cultura” donde prevalezcan la justicia y la solidaridad; y es signo profético de la realización de los “cielos nuevos y la tierra nueva”. Por eso el significado de la leitourgia del Pueblo de Dios se verá verificado en la diakonía y la martyria.

A general design method for electric machines using magnetic circuit model considering the flux saturation problem

This paper proposes an analytical approach that is generalized for the design of various types of electric machines based on a physical magnetic circuit model. Conventional approaches have been used to predict the behavior of electric machines but have limitations in accurate flux saturation analysis and hence machine dimensioning at the initial design stage. In particular, magnetic saturation is generally ignored or compensated by correction factors in simplified models since it is difficult to determine the flux in each stator tooth for machines with any slot-pole combinations. In this paper, the flux produced by stator winding currents can be calculated accurately and rapidly for each stator tooth using the developed model, taking saturation into account. This aids machine dimensioning without the need for a computationally expensive finite element analysis (FEA). A 48-slot machine operated in induction and doubly-fed modes is used to demonstrate the proposed model. FEA is employed for verification.

Shocked Flows Induced by Supersonic Projectiles Moving in Tubes

A numerical study on shocked flows induced by a supersonic projectile moving in tubes is described in this paper. The dispersion-controlled scheme was adopted to solve the Euler equations implemented with moving boundary conditions. Four test cases were carried out in the present study: the first two cases are for validation of numerical algorithms and verification of moving boundary conditions, and the last two cases are for investigation into wave dynamic processes induced by the projectile moving at Mach numbers of M-p = 2.0 and 2.4, respectively, in a short time duration after the projectile was released from a shock tube into a big chamber. It was found that complex shock phenomena exist in the shocked flow, resulting from shock-wave/projectile interaction, shock-wave focusing, shock-wave reflection and shock-wave/contact-surface interactions, from which turbulence and vortices may be generated. This is a fundamental study on complex shock phenomena, and is also a useful investigation for understanding on shocked flows in the ram accelerator that may provide a highly efficient facility for launching hypersonic projectiles.

On dispersion-controlled principles for non-oscillatory shock-capturing schemes

The role of dispersions in the numerical solutions of hydrodynamic equation systems has been realized for long time. It is only during the last two decades that extensive studies on the dispersion-controlled dissipative (DCD) schemes were reported. The studies have demonstrated that this kind of the schemes is distinct from conventional dissipation-based schemes in which the dispersion term of the modified equation is not considered in scheme construction to avoid nonphysical oscillation occurring in shock wave simulations. The principle of the dispersion controlled aims at removing nonphysical oscillations by making use of dispersion characteristics instead of adding artificial viscosity to dissipate the oscillation as the conventional schemes do. Research progresses on the dispersion controlled principles are reviewed in this paper, including the exploration of the role of dispersions in numerical simulations, the development of the dispersion-controlled principles, efforts devoted to high-order dispersion-controlled dissipative schemes, the extension to both the finite volume and the finite element methods, scheme verification and solution validation, and comments on several aspects of the schemes from author's viewpoint.

薄板激光弯曲温度场的数值模拟与校验

采用MSC.Marc非线性有限元软件，对薄板激光变曲过程中的温度场进行了数值模拟，得到了引起薄板激光弯曲形的温度场的变化规律。通过温度传感器测量与激光扫描线相对应的薄板下表面温度变化的规律来验证数值模拟的结果。模拟值与实测值基本吻合，表明数值模拟结果可作为激光加工工艺参数选择的依据。

激光点热源作用下动态微变形的数值模拟与校验

采用MSC．Marc非线性有限元软件，对试件在激光点热源作用下动态微变形过程进行了数值模拟。通过激光反射放大系统测量了试件在激光点热源作用下的动态微变形过程。模拟值与实测值的结果表明：热应力和相变应力的共同作用使得试件产生微变形，最终试件的变形方向取决于热应变和相变共同作用的结果，朝向激光束或背向激光束。比较实验值和模拟值，发现变形的最大值相近，变形过程却略有不同。考虑到激光点热源作用下有限厚度的试件内，温度场分布出现的反常效应，即内部的温度大于边界温度，提出采用波动理论修正经典的热传导计算模型，可望有效地提高模拟过程的计算精度。结论为进一步研究薄板激光弯曲的变形机理及变形过程莫定了基础。

Proceedings of the 1998 Science Board Symposium on The Impacts of the 1997/98 El Niño Event on the North Pacific Ocean and Its Marginal Seas

Preface [pdf, 0.01 Mb] James J. O'Brien The big picture - The ENSO of 1997-98 [pdf, 0.01 Mb] James E. Overland, Nicholas A. Bond & Jennifer Miletta Adams Atmospheric anomalies in 1997: Links to ENSO? [pdf, 0.54 Mb] Vladimir I. Ponomarev, Olga Trusenkova, Serge Trousenkov, Dmitry Kaplunenko, Elena Ustinova & Antonina Polyakova The ENSO signal in the northwest Pacific [pdf, 0.47 Mb] Robert L. Smith, A. Huyer, P.M. Kosro & J.A. Barth Observations of El Niño off Oregon: July 1997 to present (October 1998) [pdf, 1.31 Mb] Patrica A. Wheeler & Jon Hill Biological effects of the 1997-1998 El Niño event off Oregon: Nutrient and chlorophyll distributions [pdf, 1.13 Mb] William T. Peterson Hydrography and zooplankton off the central Oregon coast during the 1997-1998 El Niño event [pdf, 0.26 Mb] William Crawford, Josef Cherniawsky, Michael Foreman & Peter Chandler El Niño sea level signal along the west coast of Canada [pdf, 1.25 Mb] Howard J. Freeland & Rick Thomson The El Niño signal along the west coast of Canada - temperature, salinity and velocity [pdf, 0.49 Mb] Frank A. Whitney, David L. Mackas, David W. Welch & Marie Robert Impact of the 1990s El Niños on nutrient supply and productivity of Gulf of Alaska waters [pdf, 0.06 Mb] Craig McNeil, David Farmer & Mark Trevorrow Dissolved gas measurements at Stn. P4 during the 97-98 El Niño [pdf, 0.13 Mb] Kristen L.D. Milligan, Colin D. Levings & Robert E. DeWreede Data compilation and preliminary time series analysis of abundance of a dominant intertidal kelp species in relation to the 1997/1998 El Niño event [pdf, 0.05 Mb] S.M. McKinnell, C.C. Wood, M. Lapointe, J.C. Woodey, K.E. Kostow, J. Nelson & K.D. Hyatt Reviewing the evidence that adult sockeye salmon strayed from the Fraser River and spawned in other rivers in 1997 [pdf,0.03 Mb] G.A. McFarlane & R.J. Beamish Sardines return to British Columbia waters [pdf, 0.34 Mb] Ken H. Morgan Impact of the 1997/98 El Niño on seabirds of the northeast Pacific [pdf, 0.06 Mb] Thomas C. Royer & Thomas Weingartner Coastal hydrographic responses in the northern Gulf of Alaska to the 1997-98 ENSO event [pdf, 0.76 Mb] John F. Piatt, Gary Drew, Thomas Van Pelt, Alisa Abookire, April Nielsen, Mike Shultz & Alexander Kitaysky Biological effects of the 1997/98 ENSO in Cook Inlet, Alaska [pdf, 0.22 Mb] H.J. Niebauer The 1997-98 El Niño in the Bering Sea as compared with previous ENSO events and the "regime shift" of the late 1970s [pdf, 0.10 Mb] A.S. Krovnin, G.P. Nanyushin, M.Yu. Kruzhalov, G.V. Khen, M.A. Bogdanov, E.I. Ustinova, V.V. Maslennikov, A.M. Orlov, B.N. Kotenev, V.V. Bulanov & G.P. Muriy The state of the Far East seas during the 1997/98 El Niño event [pdf, 0.15 Mb] Stacy Smith & Susan Henrichs Phytoplankton collected by a time-series sediment trap deployed in the southeast Bering Sea during 1997 [pdf, 0.21 Mb] Cynthia T. Tynan Redistributions of cetaceans in the southeast Bering Sea relative to anomalous oceanographic conditions during the 1997 El Niño [pdf, 0.02 Mb] Akihiko Yatsu, Junta Mori, Hiroyuki Tanaka, Tomowo Watanabe, Kazuya Nagasawa, Yikimasa Ishida, Toshimi Meguro, Yoshihiko Kamei & Yasunori Sakurai Stock abundance and size compositions of the neon flying squid in the central North Pacific Ocean during 1979-1998 [pdf, 0.11 Mb] O.B. Feschenko A new point of view concerning the El Niño mechanism [pdf, 0.01 Mb] Nathan Mantua 97/98 Ocean climate variability in the northeast Pacific: How much blame does El Niño deserve? [pdf, 0.01 Mb] Vadim P. Pavlychev Sharp changes of hydrometeorological conditions in the northwestern Pacific during the 1997/1998 El Niño event [pdf, 0.01 Mb] Jingyi Wang Predictability and forecast verification of El Niño events [pdf, 0.01 Mb] (Document contains 110 pages)

Avances en algoritmos de estimación de distribuciones. Alternativas en el aprendizaje y representación de problemas

131 p.: graf.