基于场景规约的构件式系统设计分析与验证

使用接口自动机及接口自动机网络来描述构件式系统的行为设计模型,使用UML顺序图表示基于场景的需求规约,对系统设计阶段的构件交互行为的动态兼容性进行形式化分析和检验.通过对接口自动机网络状态空间的分析,给出了一系列算法以检验系统行为的存在一致性以及几种不同形式的强制一致性性质,包括前向强制一致性、逆向强制一致性以及双向强制一致性等.

构件式系统可靠性评估技术研究现状

基于构件的软件开发方法已经逐渐成为主流的软件开发方法,因而构件式系统的可靠性评估问题受到了更多的关注。目前虽然已经取得了一定的成果,但还有许多不足。对当前构件式系统可靠性评估的研究现状进行了深入分析,对基于路径的、基于状态的及累加方法进行了比较,阐述了这三种方法的优缺点;并进一步总结了构件可靠性的评估方法及构件间组装代码可靠性的评估方法现有的研究成果。最后展望了构件式系统可靠性评估方法进一步的研究方向。

基于等压雨幕原理的构件式幕墙系统开发

构件式等压雨幕幕墙系统是一款干密封干安装的幕墙系统,借助简洁的设计与柔性胶条的搭配,简化了安装工艺;通过在幕墙系统内建立正确有效的等压腔以及等压腔的合理布置,消除导致空气和水渗透的室内外压力差;通过通气孔与排水孔的合理布置,实现侵入雨水的导排管理,改变了构件式幕墙系统完全依靠打胶密封进行防水的现状。

基于uC/OS_Ⅱ嵌入式系统构件的研究与设计

本文为增强嵌入式软件的复用性、可移植性,缩短开发周期和产品上市时间,利用uC/OS_Ⅱ作为一种实时性、源代码公开高稳定性、可固化、可剪裁的特点,提出了基于uC/OS_Ⅱ嵌入式系统构件的设计框架和通用模块的实现,有效缩短了嵌入式系统软件开发周期。

构件化启发式多媒体农业专家系统开发平台的开发与研究

农业专家系统是计算机农业应用领域的热点。本文阐述了多媒体农业专家系统开发平台的系统目标、系统设计及系统实现的关键技术。

构件式木窗(木索系统窗)系统研究与应用

构件式木窗(木索系统窗)是集木窗与玻璃幕墙效果于一身的新型窗。本文对构件式木窗的组装方式、结构性能及装饰效果等进行了描述,分析了构件式木窗在这些方面的优缺点,为构件式木窗的发展应用提供了一定的参考。

基于高阶时间π演算的构件式实时软件研究

在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义。作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用。

基于构件技术的地理信息系统及其在配电网系统中的应用

介绍了构件技术的基本知识,分析了以构件技术为基础的构件式地理信息系统(ComG IS)的特点,并与传统的地理信息系统(G IS)开发平台进行了比较,指出ComG IS是当今G IS软件发展的潮流。然后,对利用ComG IS集成开发配电网地理信息系统的基本思路进行了讨论。

一种形式化组合式建模方法的研究

构件式系统是一种采用构件组合技术实现的结构系统,即在采用单个构件封装简单的业务功能基础上,通过集成多个构件逐步构造新的组合构件来实现比较复杂的业务功能。在开发构件式系统软件的过程中,正确的子构件模型组合方式才有可能构建安全可靠的总构件模型。计算树逻辑(CTL)能较为准确地描述状态迁移的时序性质,而擅长形式规格说明的Z语言在数据约束方面具有强大作用。因此,基于CTL和Z语言对体系结构分析设计语言(AADL)进行功能拓展,即可建立更为安全可靠的组合模型。为此,在分析研究AADL的建模元素和建模流程的基础上,提出了计算树逻辑CTL和Z语言对AADL行为附件进行扩充的思路与方法。该方法可有效保证构建模型的合理性和有序性。基于CZ_AADL建模规范和飞行管理系统实例进行了验证实验。实验结果表明,CZ_AADL建模规范增强了AADL建模的灵活性和多样性,也为采用不同建模方式的多模块间的融合提供了可能。

南京欢乐港采光天幕及球体幕墙设计简析

介绍了南京欢乐港采光天幕及球体幕墙的设计要点。该屋面外部造型采用异型空间体系,采用BIM技术对屋面三维模型进行建模成型分析,结合对现场已施工完成并处于静态稳定状态的钢结构受力变形计算分析结果,对BIM建模进行修正,再借助BIM技术对幕墙板块进行深化设计、下料和安装。重点介绍了该项目中心广场屋面的防排水设计。

苏州恒力中心项目外装饰工程幕墙防水设计

苏州恒力中心项目外装饰工程是以裙楼和A、B双塔楼相结合的幕墙形式。A、B塔楼由构件式明框玻璃幕墙系统、竖向彩釉玻璃与铝板相结合的线条以及横向铝板线条系统构成;裙楼一、二层为铝包钢明框玻璃幕墙系统,三、四层为夹角80°的外倾隐框玻璃幕墙系统。本文主要介绍了该工程外立面幕墙系统以及关键节点位置的防水构造措施。

The Development of Intelligent Home Remote Monitoring System based on B/S Framework

This paper deeply studies the intelligent Home embedded system based on B/S architecture. Firstly, analysis requirement of Home function based on the existing software development mode, and proposed a system framework of intelligent Home system, and designed the communication scheme of the whole Home system, also gives the system each function module realization. This paper achieve two basic service system based on Intelligent Home through a series of analysis and design： outdoor remote intelligent Home monitoring service and the indoor intelligent management service.