并发面向对象语言COOLⅡ的语义模型

缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的影响,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义。     

过程建模的Petri网模型

工作流管理的问题由于广泛存在于计算机应用的许多方面而迅速得到发展。本文介绍了一个以扩展的Petri网作为建模工具、以消息队列作为执行机制实现的过程管理的原型系统。该模型描述了活动的并发执行和依赖关系、活动激发的条件、事件顺序及文档管理等信息。执行该模型,在分布、异构、自治的环境中可自动监视、管理和调度工作任务,为业务过程重组、业务过程自动化提供了有力的支持。     

基于支持向量机的纺纱质量预测模型研究

纱线的生产是一个多环节的复杂工业过程．其质量控制大多需要依赖领域专家的个人经验,为此提出一种基于支持向量机的纱线质量预测模型．探讨了模型选择与验证问题,并利用“网格搜索”法对模型参数进行了优化,试验结果表明,在小样本和“噪音”数据环境下．支持向量机模型仍能保持一定的预测精度,与人工神经网络模型相比,更适应于真实纺纱生产过程．     

JSP结构模型与应用分析

在介绍了JSP的基本概念及优越性的基础上,对JSP技术和ASP技术作了一个系统的比较,并详细论述了JSP的两种结构模型及相应的实例说明。最后,讨论了JSP和Java Servlet的关系以及JSP在应用方面的不足。     

模式识别技术对Al_2O_3-TiC-ZrO_2纳米复合材料制备工艺参数的优化和预报

利用燃烧合成 热压工艺制备Al2 O3 TiC ZrO2 纳米复合材料 ,利用计算机模式识别技术中的非线性映照对其工艺参数进行分析。以陶瓷的抗弯强度和断裂韧性作为判据 ,给出参数目标优化区域。采用非线性逆映照研究不同工艺参数对材料性能的影响趋势 ,并对工艺参数进行预报和设计 ,再用实验结果予以验证 ,克服了传统“炒菜式”合成方法的盲目性。     

基于B B C电子商务模式的用户权限控制

通过对传统的用户权限控制方法的全面分析,结合BBC电子商务模式用户多样化的特点,提出了一种基于角色和用户功能项相结合的权限控制方法,并给出了具体的实现方法。     

A continuous feedback approach to global strong stabilization ofnonlinear systems

We present a continuous feedback approach to the problem of global strong stabilization, for genuinely nonlinear systems that may not be stabilized, even locally, by any smooth feedback. We describe conditions under which it is possible to prove, while no smooth controllers exist, the existence of continuous state feedback control laws that achieve global strong stability (GSS) in the sense of Kurzweil (1956). The proof is constructive and carried out by developing a machinery, which combines the theory of homogeneous systems with the idea of adding a power integrator, for the explicit construction of globally stabilizing continuous controllers. We then illustrate, by means of examples, how this machinery can be used to overcome the topological obstruction caused by smooth feedback, and hence resulting in new solutions to a variety of open control problems, including global stabilization of an underactuated unstable two degree of freedom mechanical system     

P-F模型的过程复用机制及工具

Ｐ－Ｆ模型是一种利用Ｐｅｔｒｉ Ｎｅｔ与形式化描述相结合描述软件过程的方法。Ｐ－Ｆ模型的模板、模式和元模式概念在不同层次上提供了进行过程复用的方法。模板复用的是过程的内容信息;模式复用的则是过程的结构信息,是更高层的复用;元模式是最小的结构单元,可以设计模式。文章介绍了Ｐ－Ｆ模型中的这三种过程复用方法,及其在Ｐ－Ｆ过程设计工具ＰＳＴｏｏｌｓ中实现的途径。     

多机相关任务均匀衡调度问题的复杂性与新算法

本文讨论了多处理机系统中的一种相关任务均衡调度问题 ,证明了该问题是 NP完全问题 ,并给出了一个新的启发式算法。该算法克服了现有算法的不足。数值实例和仿真结果表明 ,该算法有令人满意的优化效果     

用VB开发多媒体教学软件实践谈

本文结合笔者开发多媒体教学软件的实践经验,通过具体的实例,详细介绍了用ＶＢ开发多媒体教学软件所涉及到的几个关键技术,包括按钮制作、文字和图片处理以及音频、视频文件的播放等等。