泛缪斯、泛计划、泛设计!——博物馆叙事空间型态逻辑的设计研究

智慧博物馆数字体验时代的到来,对传统博物馆的空间型态产生了巨大冲击。基于空间系统的研究,分析当代博物馆的“基因”发生着变革,探讨博物馆空间中的美学设计和平面布局法则,试图营造一种新型的展示空间形态。传统博物馆的叙事型态开始向多维度发展,这一体验机制的形成,将博物馆的观展方式推向“空间游牧”(Nomadic Space)的自由状态,观展的模式也由“线性”转向“非线性”,空间的体验使之不再限定。通过国内外实地调研多处博物馆,为未来型博物馆的创新规划、设计方法以及叙事空间的视觉设计提供参考,意在将视觉传达设计向多维度空间转化。

Approach to adaptive service matchmaking

To make service matchmaking more adaptive to various service requests and diverse web services, an adaptive approach-ASMA is proposed to service matchmaking based on temporal logic model-checking. The approach is based on the proposed abstract service model, ASM-TL, which addresses some important constraints for identifying capabilities of web services, such as service inner constraints and invocation constraints, and also has a virtual process model for describing service behavioral properties. By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking. Therefore, ASMA makes service matchmaking more accurate and more adaptive to the variety of service requests and the diversity of web services. The approach has been applied to the problem solving environment （PSE） for bioinformatics research. Applications show that the approach is suitable for dynamic environments.

Completeness of bounded model checking temporal logic of knowledge

In order to find the completeness threshold which offers a practical method of making bounded model checking complete, the over-approximation for the complete threshold is presented. First, a linear logic of knowledge is introduced into the past tense operator, and then a new temporal epistemic logic LTLKP is obtained, so that LTLKP can naturally and precisely describe the system＇s reliability. Secondly, a set of prior algorithms are designed to calculate the maximal reachable depth and the length of the longest of loop free paths in the structure based on the graph structure theory. Finally, some theorems are proposed to show how to approximate the complete threshold with the diameter and recurrence diameter. The proposed work resolves the completeness threshold problem so that the completeness of bounded model checking can be guaranteed.

Modeling and Control of a Continuous Stirred Tank Reactor Based on a Mixed Logical Dynamical Model

A novel control strategy for a continuous stirred tank reactor(CSTR)system,which has the typical characteristic of strongly pronounced nonlinearity,multiple operating points,and a wide operating range,is initiated from the point of hybrid systems.The proposed scheme makes full use of the modeling power of mixed logical dy- namical(MLD)systems to describe the highly nonlinear dynamics and multiple operating points in a unified framework as a hybrid system,and takes advantage of the good control quality of model predictive control(MPC) to design a controller.Thus,this approach avoids oscillation during switching between sub-systems,helps to relieve shaking in transition,and augments the stability robustness of the whole system,and finally achieves optimal(i.e. fast and smooth)transition between operating points.The simulation results demonstrate that the presented ap- proach has a satisfactory performance.