Rule-based design of a material processing component

The main thrust of this research is in developing aknowledge-based system for the design of components for a material processing system. In particular, this paper concentrates on developing methodologies forinitial design andredesign in a quantitative and qualitative format. A die for plastic extrusion has been selected as the subject material processing component. A design algorithm using best first heuristic search and expert knowledge, both in procedural and declarative form, is the core of the scheme. Apart from this expert, the suggestedselection procedure for candidate design is also seen to accelerate the design scheme. The methodologies presented enableefficient design of the component. Some generality has been accomplished by the implementation of the techniques to dies of different cross-sectional shapes. The software is written inLisp within an object-oriented software package using analysis modules written in C.     

Software Defect Detection with R<Emphasis Type="SmallCaps">ocus</Emphasis>

Software defect detection aims to automatically identify defective software modules for efficient software test in order to improve the quality of a software system.Although many machine learning methods have been successfully applied to the task,most of them fail to consider two practical yet important issues in software defect detection.First,it is rather difficult to collect a large amount of labeled training data for learning a well-performing model;second,in a software system there are usually much fewer defective modules than defect-free modules,so learning would have to be conducted over an imbalanced data set.In this paper,we address these two practical issues simultaneously by proposing a novel semi-supervised learning approach named Rocus.This method exploits the abundant unlabeled examples to improve the detection accuracy,as well as employs under-sampling to tackle the class-imbalance problem in the learning process.Experimental results of real-world software defect detection tasks show that Rocus is effective for software defect detection.Its performance is better than a semi-supervised learning method that ignores the class-imbalance nature of the task and a class-imbalance learning method that does not make effective use of unlabeled data.     

ASPECS: an agent-oriented software process for engineering complex systems

Holonic multiagent systems (HMAS) offer a promising software engineering approach for developing complex open software systems. However the process of building Multi-Agent Systems (MAS) and HMAS is mostly different from the process of building more traditional software systems as it introduces new design and development challenges. This paper introduces an agent-oriented software process for engineering complex systems called ASPECS. ASPECS is based on a holonic organisational metamodel and provides a step-by-step guide from requirements to code allowing the modelling of a system at different levels of details using a set of refinement methods. This paper details the entire ASPECS development process and provides a set of methodological guidelines for each process activity. A complete case study is also used to illustrate the design process and the associated notations. ASPECS uses UML as a modelling language. Because of the specific needs of agents and holonic organisational design, the UML semantics and notation are used as reference points, but they have been extended by introducing new specific profiles.     

Embedding Reliable Numerical Analysis Capabilities into an Enterprise-Wide Information System

A simulation environment to support engineering design embedded in an enterprise-wide information system is presented. The environment consists of a set of structures and managers housing the problem definition, tools for controlling the simulation model construction and execution, and the interaction of simulation processes with the product data management system. The issues associated with the introduction of automated and adaptive geometry-based simulation processes into the engineering design process are emphasised.     

Design verification in model-based?��-controller development using an abstract component

Component-based software development is a promising approach for controlling the complexity and quality of software systems. Nevertheless, recent advances in quality control techniques do not seem to keep up with the growing complexity of embedded software; embedded systems often consist of dozens to hundreds of software/hardware components that exhibit complex interaction behavior. Unanticipated quality defects in a component can be a major source of system failure. To address this issue, this paper suggests a design verification approach integrated into the model-driven, component-based development methodology Marmot. The notion of abstract components—the basic building blocks of Marmot—helps to lift the level of abstraction, facilitates high-level reuse, and reduces verification complexity by localizing verification problems between abstract components before refinement and after refinement. This enables the identification of unanticipated design errors in the early stages of development. This work introduces the Marmot methodology, presents a design verification approach in Marmot, and demonstrates its application on the development of a μ-controller-based abstraction of a car mirror control system. An application on TinyOS shows that the approach helps to reuse models as well as their verification results in the development process.     

基于Internet的NCS监控组态软件

介绍一种基于Internet的网络化控制系统监控组态软件的总体设计。阐述该软件所处的数据平台的总体架构和软件功能目标,设计软件的客户端,月艮务器结构,通过软件系统外部及内部的信息交互,给出客户端和服务器内部的功能模块,为服务器设计一个用户监控请求管理模块,以实现大量用户对系统并发监控请求的有效管理。     

固体火箭助推器CAD系统软件的研究与开发

针对固体火箭助推器的设计问题,本文将CAD技术运用于火箭研制过程,结合无人机助推发射系统设计与仿真软件,探讨当前固体火箭助推器CAD系统发展现状与特点,研究固体火箭助推器CAD系统的组成与实现方案,开发一套固体火箭助推器设计与仿真系统软件。系统集成助推器结构设计、参数化绘图、数据库管理3个模块。系统具有友好的操作界面,推进剂模块与装药设计模块之间进行了关联,可有效完成助推器产品管理,只需输入少量数据,便可快速构造助推器,为助推器方案论证提供了有力工具。     

Checking the reliability of socket based communication software

Locating potential execution errors in software is gaining more attention due to the economical and social impact of software crashes. For this reason, many software engineers are now in need of automatic debugging tools in their development environments. Fortunately, the work on formal method technologies during the past 25 years has produced a number of techniques and tools that can make the debugging task almost automatic, using standard computer equipment and with a reasonable response time. In particular, verification techniques like model-checking that were traditionally employed for formal specifications of the software can now be directly employed for real source code. Due to the maturity of model-checking technology, its application to real software is now a promising and realistic approach to increase software quality. There are already some successful examples of tools for this purpose that mainly work with self-contained programs (programs with no system-calls). However, verifying software that uses external functionality provided by the operating system via API s is currently a challenging trend. In this paper, we propose a method for using the tool spin to verify C software systems that use services provided by the operating system thorough a given API. Our approach consists in building a model of the underlying operating system to be joined with the original C code in order to obtain the input for the model checker spin. The whole modeling process is transparent for the C programmer, because it is performed automatically and without special syntactic constraints in the input C code. Regarding verification, we consider optimization techniques suitable for this application domain, and we guarantee that the system only reports potential (non-spurious) errors. We present the applicability of our approach focusing on the verification of distributed software systems that use the API Socket and the network protocol stack TCP/IP for communications. In order to ensure correctness, we define and use a formal semantics of the API to conduct the construction of correct models.     

Tailoring Automatically Generated Hypertext

This paper describes an approach for tailoring the content and structure of automatically generated hypertext. The implemented system HYLITE is based on applied Natural Language Generation (NLG) techniques, a re-usable user modelling component (VIEWGEN), and a flexible architecture with module feedback. The user modelling component is used by the language generation modules to adapt the hypertext content and links to user beliefs and preferences and to the previous interaction. Unlike previous adaptive NLG systems, which have their own, application-specific user models, HYLITE has re-used a generic agent modelling framework (VIEWGEN) instead. Apart from avoiding the development costs of a new model, this also enabled a more extendable system architecture. Another distinct feature of our approach is making NLG techniques adaptable by the user, i.e., providing users with control over the user model and the hypertext adaptivity.     

A CAD-CAE Integrated Injection Molding Design System

. In the injection molding design process, interaction between design and analysis is very intensive. This is to ensure that the plastic part being designed is manufacturable by the injection molding process. However, such interaction is not supported by current computer-aided systems (CAD and CAE), because design and analysis are realized as isolated modules. Although most of CAE systems provide built-in modeling tools, these are only meant for developing an analysis model with very limited CAD functionality. On the other hand, some CAD systems have allowed certain CAE systems to run under their environments, but inherently they use different data models, thus communication between them is poor. This paper presents an innovative, CAD-CAE integrated, injection molding design system. This system uses an integrated data model for both design and analysis. The system is built on top of existing CAD and CAE systems, which not only greatly saves development effort, but also makes full use of the strong functionality of commercial computer aided systems. The system architecture consists of four layers: a CAD and CAE platform layer; a CAD-CAE feature layer; a model layer; and a GUI layer. Two design cases were studied to illustrate the iterative design-analysis process and use of the developed system.     

On the Systematic Analysis of Natural Language Requirements with CIRCE

This paper presents Circe, an environment for the analysis of natural language requirements. Circe is first presented in terms of its architecture, based on a transformational paradigm. Details are then given for the various transformation steps, including (i) a novel technique for parsing natural language requirements, and (ii) an expert system based on modular agents, embodying intensional knowledge about software systems in general. The result of all the transformations is a set of models for the requirements document, for the system described by the requirements, and for the requirements writing process. These models can be inspected, measured, and validated against a given set of criteria. Some of the features of the environment are shown by means of an example. Various stages of requirements analysis are covered, from initial sketches to pseudo-code and UML models.     

MMM: a Web-based system for sharing statistical computing modules

This prototype method management system (MMM), implemented with Web technologies, supports distributed authoring and execution of computational software modules among an interdisciplinary group of developers and users. Heterogeneous data formats, programming languages, and computing platforms pose various challenges whenever researchers are sharing and combining software modules, especially when the collaboration occurs across different traditions of scientific computing. To meet these challenges, we designed and implemented MMM. MMM is a collection of middleware services to support the interaction between software users and developers, and to facilitate the sharing of software modules across heterogeneous networks. The system design follows the World Wide Web paradigm: developers (providers) install their modules on the network in a way that allows users (consumers) to access and execute them. A prototype is available on the Web     

Algorithmic Debugging and Hypothetical Reasoning

This paper presents a generalization of Shapiro style algorithmic debugging for generalized Horn clause intuitionistic logic. This logic offers hypothetical reasoning and negation is defined not by failure but by inconsistency. We extend Shapiro's notion of intended interpretation, symptoms and errors and give formal results paralleling those known for definite clauses. We also show how a corresponding diagnosis module for RISC- a logic programming system for generalized Horn clause intuitionistic logic-can be defined by meta interpretation. In contrast to Shapiro's PROLOG modules ours work independently of the specific computation rule that in RISC may be specified by the user.     

基于事件驱动的软硬件混合监测系统--嵌入式系统辅助设计新技术

介绍了一种以事件驱动软硬件混合监测系统实现的辅助设计技术,适应于采用IPcore技术、基于平台的嵌入式系统自动化设计。给出了该系统的原理、架构及其重要部分的设计实现,包括事件驱动工作原理、硬件单元的组成、软件单元的各模块及EAT等。该监测系统允许从不同的抽象层面(如系统功能级)精确观察并分析待测系统的行为,为复杂系统的设计提供强有力的支持。     

基于Struts和Hibernate的公积金MIS的开发

阐述了基于Struts(一种MVC软件设计模式)和Hibernate框架开发管理系统的原理和过程,并以在线公积金MIS开发为例,阐述了系统的设计和开发过程.该公积金系统被划分为六个功能模块,系统具有先进性、可扩展性和可移植性强等特点.     

Asynchronous Stream Processing with S-Net

We present the rationale and design of S-Net, a coordination language for asynchronous stream processing. The language achieves a near-complete separation between the application code, written in any conventional programming language, and the coordination/communication code written in S-Net. Our approach supports a component technology with flexible software reuse. No extension of the conventional language is required. The interface between S-Net and the application code is in terms of one additional library function. The application code is componentised and presented to S-Net as a set of components, called boxes, each encapsulating a single tuple-to-tuple function. Apart from the boxes defined using an external compute language, S-Net features two built-in boxes: one for network housekeeping and one for data-flow style synchronisation. Streaming network composition under S-Net is based on four network combinators, which have both deterministic and nondeterministic versions. Flexible software reuse is comprehensive, with the box interfaces and even the network structure being subject to subtyping. We propose an inheritance mechanism, named flow inheritance, that is specifically geared towards stream processing. The paper summarises the essential language constructs and type concepts and gives a short application example.     

基于基类模型模板的自动武器协同设计系统

分析了现代产品协同设计系统功能模型和体系架构,以面向自动武器工程实际应用为目标,设计了统一的协同设计基类三维模型模板及数据关系模式。在此基础上自主开发的自动武器协同辅助设计系统,包括协同行为预测执行分析、自动武器标准模块库管理等功能模块,实现图层级别的协同到模型级别协同的转化。采用面向对象方法对自动武器协同设计开发项目中的应用程序、模型库、建模工具集等集成化,结合CAD软件底层函数的设计与开发技术及提供通用语言接口支持的网络服务技术,为系统的实施提供了可靠的交互支撑环境。     

Attribute Management System for Engineering Analysis

. This paper presents the design and implementation of an attribute management system that supports the specification of information, past that of the domain definition, needed to qualify an engineering analysis. The information anaged by this system includes various order tensors eeded to specify the analysis attributes of material properties, oads, and boundary conditions as well as additional data constructs used by the analysis such as strings, and references to either other attributes or model entities. The system supports general dependencies and variations of this attribute information as well as its association with the various geometric entities which constitute the geometric domain being analyzed. In addition, since the information is coupled with the model entities themselves, the system can be used to store information needed to control the discretization process of the geometric domain. Since the information can be both spatially and temporally varying, an expression subsystem was also designed into the system. The framework was designed using object-oriented techniques, implemented in C++, and can be easily maintained and extended.     

Performing integrated system tests using malicious component insertion

In this paper, a testing method suitable for strengthening fault tolerance in the event of unexpected situations within a software system is presented. It is based on the idea of testing an integrated system, by substituting system components with other, similar in design and functionality that operate in an erroneous and even malicious manner. The approach adopted, is similar to the concept of inserting a virus within an organization so that the defense mechanisms of the latter can be tested and the necessary lines of defense are formed, so that the virus cannot affect any of the organization critical parts. The focal point is to ensure that in case of a module malfunction, the integrated system will continue to operate, isolating the malfunctioning software at the greatest possible extend, preventing the erroneous behavior from affecting other (and sometimes critical) modules. The testing method proposed is based first on isolated components testing adopting and enhancing the Component Off The Self method, and second on integrated system testing using malicious components that emulate erroneous operation.     

Information mediation in cyberspace: Scalable methods for declarative information networks

An end-to-end discussion, from logical architecture to implementation, of issues and design decisions in declarative information networks is presented. A declarative information network is defined to be a dynamic and decentralized structure where value-added services are declared and applied as mediators in a scalable and controlled manner. A primary result is the need to adopt dynamically linked ontologies as the semantic basis for knowledge sharing in scalable networks. It is shown that data mining techniques provide a promising basis upon which to explore and develop this result. Our prototype system, entitled Mystique, is described in terms of KQML, distributed object management, and distributed agent execution. An example shows how we map our architecture into the World Wide Web (WWW) and transform the appearance of the WWW into an intelligently integrated and multi-subject distributed information network.