论文部分内容阅读
基于符号的信息系统分析和设计的信息逻辑方法
【机 构】
：
上海计算技术研究所
【出 处】
：
全国软件理论与计算理论第三次学术会
【发表日期】
：
1987年期
其他文献
洪都航空、哈飞股份Ａ股股票分别于 ２０００年 １２月 １５ 日、１８日在上交所成功上市，共募集资金 １３．３４亿元。这是中国航空工业飞机股票第一次上市，标志着我国航空工业发展由单纯靠国家投入的唯一渠道
由于IDEFO模型具有简单、全面且描述能力强等优点，使其在多个领域尤其在制造业中得到了广泛应用。C3I系统是以活动为支撑以信息为基础的复杂大系统，用IDEFO模型对其进行描述可
通过对电气化铁道接触网成因和危害的分析,结合工作实践与电气化理论,提出接触网产生硬点时的对策,针对当前接触网运行状态进行了有益探讨,以期能增强对接触网故障本质的认识