摘要：提出一种基于时序逻辑语言 XYZ/ E的可视化体系结构描述语言 XYZ/ ADL(XYZ/ architecturedescription language) .它采用组件、连接件及交互端等设计单元 ,能描述常用的多种软件体系结构 .XYZ/ E能以统一的形式同时表示静态语义和动态语义 ,因此 ,以 XYZ/ E为基础的 XYZ/ ADL能在统一框架下完成不同抽象级体系结构设计之间的逐步过渡 .

摘要：在时态逻辑语言XYZ/E的基础上 ,建立一种以可视化图形表示的软件体系结构描述工具XYZ/ADL ,它采用组件、连接件及交互端等基本设计单元 ,可同时描述软件体系结构的静态与动态行为 ,该语言能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡 ,从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。

摘要：在时态逻辑语言XYZ／E的基础上，建立了一种以可视化图形表示的软件体系结构描述语言XYZ／ADL．它可同时描述软件体系结构的静态与动态行为，能在统一的形式框架下完成不同抽象层次体系结构设计之间的逐步过渡，从而将模块化程序设计方法和基于规范的逐步求精方法有机地结合起来。

摘要：某工程项目要求大口径高温高压蒸汽长距离输送管线在设计工况下的温降为3~5℃/km,针对该严苛的保温要求,研究构建了完整的蒸汽管线多层保温散热损失数学模型。通过模型的大量迭代计算,实现了在不同环境条件下对蒸汽管线不同方式热损失的量化模拟。对气凝胶与传统保温材料进行优化组合,设计了满足工程项目要求的6层气凝胶+2层微孔硅酸钙+聚氨酯的大口径长距离输送蒸汽管线保温方案;对工程施工环节中可能影响保温效果的因素进行了分析,提出了针对性的完善措施。

摘要：基于蒙特卡罗输运的网格计数能够统计指定区域内密集的分布计数量.为实现JMCT统计局部计数量分布,设计并实现了JMCT网格计数功能,该功能支持三种正交几何(xyz直角几何、rθz柱几何、rθφ球几何)的均匀及不均匀剖分;介绍xyz直角几何网格计数的算法;基于大亚湾反应堆pin-by-pin模型、Venus模型以及ITER次临界包层模型等初步验证了网格计数功能;应用铀阵列模型,采用若干种网格剖分办法,在单机上对比测试了xyz直角几何下JMCT和MCNP5网格计数功能的串行性能,结果显示JMCT的计数时间较短,具有较高的效率.

摘要：随着通信设计行业的市场化进程加速,提升客户满意度成为很多通信设计企业必须考虑的问题,本文通过详细的市场资料,层层推理,分析目前影响通信设计客户满意度的几个关键因素,结合ISO9000的流程管理,逐一提出管理改进的建议。

摘要：随着空间信息科学的发展,人们能够基于丰富的地理信息进行专业数据更加直观的可视化表达,为专业领域的研究提供支持。深入分析Keyhole标记语言KML(Keyhole Markup Language)对地理数据表达的逻辑结构,结合气象数据的空间特性,提出基于KML的气象数据表达模型架构体系。基于程序语言设计完成具备多层次结构的相关类库,实现了气象数据的KML多维度集成表达,以期为气象领域的专业研究提供新的可视化平台。