期刊文献+
共找到3篇文章
< 1 >
每页显示 20 50 100
基于形式化STPA的机务维修模块分析 被引量:1
1
作者 杨晓强 贺非 +1 位作者 贺强 徐晨 《滨州学院学报》 2021年第4期12-19,共8页
开展机务维修模块的研究,对于完善安全管理理论体系,降低飞机事故率具有多重意义。从系统控制的角度出发,对某型直升机机务维修模块中相关不安全问题进行了研究,运用对象约束语言和统一建模语言来形式化描述系统理论过程分析方法,构建... 开展机务维修模块的研究,对于完善安全管理理论体系,降低飞机事故率具有多重意义。从系统控制的角度出发,对某型直升机机务维修模块中相关不安全问题进行了研究,运用对象约束语言和统一建模语言来形式化描述系统理论过程分析方法,构建了该型机务维修模块的控制关联模型,分析出可能导致事故的潜在致因和危害机制,进而提出对应的安全需求,结果表明了STPA模型在机务维修模块的安全性分析中有很强的适用性。 展开更多
关键词 机务维修模块 STPA OCL UML
下载PDF
苏州大创推出公交机务、物资、保修生产管理信息系统
2
《城市公共交通》 2004年第2期4-4,共1页
机务、物资及保修支出是公交企业经营成本的主要组成部分。对机务、物资及保修生产实行信息化、集约化管理,进一步提高效率、减少浪费,实现单车核算,可以有效地控制和降低公交企业的经营成本。为此,苏州大创推出了以车辆生命周期管... 机务、物资及保修支出是公交企业经营成本的主要组成部分。对机务、物资及保修生产实行信息化、集约化管理,进一步提高效率、减少浪费,实现单车核算,可以有效地控制和降低公交企业的经营成本。为此,苏州大创推出了以车辆生命周期管理和单车核算管理为基础的,集机务。 展开更多
关键词 苏州大创信息运用有限公司 单车核算管理 成本控制 数据库设计 机务模块 保修生产模块 物资模块 综合模块
下载PDF
Information System for Administrative Services of Educational Process
3
作者 Lyudmilla Yordanova Stoyanova 《Computer Technology and Application》 2011年第5期354-357,共4页
The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the Tec... The goal of this paper is to analyze and propose a reconstruction of functional possibilities and database requirements of a Web based Educational Information system. For the research the Information system of the Technology School "electronic Systems" (TUES) associated with the Technical University of Sofia is on focus. The modules for admission of students, specialty classification, and graduation of students, management of the student's work in computer classrooms and lecturers' data management have been analyzed, developed and implemented. The additionally developed modules concern mainly the management of educational process and do not affect the e-learning or the official part modules. That led to the idea that the functionality for managing educational process has to be organized in a separate module defined as module for administrative services of educational process. Such restructuring of the system will bring flexibility in further growth of the system--for example students' admission or selection for different purposes. 展开更多
关键词 Information systems functional structure DATABASE education.
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部