基于Petri网化简技术的工作流模型合理性验证

随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程.     

一个可定制的Internet报表系统的设计与实现

报表是各行各业整理、分析数据最有效的手段，通用报表的设计一值是研究开发人员的重点研究的问题，在单机和C／S结构中已经完好实现。随着Internet和Internet的普及，许多企事业单位都在考虑利用Internet来替代人工报送报表，以节约成本，为此我们设计了一个基于Internet通用报表系统Grid，很好地完成了报表定制和数据上报以及后台数据统计分析等任务。     

基于Java的IPv4/IPv6双协议栈的研究与实现

双协议栈技术是IPv4向IPv6过渡的主要技术之一,而Java语言透明的、自动的、跨平台的技术特点对双协议栈的实现提供了更好的支持.对双协议栈的实现机制进行了研究和阐述,并给出了具体的方法.     

Ka波段毫米波综合孔径辐射计成像研究

华中科技大学电磁场与微波技术中心已经设计并研制出一套工作于Ka波段的16阵元一维毫米波综合孔径辐射成像系统HUST-ASR,样机采用了最小冗余稀疏直线阵列以及先进的数字相关技术。阵列幅相误差对综合孔径辐射计成像会产生严重影响,文中提出一种不增加系统硬件复杂度、易于实现的单外部辅助源校正方法,给出在辐射计低信噪比条件下的校正算法,并进行了成像试验验证。试验结果表明,该校正方法能够有效校正毫米波综合孔径辐射计的幅相误差,经过校正后的成像系统对自然场景实现了非常清晰的毫米波综合孔径亮温图像,空间分辨率达到0.64°,证明该系统具有良好的成像性能。     

基于Web Services的工作流系统的研究

在分析基于CORBA和DCOM的工作流缺陷的同时,重点研究了基于Web Services的工作流的相关技术及其优点.根据它的特点,引入AXML作为其建模语言,并给出了完整的系统框架.     

Active XML文档重写机制的研究

Active XML定义为一种动态的XML,主要思想是在XML中嵌入Web Services调用.当Active XML文档用作表示和交换时,通过调用相应的Web Services ,用返回结果取代Active XML文档中的Web Services调用或者作为子节点插入,这个过程称为重写.针对应用要求不同的场景,总结了两类重写方式:无模重写,即在重写时不受Schema约束;有模重写,重写时要符合预定的Schema.在对无模方式做了简单讨论后,对有模方式的算法做了详细讨论,为拓展Active XML技术的应用领域提供了技术支持.     

基于Active XML的动态Web服务组合实现

随着Web服务应用的发展，大量存在的应用服务之间需要解决共享和交互，动态Web服务组合为解决信息共享和应用协作的瓶颈问题提供了新的方案。该文通过引入Active XML（AXML），扩展Web服务，提出了一个基于Active XML的动态Web服务组合框架，在此基础上实现了一个动态服务体系结构。该体系结构支持组合服务的即时生成以及在动态环境中的快速部署和发布。     

Active XML文档重写机制的研究

Active XML定义为一种动态的XML,主要思想是在XML中嵌入Web Services调用.当Active XML文档用作表示和交换时,通过调用相应的Web Services ,用返回结果取代Active XML文档中的Web Services调用或者作为子节点插入,这个过程称为重写.针对应用要求不同的场景,总结了两类重写方式无模重写,即在重写时不受Schema约束;有模重写,重写时要符合预定的Schema.在对无模方式做了简单讨论后,对有模方式的算法做了详细讨论,为拓展Active XML技术的应用领域提供了技术支持.     

班主任的谈心艺术

谈心是班主任工作不可缺少的重要环节,谈心是一种双向交流的活动.在班主任工作中,教师总是希望通过谈心,沟通师生之间的感情,达到影响、教育学生的目的,而学生的心理与个性特征是复杂的,要想提高谈心效果,必须讲究艺术.对症下药,把话说到学生"心坎"上去,使学生的情感得到共鸣,心灵受到震撼,使学生健康成长.     

小型信息系统中地理数据的处理方法

探讨了开发涉及地理数据的小型信息系统时，地理数据的编码、组织及与其它属性数据的统一管理等问题，并给出了这类系统的一般框架结构。