适应智能质量控制的多分类支持向量机

分析了现有控制图识别器在实际应用中存在的缺陷，并提出了一种基于支持向量机(SVM)的新方法．为了克服HAH多分类SVM(HAH SVM)的缺陷，提高识别速度和准确率，设计了一种有针对性的SVM多分类器进行模式识别．仿真实验结果表明，该方法相对现有的BP和HAH SVM方法能得到更高的识别率和识别速度，适合于工序的实时在线控制．     

Support Tool Reviews

Abstract

On August 27, 2000, the IT audit profession lost Don Wood, one its pioneers. Wood was involved with many of the key events of IT (EDP) auditing in the 1960s and 1970s. In 1992, this author conducted a survey of the IT audit pioneers and experts. (The EDP Auditor Journal, Volume III, 1993, con-tains “Pioneers of EDP Auditing in North America,” an article on the methodology that was employed in this survey and its results.) In the survey, Wood was placed ninth in the ranking of the most influential “pioneers” of EDP auditing, and the book on it that he wrote with Bill Mair and Keagle Davis was tied for second in the ranking of influential literature. (According to both Keagle Davis and Don Wood, Bill Mair was the innovator of parallel simulation.) These results show the respect that the profession's early leaders had for Wood's contributions to IT auditing.     

On Enterprise-Grade Tool Support for DEMO

Software and Systems Modeling - The Design and Engineering Methodology for Organisations (DEMO) is a core method within the discipline of enterprise engineering. It enables the creation of...     

Support Tool Reviews

CISA [Certified Information Systems Auditor] Examination Textbooks, Second Edition, by S. Rao Vallabhaneni. Volume 1: Theory; 1996, 995 pp. Volume 2: Practice; 1996, 335 pp.; includes glossaries. SRV Professional Publications (Post Office Box 681354, Schaumberg IL 60168-1354). Price: $50.00 per volume; $95 for the set. Inquire about shipping costs and applicable taxes. Include payment with order in US funds.     

C程序并发行为控制方法及其测试工具支持

针对由于并发程序的行为不可控而导致难以对其进行测试的问题,提出了一种控制C程序中并发行为的方法。该方法以多线程同步为基础,使用测试序列和测试单位完成对并发行为的控制。在此基础上,实现了对C程序测试活动中并发行为控制的工具支持,以生产者-消费者为例说明了使用此工具进行测试活动,并讨论了其效率。     

Tool Support for Refinement of Non-functional Specifications

Model driven architecture (MDA) views application development as a continuous transformation of models of the target system. We propose a methodology which extends this view to non-functional properties. In previous publications we have shown how we can use so-called context models to make the specification of non-functional measurements independent of their application in concrete system specifications. We have also shown how this allows us to distinguish two roles in the development process: the measurement designer and the application designer. In this paper we use the notion of context models to allow the measurement designer to provide measurement definitions at different levels of abstraction. A measurement in our terminology is a non-functional dimension that can be constrained to describe a non-functional property. Requiring the measurement designer to define transformations between context models, and applying them to measurement definitions, enables us to provide tool support for refinement of non-functional constraints to the application designer. The paper presents the concepts for such tool support as well as a prototype implementation.     

航空装备技术保障质量控制预测

在航空装备保障控制优化预测问题的研究中,为加强航空装备技术保障质量控制,改进和提高航空装备技术保障质量,提高定性和定量决策能力,在系统分析航空装备技术保障质量评价指标的基础上,构建了航空装备技术保障质量评价指标体系,并针对历年航空装备故障信息分析了航空装备技术保障质量的现状,通过专家咨询法提出了相应的对策措施.运用改进的模糊层次分析法对对策措施的效果进行了预测分析.通过分析可知,“保障能力评估”、“以质量为中心的教育”、“年度保障评估”等措施对改善航空装备技术保障具有明显的控制作用.改进的模糊层次分析法收敛速度快、计算精度高,通过matlab程序仿真计算表明,改进模型科学合理、实用性强,预测结果客观正确.     

A Tool Support for Reusing ELAN Rule-Based Components

The adaptation of software components developed for a specific application in order to generate reusable components often includes some kind of generalization. This generalization may be carried out, for instance, by the renaming of some identifiers or by its parameterization. In our work, we are specially interested in the generalization by parameterization of algebraic specification components. Generalization and some other transformations on algebraic specifications are being integrated in the FERUS tool. This tool was initially developed for the Common Algebraic Specification Language, called CASL, and we show in the paper its adaptation to the new version of the rule-based programming language ELAN.     

Synthesis of an Optimal Control for Continuous Markov Processes by Semidefinite Quality Criteria

Optimization of control of continuous Markov processes by semidefinite quality functionals with nonadditive control cost functions is investigated. Equation for the loss function, its parameters for different integrands in the quality criterion, and its interrelation with the Fokker–Planck–Kolmogorov equation for the auxiliary noncontrollable Markov processes are determined. Examples are given.     

一个支持软件需求测试任务分析方法的工具

需求定义模型测试的任务分析方法，把需求情形实例当作需求模型的测试用例，用任务活动序列描述情形，并提供给任务分析专家和用户进行对照分析。情形实例的活动序列描述以文字的形式描述系统行为的细节，表达清晰，较需求模型更容易被用户所理解。文章介绍支持该方法的一个需求模型测试自动化工具ＳＲＤＭＴｅｓｔ．     

面向机床产品的协同设计支持环境的研究

对机床产品协同设计过程及其特点进行研究，采用UML统一建模语言中的泳道图表示机床协同设计过程，提出了面向机床产品的协同设计支持环境的层次结构，该协同设计支持环境主要由3个方面的内容组成：对机床产品设计开发活动的支持、对设计活动单元组织和管理的支持、对设计活动单元间协同的支持。采用分布式为主、集中式为辅的方式，建立了面向机床产品的协同设计支持环境的体系结构，并对实现该体系结构的任务规划、协同约束模型、冲突消解等关键技术进行了研究。在此基础上，开发了面向机床产品的协同设计支持环境的原型系统。     

A Software Tool for Hybrid Control

In this article, we introduce the MODEbox tool for automatically producing hybrid, multimodal control programs from data. In particular, given an I/O string, four distinct operational units are introduced. The application of the MODEbox tool is illustrated on two different examples involving robots and ants.     

精化演算支撑工具PRT的研究

1 引言精化演算是一种数学表示法和若干规则的集合,用于从程序规约推导出命令式程序。精化是从抽象程序向具体程序转换的过程,其中包含程序的正确性证明。精化的程序开发方法比对已有程序进行验证以保证程序正确性的方法更有效。通过精化演算中的转换规则可以演算出精化的程序。利用精化演算从规约导出程序的过程由大量步骤构成,非常适合利用机器工具进行辅助。本文对精化工具进行了需求分析和功能分析,研究了一个新的精化工具PRT(Program Refinement Tool)并与现有的一些工具进行了比较。