摘要：利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;将系统的PHAVer模型和故障模型整合,构造出包含故障的系统PHAVer模型;采用可达集计算对包含故障的系统PHAVer模型进行分析,从而自动辨识出导致不恰当控制的原因,实现对系统功能的安全分析。以CTCS-3级列控系统的无线闭塞中心交接场景为例,使用扩展后的STPA方法,针对给定的系统危险,进行系统功能安全分析。分析结果表明,利用形式化技术扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。

摘要：艺术创造工程是创造工程学的分支系统之一。它将创造工程学原理应用于作家的艺术创造载体。创造工程学产生于美国六十年代。创造工程(Creative Engineering)的本体意义是一种智能生产技术过程,可以归结到创造主体最大限度地发挥其主观能动性,高效率地把握构思新颖而多元的创造技法(CreatiVe Technique)这种创造技法,不是单纯的模式化的方法论,而是对异质素材进行新组合的工程论。艺术创造工程学是属于系统科学的范畴,具有系统功能。系统功能决定于系统的结构以及组成系统所有元素的性质。艺术创造工程系统是由创造性思维、创造性技法与创造性形象三个分支系统构成的。

摘要：继续教育突显在外语教学中的诸多问题影响了继续教育作用的充分发挥。传统的英语教学模式侧重句法分析及语言讲解,系统功能语言学框架下的系统语篇分析为英语教学提供理论框架,并且能够改进和提高教学效果,对大学英语教学改革有着深远意义。

摘要：目前对企业资源计划(ERP)的研究大多是集中在ERP的技术实现和具体实施方面,而对电子商务时代ERP应用环境的系统分析以及如何应对这些挑战以使ERP系统功能设计与企业电子商务活动有机融合等一些问题的研究甚少,因而就这些问题进行研究和探讨对ERP软件系统工程设计有着极其重要的指导意义。

摘要：用户需求决定系统功能,系统功能影响系统服务能力。文章重点阐述了档案信息融汇服务系统功能的设计思路与方法,结合系统目标能力的实现要求,采取了用户需求调研——应用场景分析——系统功能设计三步走的工作路线,将三者关系进行紧密结合,环环相扣,使系统功能设计的所有工作都围绕着以用户需求为导向的大方向展开,以确保档案信息融汇服务模式能够符合用户的实际需求。

摘要：本设计针对系统辨识中的两个问题（肯定系统的多元刺激与多元响应之间是否存在必然的因果关系；定量描述系统中若干特定的刺激的响应）应用了多元相关分析与多元相关反合成及归一评价对系统的刺激一响应作定量分析，并对多元相关分析与多元相关反合成这个系统辨识方法进行了软件设计。

摘要：本文采用定性与定量方法评估学生听力水平,根据考察结果设计课堂,导入新听力模式,并在验证其有效性基础上,结合韩礼德系统功能语言学之语篇功能和人际功能理论,构建了以高频词,新闻常用句型和语篇语料为一体的、以"学习者为中心"的日语听力语料库。该语料库的建设旨在解决学生在听力课中存在的词汇量不足、不熟悉新闻常用句型以及知识面窄等实际问题。

摘要：随着科学技术的发展,当前,不论是在家用电器、工业生产、安全保卫以及人们的日常工作和生活中,遥控器的使用都很普遍。本文分析了以单片机为基础的遥控器电路硬件设计与系统功能的实现。

摘要：以苏州高新区有轨电车行车调度为背景,基于国电南瑞自主研发的综合监控软件平台RT21,开发一种以行车调度为中心的有轨电车综合指挥调度系统,包含信号列车自动监控子系统。文章就苏州高新区有轨电车行车调度系统的系统构成、功能需求、软件特点及各专业的人机界面设计等进行阐述,以期为其他有轨电车项目建设提供参考。