民办高校计算机应用型人才培养模式研究与探索

我国高等教育一直侧重于培养基础科学研究和教学专门人才,对如何适应工矿企业的需要没有给予足够的重视。根据民办高校的特点,结合在网络工程专业应用型人才培养模式上的研究与探索,提出计算机专业培养应用型人才的改革思路、人才培养模式总体结构、实践环节教学体系基本框架及教学改革的方式方法。

支持跨区域协同的政务审批系统研究

当前电子政务审批系统的跨区域协同需求日益突出,从而迫切需要解决电子政务服务的效率、共享和互操作等问题。介绍了Web服务及工作流技术的特点,分析了基于面向服务架构的政务审批系统的协作关系,基于以服务执行引擎为核心的面向服务架构参考模型,提出了一种基于语义Web服务和工作流技术的政务审批系统框架,并给出了基于开源项目的系统实现。

一个支持服务协作的工作流管理系统

面向服务计算环境下,工作流中的服务不仅是逻辑执行单元,也是业务协作单元。基于一个支持服务协作的工作流元模型及其建模语言SoXPDL,应用条件化有向图方法进一步分析了面向服务工作流的概念模型和实例模型,并提出了支持服务协作的工作流引擎驱动算法,最后,基于开源工作流项目,设计并实现了一个支持服务协作的工作流管理系统原型SoFIow。

流媒体服务缓存代理系统的设计及RTSP协议实现

网络边沿缓存能够加速流媒体的传输,它是一种提高Internet上流媒体服务性能的技术。为了减少流媒体服务启动延时与抖动,降低流媒体服务器服务时的资源(CPU的利用与网络带宽)消耗,提出了基于客户端缓存代理系统解决方案,且对实现所提出系统的RTSP协议。

基于UML状态机与B方法的高可信嵌入式软件开发

提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案:以软件的UML状态机模型为起点,将其转换为B抽象模型并在B工具中验证该模型的一致性,然后遵循B模型逐步精化的开发规则,利用B方法的精化正确性验证功能,得到系统的可靠的实现模型,最后借助B工具自动生成C代码。实例分析表明,这套方法可以提高高可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。

支持服务协作的工作流元模型和建模语言

当前支持Web服务的建模语言存在着复杂度高、互操作困难和缺乏对服务协作关系的有效支持等不足。结合面向服务工作流的服务协作需求,通过扩展工作流管理联盟的相关理论,定义了面向服务工作流的过程定义元模型,并建立了其形式化模型。通过扩展XPDL定义了一种互操作性好、支持服务协作的面向服务工作流建模语言(SoXPDL)。

一种结构测试数据自动生成的框架

针对结构测试中控制流和数据流覆盖测试数据的生成都可以归结为面向路径的测试数据生成的问题,提出了一个通用的基于控制流和数据流的结构测试数据自动生成的框架。该框架根据控制流和数据流测试中所采用的覆盖标准优化选取测试路径,并以改进后的迭代松弛法为核心,对所选取的路径生成测试数据。以基于路径覆盖、分支覆盖和数据流覆盖测试数据自动生成这3种算法为核心,开发了一个测试数据自动生成的框架原型。实验结果表明该框架是可行的。

用于克服程序状态空间爆炸的条件化预处理

提出用条件化技术对程序进行预处理的方案,以克服软件模型检测中状态空间爆炸问题。以程序性质公式中蕴涵式的前件作为约束条件,通过对程序符号化执行后各控制点的路径条件进行逻辑推理,删除那些对性质检测无关的语句。理论分析和实验结果表明,条件化可以有效缩减程序状态空间,并且满足软件模型检测对状态缩减的安全性要求。

非坚持型CSMA与坚持型CSMA退避算法的性能分析与比较

从非坚持型CSMA与坚持型CSMA协议的工作原理出发,分析非坚持型CSMA与坚持型CS-MA协议吞吐量的计算方法,然后模拟协议仿真,比较了两种协议的性能。

基于可变尺寸块运动矢量恢复的H.264时域差错掩盖算法

针对H.264帧间预测编码的新特点,提出了一种基于可变尺寸块运动矢量恢复的时域差错掩盖算法。该算法首先利用相邻宏块编码模式的相关性,根据周围宏块的编码模式判断受损宏块的编码模式及运动矢量恢复的宏块划分方式,分别对各个划分的子块进行运动矢量的恢复;然后利用相邻块运动矢量参考帧的相关性,根据相邻块运动矢量的参考帧确定匹配使用的参考帧;最后采用边缘失真匹配方法恢复运动矢量。实验结果表明,该算法同传统的差错掩盖算法相比,由于支持不同尺寸块运动矢量的恢复,因此,算法对差错信号能够获得更好的恢复效果。

基于Boosting RBF神经网络的滚动轴承故障诊断

提出了一种新颖的基于RBF神经网络滚动轴承故障诊断方法。以滚动轴承动态信号的能量信息作为特征,RBF神经网络作为分类器进行滚动轴承故障自动分类与诊断。为了进一步提高神经网络的泛化能力和故障诊断的准确性,采用Boosting方法,进行网络集成。对七类滚动轴承进行了实验,结果表明该方法具有很好的故障诊断效果。

高校《网页制作》课程的教学

本文分析了《网页制作》课程的教学目标、教学内容以及学生学习的目标、教学的方法以及教学的效果。

量子粒子群算法求解QoS组播路由

QoS组播路由问题是一个非线性的组合优化问题,已证明了该问题是NP完全问题。将量子粒子群算法用于此类问题的求解。并在此基础上对基本的量子粒子群算法进行改进,针对群体智能和约束优化问题的特点,提出了一种在每次迭代中有选择地保留一定数量不可行解的方法,并把它结合到量子粒子群优化(QDPSO)算法中。该算法可以利用保留下来的不可行解来帮助搜索靠近边界的最优解,同时又可以避免罚因子的选择问题,使之更适合于QoS组播路由的求解。仿真实验结果显示,该算法能快速搜索并收敛到全局(近似)最优解,且随着网络规模的增大算法保持了良好的特性,在寻优速度上与解的质量上优于其他粒子群算法与基本的量子粒子群算法。

程序设计课程教学的探讨

本文列出了程序设计课程教学时需要注意的四大点,并以vfp程序为例,阐明了在教学当中需要扎实做好基础教学的观点,详细介绍了如何教会初学者快速而又准确地掌握一门程序设计语言。

一种支持流程服务集成及协作的工作流描述语言PS-XPDL

在面向服务体系结构和Web服务技术快速发展的条件下,对封装成服务的业务过程集成和协作的支持成为工作流描述语言的发展趋势。通过对流程协作的层次模型和场景模型的分析,提出了一种基于WfMC工作流元模型的扩展元模型,并根据该元模型对XPDL进行了相关元素扩展,得到一种支持流程集成和协作的工作流语言PS-XPDL。该语言对流程服务的协作关系及数据同步具有完备、准确的表达,同时其基于执行支持层标准协议的扩展也使得流程服务的集成及协作易于实现。

形式化语言B的面向方面编程扩充

借助传统编程语言的面向方面编程扩充――AspectJ/AspectC++的技术经验,提出形式化语言B的AOP扩充机制AspectB。分析了B语言针对AOP扩充在连接点范围及正确性验证方面的制约,提出连接点的范围必须限制在IMPLEMENTATION组件中,方面代码的正确性验证必须考虑连接点上下文所涉及的不变性条件。以一个简单图形编辑器为例,在B语言环境中描述面向方面编程的核心概念——连接点、连接点集合、建议代码、方面。

Toeplitz含噪语音端点鲁棒检测

针对在低信噪比条件下语音端点检测问题,提出了一种基于Toeplitz最大特征值的去噪语音端点检测方法。该方法用语带频谱自相关序列构造一个对称Toeplitz矩阵,利用该矩阵最大特征值的信息量对语音信号进行双门限端点检测。新算法经过实验,能够有效地区分语音和噪声,在不同的低噪声环境条件下具有良好的鲁棒性。与新近的信号递归度分析方法比较,准确率较高。该算法计算代价小,实时性好,简洁易实现。

基于SQL自动组装的数据库访问引擎的研究

对数据库访问引擎技术进行研究,提出基于SQL自动组装的数据库访问引擎技术的设计思想,开发基于SQL自动组装的数据库访问引擎DAE。实践与应用表明使用DAE工具包进行数据库应用的开发,加快了项目开发速度,提高了程序的鲁棒性和可维护性。

基于遗传算法的水沙调度

提出了一种基于遗传算法的水沙调度方法,为了使该方法适合于各种情况,采用模糊法确定各个目标的权系数;定义了新的交叉操作和突变操作,以保证调度结果满足期望的约束;同时为了防止解过早收敛,保证得到满足约束条件的最优解,采用基于浓度的群体更新技术来保持个体多样性。实例结果验证了其可行性。

基于ATM的拥塞控制机制研究

宽带通信网的拥塞控制是流量控制(称为业务量管理)的一个重要组成部分,拥塞控制既要保证网络不发生拥塞,又要提高带宽的利用率.通过对宽带网络中各种拥塞控制功能和实现策略的研究,指出了网络流量的高突发性以及不可预测的网络时延,应是控制算法设计中的难点,而提高网络利用率,综合、公平性是研究的最终目的.