A model for capturing and representing the engineering design process

This paper presents a Collaborative Model for capturing and representing the engineering Design process (CoMoDe). CoMoDe is a deductive object-oriented model that, in relation to an engineering design process, is able to capture the different elements that participate in a design process in an integrated fashion. In particular, it is able to represent (i) the activities, operations, and actors that have generated each design product, (ii) the imposed requirements, and (iii) the rationale behind each decision. Furthermore, it also offers an explicit mechanism to represent and trace the different model versions that have participated in the design process. On such a basis, this proposal introduces specific procedures to handle various situations appearing in cooperative environments. They are: (i) different design teams perform independent concurrent activities on “a priori” independent parts of the artefact being designed and afterwards their results need to be made consistent; (ii) distinct teams concurrently work on slightly coupled parts of the artefact being designed and conflict handling must be addressed along their “parallel” course of actions.     

A model for capturing and representing the engineering design process

This paper presents a Collaborative Model for capturing and representing the engineering Design process (CoMoDe). CoMoDe is a deductive object-oriented model that, in relation to an engineering design process, is able to capture the different elements that participate in a design process in an integrated fashion. In particular, it is able to represent (i) the activities, operations, and actors that have generated each design product, (ii) the imposed requirements, and (iii) the rationale behind each decision. Furthermore, it also offers an explicit mechanism to represent and trace the different model versions that have participated in the design process. On such a basis, this proposal introduces specific procedures to handle various situations appearing in cooperative environments. They are: (i) different design teams perform independent concurrent activities on “a priori” independent parts of the artefact being designed and afterwards their results need to be made consistent; (ii) distinct teams concurrently work on slightly coupled parts of the artefact being designed and conflict handling must be addressed along their “parallel” course of actions.     

一种模糊动态描述逻辑

分析了目前描述逻辑DL的研究现状和存在的问题,特别是动态描述逻辑DDL作为语义Web逻辑基础所存在的问题。针对语义Web需要处理模糊和不精确知识的特点和需求,对DDL进行了模糊化扩充,提出了一种新的描述逻辑,即模糊动态描述逻辑FDDL。给出了FDDL的语法和语义,研究了FDDL的推理机制。与动态描述逻辑DDL相比,该FDDL可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足。     

Biocircuit design through engineering bacterial logic gates

Designing synthetic biocircuits to perform desired purposes is a scientific field that has exponentially grown over the past decade. The advances in genome sequencing, bacteria gene regulatory networks, as well as the further knowledge of intraspecies bacterial communication through quorum sensing signals are the starting point for this work. Although biocircuits are mostly developed in a single cell, here we propose a model in which every bacterium is considered to be a single logic gate and chemical cell-to-cell connections are engineered to control circuit function. Having one genetically modified bacterial strain per logic process would allow us to develop circuits with different behaviors by mixing the populations instead of re-programming the whole genetic network within a single strain. Two principal advantages of this procedure are highlighted. First, the fully connected circuits obtained where every cellgate is able to communicate with all the rest. Second, the resistance to the noise produced by inappropriate gene expression. This last goal is achieved by modeling thresholds for input signals. Thus, if the concentration of input does not exceed the threshold, it is ignored by the logic function of the gate.     

A semiotic engineering approach to user interface design

Designing software involves good perception, good reasoning, and a talent to express oneself effectively through programming and interactive languages. Semiotic theories can help HCI designers increase their power to perceive, reason and communicate. By presenting some of the results we have reached with semiotic engineering over the last few years, we suggest that the main contributions of semiotic theory in supporting HCI design are: to provide designers with new perceptions on the process and product of HCI design; to bind together all the stages of software development and use, giving them a unique homogeneous treatment; and to pose innovative questions that extend the frontiers of HCI investigations.     

A computer-aided system for designing multidimensional logic controllers with variables representing a set of binary logic arguments

This paper considers the principle and tools of a computer-aided system for designing multidimensional logic controllers with variables representing a set of binary logic arguments and minimal response time. The computer-aided system appears invariant with respect to programming languages of the IEC 61131-3 standard.     

一种扩展DL角色描述能力的方法

本体描述知识的逻辑基础是描述逻辑(DL),虽然现有DL中对概念的描述方式非常丰富,但是角色却只能是原子角色。针对角色描述能力低的问题,在现有的DLSHIQ中增加了角色表达式来对角色进行描述,证明了如果知识库中所有角色表达式都是安全的,该知识库在现有的推理机KAON2上的推理仍然是Exp-Time,提出了一种判断角色表达式是否安全的算法。     

用描述逻辑实现语义主题Web服务组合的方法

针对面向服务计算所具有的分散性、不确定性等因素的影响,以及服务发现、选择和组合存在技术和高效应用上的瓶颈,提出一种用描述逻辑实现主题服务组合的方法。该方法将主题图与Web服务用描述逻辑进行融合,并在融合过程借助本体实现主题图与Web服务间的描述,进而形成一种语义主题Web服务。最后用基于SHOIQ的Tableau决策算法实现语义Web主题服务组合。案例分析表明该方法可行且有效。     

Shape mining: A holistic data mining approach for engineering design

Although the integration of engineering data within the framework of product data management systems has been successful in the recent years, the holistic analysis (from a systems engineering perspective) of multi-disciplinary data or data based on different representations and tools is still not realized in practice. At the same time, the application of advanced data mining techniques to complete designs is very promising and bears a high potential for synergy between different teams in the development process. In this paper, we propose shape mining as a framework to combine and analyze data from engineering design across different tools and disciplines. In the first part of the paper, we introduce unstructured surface meshes as meta-design representations that enable us to apply sensitivity analysis, design concept retrieval and learning as well as methods for interaction analysis to heterogeneous engineering design data. We propose a new measure of relevance to evaluate the utility of a design concept. In the second part of the paper, we apply the formal methods to passenger car design. We combine data from different representations, design tools and methods for a holistic analysis of the resulting shapes. We visualize sensitivities and sensitive cluster centers (after feature reduction) on the car shape. Furthermore, we are able to identify conceptual design rules using tree induction and to create interaction graphs that illustrate the interrelation between spatially decoupled surface areas. Shape data mining in this paper is studied for a multi-criteria aerodynamic problem, i.e. drag force and rear lift, however, the extension to quality criteria from different disciplines is straightforward as long as the meta-design representation is still applicable.     

An approach for reverse engineering of design patterns

For the maintenance of software systems, developers have to completely understand the existing system. The usage of design patterns leads to benefits for new and young developers by enabling them to reuse the knowledge of their experienced colleagues. Design patterns can support a faster and better understanding of software systems. There are different approaches for supporting pattern recognition in existing systems by tools. They are evaluated by the Information Retrieval criteria precision and recall. An automated search based on structures has a highly positive influence on the manual validation of the results by developers. This validation of graphical structures is the most intuitive technique. In this paper a new approach for automated pattern search based on minimal key structures is presented. It is able to detect all patterns described by the GOF [15]. This approach is based on positive and negative search criteria for structures and is prototypically implemented using Rational Rose and Together.