工程系统的复杂性特征研究初探

工程进入大尺度复杂系统时代,需要Ilities研究以应对其自身及环境的变化。Ili-ties主要起源于工程问题,在工程实践中发展成为多维度的衡量指标、构建方法和范式,成为工程系统功效、性能和架构目标的表征。Ilities反映了工程建构的系统性思维,研究它对我国工程建设具有实践和理论意义。     

计算功能主义:普特南的早期论证及其后来的反驳

计算功能主义认为,精神状态和精神事件是一种依赖于特定的功能组织的功能状态,精神状态既可以在大脑的基础上实现,也可以根据具有生物学特征的输入和输出的参数和关系的计算过程来定义。普特南早期曾是这种理论的积极拥护者。他从心灵状态的可多重实现性出发批判了心脑同一论,并由此提出并论证了计算功能主义理论。然而,后来在思考意向内容的来源时,普特南发展出一种外在主义的意义理论,而这种外在主义很难和计算功能主义相调和。因此,普特南后期放弃了计算功能主义,并发展出了多种论证来反驳它。文章考察了普特南思想的转变过程及其对认知科学的批评。     

基于网络的教学资源编辑平台功能结构设计

根据目前教学资源发展需求,提出一种基于网络的教学资源编辑平台,并对其结构功能进行设计。     

Receding horizon H∞ control for discrete-time Markovian jump linear systems

Receding horizon H∞ control scheme which can deal with both the H∞ disturbance attenuation and mean square stability is proposed for a class of discrete-time Markovian jump linear systems when minimizing a given quadratic performance criteria. First, a control law is established for jump systems based on pontryagin’s minimum principle and it can be constructed through numerical solution of iterative equations. The aim of this control strategy is to obtain an optimal control which can minimize the cost function under the worst disturbance at every sampling time. Due to the difficulty of the assurance of stability, then the above mentioned approach is improved by determining terminal weighting matrix which satisfies cost monotonicity condition. The control move which is calculated by using this type of terminal weighting matrix as boundary condition naturally guarantees the mean square stability of the closed-loop system. A sufficient condition for the existence of the terminal weighting matrix is presented in linear matrix inequality (LMI) form which can be solved efficiently by available software toolbox. Finally, a numerical example is given to illustrate the feasibility and effectiveness of the proposed method.     

晋昇苑的设计

介绍了＂晋昇苑＂的基本情况及设计理念,总结了数字化设计与全立面设计在该项目中的应用以及设计中存在的不足之处。     

本征值问题的修正傅里叶级数解

为了使本征值问题的求解更加完善,利用Iserles在2008年提出的修正傅里叶级数的三角基函数,使数学物理方法中的分离变量法成为一个全新的求解方法.利用这一方法对一类定解问题进行求解,最终得到了该问题的修正傅里叶级数解,验证了所提出的新方法的正确性.     

食饵有感染的时滞三维捕食-被捕食模型稳定性分析(英文)

食饵具有感染率的捕食-被捕食系统可以用来解释生命科学中的很多现象,该问题已经被很多学者研究。在人口动力学中,收获率对物种有重要的影响。研究了一类具有收获的食饵有感染的时滞三维捕食-被捕食模型的稳定性,同时发现当参数经过一系列临界值时,系统产生Hopf分支现象。数值仿真证明了理论结果。     

试论小说中的话语信息差——以《像我这样一个女子》为例

话语输出(信息发送)与话语接受(信息接收)常常会出现不等值现象,由此产生了话语信息差。话语信息差的产生原因很多,其中有交际双方的心理差异、交际双方缺乏共知信息、解码者只接收表面的理性信息未能接收潜在信息等原因。以西西小说《像我这样一个女子》为例,话语信息差之所以会产生是双方的心理差异造成的,交际双方缺乏共知信息也是形成小说话语信息差的一个原因。     

p-Laplacian边值问题的多重正解（英文）

利用不动点指数定理及迭代技术,本文主要讨论p-Laplacian微分方程边值问题正解的存在性和非存在性,并得到了依赖于参数λ的边值问题的正解。     

二维Navier—Stokes方程的吸引子与一环面同构

文中证明了二维Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ 方程的吸引子作为拓扑群与一环面同构