Theoretical and experimental study of through-wall microwave tomography inverse problems

We consider the problem of building structure estimation using microwave ray tomography. A Bayesian formulation is developed, and a Markov chain Monte Carlo (MCMC) procedure is used to sample the posterior distribution, which is based on a data likelihood defined in terms of a residual misfit between observed and predicted waveforms. To accelerate model optimization, a simulated annealing approach is combined with the MCMC, using specific model moves to explore each component of the model space. Our approach is applicable to data acquired in the frequency or time domain and for monostatic or bistatic acquisition modes. Experimental data for a multi-wall laboratory test structure were acquired using a horn antenna connected to a vector network analyzer and used to validate both the forward model and the inversion approach. Although, in true remote sensing problems for building structure, the model order is usually unknown, in this initial study, the actual inversion experiment is performed in a reduced-dimension model space for which a subset of the variables are taken as known or fixed. Generalization to the variable-dimension problem can be achieved by using reversible jump MCMC sampling procedures.     

薄层色谱法分离测定烤烟中的β—胡萝卜素

香吃味是衡量烤烟质量的重要指标.降解类胡萝卜素化合物是烟叶中重要的香气物质.这些物质在烟叶的燃烧过程中经高温蒸馏、裂解、合成,可以形成许多对烟气香味有重要作用的化合物.通过测定烤烟中β-胡萝卜素的含量,可为提高烟草质量提供一定的依据.通常采用高效液相色谱法和分光先度法,TLC法测定β-胡萝卜素的含量.本实验采用TLC法,以环已烷—丙酮—乙醚—苯为展开体系,β-胡萝卜素同其它色素的分离效果满意,经单波长薄层扫描定量,实验后果准确,重现性好.     

Verschachtelter Datenparallelismus – Ein einführender überblick

Zusammenfassung.   Datenparallele Programmiermodelle sind derzeit die erfolgreichsten Programmiermodelle für Parallelrechner, sowohl was die Effizienz der Ausführung als auch die Komplexit?t der Programmierung angeht. Es ist bisher jedoch nicht gelungen, ein paralleles Programmiermodell zu entwickeln, das sowohl konzeptionell einfach und abstrakt ist, als auch effizient auf die Fülle paralleler Rechnerarchitekturen zu übertragen ist. Das verschachtelt datenparallele Programmiermodell besitzt einige der gewünschten Eigenschaften eines parallelen Programmiermodells. Im Gegensatz zu den g?ngigen flach datenparallelen Modellen gibt es in verschachtelt datenparallelen Modellen Mechanismen, die irregul?re Datenstrukturen und Berechnungen direkt unterstützen. Dieser Artikel stellt einen kollektionsbasierten Ansatz für verschachtelten Datenparallelismus vor, gibt einen überblick über den Stand der Forschung und zeigt offene Fragen in diesem Gebiet auf. Eingegangen am 8. Januar 1999 / Angenommen am 24. Juni 1999     

Interaktive Visualisierung und Simulation zur Planung chirurgischer Eingriffe

Zusammenfassung. Der vorliegende Artikel beschreibt aktuelle Ans?tze zur Visualisierung und weiteren Bearbeitung medizinischer Volumendaten. Die Methodik verfolgt das Ziel, die pr?operative Planung chirurgischer Eingriffe zu unterstützen, in dem Volumendaten interaktiv visualisiert und Gewebe wie auch funktionelle Einheiten simuliert werden. Eingebettet in ein Radiologiesystem kann der Benutzer mit den Visualisierungen im dreidimensionalen Raum interagieren. Ein hybrider Ansatz erlaubt die Integration von oberfl?chen- und volumenorientierten Objektmodellen. Die Client/Server Architektur erlaubt die Nutzung zentraler, leistungsf?higer Ressourcen zur Berechnung der Volumenvisualisierung und Methoden der Bildverarbeitung. Eingegangen am 11. Juli 1998 / Angenommen am 7. Januar 1999     

Formale Methoden für sicherheitskritische Software – Der KIV-Ansatz

Zusammenfassung. Im Spektrum der qualit?tssichernden Ma?nahmen im Software-Entwurf geh?ren formale Spezifikations- und Verifikationsmethoden heute zweifellos zu den st?rksten Waffen in puncto Fehlererkennung und Nachweis von Korrektheitseigenschaften. Mit zunehmender Wirtschaftlichkeit formaler Methoden und in Kombination mit klassischen Techniken der Qualit?tssicherung ergeben sich dadurch neue, weitreichende M?glichkeiten. Die Wirksamkeit formaler Methoden beruht im wesentlichen auf der Mathematisierung von Teilen der Software-Entwicklung und dem damit verbundenen Zwang zur Pr?zision. Auf dieser Basis k?nnen Fehler entdeckt, Korrektheits- und Sicherheitseigenschaften nachgewiesen und die Auswirkungen von System?nderungen formal analysiert werden. Diese Methoden eignen sich besonders für Anwendungen, an die traditionell h?chste Zuverl?ssigkeits- und Qualit?tsanforderungen gestellt werden. Dieser Artikel gibt einen überblicküber verschiedene Einsatzm?glichkeiten formaler Spezifikations- und Verifikationsmethoden und stellt das KIV System vor, ein fortgeschrittenes Werkzeug zur Anwendung formaler Methoden. Am Beispiel von KIV wird der aktuelle Leistungsstand und die Wirtschaftlichkeit der Technologie erl?utert. Eingegangen am 2. Februar 1999 / Angenommen am 10. Juli 1999     

农林专业高职生返乡创业现状调查及激励路径探析 ——以江苏农林职业技术学院为例

通过对学生进行问卷调查和创业个案的实证研究,对导致农林高职生创业意识薄弱,返乡创业意愿不强的原因以及返乡创业过程中遇到的问题进行分析,探索相应激励路径,助力农林高职生返乡创业。     

Louis IX in Medieval Arabic Sources: The Saint,the King,and the Sicilian Connection

This article examines the portrayal of Louis IX in medieval Arabic historiography to show the importance of cross-cultural Mediterranean interaction. It argues that the image of Louis was influenced by information originating from the Sicilian Hohenstaufen court and reports that Frederick II sent to Egypt. Arab historians connected to the courts of Frederick and Manfred disseminated a “Sicilian narrative” that shaped Louis's portrayal in Arabic historiography. This argument on the importance of cross-cultural transfer in understanding Arabic historiography is buttressed by reports about the King, the Pope, and the Emperor that are traced back to the entourage of prominent Muslims closely linked to Sicily. Moreover, it is argued that Arab authors were aware of Louis's proto-sanctity and pious reputation. This led to the infusion of medieval Arabic historiography with Western ideas about sacrosanctity. Finally, this research assesses how the portrayal of King Louis during his captivity was used in internal Muslim rivalries.     

The Last and Most Developed Naṣrid Palace in the Alhambra: The Alijares and Its Country Estate (Fourteenth Century)

The country estate (al-munya, almunia in Spanish) of the Alijares occupied grounds near the Alhambra and the Generalife, although it was higher up. It was constructed at the peak of the Na?rid dynasty's splendour, during the last stage of the reign of Mu?ammad V (r.1354–1359 / 1362–1391), after he had finished the Palace of the Lions.

The Alijares formed the last link in the chain in the stylistic development of the palaces of al-Andalus. When its founder decided on the features of the Alijares, he was in search of something that was completely innovative, as he had already undertaken work in the medinas of Granada and in the Alhambra that turned out to be a transformation of the architectural forms so far developed.

Life in the palace and the al-munya was cut short by sizeable earthquake in 1431, which coincided with a hard Castilian military campaign against the Kingdom of Granada. The consequences of the allegiance formed after the Na?rid defeat hindered the reconstruction of the Alijares, and so the royal buildings above the Royal Water Channel (Acequia Real) of the Alhambra were abandoned. Although time has erased many of the traces of the palace and its al-munya, we have extensive knowledge of its main architectural features, thanks to an analysis of all the available sources.     

论培养和强化球队团队精神

团队精神是近年流行在球类运动集体项目中的新概念。通过分析和论述了团队精神的概念 ,团队精神在训练和比赛中的作用以及培养和强化球队团队精神的若干问题。确立团队精神在球队中的地位 ,以充分发挥其作用     

Konfiguration komplexer Produkte mit Constraint-basierter Modellierung

Zusammenfassung.   Industrielle Konfigurationsprozesse sind, bedingt durch die vorherrschende Variantenvielfalt, sehr komplex. Aufgrund der inh?renten Potentiale ist die Realisierung von effizienten, flexiblen Konfigurationsprozessen ein zentrales Ziel vieler Unternehmen. Wir haben einen Ansatz für die Konfiguration und Rekonfiguration von Produkten entwickelt, der auf Constraint-basierter Modellierung über endlichen Dom?nen basiert. Das auf diesem Ansatz beruhende System ConBaCon deckt eine breite Palette von Konfigurationsproblemen ab und erm?glicht eine effiziente L?sung, die sowohl automatisch als auch gesteuert durch hoch flexible Nutzerinteraktion erfolgen kann. Wendet man das System jedoch auf gro?e Konfigurationsprozesse an, so treten Performanzprobleme auf. Als zwei wesentliche Modellerweiterungen, die diesem Mangel entgegenwirken, stellen wir in dieser Arbeit einerseits eine Modell-Clusterung und andererseits die Behandlung gro?er Netze arithmetischer Constraints vor. Eingegangen am 11. Februar 2002 / Angenommen am 18. Juli 2002