一个基于Yale-CAS的单点登录解决方案

单点登录(SSO)是解决门户系统安全认证问题的一种理想和有效的认证策略,然而在具体实现中会遇到很多的困难。分析了Yale大学用于认证服务的中心认证机制Yale-CAS,提出了一个基于CAS认证机制的单点登录解决方案,最后在eXoplatform门户平台上初步实现了单点登录的认证策略。     

Multi-Agent Social and Organizational Modeling of Electric Power and Natural Gas Markets

Complex Adaptive Systems (CAS) can be applied to investigate large-scale socio-cognitive-technical systems. Viewing such systems from a multi-agent social and organizational perspective allows innovative computational policy analysis. Argonne National Laboratory (ANL) has taken such a perspective to produce an integrated model of the electric power and natural gas markets. This model focuses on the organizational interdependencies between these markets. These organizational interdependencies are being strained by fundamental market transformations.     

Symbol sense with a symbolic-graphical system: a story in three rounds

The paper consists of a trilogy of high-school teachers solving an algebraic problem while learning to use a Computer Algebra System (CAS) in 1995, 1998, and 2001. The different approaches the teachers used and the ways the symbolic-graphical software influenced their solution process are discussed in terms of theoretical views on “symbol sense,” and regarding the notion of “instrumentation” developed among the CAS-in-education community. Two epistemological perspectives of symbol sense that were involved in the creation of instrumentation schemes were identified: (a) awareness of the special ways that the CAS software utilizes (makes sense of) symbols in algebraic manipulations and in implicit plotting, and (b) the need to make explicit the algebraic interpretations of sophisticated graphs in relation to the context of the problem. Consequently, the instrumentation schemes led to the development of advanced symbol sense.     

高分辨侧扫及合成孔径声纳图像与回波中类似水雷目标计算机检测与分类

计算机辅助目标识别与分类技术有可能可靠地在海底发现水雷及其它感兴趣的目标,高效省时,一致性强,不受操作员个体因素影响。自90年代以来,是多个研究部门的热点课题。近年来,合成孔径侧扫声纳技术日趋成熟,能提供更高分辨率的声图,更是促进了自动识别与分类的发展。 本文综合评述了高分辨侧扫及合成孔径声纳图像与回波中类似水雷目标- MLO (Mine Like Object)-计算机检测与分类-CAD/CAC（Computer Aided Detection/ Computer Aided Classification）-研究的发展,现状及趋向。     

国际评估的实践与挑战——基于中国科学院卓越创新中心的案例分析

 当前中国科技评估导向转变为鼓励开展国际评估。提出了国际评估的必要性、可行性、如何评等关键问题，结合中国科学院卓越创新中心国际评估实践案例，提出了中国开展国际评估的建议。     

基于回声模型及Gaia方法的复杂适应系统仿真建模及应用

在分析南水北调系统的复杂适应性特征及复杂适应系统仿真建模方法基础上,对面向AO的软件建模方法进行扩展,提出基于回声模型及Gaia方法的复杂适应系统仿真建模方法CASSM-Gaia,定义CASSM-Gaia的主要建模元素,描述了CASSM-Gaia方法的建模流程。应用CASSM-Gaia方法对南水北调东线系统的层次结构及交互关系进行分析,建立了南水北调东线水资源复杂适应系统宏观概念模型。仿真结果表明了该模型的合理性。     

物联网信息传播动力学建模与仿真

针对物联网环境下信息传播的感知性和适应性交互特征,采用社会物理学思路并借鉴振动传播概念,定义了物联网信息传播过程的动力学变量及其对传播行为的相应影响,建立了基于阻尼振动方程的信息传播微观动力学模型,结合Multi_Agent仿真技术和Netlogo仿真平台,模拟了微观个体传播行为与宏观整体运行机制之间的动力学关系,通过大量的数值仿真验证了模型的合理性,依据仿真实验的结果分析了信息传播系统的非线性演化规律并提出了相关的策略建议。     

UNO DMRG CAS CI calculations of binuclear manganese complex Mn(IV)2O2(NHCHCO2)4: Scope and applicability of Heisenberg model

Both direct exchange and super-exchange interactions cooperate to realize inter-spin magnetic interaction in binuclear manganese complex Mn(IV)₂O₂(NHCHCO₂)₄ with a di-μ-oxo path. We revisited this spin system using DMRG CAS methods and CAS selection procedures. Our results indicate that our previous “dynamically extended spin polarization” (DE-SP) procedure for organic polyradicals and so forth does not work well. Thus, we have examined another selection procedure, the “dynamically extended super-exchange” (DE-SE) procedure. DMRG CASCI [18,18] by UB3LYP(HS)-UNO(DE-SE) can realize antiferromagnetic J values similar to experimental ones (−87 cm⁻¹). In addition, all J values between all spin states (HS[septet],IS[quintet],IS[triplet],LS[singlet])were also shown to be correct under sufficiently large M values. © 2018 Wiley Periodicals, Inc.     

Copper-catalyzed asymmetric silylative cyclization of cyclohexadienone-containing 1,6-enynes

The first copper-catalyzed asymmetric silylative cyclization of cyclohexadienone-containing 1,6-enynes has been accomplished through a tandem process: regioselective silylcupration of terminal unactivated alkynes and subsequently enantioselective conjugate addition to cyclohexadienones. This reaction proceeded smoothly to afford the cis-hydrobenzofuran and cis-hydroindole frameworks bearing two consecutive chiral carbon centers in high to excellent yields and moderate enantioselectivities. Additionally, the cyclization products could be readily subjected to several transformations for elaborating synthetic utilities.     

Mathematik durch Modellierung

Zusammenfassung. Studierende des höheren Lehramtes suchen - oft erzwungen durch unsere Prüfungsordnungen - häufig ihr Heil in einführenden Veranstaltungen wie Zahlentheorie, Algebra oder Geometrie und bringen sich damit um einige der für den schulischen Unterricht wichtigsten Einsichten: Mathematik ist auf unglaublich breiter Basis anwendbar! Seit drei Jahren gibt es daher an der TU Braunschweig die Vorlesung Angewandte Mathematik, Modellierung und Informatik, in der Studierende den Blick über den Tellerrand in die Anwendungen hinein werfen sollen. Flankierende Maßnahmen in der Lehrerfortbildung und Arbeiten mit Schülern sollen den Einzug des Modellierungsaspekts in den Schulunterricht unterstützen. Die vorliegende Arbeit gibt Einblicke in die behandelten Inhalte und beschreibt gemachte Erfahrungen.Eingegangen am 22. Oktober 2003, Angenommen am 13 Januar 2004,Thomas Sonar: Meinem verehrten Lehrer Horst Tietz in Dankbarkeit gewidmet Der Autor dankt der finanziellen Unterstützung der Volkswagenstiftung durch das Projekt Perspektiven der Mathematik an der Schnittstelle zwischen Schule und Universität.Einem unbekannten Gutachter danke ich für konstruktiv-kritische Bemerkungen, die Teilen des Manuskripts sehr zugute gekommen sind.