Jahresrückschau der Deutschen Wissenschaftlichen Kommission für Meeresforschung (DWK) - Pläne für die Zukunft

I. Einleitender Bericht - II. Das Problem der Fischereigrenzen (G. Meseck: Das Serecht nach der Ersten Genfer Konferenz 1958) - III. Technische und wirtschaftliche Probleme für die künftige deutsche Hochseefischerei (B. Freyberg: Technisch bedingte Aktionsgrenzen der heutigen deutschen Fischereiflotte und ihre künftige technische Entwicklung. A.v.Brandt: Vorschau auf die künftige Entwicklun der Fangtechnik. P.F. Meyer-Waarden: Neuere Entwicklungen auf dem Gebiet der Elektrofischerei im Meer.) IV. Ergebnisse der vorjährigen Fangplatzsuche und Vorschläge zu einer Neuorganisation (A. Meyer:Die Suchreisen deutscher Trawler in die grönländischen Gewässer im Jahre 1958. K. Schubert: Die Suchreisen zur Erschließung neuer Fanggebiete für die Heringsfischerei.) V. Zur Frage neuer Fangmöglichkeiten auf dem Schelf und im offenen Ozean (U. Schmidt: Gibt es neue Fangmöglichkeiten auf dem Schelf. H.J. Aurich: Biologische Anhaltspunkte für Fangmöglichkeiten im offenen Ozean. E.H. Rogalla: Über hydrographische Anhaltspunkte für Fangmöglichkeiten im offenen Ozean.)

Factors influencing the timing and frequency of spawning and fecundity of the goldlined seabream (Rhabdosargus sarba) (Sparidae) in the lower reaches of an estuary

We have studied the reproductive biology of the goldlined seabream (Rhabdosargus sarba) in the lower Swan River Estuary in Western Australia, focusing particularly on elucidating the factors influencing the duration, timing, and frequency of spawning and on determining potential annual fecundity. Our results demonstrate that 1) Rhabdosargus sarba has indeterminate fecundity, 2) oocyte hydration commences soon after dusk (ca. 18:30 h) and is complete by ca. 01:30−04:30 h and 3) fish with ovaries containing migratory nucleus oocytes, hydrated oocytes, or postovulatory follicles were caught between July and November. However, in July and August, their prevalence was low, whereas that of fish with ovaries containing substantial numbers of atretic yolk granule oocytes was high. Thus, spawning activity did not start to peak until September (early spring), when salinities were rising markedly from their winter minima. The prevalence of spawning was positively correlated with tidal height and was greatest on days when the tide changed from flood to ebb at ca. 06:00 h, i.e., just after spawning had ceased. Because our estimate of the average daily prevalence of spawning by females during the spawning season (July to November) was 36.5%, individual females were estimated to spawn, on average, at intervals of about 2.7 days and thus about 45 times during that period. Therefore, because female R. sarba with total lengths of 180, 220, and 260 mm were estimated to have batch fecundities of about 4500, 7700, and 12,400 eggs, respectively, they had potential annual fecundities of about 204,300, 346,100 and 557,500 eggs, respectively. Because spawning occurs just prior to strong ebb tides, the eggs of R. sarba are likely to be transported out of the estuary into coastal waters where salinities remain at ca. 35‰. Such downstream transport would account for the fact that, although R. sarba exhibits substantial spawning activity in the lower Swan River Estuary, few of its early juveniles are recruited into the nearshore shallow waters of this estuary.

Power absorption invariance for brownian spring forcing

In [5] it was shown that, for a standard quarter-car vehicle model and a road disturbance whose velocity profile is white noise of intensity A, the mean power dissipated in the suspension is equal to kA/2 where k is the tyre vertical stiffness. It is remarkable that the power dissipation turns out to be independent of all masses and suspension parameters. The proof in [5] makes use of a spectral formulation of white noise and is specific to linear systems. This paper casts the result in a more general form and shows that it follows from a simple application of Ito calculus. © 2012 IEEE.

Dynamics of quantum dissipation systems interacting with fermion and boson grand canonical bath ensembles: Hierarchical equations of motion approach

A hierarchical equations of motion formalism for a quantum dissipation system in a grand canonical bath ensemble surrounding is constructed on the basis of the calculus-on-path-integral algorithm, together with the parametrization of arbitrary non-Markovian bath that satisfies fluctuation-dissipation theorem. The influence functionals for both the fermion or boson bath interaction are found to be of the same path integral expression as the canonical bath, assuming they all satisfy the Gaussian statistics. However, the equation of motion formalism is different due to the fluctuation-dissipation theories that are distinct and used explicitly. The implications of the present work to quantum transport through molecular wires and electron transfer in complex molecular systems are discussed. (c) 2007 American Institute of Physics.

Trace theory

The concept of traces has been introduced for describing non-sequential behaviour of concurrent systems via its sequential observations. Traces represent concurrent processes in the same way as strings represent sequential ones. The theory of traces can be used as a tool for reasoning about nets and it is hoped that applying this theory one can get a calculus of the concurrent processes anologous to that available for sequential systems. The following topics will be discussed: algebraic properties of traces, trace models of some concurrency phenomena, fixed-point calculus for finding the behaviour of nets, modularity, and some applications of the presented theory.

带复杂数据结构的模型检测工具

模型检测是近二十几年来最成功的自动验证技术之一,而模型检测工具的开发是将模型检测和实际相结合的关键.为了有效地对涉及到复杂数据类型的并发传值系统进行模型检测,总结了以扩展的带赋值符号迁移图和模态图分别作为并发系统和逻辑公式的语义模型来实现模型检测工具的工作,特别是将复杂数据结构引入传值进程定义语言和带赋值符号迁移图.同时结合实际例子说明模型检测工具的有效性.

谓词μ演算和模态图的语义一致性

模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。

面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office

π-演算互模拟判定算法的优化和实现

National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office