理性逻辑中融入感性温度,探索空间场域的独特性与生长性——台北玛黑设计主持设计师朱晏庆演讲实录

朱晏庆以西方教育背景下形成的关注空间基本架构背后逻辑的思维特征,在将设计思考转化为实际空间的过程中,以理性的方式分析、推演,同时融入源于文化传承的感性思维,在纷繁复杂的线索中,探索出空间的独特性有生长性。对于美的定义,他持有多元包容的态度。'唯有持续变换的样貌才是真实的,形体不过是转变过程中的惊鸿一瞥',时间与空间在不断演化中达到的平衡,才是设计之美。

基于STP方法的SCADE模型形式化验证框架

高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSMV模型,并将线性时态逻辑和计算树逻辑引入SCADE模型的需求规范中。分析结果表明,借助NuSMV模型检查器及其验证结果可检验复杂时序相关的安全性质,减少模型设计阶段的错误,提高系统的安全性和可靠性。

基于波门预估递推剔除大跳动星点快速求解姿态算法研究

考虑星敏感器对快速性、稳定性和高精度的需求,针对传统星敏感器软件在采集波门出现大跳动采集星点时而出现星跟踪失败和姿态四元数信息无法输出的缺点,对一种基于波门预估递推剔除大跳动星点快速求解姿态的方法进行了研究。根据四元数及姿态矩阵,采用基于距离的有效数据提取方法以剔除无效和跳变的星点数据;针对不同天区的不同星点运动幅度各异的特征,采用预估递推波门大小可根据不同星点确定各自的波门半径,以减少因波门半径产生的无法跟踪和波门多星识别失败现象。改进了波门参数设定,并对波门跟踪进行优化:根据算得的旋转角度与真实转过角度的差异剔除无效星点并进行更新,由更新后的旋转角和姿态四元数估计新的四元数。数学仿真结果表明:该法可有效减小星点大跳动对姿态求解的影响,提高星敏感器输出四元数姿态的精度。

基于同步仿真的卫星姿轨控软件验证方法

传统的仿真系统一般采用Matlab/Simulink进行建模,Simulink模型可以在仿真环境下模拟真实环境下的系统架构和动态数据交互,也可以动态模拟真实目标机的运行。在Simulink建模体系对目标机系统的仿真中,其自身的时钟步长和数据流处理逻辑,可能与真实物理环境要求的系统有一定的出入,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,从而造成一定程度的失真,影响仿真效果。提出了基于同步仿真的卫星姿轨控软件验证方法,包含虚拟目标机能够实现对真实物理目标机运行功能的完全模拟,结合协同仿真组件和Simulink模型对各个子系统单元的动态建模仿真,全面验证软件的功能,增加了卫星控制软件的可靠性和安全性。

基于虚拟化技术的卫星控制系统软件构件库运行监控与可信验证技术

动态系统建模工具可以按照设定的仿真步长对控制器的行为动态模拟,也可以在仿真环境下模拟控制器所在的系统架构和动态数据交互,因此传统的卫星控制系统方案设计时一般采用在同一模型建模体系进行,并进行相应的控制算法设计;但是由于动态系统建模工具其自身的时钟步长和数据流处理逻辑,不能完全模拟目标机的内部ALU逻辑和真实外围设备工作行为,可能与真实物理环境要求的系统有一定的出入,造成对承载卫星控制器功能的目标机CPU处理系统存在一定程度的失真,影响仿真效果;提出了一种基于虚拟化技术的卫星控制系统软件构件库可信验证技术,使用虚拟化技术实现对真实物理目标机功能的完全模拟,运用软件非干涉运行监控技术,获取可信的开发证据和应用证据,利用协同仿真组件和卫星控制系统方案设计的控制算法模型对各个软件构件进行动态同步仿真验证。