摘要：UML(Unified Modeling Language)作为一种面向对象分析和设计的建模语言已被用在很多大型软件系统中,但UML缺乏精确的语义描述,难以直接用数学工具对UML模型进行分析、验证。而CPN(Coloured Petri Nets)作为一种建模工具,有着严格的形式化语义和分析方法。主要针对UML的类图,给出类图到CPN的转换方法,并以实例说明。

摘要：目前在程序设计领域中面向对象方法占据着主导地位,但其自身也固有一些不足和缺陷。为了能更好地重用软件,有效提高软件的生产率,仅有面向对象的程序设计思想是不够的,还需要泛型程序设计思想。泛型机制是编程语言和编程思想的一次革命。C++语言提供的STL便是面向对象和泛型程序设计思想相结合的一个良好典范。

摘要：统一建模语言(UML)已成为面向对象建模语言的标准,它溶入了软件工程的新思想、新方法和新技术。本文以仓库信息管理系统分析和设计为例,研究了基于UML软件系统建模中的需求建模、静态建模和动态建模的方法。

摘要：软件工程是一门理论性和实践性很强的计算机专业课。笔者针对软件工程课程的特点及专业培养的目标,结合多年从事软件工程教学的实际经验,研究在软件工程课程教学中利用案例教学方法,这不仅加深了学生对基础理论知识的理解和掌握,同时也培养了学生的软件分析和设计能力。

摘要：权限认证作为信息系统最重要的一部分,它不仅需要提供安全、可靠、高效的权限认证,而且应具备适应性和灵活性以满足各种应用系统的需求。通过比对、分析常见的权限认证方式不足,设计了基于RBAC的权限认证方式,并且在企业信息管理系统中得到较好的应用。

摘要：权限认证作为信息系统最重要的一部分,它不仅需要提供安全、可靠、高效的权限认证,而且应具备适应性和灵活性以满足各种应用系统的需求。通过比对、分析常见的权限认证方式不足,设计了基于RBAC的权限认证方式,并且在企业信息管理系统中得到较好的应用。

摘要：对于工业控制实时系统来说,实时数据、历史数据的I/O速度是系统的主要瓶颈。本文提出一种新的文件组织及数据池管理方式,通过利用数据缓冲池和内存索引机制对实时数据及海量历史数据进行有效管理,不仅加快实时数据的读/取速度,而且提高系统的整体性能,在实际的应用中取得了较好效果。

摘要：企业信息管理平台对于企业信息化建设来说至关重要。权限认证作为信息管理平台的核心之一,它不仅需要提供安全、高效、可靠的权限认证,同时它必需具备足够的灵活性及适应性以满足企业各种应用系统的不同需求。目前常见的权限认证管理方式就其技术实现而言,存在着或多或少的不足。通过深入分析及比对,提出了一种全新的权限认证管理方式,并基于此真正地实现了权限认证管理与企业信息管理平台的对接融合。

摘要：在实际施工条件下,对钢筋混凝土建筑结构施加不同形式的荷载,此次研究基于单调荷载与反复荷载对钢筋混凝土建筑结构变形性能进行了研究,采用比拟正交异性板法对荷载横向分布进行准确性分析,简化了传统的荷载-变形关系,提出了一种分析模型,并且设计一项仿真试验验证可行性。试验表明,与单调荷载相比较,反复荷载下的混凝土结构刚度退化有减小的趋势。在单调荷载与反复荷载的作用下,荷载-变形关系曲线的趋势基本一致,并且此次研究的简化模型得到的荷载-变形曲线与试验的实际测量值整体相差不大,可以作为钢筋混凝土建筑结构变形承受载荷的分析依据和参考方法。

摘要：巨型变压器,采用"解体运输,现场组装"制造技术,已经得到广泛应用。在电站现场,汽相干燥处理这些巨型变压器,效率高,质量好,已经是很成熟的技术。移动式汽相干燥设备设计和制造已经取得丰富经验。