Sapientia, 2002, Vol. LVII, nº 211 (número completo)

Contenido: L’inquiétude de Dieu chez saint Augustin / Rosa Muriel Zelasco – El camino trinitario a la deificación conforme a los místicos renanos del siglo XIV: Meister Eckhart, Juan Tauler y el beato Enrique Seuze / Brian J. Farrelly – El comentario de Santo Tomás a los Posteriores analíticos: notas metodológicas / Celina A. Lértora Mendoza – Memoria e identidad en Santo Tomás de Aquino / Martín Federico Echavarría -- ¿Elegimos a Dios?: acerca de la no elección del fin último en concreto según Tomás de Aquino / Beatriz Reyes Oribe – Hacia un realismo hermenéutico sobre la base Santo Tomás de Aquino-Husserl: Los horizontes / Gabriel J. Zanotti – Pascal à la lumière de saint Jean de la Croix / André Bord – El principio de contradicción en Kant / Lorenzo Vicente Burgoa – La mutua implicación poder-saber según Michel Foucault / Jorge Martínez Barrera – Modernidad e Ilustración en Jürgen Habermas / Francisco Leocata – Hacia una hermenéutica analógico-icónica del símbolo / Mauricio Beuchot – El principio de autoridad / Mario Enrique Sacchi – Notas y comentarios – Discusiones -- Bibliografía

Sapientia, 1984, Vol. XXXIX, nº 151 (número completo)

Contenido: Aspectos fundamentales del conocimiento humano. 1. El conocimiento sensitivo / Octavio N. Derisi -- Filosofía griega y cristianismo según W. Jaeger / Cesáreo López Salgado -- La analogía en el concepto de ciencia aristotélico-tomista / William R. Darós -- Pasión e instinto en B. Pascal / Francisco Leocata -- Notas y comentarios -- Bibliografía

Temporary ponds in the UK; a critical biodiversity resource for freshwater plants and animals

The importance of ponds for biodiversity in Britain has been demonstrated by a number of studies. However, most of the research and interest has been directed at permanent waterbodies, and temporary ponds have been largely neglected. In this article the author present some preliminary findings from a project which aims to fill some of the many gaps in our knowledge of temporary ponds in Britain. The project, which runs for three years until the end of 2001, aims specifically to investigate the ecology of temporary ponds in England and Wales by describing (i) their wetland plant and macroinvertebrate communities, (ii) their physico-chemical characteristics, and (iii) their value as a biodiversity resource. The article focuses on the assessment of temporary ponds as a biodiversity resource and briefly considers aspects of species richness, rarity and distinctiveness. Where possible, temporary ponds are compared with other waterbody types, mainly permanent ponds from the National Pond Survey (NPS), to give the results a broader context.

Patterns of genetic variation in the endangered European mink (Mustela lutreola L., 1761)

Background: The European mink (Mustela lutreola, L. 1761) is a critically endangered mustelid, which inhabits several main river drainages in Europe. Here, we assess the genetic variation of existing populations of this species, including new sampling sites and additional molecular markers (newly developed microsatellite loci specific to European mink) as compared to previous studies. Probabilistic analyses were used to examine genetic structure within and between existing populations, and to infer phylogeographic processes and past demography. Results: According to both mitochondrial and nuclear microsatellite markers, Northeastern (Russia, Estonia and Belarus) and Southeastern (Romania) European populations showed the highest intraspecific diversity. In contrast, Western European (France and Spain) populations were the least polymorphic, featuring a unique mitochondrial DNA haplotype. The high differentiation values detected between Eastern and Western European populations could be the result of genetic drift in the latter due to population isolation and reduction. Genetic differences among populations were further supported by Bayesian clustering and two main groups were confirmed (Eastern vs. Western Europe) along with two contained subgroups at a more local scale (Northeastern vs. Southeastern Europe; France vs. Spain). Conclusions: Genetic data and performed analyses support a historical scenario of stable European mink populations, not affected by Quaternary climate oscillations in the Late Pleistocene, and posterior expansion events following river connections in both North-and Southeastern European populations. This suggests an eastern refuge during glacial maxima (as already proposed for boreal and continental species). In contrast, Western Europe was colonised more recently following either natural expansions or putative human introductions. Low levels of genetic diversity observed within each studied population suggest recent bottleneck events and stress the urgent need for conservation measures to counteract the demographic decline experienced by the European mink.

机器人规划与编程系统的研究

机器人的程序设计问题是智能机器人研究的重要方面。也是自动程序设计的一个重要方面。给定一个机器人的任务描述。应该能够得一个完整的程序代码（用某种程序设计语言书写）。本文描述了一个这样的系统－LRPS。LRPS用一种比较简单的任务描述语言TOL（Task-Oriented Language）来接收用户的任务描述，然后经过分析。规划，最后生成一段用VAL语言编写的程序代码，系统能够给出机器人的宏动作序列－－机器人规划。并能对若干知识库进行操作。在规划器中采用了一种新的称为插入法的方法来进行规划，整个系统在IBM－PC机上用PASCAL语言实现。

VAL系统的分析和部分改进

本文是对PUMA－760型机器人的主控制器软件，并进行向VAL－II系统改进。PUMA－760是属于程序控制系统类型的机器人，它包括时间控制装置，信息处理器和执行装置。PUMA－760 的系统控制方式是采用分级控制方式，由一台 PDP－11/23机和八台八位微机组成的二级控制系统，PDP-11/23 作为主控机，六台微机分另对六个轴进行伺服控制，一台微机用于示教盒控制，最后一台微机用于软盘管理。VAL-II 系统在 VAL 系统的基础上，加入了数值运算功能，网络管理和结构化程序设计语句，使得 VAL-II 语言更加清晰，它的向条结构化语句类似于 PASCAL语言中的结构语句（面向用户），网络管理上它采用DEC公司的网络设计标准，数值运算由于引进了浮点运算器，所以它比起 VAL 语言有更强的运算能力。目前汉字卡片的应用，使得终端汉字化成为可能，这里暂且进行了显示信息的改造。关于传感器指令，经分析VAL系统，我所的 PUMA－760 已具备力觉，视觉等指令。

井间地震速度层析成像方法与软件系统

Crosshole Seismic tomography has been broadly studied and applied in the fields of resource exploration and engineering exploration because of its special observing manner and better resolution than normal seismic exploration. This thesis will state the theory and method of Crosshole Seismic tomography. Basing on the previous studies，the thesis studied the initial velocity model，ray-tracing method, and developed the three-dimension tomography software. All the cells that a ray passes through are of the same velocities if the paths from transmitters to receivers are straight. The cells that the each ray passes through are recorded, and rays that pass through each cell are calculated. The ray average velocity which passes through a cell is set as the cell velocity. Analogously we can make a initial node velocity model because the velocity sum is calculated on the all cells which own to a certain node, and the cell number is summed about each nodes，the ratio of the velocity sum to the all cells number is set as the node velocity. The inversion result from the initial node velocity model is better than that of the average velocity model. Ray-bending and Shortest Path for Rays (SPR) have shortcomings and limitations respectively. Using crooked rays obtained from SPR rather than straight lines as the starting point can not only avoid ray bending converging to the local minimum travel time path, but also settle the no smooth ray problem obtained by SPR. The hybrid method costs much computation time, which is roughly equal to the time that SPR expends. The Delphi development tool based on the Object Pascal language standard has an advantage of object-oriented. TDTOM (Three Dimensions Tomography) was developed by using Delphi from the DOS version. Improvement on the part of inversion was made, which bring faster convergence velocity. TDTOM can be used to do velocity tomography from the first arrival travel time of the seismic wave, and it has the good qualities of friendly user interface and convenient operation. TDTOM is used to reconstruct the velocity image for a set of crosshole data from Karamay Oil Field. The geological explanation is then given by comparing the inversion effects of different ray-tracing methods. High velocity zones mean the cover of oil reservoir, and low velocity zones correspond to the reservoir or the steam flooding layer.

A soja na cozinha.

Receitas basicas; Extrato ou leite de soja; Extrato de soja condensado; Farinha de soja; Graos de soja cozido; Hidratacao da PVT (Proteina Vegetal Texturizada); Tofu ou "queijo" de soja; Salgados; Bolinho de mandioca ou batata e residuo de soja; Bolo salgado de soja; Croquete de residuo de soja; Hamburguer de PVT; Macarrao com molho de ¨leite¨ de soja e PVT; Pao de cebola com farinha e "leite" de soja; Salada de soja; Sopa de frango, arroz e residuo de soja; Sopa de residuo de soja; Strogonoff de camarao e graos de soja cozidos; Sufle de milho verde e residuo de soja; Torta de mandioca com residuo de soja e PVT; Doces; Arroz doce com "leite" de soja; Biscoito de coco e farinha de soja; Creme de soja; Curau de milho verde e "leite" de soja; Pudim de "leite" de soja; Rosquinhas fritas de chocolate com "leite" e farinha de soja; Torta de banana caramelada; Rosquinhas fritas de chocolate com "leite" e farinha de soja; Bolos; Bolo de cenoura com farinha de soja; Bolo de coco com farinha e "leite" de soja; Bolo de fuba com farinha e "leite" de soja; Bolo de laranja com farinha de soja; Bolo de formigueiro com farinha e "leite" de soja; Bolo de maracuja com farinha de soja; Receitas festivas; Bolo de natal com farinha e "leite" de soja; Bolo ingles com farinha e "leite" de soja; Colomba Pascal com farinha e "leite" de soja; Panetone com farinha de soja.

Padronização da codificação programas em Borland Delphi: experiência no projeto SIGI.

Regras gerais para formatação de código fonte: idioma dos nomes; identação; margens; comentários. Linguagem Object Pascal. Tratamento de exceções estruturado. Classes: nomenclatura; atributos; propriedades. Arquivos: arquivos de projeto (project); Arquivos de formulários (Forms); Arquivos de units; Units de formulários; Units dos módulos de dados (data module); Units de propósito geral. Formulários (Forms) e Módulo de dados (Data Modules).