计算机软件开发中分层技术的应用探讨

计算机软件开发过程中,经常需要用到分层技术,分层技术在计算机软件开发过程中具有重要作用.简要介绍了分层技术,并分析了软件开发过程中分层技术的应用.     

过程数据挖掘及进展

工业过程已是一个海量的数据源,需要从中提取知识以支持过程优化.分析了工业过程数据的特点,将数据挖掘了思想引入生产过程优化中,提出了工业过程数据挖掘了概念,即是一个依赖精确的数学模型,而自动或半自动地从工业过程数据中撮有用的知识,以支持过程变量预报、过程优化及过程故障诊断的特殊数据处理过程.总结了过程数据挖掘在过程变量预报、过程监视与优化及过程故障诊断中的研究进展,得出过程数据挖掘应在算法的设计、商业软件的开发及过程数据仓库与过程数据挖掘的集成三方面开展创新工作的结论.     

Oracle9i中Java存储过程的应用

Oracle数据库集成了JVM,这就为编写存储过程提供了不同于PL/SQL的开放式和可移植的方法.开发人员可用Java存储过程实现功能强大数据逻辑.文中详细介绍了Java存储过程和PL/SQL的关系、Java存储过程在JVM中加载和调用的过程以及如何创建和使用Java存储过程,最后具体给出了在组件开发中运用Java存储过程的方法.     

PAIS中过程挖掘技术的研究

过程挖掘是PAIS中的一项关键技术,能够根据信息系统中记录的事件日志信息,提取相关知识,重构出一个过程实例模型且日志中所有信息轨迹的实例都能够符合该过程模型.文中通过分析事件日志自动产生过程模型,辅助过程模型的设计与再设计.首先介绍了过程挖掘的概念、基本架构步骤和挖掘算法,然后从过程维度的角度介绍了一种有代表性的过程挖掘算法的应用.最后对α算法过程挖掘领域目前存在的挑战性问题从两个方面进行了分析和讨论.     

一种基于满足性判定的并发软件验证策略

对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程,该过程避免了基于BDD方法中状态空间快速增长的问题.在SE-LTL的子集SE-LTL?X的有界模型检测过程中,集成了stuttering等价技术,该集成有效地加速了验证过程.进一步提出了一种组合了基于SAT的有界模型检测、基于反例的抽象求精、组合推理3种状态空间约简技术的并发软件验证策略.该策略中,抽象和求精在每一个构件上独立进行.同时,模型检测的过程是符号化的.实例表明,该策略降低了验证时间和对内存空间的需求.     

.Net分层架构下参数自适应存储过程的开发实现

存储过程及N层结构在数据库应用程序开发中具有各自的优势,在具体的项目实施中怎样将层次结构与存储过程有效地结合起来,是应用程序开发人员普遍关心的问题.介绍了N层结构及存储过程的基本概念,给出了一种在.Net平台下的层次结构应用程序开发中实现参数自适应存储过程调用的一种方法.     

四足机器人静态全方位步行稳定性研究

本文就四足机器人静态全方位行走过程中出现的问题进行了研究.在研究静态全方位行走时,我们在步态迁移的过程中发现不稳定因素的存在.就此发现的问题,我们采用了一种方法保证了四足机器人在静态全方位行走的过程中稳定裕度一直大于零,从而消除了不稳定因素.同时我们通过实验仿真验证了本文采用方法的有效性.     

过程感知信息系统中过程的动态演化

支持过程模型的动态修改并将过程模型的修改传播到当前正在运行的过程实例上,是柔性过程感知信息系统的基本要求.过程实例迁移是应对过程感知信息系统中过程动态演化的主流技术途径,它将尚未执行结束的过程实例动态地迁移到修改后的过程模型上继续执行,从而使得这些过程实例可以享受到过程优化带来的便利.过程实例迁移的挑战在于保证过程实例迁移的正确性以及过程实例迁移检验的高效性,以此为切入点,综述了过程感知信息系统中过程动态演化技术的研究进展.最后,展望了过程演化技术未来应当关注的研究方向.     

软熔性能测试过程智能温度控制系统的设计

在研究铁矿石热态性能的过程中,高温软熔特性参数的提取必须依赖于良好的温度控制系统.详细地阐述了铁矿石软化熔融过程温度控制工艺要求和硅钼棒发热元件特性.提出了基于模糊自适应PID的智能温度控制方案.在模拟高炉冶炼的过程中,应用该方案,铁矿石软化熔融过程的升温速率和保温过程得到了很好的控制,为进一步研究铁矿石热态性能提供了良好的控温环境.     

软件过程中同行评审的应用与度量

在软件过程中采用同行评审可以及早、高效地发现软件缺陷,从而广泛、深入且有效地吸收和应用软件过程信息,同时评价和提升软件过程能力水平.为了在软件过程中更加有效地应用同行评审,以CMM/CMMI为基础,详细分析了软件过程中同行评审的方法,并介绍了同行评审的流程.在此基础上,对如何建立和实施同行评审的度量进行了研究和分析,并提出了利用同行评审的度量数据建立组织同行评审过程能力基线的方法.