Dissecting the FEAST algorithm for generalized eigenproblems

We analyze the FEAST method for computing selected eigenvalues and eigenvectors of large sparse matrix pencils. After establishing the close connection between FEAST and the well-known Rayleigh-Ritz method, we identify several critical issues that influence convergence and accuracy of the solver: the choice of the starting vector space, the stopping criterion, how the inner linear systems impact the quality of the solution, and the use of FEAST for computing eigenpairs from multiple intervals. We complement the study with numerical examples, and hint at possible improvements to overcome the existing problems.Comment: 11 Pages, 5 Figures. Submitted to Journal of Computational and Applied Mathematic

Probabilistic Knowledge-Based Programs

International audienceWe introduce Probabilistic Knowledge-Based Programs (PKBPs), a new, compact representation of policies for factored partially observable Markov decision processes. PKBPs use branching conditions such as if the probability of ϕ is larger than p, and many more. While similar in spirit to value-based policies, PKBPs leverage the factored representation for more compactness. They also cope with more general goals than standard state-based rewards, such as pure information-gathering goals. Compactness comes at the price of reactivity, since evaluating branching conditions on-line is not polynomial in general. In this sense, PKBPs are complementary to other representations. Our intended application is as a tool for experts to specify policies in a natural, compact language, then have them verified automatically. We study succinctness and the complexity of verification for PKBPs

Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence

Knowledge-based programs (KBPs) are high-level protocols describing the course of action an agent should perform as a function of its knowledge. The use of KBPs for expressing action policies in AI planning has been surprisingly overlooked. Given that to each KBP corresponds an equivalent plan and vice versa, KBPs are typically more succinct than standard plans, but imply more on-line computation time. Here we make this argument formal, and prove that there exists an exponential succinctness gap between knowledge-based programs and standard plans. Then we address the complexity of plan existence. Some results trivially follow from results already known from the literature on planning under incomplete knowledge, but many were unknown so far.Comment: 10 pages, Contributed talk at TARK 2013 (arXiv:1310.6382) http://www.tark.or

Oscillatory Thickness Dependence of Magnetic Moments and interface-induced Changes of the Exchange Coupling in Co/Cu and Co-Ni/Cu Multilayers

We perform first-principles calculations for the three multilayer systems (100)-Co_1/Cu_n, -NiCo_2Ni/Cu_n and -Co_4/Cu_n, and find from a comparison x of the results for system 2 and 3 that amplitude and phase of the exchange coupling are sensitive to the magnetic-slab/nonmagnetic-spacer interface. Moreover, we observe that for the system 1 and 2 the averaged magnetic moment of the magnetic slab oscillates with the spacer thickness similarly as the exchange coupling.Comment: 5 pages (Latex, to be applied 2 times) + 2 figures (.ps-files

Comparative magnetic and thermoanalytical study of two enstatite chondrites: Adhi Kot and Atlanta

With allowance for the discussion of classification of enstatite chondrites and their relation to aubrites, the obtained magnetic and thermoanalytical data is submitted to be considered as additive arguments. Our study covered the Adhi Kot (EH4) and Atlanta (EL6). meteorites belonging to two distinct groups of enstatite chondrites. Applying AF demagnetization the intensity of natural remanent magnetization (NRM) was measured and the mean magnetic susceptibility of the samples was determined. The differential thermal (DTA) and thermogravimetric (TG) curves were obtained for meteorites under study. For measurements of the intensity of NRM, a superconducting cryomagnetometer SQUID (2 G Enterprise, USA), while magnetic susceptibility Kappabridge KLY-2 (Czechoslovakia) were used. The abbreviated magnetic data sheets are given. The values 786 x 10(exp -4)A/mkg and 196.1 x 10(exp -4)A/mkg were obtained as NRM intensities for Atlanta and Adhi Kot respectively, while 17.4 x 10(exp -6) SIu/kg and 43.4 x 10(exp -6) SIu/kg for their susceptibilities. Both meteorites proved to be strongly magnetized. The demagnetization down to 3.2 percent of NMR was received for Atlanta at AF field intensity of 250 Oe. For Adhi Kot at this level rested 13.2 percent of NRM intensity, this sample being demagnetized without change of direction till 750 Oe field. The demagnetization curves are similar to those obtained for Abee (EL4) chondrite by Sugiura and Strangway. Against Abee the Adhi Kot exhibited a little bit steeper downfall, and in both cases dominate one component of magnetization. The DTA and TG curves were obtained with Rigaku-Denki thermoanalytical instrument. The DTA curves exhibit striking similarity in their shape and relatively close temperature values for various features. The same is valid for TG curves. The higher values for TG for Adhi Kot express its higher content of oxydable (Fe, Ni) whose oxidation in air is reached at 1000-1200 C

Génération de plans à base de connaissances

National audienceLes Knowledge-Based Programs (KBPs) associent représentation des connaissances et pla-nification. Il s'agit de protocoles décrivant les actions à effectuer par un agent, en fonction de son état de connaissance, afin d'atteindre un but donné. Ces plans possèdent une grande expressivité, grâce à l'uti-lisation de la logique modale S5, et une plus grande compacité que les plans classiques. La question de la génération de tels plans n'a été que peu étudiée. Notre objectif est de combler ce manque. Nous pro-posons des algorithmes permettant de générer des KBPs à partir de la spécification d'un état initial, d'un but et d'un ensemble d'actions disponibles. Deux types d'algorithmes sont présentés, par progression, c'est-à-dire en partant de l'état initial pour aller vers le but, et par régression, en partant cette fois-ci du but. Dans les deux cas, un algorithme de recherche en largeur est décrit, ayant la propriété de fournir un plan optimal en nombre d'actions à effectuer dans le pire cas. De même, nous exposons dans les deux cas des algorithmes de recherche en profondeur, dans lesquels une action est choisie pour chaque état de connaissance, par le biais de différentes fonctions heuristiques dont nous montrons certaines propriétés. Nous proposons également des benchmarks adaptés, pour lesquels la planification classique est moins précise, et testons nos algorithmes sur ces problèmes

Методика прогноза дождевых паводков в бассейне Верхнего Амура (на примере р. Онон)

Актуальность работы. Бассейн Амура относится к паводкоопасному региону. Дождевые наводнения в бассейне верхнего Амура, носящие катастрофический характер, наблюдались за последнее столетие 8 раз. Они охватывали одновременно огромные территории, сопровождались человеческими жертвами, разрушением жилых и производственных зданий, инженерных коммуникаций. Эффективным способом борьбы с наводнениями является регулирование речного стока путем создания водохранилищ. Существующих водохранилищ в речной системе Амура не хватает, чтобы эффективно регулировать сток воды. Их строительство предусмотрено в планах дальнейшего освоения региона. Прогнозы притока паводковых вод являются одной из ключевых задач, позволяющих минимизировать ущерб от паводков и определить наиболее рациональный режим эксплуатации существующих и вновь создаваемых водохранилищ. Цель работы: на примере реки Онон исследовать процессы формирования наводнений и разработать методику их краткосрочного прогноза в бассейне верхнего Амура. Методы исследования: методы водного баланса, географо-гидрологические, статистические, математическое моделирование процессов формирования стока. Результаты. Для реализации прогноза ежедневных расходов (уровней) воды дождевых паводков адаптирована концептуальная модель Д.А. Буракова, используемая в сибирских подразделениях Росгидромета. В качестве ландшафтно-гидрологической основы построения модели принято деление бассейна на районы и высотные зоны. Исходной территориальной единицей осреднения гидрометеорологических характеристик в бассейнах горных рек является высотная зона. В пределах высотной зоны территориальная неравномерность распределения запасов снега и емкостного поглощения воды учитывается с помощью распределений вероятности. Отрезки времени, в течение которых суточное поступление воды на поверхность бассейна превышает суточное испарение и просачивание, образуют последовательные паводкообразующие периоды. Для каждых суток паводкообразующего периода рассчитывается водоотдача высотных зон на основе инфильтрационно-емкостной модели Е.Г. Попова, гравитационный запас воды на склонах и приток в русловую сеть. В основу модели расчета добегания притока воды по русловой сети положен интеграл свёртки (генетическая формула паводка). В результате выполненных исследований разработана методика прогноза ежедневных уровней воды в русловой системе р. Онон. Испытания методики в оперативном режиме в Читинском гидрометеорологическом центре показали ее эффективность.Relevance. The Amur basin is situated in a flood-inclined region. Over the course of the past century the disastrous pluvial flooding have occurred in the basin eight times. They covered huge territories, took peopleґs lives and caused considerable damage to residential and industrial buildings, engineering systems. One of the efficient methods to struggle the floods is to regulate the river run-off developing flood-control reservoirs. The number of existing reservoirs on the Amur river system is insignificant to control efficiently the river run-off. Their building is tied with further region development. The forecast of flood water inflow allows minimizing damage and identifying the most rational reservoir release rules for the existing and expected reservoirs. Aim of the research is to investigate the floods formation by the example of the Onon river and to develop the methods for short-term forecast of floods in the upper Amur basin. Research methods: water balance method, geographical and hydrological methods, statistical method, mathematical modeling of run-off formation. Results. The Burakovґs conceptual model is adapted to forecast daily rain floods water flows. This model is used by the Siberian department of the Federal Service for Hydrometeorology and Environmental Monitoring of Russia. The landscape and hydrological basis for this model is the basin division into areas and altitudinal zones. The altitudinal zone is an initial territorial unit of averaging the hydrological characteristics of mountain rivers. Within the altitudinal zone, territorial irregularity of snow cover distribution and capacitive water absorption are taken into account by probability distribution. The periods, when the diurnal water entry to the surface of the basin exceeds the diurnal evaporation and infiltration, compose successive flood-forming periods. For each day of a flood-forming period, the water yield is estimated using the Popovґs infiltration capacitive model. Besides, the gravitational water storage on the slopes and the inflow in the channel network are calculated. The method, describing water lag along the river channels, is based on applying the convolution integral (the genetic flood formula). As a result of the research, the author has developed the method of forecasting daily water levels in the Onon riverbed system. The method was applied by the Chita department of the Federal Service for Hydrometeorology and Environmental Monitoring of Russia and proved its efficiency