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

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

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

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

巫术：女子武侠的性别话语

作为一种新兴的文学现象,女子武侠有其独特性,其中武功系统中的巫术引人注目。从心理学层面来看,女子武侠对巫术的选择受社会心理、情感心理和行为心理的驱动,同时也是对它们的彰显。     

主体论视域的深度学习内涵及策略冯铁山

学生“学得怎么样”是学科“教什么”和“怎么教”的根本目的与终极关怀, 学科教学需要重视学习主体的需要、教学意义的生成。从主体论视域审视,任何学科教学均有教材作者主体、教师主体、教材编辑主体以及学生主体之分。从尊重并发挥学生的主体性出发,深度学习是学生发挥主体性过程中与作者主体、教师主体、教材编辑主体构成主体间性关系而创造性运用语言文字等符号认识自然、社会、自我获得的归真、求善、至美情意的活动。其意义的生成自然也就是在与自然、社会、自我互动中达成认知、社会参与、自我发展的建构。     

机运女神的计划——论波利比乌斯的反事实虚拟写作

英国历史学家弗格森在其编写的《未曾发生的历史》一书中将波利比乌斯视为某种宗教决定论的始作俑者之一,作为其虚拟历史探讨的对立面。然而,波利比乌斯实际上是一个非常频繁使用反事实虚拟的历史作者。其笔下的“机运”(Τ?χη)在具体的历史行动情境中呈现出的第一面目,并非理性的计划者,而是变幻不定、高深莫测的神灵,她屡屡改变事情的常态发展路径,挫败行动者的理性预期。波利比乌斯对那些符合观察者的理性预期、但未能实现的可能性的探讨,成为反事实虚拟生长的温床。波利比乌斯自觉地运用反事实虚拟探讨事物的原因,以便给那些从事实际政治事务的人带来真正的教益。     

化工专业校企合作人才培养模式研究与实践

本文分析目前我国高等工程教育中普遍存在的人才培养与社会需求相脱节的缺憾及其成因;立足新办地方本科高校的定位及办学条件,研究探索校企合作人才培养模式的路径,总结研究方法及实践效果;提出“在三个紧密中突出三个注重;理实合一、工学结合、学训交替”等工程教育理念和教学模式.     

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     

DNA-Computing – ein funktionales Modell im laborpraktischen Experiment

Zusammenfassung.   Im Zentrum der Betrachtungen zum DNA-Computing steht die Frage nach den Chancen und Grenzen dieses neuen Berechnungsmodells, nachdem in den letzten Jahren eine rasante Entwicklung auf das Thema aufmerksam machte. Neben beachtlichen theoretischen Untersuchungen zum “Rechnen im Reagenzglas” werden auch laborpraktische Implementierungen favorisiert. An der TU Dresden wurde in interdisziplin?rer Arbeit ein Integer-Rucksackproblem mittels eines DNA-Algorithmus im Labor gel?st und dabei eine Vielzahl molekularbiologischer Operationen analysiert. Mit Hilfe dieses Satzes von Operationen gelang eine universelle und labornahe Modellierung des DNA-Computing. Hierbei angewandte Techniken und Methoden werden vorgestellt und bewertet. Die Beschreibung des DNA-Algorithmus zeigt, wie sich Einzeloperationen vorteilhaft zu Operationsfolgen zusammensetzen lassen und gemeinsam mit einer geeigneten DNA-Kodierung der Eingangsdaten zur L?sung des Problems im Labor führen. Erstmalig wurden hierbei natürliche Zahlen verarbeitet. Die Arbeitsgemeinschaft DNA-Computing Dresden konzentriert sich auf Aufgabenstellungen, die formale Modelle des DNA-Computing mit überzeugenden Laborimplementierungen verbinden. Eingegangen am 14. Februar 2000 / Angenommen am 26. Oktober 2000     

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