不可压流体的边界层问题

研究三维有界区域在边界上有流动的不可压流体的边界层问题,导出了Navier-Stokes方程区域内部的近似方程(Euler方程和线性化的Euler方程)和边界附近近似的方程(零阶边界层方程与一阶边界层方程),证明了这种近似的合理性.     

推广的Boussinesq方程和KdV方程——Painlevé性质,Bcklund变换和Lax对

本文从Kadomtsev-Petviashvili方程的对称性约化出发,得到了具有任意函数作为变系数的推广的Boussinesq方程和推广的KdV方程.利用Weiss和Kruskal等建立的奇性分析方法,我们证明了这两个方程可积的充分条件:Painlevé性质。得到了这两个方程的Bcklund变换和奇性流形方程(推广的Schwartz-Boussinesq方程和Schwartz-KdV方程)。并由此将这两个方程线性化,即给出这两个方程的Lax对并包含有明显的与时间无关的任意谱参数。     

几种广义非线性发展方程的新解

本文研究了构造了广义Kd V方程和广义KP-Burgers方程等几种广义非线性发展方程的新解的问题.利用三种辅助方程及其新解,获得了广义Kd V方程和广义KP-Burgers方程等几种广义非线性发展方程的新解.这些解由双曲余割函数、双曲正切函数、双曲正割函数、双曲余切函数和余割函数组成.     

有界区域上的粘性分离法

用分步法求解Navier-Stokes方程的初边值问题。在每一个时间区间内,将原方程分解为没有扩散项的Euler方程和没有对流项的扩散方程,证明了近似解的收敛性。与通常的方法不同的是,我们用一个非齐次扩散方程代替了齐次扩散方程。本文是一系列文章的第一篇,讨论线性化的方程。     

非线性波方程新的显式精确解

利用Darboux和一个可化为标准Bernoulli方程的4阶常微分方程,统一地处理了三个著名方程KdV方程,Kadomtsev-Petviashvili(KP)方程和Hirota-Satsuma(HS)方程的求解问题.给出了这些方程一批新的具有更为丰富形式的精确解,其中包括孤波解和行波解.     

应用(1/G)-展开法求解五阶KdV方程

本篇论文首次提出(1/G) -展开法,用于求解非线性演化方程的行波解.将该法应用于五阶KdV方程的求解,当参数满足一定条件时,该方程可化为Sawada-Kotera (SK)方程、Caudrey-Dodd-Gibbon(CDG)方程、Kaup-Kupershmidt (KK)方程、Lax方程和Ito方程.其解可被表示为...     

脉冲强迫非线性时滞微分方程的渐近性

本文研究一类脉冲强迫非线性时滞微分方程的渐近性,所得结果不仅适用于线性方程和非线性方程,强迫方程和非强迫方程,脉冲方程和非脉冲方程,而且改进了最近文献［８］的主要结果．     

一类非线性发展方程的显式精确解

提出了寻求非线性发展方程行波解新的辅助方程法,作为实例通过选取变系数Bernoulli方程作为辅助常微分方程,并借助于计算机系统Mathematica和齐次平衡原则,求解了一类非线性发展方程,得到了该方程的新的显式精确解.所用方法可应用到其它类似方程的求解.     

利用Riccati方程求解Burgers方程

应用李群理论中的伸缩变换群,把非线性二阶偏微分方程-Burgers方程转化为非线性非齐次一阶常微分方程-Riccati方程,将Riccati方程转化为Bernoulli方程和齐次线性二阶常微分方程,从而找到了Riccati方程的许多解,最后进一步求出了Burgers方程许多新的解析解.     

Burgers方程的一类自相似解

利用李群理论中的伸缩变换群,将二阶非线性偏微分方程-Burgers方程化为一类Riccati方程和三类二阶非线性常微分方程,从而Riccati方程和这三类二阶非线性常微分方程给出了Burgers方程的自相似解的表现形式.     

My agents love to conform: Norms and emotion in the micro-macro link

This contribution investigates the function of emotion in relation to norms, both in natural and artificial societies. We illustrate that unintentional behavior can be normative and socially functional at the same time, thereby highlighting the role of emotion. Conceiving of norms as mental objects we then examine the role of emotion in maintaining and enforcing such propositional attitudes. The findings are subsequently related to social structural dynamics and questions concerning micro-macro linkage, in natural societies as well as in artificial systems. Finally, we outline the possibilities of an application to the socionic multi-agent architecture SONAR. Christian von Scheve graduated in Sociology with minors in Psychology, Economics, and Political Science at the University of Hamburg, where he also worked as a research assistant at the Institute of Sociology. Currently, he is a 3rd year PhD student at the University of Hamburg. He was a Fellow of the Research Group “Emotions as Bio-Cultural Processes” at the Center for Interdisciplinary Research (ZiF) at Bielefeld University. In his doctoral thesis he develops an interdisciplinary approach to emotion and social structural dynamics, integrating emotion theories from the neurosciences, psychology, and the social sciences. He has published on the role of emotion in large-scale social systems, human-computer interaction, and multi-agent systems. He is co-editor of a forthcoming volume on emotion regulation. Daniel Moldt received his BSc in Computer Science/Software Engineering from the University of Birmingham (England) in 1984, graduated in Informatics at the University of Hamburg, with a minor in Economics in 1990. He received his PhD in Informatics from the University of Hamburg in 1996, where he has been a researcher and lecturer at the Department of Informatics since 1990. Daniel Moldt is also the head of the Laboratory for Agent-Oriented Systems (LAOS) of the theoretical foundations group at the Department of Informatics. His research interests focus on theoretical foundations, software engineering and distributed systems with an emphasis on agent technology, Petri nets, specification languages, intra- and inter-organizational application development, Socionics and emotion in informatics. Julia Fix is currently a PhD student at the Theoretical Foundations of Computer Science Group, Department for Informatics at the University of Hamburg. She studied Informatics and Psychology at the University of Hamburg, with an emphasis on theoretical foundations of multi-agent systems and wrote her diploma theses about emotional agent systems. Her current research interests focus on conceptual challenges and theoretical foundations of modelling emotions in multi-agent systems, emotion-based norm enforcement and maintenance, and Socionics. A further research focus are Petri nets, in particular the use of Petri-net modelling formalisms for representing different aspects of emotion in agent systems. Rolf von Lüde is a professor of Sociology at the University of Hamburg with a focus in teaching and research in Sociology of Organizations, Work and Industry since 1996. He graduated in Economics, Sociology, and Psychology, and received his doctorate in Economics and the venia legendi in Sociology from the University of Dortmund. His current research focuses on labor conditions, the organization of production, social change and the educational system, the organizational structures of university, Socionics as a new approach to distributed artificial intelligence in cooperation with computer scientists, new public management, and emotions and social structures. Rolf von Lüde is currently Head of Department of Social Sciences and Vice Dean of the School of Business, Economics and Social Sciences, University of Hamburg.     

Modeling and simulation of severe slugging in air-water systems including inertial effects

A mathematical model and numerical simulations corresponding to severe slugging in air-water pipeline-riser systems are presented. The mathematical model considers continuity equations for liquid and gas phases, with a simplified momentum equation for the mixture. A drift-flux model, evaluated for the local conditions in the riser, is used as a closure law. In many models appearing in the literature, propagation of pressure waves is neglected both in the pipeline and in the riser. Besides, variations of void fraction in the stratified flow in the pipeline are also neglected and the void fraction obtained from the stationary state is used in the simulations. This paper shows an improvement in a model previously published by the author, including inertial effects. In the riser, inertial terms are taken into account by using the rigid water-hammer approximation. In the pipeline, the local acceleration of the water and gas phases are included in the momentum equations for stratified flow, allowing to calculate the instantaneous values of pressure drop and void fraction. The developed model predicts the location of the liquid accumulation front in the pipeline and the liquid level in the riser, so it is possible to determine which type of severe slugging occurs in the system. A comparison is made with experimental results published in literature including a choke valve and gas injection at the bottom of the riser, showing very good results for slugging cycle and stability maps. Simulations were also made assessing the effect of different strategies to mitigate severe slugging, such as choking, gas injection and increase in separation pressure, showing correct trends.     

商科型高校理工类研究生创新能力的培养

目前,研究生教育处于我国高等教育的最高层次,肩负着为国家发展培养高技术专业型人才的重要任务.尤其是在各国竞争愈发激烈的今天,理工类研究生更是在未来国家现代化建设、科技创新中发挥着重要作用.但是,由于近几年研究生招生规模的逐渐扩大,研究生的培养模式、培养质量等方面出现了许多亟待解决的问题.从商科型高校理工类研究生的培养现状出发,通过运用文献法和归纳法,本文对当前研究生培养过程中存在的问题进行分析,并针对学生创新能力的培养,从学校、导师和学生自身三方面给出了相应的解决措施,着重强调了数学建模在理工类研究生创新能力培养过程中所发挥的重要作用.最后,以湖南工商大学近几年在理工类研究生创新能力培养实践中所采取的主要举措以及取得的成效来进一步论证本文所提出措施的有效性.     

Orlicz型序列空间的暴露性

对赋Luxember范数或Orlicz范数的Orlicz型序列空间,诸如古典的、广义的及参数式的,本文总结、补充、比较列出了暴露点及暴露性的充分必要刻画,并对以往结果中的错误进行了修正,从而在序列空间方面系统地完成了有关暴露性的刻画。     

Financial Risk Modelling and Econometric Inference

In finance, the explicit modelling of uncertainty takes on a particularly important role. The values of financial derivatives increase in the return volatility of the underlying security. This notion requires a concept of volatility and hence uncertainty. In addition, the choice between modelling in discrete and continuous time is not arbitrary, since it corresponds to a distinction between incomplete and complete markets, respectively, and this distinction matters for asset pricing, financial risk modelling, and inference. Risk and volatility are closely connected, and implied volatility, volatility forecasting, volatility in term structure models, stochastic volatility, and portfolio analysis are considered and related to a more general interplay between cross-sectional and dynamic aspects in finance. Stocks, bonds, and options are considered and placed in the context of efficiency and separation in inference.     

基于主成分-集对分析法的联合火力打击陆军弹药消耗预测方案评估模型研究

陆军作为联合火力打击的重要组成部分,具有反应快、火力猛、精度高、机动灵活的特点,是实施联合火力打击不可缺少的重要力量.陆军在联合火力打击中,如何快速准确的从多种弹药预测方案中分析、评估优选出最佳的陆军弹药消耗预测方案,对提高陆军快速反应能力,提升部队战斗力,打赢未来战争至关重要.为此,在分析影响联合火力打击陆军弹药消耗主要因素的基础上,构建了符合联合火力打击陆军弹药消耗特点的评估指标体系,提出了一种基于主成分和集对分析法综合分析的联合火力打击陆军弹药消耗预测方案的评估优选方法,通过方法可求得指标权重,最终评估优选出最佳的联合火力打击陆军弹药消耗预测方案.结合实例分析,验证构建的评估模型能够用于多种联合火力打击陆军弹药消耗预测方案的评估优选,为进一步提高联合火力打击陆军弹药消耗预测方案提供技术指导.     

PANEL DISCUSSIONS

Representations of mathematical concepts play an important role in understanding: both in helping learners understand the to-be-learned material and in facilitating teachers’ understanding of pedagogical processes which, in turn, are involved in developing learners’ understanding. In this paper, we report on work with a cohort of pre-service primary teachers, with the aim of developing their understanding of mathematics, their confidence in their subject knowledge and their confidence in teaching mathematics. This was attempted through the introduction and use of a ‘representational approach’ to the teaching of the mathematical concepts required of teachers training to teach in primary schools in the UK. We present the results of attitude measures and a follow-up qualitative questionnaire in identifying whether and how the use of this representational approach supported pre-service teachers’ understanding and their confidence in teaching mathematics. The results suggest that the representational approach used had a positively significant impact on the attitudes towards studying and teaching mathematics.     

Classical and Nonclassical Dynamic Problems of Sandwich Shells with a Transversely Soft Core

Based on the hypothesis of similarity of transverse displacements in thin-walled sandwich shells with a transversely soft core under dynamic and static loads, refined geometrically nonlinear dynamic equations of motion are constructed in the case of large variations in the parameters of the stress-strain state (SSS) in the tangential directions. For shells structurally symmetric across the thickness and loaded with initial static loads, linearized dynamic equations are derived, which, upon introducing the synphasic and antiphasic functions of displacements and forces, can be used to describe the synphasic and antiphasic buckling forms in the transverse and tangential directions. For nonshallow cylindrical and shallow spherical shells, the nonclassical problems on all possible vibration forms realized at zero indices of variability of the SSS parameters in the tangential directions are formulated and solved. For shallow shells of symmetric structure, the resolving equations are obtained by introducing, instead of tangential displacements and transverse tangential stresses in the core, the corresponding potential and vortex functions.     

Mapping deontic operators to abductive expectations

Deontic concepts and operators have been widely used in several fields where representation of norms is needed, including legal reasoning and normative multi-agent systems. The EU-funded SOCS project has provided a language to specify the agent interaction in open multi-agent systems. The language is equipped with a declarative semantics based on abductive logic programming, and an operational semantics consisting of a (sound and complete) abductive proof procedure. In the SOCS framework, the specification is used directly as a program for the verification procedure. In this paper, we propose a mapping of the usual deontic operators (obligations, prohibition, permission) to language entities, called expectations, available in the SOCS social framework. Although expectations and deontic operators can be quite different from a philosophical viewpoint, we support our mapping by showing a similarity between the abductive semantics for expectations and the Kripke semantics that can be given to deontic operators. The main purpose of this work is to make the computational machinery from the SOCS social framework available for the specification and verification of systems by means of deontic operators. Marco Alberti received his laurea degree in Electronic Engineering in 2001 and his Ph.D. in Information Engineering in 2005 from the University of Ferrara, Italy. His research interests include constraint logic programming and abductive logic programming, applied in particular to the specification and verification of multi-agent systems. He has been involved as a research assistants in national and European research projects. He currently has a post-doc position in the Department of Engineering at the University of Ferrara. Marco Gavanelli is currently assistant professor in the Department of Engineering at the University of Ferrara, Italy. He graduated in Computer Science Engineering in 1998 at the University of Bologna, Italy. He got his Ph.D. in 2002 at Ferrara University. His research interest include Artificial Intelligence, Constraint Logic Programming, Multi-criteria Optimisation, Abductive Logic Programming, Multi-Agent Systems. He is a member of ALP (the Association for Logic Programming) and AI*IA (the Italian Association for Artificial Intelligence). He has organised workshops, and is author of more than 30 publications between journals and conference proceedings. Evelina Lamma received her degree in Electronic Engineering from University of Bologna, Italy, in 1985 and her Ph.D. degree in Computer Science in 1990. Currently she is Full Professor at the Faculty of Engineering of the University of Ferrara where she teaches Artificial Intelligence and Foundations of Computer Science. Her research activity focuses around: – programming languages (logic languages, modular and object-oriented programming); – artificial intelligence; – knowledge representation; – intelligent agents and multi-agent systems; – machine learning. Her research has covered implementation, application and theoretical aspects. She took part to several national and international research projects. She was responsible of the research group at the Dipartimento di Ingegneria of the University of Ferrara in the UE ITS-2001-32530 Project (named SOCS), in the the context of the UE V Framework Programme - Global Computing Action. Paola Mello received her degree in Electronic Engineering from the University of Bologna, Italy, in 1982, and her Ph.D. degree in Computer Science in 1989. Since 1994 she has been Full Professor. She is enrolled, at present, at the Faculty of Engineering of the University of Bologna (Italy), where she teaches Artificial Intelligence. Her research activity focuses on programming languages, with particular reference to logic languages and their extensions, artificial intelligence, knowledge representation, expert systems with particular emphasis on medical applications, and multi-agent systems. Her research has covered implementation, application and theoretical aspects and is presented in several national and international publications. She took part to several national and international research projects in the context of computational logic. Giovanni Sartor is Marie-Curie professor of Legal informatics and Legal Theory at the European University Institute of Florence and professor of Computer and Law at the University of Bologna (on leave), after obtaining a PhD at the European University Institute (Florence), working at the Court of Justice of the European Union (Luxembourg), being a researcher at the Italian National Council of Research (ITTIG, Florence), and holding the chair in Jurisprudence at Queen’s University of Belfast (where he now is honorary professor). He is co-editor of the Artificial Intelligence and Law Journal and has published widely in legal philosophy, computational logic, legislation technique, and computer law. Paolo Torroni is Assistant Professor in computing at the Faculty of Engineering of the University of Bologna, Italy. He obtained a PhD in Computer Science and Electronic Engineering in 2002, with a dissertation on logic-based agent reasoning and interaction. His research interests mainly focus on computational logic and multi-agent systems research, including logic programming, abductive and hypothetical reasoning, agent interaction, dialogue, negotiation, and argumentation. He is in the steering committee of the CLIMA and DALT international workshops and of the Italian logic programming interest group GULP.     

黑龙江漠河地区冰雪情自动监测系统的设计与应用

基于空气、冰、雪与水物理特性的差异,设计了适应高寒地区内陆河道冰雪情定点自动检测的传感器和数据采集系统设备.该系统被安装在黑龙江省漠河县北极村水位站黑龙江河道断面,进行了3个半月的冰雪情定点连续监测,获取了系统的黑龙江河道内部冰水情以与积雪深度现场数据.采集数据完整地反映了黑龙江河道冬季冰层和雪层生消变化过程,为分析高寒地区冬季冰雪情变化规律以及春季凌汛预警提供了科学的预测数据,并探索出了一种适合野外恶劣环境下工程应用的冰雪情检测方法和系统设备.