A theoretical agenda for feminist HCI

HCI has a complex and often ambivalent attitude towards the issue of gender and interactive systems. Here I discuss three dominant paradigms for treating gender in HCI, and discuss their limitations. Next, I will present the theoretical perspectives on gender which are on the fringes of HCI - Technology as Masculine Culture, Gender Positionality, and Lived Body Experience - and discuss their possible contributions. I will show how this supports a reassessment of the use of gender theory in technological settings and its relevance for framing questions of gender in HCI. My goal in doing so is to argue for the importance of a more direct treatment of gender in HCI and move towards a feminist theory for HCI.     

A theoretical perspective on social agency

In interacting with artificial social agents, novel forms of sociality between humans and machines emerge. The theme of Social Agency between humans and robots is of emerging importance. In this paper key theoretical issues are discussed in a preliminary exploration of the concept. We try to understand what Social Agency is and how it is created by, negotiated with, and attributed to artificial agents. This is done in particular considering socially situated robots and by exploring how people recognize and accept social agents. The interplay between humans and agents is investigated through dynamics of interpretation, signification and attribution. The ultimate goal of this research is to explore the challenges and opportunities brought by the design of socially intelligent agents.

---

实体造型的现状与展望

实体造型技术经过了二十多年蓬勃发展,任何对其现状和发展进行综述的试图都是困难的。本文把实体造型的发展分为两个阶段,即基于几何模型的造型(GBSM)和基于特征模型的造型(FBSM)。贯穿这两个阶段的四条线索是:增强形体表示能力、增强建模手段、增强重设计能力和CAD/CAM一体化。文章把实体造型的主要技术纳入一个统一模型,然后从设计过程的角度,就设计语言、设计约束、设计原型和语义信息四个方面分析实体造型的若干问题和研究方向。     

Modelling of ozone concentrations using a Takagi-Sugeno model

The modelling of ozone concentrations using a Takagi-Sugeno model is discussed in this paper. However, in practice, building a Takagi-Sugeno model is a difficult task. The problems are mainly due to the combinatorial explosion of the complexity of the model as a function of the number of inpute, as well as the difficulty of identifying the premise and consequence parts, which are mutually related. A simplified structure and an algorithm enabling the identification of this structurte and its parameters are proposed. The method is illustrated with atmospheric pollution data to model ozone concentrations in an urban area.     

A theoretical perspective on organizational culture and digitalization

Digitalization has fundamentally changed organizational structures and processes and affects how people interact with each other, thereby impacting organizational culture. Given the pervasiveness of digitalization today, it is useful to study its profound effects on organizational culture through new theoretical lenses. In this paper, we offer a fresh perspective on organizational culture in the digital world. We accomplish this by integrating two competing perspectives and then leveraging the new perspective to identify digital cultural resources and propose a conceptualization of digital culture. We frame our conceptualization around the cultural resources for digitalization and describe four digital culture archetypes.     

A game theoretical perspective on the quantum probabilities associated with a GHZ state

In the standard approach to quantum games, players’ strategic moves are local unitary transformations on an entangled state that is subsequently measured. Players’ payoffs are then obtained as expected values of the entries in the payoff matrix of the classical game on a set of quantum probabilities obtained from the quantum measurement. In this paper, we approach quantum games from a diametrically opposite perspective. We consider a classical three-player symmetric game along with a known expression for a set of quantum probabilities relevant to a tripartite Einstein–Podolsky–Rosen (EPR) experiment that depends on three players’ directional choices in the experiment. We define the players’ strategic moves as their directional choices in an EPR setting and then express their payoff relations in the resulting quantum game in terms of their directional choices, the entries of the payoff matrix, and the quantum probability distribution relevant to the tripartite EPR experiment.     

基于博弈论的多车智能驾驶交互决策综述

智能驾驶是交通和汽车领域未来发展的重要方向,决策规划作为智能驾驶系统中的关键模块,一直是其重点研究领域之一.当前的研究热点正在从单车智能驾驶决策向混行交通场景下的多车智能驾驶决策进行拓展,因此,需要在复杂动态场景和多并行任务下生成符合车辆动力学且不与道路边界和其他交通参与者发生碰撞的高质量轨迹.多车混行驾驶是对道路时空资源的竞争性使用,博弈论可为多车交互决策提供重要的理论与技术手段.对此,应用博弈论方法进行智能驾驶决策研究的综述,基于滚动时域、微分博弈和马尔科夫博弈这3类常用的博弈模型,对现有相关研究进行归类总结和分析.首先简要介绍博弈论基础知识;其次,总结常见的智能驾驶场景并分析各场景下交互决策的核心问题;然后,通过3种不同的博弈模型对多车交互决策进行建模,分别介绍它们的求解算法和思路及相关的研究工作;最后,介绍相关的仿真实验和测试方法,同时也对未来的技术发展和挑战给出见解.     

Modelling and analysis using GROOVE

In this paper we present case studies that describe how the graph transformation tool groove has been used to model problems from a wide variety of domains. These case studies highlight the wide applicability of groove in particular, and of graph transformation in general. They also give concrete templates for using groove in practice. Furthermore, we use the case studies to analyse the main strong and weak points of groove.     

Matching perspective views of a polyhedron using circuits

We present a novel approach for finding corresponding points between two line drawings extracted from perspective views of a moving object whose surface is composed of planar polygons. In our approach, each circuit of the drawings is encoded with a boundary shape code which we call the RLCC code (run length code of convex and concave strings), then a clustering technique is used to obtain the matching result recursively. A series of measures are taken to make the algorithm tolerate considerable dissimilarities which may exist between the two drawings, such as missing lines, scale differences, rotation, perspective shape distortions, etc. Experimental results are presented.     

Modelling collaboration using complex networks

Collaboration means working together to achieve a common goal or to solve a problem, and in modern businesses, it is an important factor for information sharing and quality. This is due to the ability of collaborations to shape the structure and behaviour of organisations through the pooling of expertise and standardising of work patterns.Grounded on complex network theory and collaborative design research, a mathematical model of information flow for analysing collaboration in organisations is proposed in this article. The model defines concepts for characterising organisational structures for collaboration and proposes indicators for assessing organisational behaviour in terms of collaboration within organisations. The article concludes by discussing the applications and limitations of the proposed model.     

Modelling and Validating a multiple-configuration railway signalling system using SDL

This paper discusses some issues about the usage of SDL and related commercial SDL support tools for the validation of a railway signalling system: in particular, the issue of the multiple configurations presented by this system is addressed, discussing the possible strategies to validate the system regardless to the actual configuration.     

Knowledge-based systems from a socio-cognitive 1 perspective

. Recent trends in the design and development of knowledge-based systems KBSs are discussed with special emphasis on issues that relate to situated knowledge. A knowledge base is regarded as a model of expertise that acknowledges the embeddedness of expert knowledge in social interaction and in the workplace in general. KBS development is viewed as an instance of socio-technical design. Experience from several European projects is recounted to illustrate the issues addressed. Suggestions for KBS development are presented as methodological guidelines, with special emphasis on systems employing case-based reasoning.     

Knowledge-based systems from a socio-cognitive 1 perspective

Abstract

Recent trends in the design and development of knowledge-based systems KBSs are discussed with special emphasis on issues that relate to situated knowledge. A knowledge base is regarded as a model of expertise that acknowledges the embeddedness of expert knowledge in social interaction and in the workplace in general. KBS development is viewed as an instance of socio-technical design. Experience from several European projects is recounted to illustrate the issues addressed. Suggestions for KBS development are presented as methodological guidelines, with special emphasis on systems employing case-based reasoning.     

Modelling biological processes by using a probabilistic P system software

In this paper we present a probabilistic P system simulator that implements the evolution-communication model proposed in (Cavaliere, 2003) enriched with some probabilistic parameters inspired by the cell biology.After describing the software and its working, we compare the mathematical model used with the biological reality of the cell. Then, we present some mathematical and biological applications showing how one can use this software to simulate simple but interesting biological phenomena, related to respiration and photosynthesis processes in some bacteria.     

Modelling of piezoelectric transducers applied to piezoelectric motors: a comparative study and new perspective

There has been a great deal of interest devoted to modelling and simulation of electromechanical transducers, and in particular to piezoelectric transducers, during the last decades. Modelling of the electro-mechanical phenomena is a complex matter: transducers comprise laminated structures of varying thickness, consideration of piezoelectric forcing, non-uniform electric field inside the ceramic … Several approaches for modelling the laminate structure have been reported, i.e. classical lamination theory, first order and higher order shear deformation theories. Likewise, the constitutive equations of the piezoelectric media have been included in FEA approaches. In addition, non-uniform electric fields, both linear and quadratic, were analysed. The particular case of travelling wave ultrasonic motors is addressed. This paper reports the comparative results of modelling all these plus additional transducer effects on the accuracy and presents the application to the classical electro-mechanical modelling of the stator of piezoelectric motors. Modelling results are compared with experimental data.     

Modelling automated manufacturing systems using a modification of coloured petri nets

Automated manufacturing systems (AMS) are a class of systems exhibiting concurrency, asynchronicity and distributedness, and can be modelled using Petri nets. The advantage of using Petri nets is that they provide graphical models, with formal methods of analysis. However, graphical representation of Petri net models becomes difficult even for medium-sized systems since such graphs tend to become inconveniently large. Coloured Petri nets (CPN) are a variant which enables a more concise representation with the same modelling power. This paper develops a model for simulation of AMS whose correctness can be formally established, and which can be graphically represented and visually understood. It presents a modelling approach for AMS, based on a modified version of CPN, with enhanced modelling power. The proposed modifications result in highly compact graphical representations, and also render the model dynamic, i.e. capable of changing dynamically to reflect currently selected system parameters. These features make the proposed model ideally suited for discrete event simulation.     

Modelling the vibration response of a gas turbine using machine learning

This work deals with modelling the vibration response of a gas turbine obtained during the start-up process until reaching the nominal speed for power generation. Analysing the vibrations of a complex systems like a gas turbine is useful for the diagnostic of faults or damages in the internal mechanical components of the different stages that integrate a turbine. This work focuses on the study of the shaft vibrations of the bearing radial type mounted between the shaft and the bearing compressor associated with the speed of the turbine. This relationship is studied using experimental data collected from a particular gas turbine model. In particular, we propose a methodology to synthesize a computational model following a supervised learning approach implemented through different machine learning techniques, including a multi-layers perceptron network, support vector machine (SVM), random forest (RF) and genetic programming (GP) with local search. Results show that SVM, RF and GP perform very well in this task, producing accurate predictive models. Moreover, there are some interesting trade-offs between the methods, regarding generalization error, overfitting and model interpretability that are relevant for future applications and research.