MIS常用几种开发方法的分析与比较

论述了几种ＭＩＳ的开发方法以及这些方法的特点、风格和局限性，并对ＭＩＳ系统的设计方法进行了系统的分析与比较，对如何合理有效地开发ＭＩＳ系统有一定的参考价值。     

AADL模型的形式化研究

在嵌入式系统建模领域,AADL以其软硬件协同建模的特点已经逐渐成为业界的标准。围绕AADL的形式化特点,国内外众多学者展开了热烈的讨论。为了帮助系统开发人员深入了解AADL,指导软件开发进程,提高基于AADL模型的软件开发效率,分别从AADL模型可靠性分析、可调度性分析以及AADL模型测试这三个不同角度综述了已经出现的各种AADL形式化验证理论,对比分析了它们的优点和不足。简要介绍有关AADL验证工具,研究基于AADL模型的嵌入式开发平台的构建。     

从城市的社会性去认识和再构城市空间 车飞的“社会空间性转型”研究

2014年3月1日,由歌德学院主办的建筑师车飞的著作《北京的社会空间性转型》的新书介绍会在尤伦斯当代艺术中心举办。该著作运用结构化空间概念分析和阐释了城市空间的社会-空间性构成及其转型。并运用该理论对北京的社会-空间性关系进行结构化分析,同时针对北京城未来转型的可能性进行了城市模型的构建。     

小水电站监控系统中通信模块的研究

随着电力系统的自动化程度的不断提高,需要实现对小水电站的智能监控,及时了解水电站的运行情况并能及时处理、优化配置、科学调度．考虑到监控系统在实际应用中的重要性,基于结构化分析方法和面向对象的系统分析思想,结合实际,对监控系统中通信模块结构进行分析,将通信模块内的实体抽象为对象来分析,提高实际程序实现的效率,为今后监控系统中通信建模提供参考．     

基于动态贝叶斯网络的天线俯仰系统可靠性评估

采用动态贝叶斯网络(DBN)理论评估雷达天线俯仰系统可靠性,并识别系统可靠性薄弱环节。首先采用结构化分析与设计技术(SADT)分析俯仰系统,构建系统的功能模块。通过对功能模块的故障模式及影响分析(FMEA),确定各功能部件可能存在的故障模式、故障原因以及影响。在上述工作基础上,建立俯仰系统DBN模型,通过正向推理评估系统可靠度演变规律,利用逆向推理识别系统可靠性薄弱部件。案例研究表明:分析结果与工程实际相吻合,为此类系统可靠性增长提供了理论依据。     

基于模型仿真的云计算PaaS构建模式选择

平台即服务(PaaS)是企业云平台产品选择和云技术研发的热点.通过基于SOA的PaaS平台构建,从微观与宏观上探讨PaaS构建模式,提出了一个跨层面的PaaS构建模式选择方法.将Petri网结构化分析用于寻找可行服务组合,利用CloudSim模拟各种架构模式的PaaS环境,通过应用Petri网与CloudSim的交互仿真实现PaaS构建模式的服务组合技术性能评估,应用网络层次分析法(ANP)评价PaaS构建模式的综合性能,以指导企业的PaaS产品选择和云服务平台构建.     

闲侃分析和设计

本文对结构化分析设计方法和面向对象分析和设计方法间的互补关系进行了一些的探讨。同时具体的分析了这两种分析设计方法间的两种互补形式及其存在的原因。     

闲侃分析和设计

本文对结构化分析设计方法和面向对象分析和设计方法间的互补关系进行了一些的探讨。同时具体的分析了这两种分析设计方法间的两种互补形式及其存在的原因。     

DataSift提供Twitter历史信息结构化分析

<正>据国外媒体报道,Twitter开发人员很早以前就开始试图利用历史Twitter消息了,但现在他们最多只能对过去7天的历史Twitter消息进行关键字搜索。DataSift是Twitter的数据合作伙伴之一,目前它可以实时地提供完整的Twitter消息流水给开发人员和第三方,但在不久的将来开发人员就可以用它访问历史Twitter消息了。开发人员现在可以开始     

一个基于SA方法的快速成型工具：JT－RAPID系统

本文介绍了上海交通大学在ＰＣ３８６机ＭｉｃｒｏｓｏｆｔＷｉｎｄｏｗｓＶ３．０的基础上开发成功的基于ＳＡ方法的快速成型工具箱ＪＴ－ＲＡＰＩＤ．它采用数据驱动的思想，直接由ＤＦＤ图来决定程序框架，跳过结构图，直接生成Ｃ语言程序，使快速成型技术与ＳＡ方法有机地结合起来．