上肢超等长肌力练习对男子铅球教学的影响

采用实验对比法,探讨了上肢超等长肌肉力量练习对男子铅球教学的影响。结果发现,上肢超等长肌力练习对提高练习者上肢爆发力,掌握正确的推铅球技术,以及提高运动成绩,有积极的作用。     

Formale objektorientierte Softwareentwicklung mit FOX{\cal F}{{\scriptstyle{\cal O}{\cal X}}}

Zusammenfassung.   Wir stellen die neue Methode vor, die auf die formale Entwicklung sequentieller, objektorientierter Softwaresysteme abzielt. ist eine synergetische Kombination aus der semiformalen Methode Fusion und der formalen Spezifikationssprache Object-Z. Die Methode unterscheidet ausdrücklich Analyse und Entwurf, um die Komplexit?t und die unterschiedlichen Aufgaben der Softwareentwicklung zu bew?ltigen. In jeder Entwicklungsphase werden Zustands- und Verhaltensspezifikationen in graphischer oder textueller Form erstellt. Wir geben Beweisverpflichtungen an, um zu gew?hrleisten, da? die entwickelten Spezifikationen formal konsistent und vollst?ndig sind, und da? das resultierende System zur Ausgangsspezifikation konform ist. Wir illustrieren die Anwendung von an einem einfachen Beispiel, einem Grapheditor. Eingegangen am 24. Dezember 1996 / Angenommen am 8.10.1997     

基于模仿创新战略的企业人力资源实践构建——基于腾讯计算机系统有限公司的案例研究

以企业模仿创新战略为出发点,以腾讯计算机系统有限公司作为例,研究其快速发展过程中低研发成本战略构建过程中人力资源实践变革,通过提升研发团队的模仿创新能力,探讨其高绩效工作系统的构成要素。研究结果表明,承诺控制混合型人力资源系统适合模仿创新战略的发展。     

《黑图档·嘉庆朝》所见盛京地区命案分析

以《黑图档·嘉庆朝》为中心,通过对《黑图档·嘉庆朝》中记载的盛京地区发生的命案进行系统梳理,并对清代盛京地区命案的发生原因进行探析,以期能够对档案史和法律史研究提供有益的借鉴。     

体育锻炼对高校教师心理资本及主观幸福感的影响

采用问卷调查与逻辑分析法对赣南地区三所高校1 237名教师的体育锻炼习惯和心理资本、主观幸福感现状进行调研与分析.结果表明:被调查的地方院校教师中有体育锻炼习惯的占56.67%;有体育锻炼习惯的教师群体心理资本、主观幸福感得分均高于无体育锻炼习惯的教师群体,且存在显著性差异;体育锻炼与地方院校教师心理资本、主观幸福感存在显著相关性;体育锻炼对地方院校教师心理资本、主观幸福感均有较好的正向预测作用.本研究认为体育锻炼对地方院校教师心理资本水平与主观幸福感指数的提高有促进作用.     

自然速度裸足跑足底压力特征与慢跑鞋设计研究

摘要：目的：以探索自然速度裸足跑单步足支撑时间与负荷结构的部位分布规律为基础,并依据功能设计2要素（位置选择与频率设置）的特征研究慢跑鞋能量回输功能设计的策略与方法。方法：研究主要利用RSscan系统对91名大学生自然速度裸足跑进行了足底压力测试。首先采用独立样本T检验、单因素方差分析与卡方构成比检验等方法分析自然速度裸足跑足支撑的时间与负荷特征, 然后利用聚类分析与判别分析对慢跑鞋设计进行了量化研究。结果：自然速度裸足跑单步支撑时间先短后长、负荷空间分布不均集中作用于后足与前足,但时间与负荷分布均无性别差异;大众慢跑鞋后跟与前掌回弹频率的类别设计具有小中大频3类确定标准,个体慢跑鞋类别选择具有确定方法。结论：1）自然速度裸足跑个体单步足支撑先快后慢、节奏鲜明,负荷集中作用于后跟与前掌,但节奏与负荷均无性别差异。2）获得了小中大频3类大众慢跑鞋频率设计标准,并给出了个体慢跑鞋类别选择标准与方法。3）提出了有利于能量回输的个性化专业慢跑鞋设计思路与策略。     

Verteilte Metadatenverwaltung und Anfragebearbeitung für Internet-Datenquellen

Zusammenfassung.   Wir pr?sentieren in dieser Arbeit das ObjectGlobe-System, ein offenes und verteiltes Anfragebearbeitungssystem auf Internet-Datenquellen. ObjectGlobe erweitert die begrenzten F?higkeiten des Internets bezüglich Anfragebearbeitung, indem es einen offenen Marktplatz schafft, in dem eine Vielzahl von Anbietern Rechenzeit, Daten und Anfrageoperatoren bereitstellen. Den Schwerpunkt dieses Beitrags bildet die im Rahmen des ObjectGlobe-Projekts entwickelte Metadatenverwaltung MDV, ein verteiltes Metadaten-Management-System. Es besitzt eine 3-schichtige Architektur und unterstützt Caching und Replikation in der Mittelschicht, so dass Anfragen lokal ausgewertet werden k?nnen. Benutzer spezifizieren die Informationen, die sie ben?tigen und die repliziert werden, mit Hilfe einer besonderen Regelsprache. Um Replikate aktuell zu halten und die Replikation von neuen und relevanten Informationen anzusto?en, verwendet das MDV-System einen neuartigen Publish & Subscribe-Algorithmus. Wir beschreiben diesen Algorithmus im Detail und zeigen, wie er mit Hilfe eines normalen relationalen Datenbanksystems implementiert werden kann. Eingegangen am 19. November 2001 / Angenommen am 30. Juli 2002     

Die Beweisentwicklungsumgebung W\Omega -Mkrp

Zusammenfassung. Die Beweisentwicklungsumgebung -Mkrpsoll Mathematiker bei einer ihrer Hauptt?tigkeiten, n?mlich dem Beweisen mathematischer Theoreme unterstützen. Diese Unterstützung mu? so komfortabel sein, da? die rechnergestützte Suche nach formalen Beweisen leichter und insbesondere weniger aufwendig ist, als ohne das System. Dazu mu? die verwendete Objektsprache ausdrucksstark sein, man mu? die M?glichkeit haben, abstrakt über Beweispl?ne zu reden, die gefundenen Beweise müssen in einer am Menschen orientierte Form pr?sentiert werden und vor allem mu? eine effiziente Unterstützung beim Füllen von Beweislücken zur Verfügung stehen. Das im folgenden vorgestellte $\Omega$-Mkrp-System ist der Versuch einer Synthese der Ans?tze des vollautomatischen, des interaktiven und des planbasierten Beweisens. Dieser Artikel soll eine übersicht über unsere Arbeit an diesem System geben. Eingegangen am 24. Juni 1994 / Angenommen am 3. November 1995     

Datenstrukturen visualisieren und animieren mit DDD

Zusammenfassung. Der graphische Debugger DDD ist mit mehr als 250.000 Anwendern ein weitverbreitetes Werkzeug zur Softwarevisualisierung. Neben der für Debuggerüblichen Funktionalit?t erm?glicht DDD die Visualisierung von Datenstrukturen im laufenden Programm. DDD kann verzeigerte Strukturen (wie Listen oder B?ume) als Graphen darstellen, aber auch numerische Felder zwei- oder dreidimensional darstellen und im Programmlauf animieren. Dieser Beitrag beschreibt die technischen Grundlagen der Visualisierung, die verwendeten Plazierungsverfahren und die Animation von Algorithmen. Eingegangen am 13. Oktober 2000 / Angenommen am 19. Dezember 2000     

Wissenschaftliches Publizieren im Umbruch

Zusammenfassung. Wissenschaftler schreiben ihre Arbeiten schon seit langem mit Hilfe von Textsystemen. Noch für 1989 jedoch belegen Studien, da? Verlage eher selten diese Vorlagen elektronisch übernommen und weiterverarbeitet haben. Erst recht rar waren Publikationen in elektronischer Form. Hier zeichnet sich ein Umbruch ab, bedingt nicht zuletzt durch neue verteilte Informationsdienste im Internet, die es den Autoren erm?glichen, selbst und unmittelbar als Informationsanbieter zu agieren. Diese Entwicklung wird hier im Rahmen der besonderen Gegebenheiten wissenschaftlichen Publizierens dargestellt und analysiert. Der Beitrag gibt einen überblick über Basistechnologie, Werkzeuge und Modelle elektronischen Publizierens, er?rtert die neuen M?glichkeiten insbesondere des Online-Publizierens und zeigt auf, wo die heutigen Werkzeuge zu kurz greifen. Der Schwerpunkt liegt auf wissenschaftlichen Zeitschriften. Eingegangen am 25. August 1995 / Angenommen am 9. Oktober 1995