香港与内地的大学体育之比较

笔者通过查阅资料、赴港考察交流 ,对香港与内地的大学体育进行了比较 ,显示了不同的教育体制具有不同的教育特色 ,旨在相互了解、学习、优势互补之目的     

微分几何中几个不等式及其推广

研究了微分几何中的几个不等式,提出了几个相关的不等式.(1)对平面上的Schur定理,给出了一种解析的证法,它比已知的一些 (几何的)证法显得简洁、明快,进而还用积分几何方法作了些讨论.(2)对欧氏空间中闭曲线的Fáry不等式,用活动标架法,将其推广到了球面 (正常高斯曲率曲面)中.(3)对三维欧氏空间中闭曲面的Fáry不等式,用活动标架法,将其中积分式前的常系数 4 π进一步改进为 1;此外,还将其推广到四维的欧氏空间中.这一不等式可能推广于更高维或一般的欧氏空间中,有待进一步研究.     

“假球”：一种博弈论解释

“假球”现象背后存在着两个层次的博弈过程,一是俱乐部之间的合作博弈;二是俱乐部与公众之间的非合作博弈。由于信息不对称的存在,越注重短期利益的俱乐部其打假球的动机也越强烈。因此如要消除“假球现象．使俱乐部成为长期参与人将是必然。     

Modellierung und Simulation hybrider Systeme mit Smile

Zusammenfassung. Es wird eine werkzeugunterstützte Entwicklungsmethodik vorgestellt, die der Erstellung von Berechnungsmodellen für die Simulation hybrider physikalisch-technischer Systeme dient. Dafür werden verschiedene Modellbeschreibungstechniken dargestellt und klassifiziert, die anschlie?end in einen falltypischen Entwicklungsproze? eingebettet werden, der auf hybriden Erweiterungen von UML und Z basiert. Die Simulationsumgebung Smile (http://buran.fb10.tu-berlin.de/Energietechnik/EVT\_KT/smile/) erm?glicht schlie?lich die generische Erzeugung eines ausführbaren Simulators. Architektur und Kernkomponenten dieses Systems, wie beispielsweise L?sungsverfahren und Experimentshell, werden eingehender diskutiert. Ein Anwendungsbeispiel illustriert den beschriebenen Entwicklungsproze?. Eingegangen am 15. Juli 1999 / Angenommen am 12. November 1999     

Evolution?rer Test von Realzeitsystemen

Zusammenfassung.   Die Entwicklung von Realzeitsystemen ist eine wesentliche Aufgabe im industriellen Umfeld. Der dynamische Test ist die wichtigste analytische Qualit?tssicherungsmethode für Realzeitsysteme. Der dynamische Test ist das einzige Verfahren, mit dem das Laufzeitverhalten der Systeme in der tats?chlichen Einsatzumgebung überprüft werden kann. Bestehende Testmethoden konzentrieren sich weitgehend auf den Test des funktionalen Verhaltens von Systemen. Sie bieten keine besondere Unterstützung für den Test des zeitlichen Verhaltens. Für die Korrektheit von Realzeitsystemen sind jedoch beide Aspekte gleicherma?en wichtig. Folglich müssen die bestehenden Methoden um neue Ans?tze erg?nzt werden, die auf die Prüfung des zeitlichen Verhaltens spezialisiert sind. Ein Fehler im Zeitverhalten von Realzeit-Systemen liegt dann vor, wenn es zul?ssige Eingabesituationen gibt, für die das System nicht in der Lage ist, die spezifizierten zeitlichen Anforderungen zu erfüllen. In den meisten F?llen ist dies darauf zurückzuführen, da?das System eine Ausgabe zu früh macht oder da?die Berechnung einer Ausgabe zu lange dauert und diese daher zu sp?t erfolgt. Aufgabe des Testers ist es folglich, die Eingabesituationen mit den l?ngsten und kürzesten Ausführungszeiten zu finden, um zu überprüfen, ob die für das System spezifizierten Zeitschranken verletzt werden. Wird die Suche nach entsprechenden Eingabesituationen als Optimierungsproblem interpretiert, dann k?nnen evolution?re Algorithmen verwendet werden, um die Eingaben mit den l?ngsten und kürzesten Ausführungszeiten automatisch zu suchen. Die zu optimierende Zielfunktion entspricht hierbei den gemessenen Ausführungszeiten, die generierten Individuen repr?sentieren Testdaten. Die Verwendung evolution?rer Algorithmen für den Test nennen wir evolution?ren Test. Zum Vergleich des evolution?ren Tests mit anderen Testmethoden wurden in dieser Arbeit mehrere Experimente durchgeführt. In allen Experimenten erreicht der evolution?re Test l?ngere bzw. kürzere Ausführungszeiten als durch Zufallstests oder systematische Tests gefunden werden. Der evolution?re Test erscheint daher als gut geeignet für die Prüfung der zeitlichen Korrektheit von Realzeitsystemen. Die Kombination des evolution?ren Tests mit systematischen Tests kann die Testqualit?t weiter verbessern und wird in diesem Papier als Teststrategie für Realzeitsysteme empfohlen. Eingegangen am 14. Dezember 1999 / Angenommen am 30. Mai 2000     

Ankopplung heterogener Anwendungssysteme an F?derierte Datenbanksysteme durch Funktionsintegration

Zusammenfassung. Mit der zunehmenden Zahl an Anwendungssystemen, welche Datenbank und zugeh?rige Anwendung kapseln, ist die reine Datenintegration nicht mehr ausreichend. Stattdessen k?nnen die Daten des Anwendungssystems nur noch über vordefinierte Funktionen abgefragt werden. Sollen Daten und Funktionen integriert werden, so ist eine Kombination von deklarativen Anfragen und dem Zugriff auf Funktionen erforderlich. In diesem Aufsatz stellen wir einen Middleware-Ansatz vor, der diese erweiterte und neuartige Form der Integration unterstützt. Hierzu werden zun?chst die Probleme der Funktionsintegration er?rtert und eine Spezifikationssprache eingeführt, die f?derierte Funktionen zu bilden und diese mehreren lokalen Funktionen der zu integrierenden Anwendungssysteme zuzuordnen erlaubt. Anschlie?end zeigen wir, wie die zugeh?rige Ausführungskomponente – in unserem Fall ein Workflow-Managementsystem – an ein F?deriertes Datenbanksystem mittels eines Wrappers gekoppelt wird, um die Integration von Daten und Funktionen zu erm?glichen. Dabei wird die zu unterstützende Funktionalit?t innerhalb des Wrappers sowie deren Auswirkungen auf die Anfrageverarbeitung als auch das zugeh?rige Kostenmodell untersucht. Abschlie?end wird ein Eindruck von der Performanz der vorgestellten Architektur vermittelt. Eingegangen am 19. Februar 2002 / Angenommen am 31. Mai 2002     

Aufbau und Realisierung des MeDoc-Volltextspeichers

Zusammenfassung.   Ziel von MeDoc war der Aufbau eines verteilten Informationsdienstes, über den eine kritische Masse an Informatik-Literatur im Volltext nachgewiesen, langfristig vorgehalten, recherchiert und beschafft werden kann. Bei einem Teil der angebotenen Literatur handelt es sich dabei um elektronische Versionen des regul?ren kommerziellen Angebots der beteiligten Verlage. Aus diesem Grund war ein wichtiges Teilziel von MeDoc die Entwicklung eines Volltextspeichers, der solche kostenpflichtigen Dokumente abrechenbar und sicher nachweist, liefert und zum Browsen zur Verfügung stellt. Der Artikel beschreibt die Konzeption und Architektur dieses Volltextspeichers. Eingegangen am 17. April 1998 / Angenommen am 21. Juli 1998     

Konfigurierungskonzepte für DB-basierte technische Entwurfsanwendungen

Zusammenfassung  . Schwerpunkte einer Datenbank-Unterstützung von technischen Entwurfsanwendungen sind eine geeignete Ablaufkontrolle sowie ein geeignetes Datenmodell. Letzteres mu? Versionen komplexer Objekte verwalten k?nnen. Um aus der Gesamtmenge der in einer Datenbank enthaltenen Versionen konsistente Einheiten (Mengen ‚kompatibler’ Versionen) hervorheben zu k?nnen, werden geeignete Konfigurierungskonzepte ben?tigt. Dieses Papier gibt eine Klassifikation verschiedener DB-bezogener Konfigurierungsans?tze, bewertet diese und begründet damit die Wahl, die im Rahmen des Objekt- und Versionsdatenmodells OVM hinsichtlich des zu unterstützenden Konfigurierungskonzeptes getroffen wurde. Wir werden argumentieren, da? insbesondere die Flexibilit?t, die das gew?hlte Konzept sowohl hinsichtlich der Definition von Konfigurationstypen als auch hinsichtlich des Anlegens von Konfigurationen bietet, zu einer besseren Unterstützung von technischen Entwurfsanwendungen als in bestehenden objekt-orientierten Systemen führt. Eingegangen am 14. Oktober 1996/Angenommen am 27. Oktober 1997     

Das Internet-basierte Bibliotheksinformationssystem in der Bibliothek der Universit?t Bielefeld

Zusammenfassung . Die Bibliothek der Universit?t Bielefeld hat im Zuge der technischen Entwicklung ihr bisher NOVELL-basiertes Informationsnetz auf eine Internet-Basis umgestellt. Die Benutzer innerhalb und au?erhalb der Bibliothek arbeiten mit ihrem Web-Browser an ihrem Arbeitsplatz und nutzen das elektronische Dienstleistungsangebot. Dazu geh?ren der Nachweis von globalen und lokalen Internetquellen, selbsterstellte Datenbanken (Katalog, Zeitschriftentitel- und Artikelnachweis), lokal installierte Fremdanwendungen (Silverplatter-Datenbanken) und digitale Dokumente (elektronische Zeitschriften, digitalisierte Buchbest?nde, Hochschulschriften). MS-DOS- und Windows-Anwendungen (überwiegend CD-ROM-Datenbanken) sind über Windows-NT-Software (WinCenter) eingebunden. Im Laufe der Entwicklung hat sich die Integration der Einzelbestandteile als wichtigster Schwerpunkt herauskristallisiert. Dabei werden nahtlose überg?nge zwischen unterschiedlichen Anwendungen (Anbindung externer Datenbanken an die Dokumentlieferung) und Verknüpfungen zwischen dem Nachweis von Literatur und dem elektronischen Abruf des Dokuments (insbesondere bei Zeitschriftenartikeln) realisiert. über einen praxisorientierten Ansatz wird versucht, den Weg zur digitalen Bibliothek voranzutreiben. Eingegangen am 19. Januar 1998 / Angenommen am 3. August 1998