有限单元法应用于基坑降水设计与实时控制

介绍应用于基坑降水优化设计和施工作业实时控制的一种有限单元计算方法,给出有关数学模型、计算方法及微机程序运用技巧.应用它,可准确、快速地进行基坑抽降水超前模拟计算,依此进行基坑降水优化设计及施工期间的实时控制.给出武汉建银大厦深基坑降水工程有限元计算实例.实践应用表明,它是基坑降水工程优化设计与实时控制的一种有效的数值计算方法.     

基于数据仓库的企业管理决策支持系统

本文首先讨论基于数据仓库的决策支持系统的优越性,给出一种实现模型。并就建立数据仓库的关键技术进行讨论。提出一种新的实现数据清洗和过滤的方法,并且比较数据立方体的三种存储模型,最后给出量化结果。     

多媒体图像格式间的转换方式

图像是多媒体技术中一种重要的信息媒体,数据量极大并且多种多样的多媒体图像存储格式,阻碍了多媒体技术的发展。为使多媒体技术蓬勃发展,各种图像格式间的转换就显得极为重要。首先详细分析了应用比较广泛的几种图像格式,然后给出这几种图像格式间转换的方法。结果可为多媒体图像软件的开发和应用提供重要的依据。     

UNIX系统中B—shell的功能扩充

针对UNIX系统中B-shell作为一种独立程序设计语言与一般高级程序设计语言相比所存在的一次缺失,如B－shell不提供集成数据类型、没有格式化输出手段、计算能力不强和串处理能力较强等,将对B－shell在计算能力、字符串处理、集成数据类型和格式化输出等方面进行功能扩充,籍此可大大提高编程的效率,并使B－shell具有与其它高级语言类似的功能。     

对一种计算机集成管理系统的应用研究

针对企业现存对外交流的信息平台所存在的不足，提出了将计算机电话集成技术系统与客户关系管理系统进行集成的方案，阐述了计算机电话集成技术系统与客户关系管理系统原理及其相关技术，给出了集成间的数据接口的定义，阐述了计算机电话集成系统智能路由的数据传输协议。利用该集成技术，可为企业改善服务，提高用户的满意度，促进企业经济效益的提高；     

几种静态图象格式间的转换

在多媒体技术中,静态图象是一种重要的信息媒体,其存储格式多种多样并且数据量较大,这些都阻碍了多媒体技术的发展.为使多媒体技术蓬勃发展,图象格式的转换就显得很重要.本文在分析当前几种静态图象格式的基础上,探讨了这几种图象格式间的转换问题.     

CIMS仿真建模方法

仿真建模问题对于计算机集成制造系统（CIMS）的研究和应用是十分重要的，建立模型的方法直接影响到系统仿真软件的开发和实现。针对一般计算机集成制造系统（CIMS）中仿真建模所存在的覆盖面小和灵活性差的问题，陔文通过对一般CIMS的功能层次分析，采用分别处理的方法，提出了在CIMS应用系统中经营管理、生产制造和设备控制三个层次的仿真建模模型和建模方法。为CIMS各层次的仿真软件的开发提供依据。     

Petri网的PP型子网精细化操作性质分析及应用

针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题，提出了用Petri网精细化操作解决问题的方案。定义了一种PP型子网，用这种子网分别对Petri网系统中的某些库所进行细化，得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题，给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件；本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为Petri网复杂大系统的分析提供重要手段，并特别适合于一类业务系统的描述和处理，具有一定的实用价值。     

Petri网共享T型子网合成结构性质分析及其应用

为了解决系统设计中的子系统共享问题，提出了经由Petri网共享T-型子网构成共享T-型子网合成网的解决方案；研究了共享T-型子网合成网的结构性质，提出了共享T-型子网合成网保持结构有界性、守恒性、可重复性、相容性、P-不变量、T-不变量、公平性和结构活性的充分条件或充要条件；特别在证明结构活性保持性的过程中，体现了Petri网层次化的描述方法。本文的结果可为Petri网系统合成性质的考察提供有效途径，为复杂大系统的分析提供重要手段，并特别适合于一类系统的设计和分析，具有一定的实用价值。     

基于带抑制弧的Petri网表示的嵌入式系统模型的子网化简

基于Petri网表示的嵌入式系统PRES+(Petri net based Representation for Embedded Systems)模型可以描述实时嵌入式系统。为了提高PRES+的建模能力,将抑制弧加入PRES+模型中,得到基于带抑制弧的Petri网表示的嵌入式系统PIRES+(Petri net with Inhibitor arcs based Representation for Embedded Systems)模型。PIRES+模型提高了建模和验证复杂嵌入式系统的能力,但是在建模和验证过程中存在状态空间爆炸问题。为了缓解这一问题,提出两种PIRES+模型的子网的化简规则,使得简化后的模型与原模型具有相同的可达性、实时性和功能性。