Benchmarked Quality Measurement Process in a Software Validation Process

Jatkuva laadunmittaus osana ohjelmistoprosessia on yleistynyt ohjelmistoyritysten keskuudessa viime vuosien aikana. ISO 9001:2000 -laatustandardi vaatii yrityksiltä tuotteiden ja prosessien laadun mittaamista ja seuraamista. Laadun mittareiden valinta on haastava tehtävä. Yritykset luulevat usein mittaavansa laatua, vaikka ne todellisuudessa mittaavatkin ohjelmistojen eri ominaisuuksia kuten kokoa tai monimutkaisuutta. Tässä diplomityössä kehitetään ohjelmistojen validointiprosessiin vertailuun perustuva laadunmittausprosessi ohjelmistotuotteiden laadun arviointiin, mittaamiseen ja seurantaan. Laatumittarit valitaan ennalta määriteltyjen kriteereiden mukaisesti, ja niille asetetaan tavoitearvot vertailuanalyysistä saatujen tulosten perusteella. Laadunmittausprosessin lisäksi työssä annetaan suositus prosessin käyttöönotosta ja käytöstä osana yrityksen toimintaa, mikä mahdollistaa jatkuvan seurannan sekä kehityksen tulevaisuudessa.

Accelerating food safety and quality control: The use of antibody engineering techniques in the detec-tion of low-molecular weight food contaminants

The increased awareness and evolved consumer habits have set more demanding standards for the quality and safety control of food products. The production of foodstuffs which fulfill these standards can be hampered by different low-molecular weight contaminants. Such compounds can consist of, for example residues of antibiotics in animal use or mycotoxins. The extremely small size of the compounds has hindered the development of analytical methods suitable for routine use, and the methods currently in use require expensive instrumentation and qualified personnel to operate them. There is a need for new, cost-efficient and simple assay concepts which can be used for field testing and are capable of processing large sample quantities rapidly. Immunoassays have been considered as the golden standard for such rapid on-site screening methods. The introduction of directed antibody engineering and in vitro display technologies has facilitated the development of novel antibody based methods for the detection of low-molecular weight food contaminants. The primary aim of this study was to generate and engineer antibodies against low-molecular weight compounds found in various foodstuffs. The three antigen groups selected as targets of antibody development cause food safety and quality defects in wide range of products: 1) fluoroquinolones: a family of synthetic broad-spectrum antibacterial drugs used to treat wide range of human and animal infections, 2) deoxynivalenol: type B trichothecene mycotoxin, a widely recognized problem for crops and animal feeds globally, and 3) skatole, or 3-methyindole is one of the two compounds responsible for boar taint, found in the meat of monogastric animals. This study describes the generation and engineering of antibodies with versatile binding properties against low-molecular weight food contaminants, and the consecutive development of immunoassays for the detection of the respective compounds.

Development of a New Welding Product Quality Control and Management System Model for China

The Chinese welding industry is growing every year due to rapid development of the Chinese economy. Increasingly, companies around the world are looking to use Chinese enterprises as their cooperation partners. However, the Chinese welding industry also has its weaknesses, such as relatively low quality and weak management. A modern, advanced welding management system appropriate for local socio-economic conditions is required to enable Chinese enterprises to enhance further their business development. The thesis researches the design and implementation of a new welding quality management system for China. This new system is called ‗welding production quality control management model in China‘ (WQMC). Constructed on the basis of analysis of a survey and in-company interviews, the welding management system comprises the following different elements and perspectives: a ‗Localized congenital existing problem resolution strategies‘ (LCEPRS) database, a ‗human factor designed training system‘ (HFDT) training strategy, the theory of modular design, ISO 3834 requirements, total welding management (TWM), and lean manufacturing (LEAN) theory. The methods used in the research are literature review, questionnaires, interviews, and the author‘s model design experiences and observations, i.e. the approach is primarily qualitative and phenomenological. The thesis describes the design and implementation of a HFDT strategy in Chinese welding companies. Such training is an effective way to increase employees‘ awareness of quality and issues associated with quality assurance. The study identified widely existing problems in the Chinese welding industry and constructed a LCEPRS database that can be used in efforts to mitigate and avoid common problems. The work uses the theory of modular design, TWM and LEAN as tools for the implementation of the WQMC system.

The effects of real time control of welding parameters on weld quality in plasma arc keyhole welding

Joints intended for welding frequently show variations in geometry and position, for which it is unfortunately not possible to apply a single set of operating parameters to ensure constant quality. The cause of this difficulty lies in a number of factors, including inaccurate joint preparation and joint fit up, tack welds, as well as thermal distortion of the workpiece. In plasma arc keyhole welding of butt joints, deviations in the gap width may cause weld defects such as an incomplete weld bead, excessive penetration and burn through. Manual adjustment of welding parameters to compensate for variations in the gap width is very difficult, and unsatisfactory weld quality is often obtained. In this study a control system for plasma arc keyhole welding has been developed and used to study the effects of the real time control of welding parameters on gap tolerance during welding of austenitic stainless steel AISI 304L. The welding tests demonstrated the beneficial effect of real time control on weld quality. Compared with welding using constant parameters, the maximum tolerable gap width with an acceptable weld quality was 47% higher when using the real time controlled parameters for a plate thickness of 5 mm. In addition, burn through occurred with significantly larger gap widths when parameters were controlled in real time. Increased gap tolerance enables joints to be prepared and fit up less accurately, saving time and preparation costs for welding. In addition to the control system, a novel technique for back face monitoring is described in this study. The test results showed that the technique could be successfully applied for penetration monitoring when welding non magnetic materials. The results also imply that it is possible to measure the dimensions of the plasma efflux or weld root, and use this information in a feedback control system and, thus, maintain the required weld quality.

Control of Bubbling Fluidized Bed Conditions

The objectives of this master’s thesis were to understand the importance of bubbling fluidized bed (BFB) conditions and to find out how digital image processing and acoustic emission technology can help in monitoring the bed quality. An acoustic emission (AE) measurement system and a bottom ash camera system were evaluated in acquiring information about the bed conditions. The theory part of the study describes the fundamentals of BFB boiler and evaluates the characteristics of bubbling bed. Causes and effects of bed material coarsening are explained. The ways and methods to monitor the behaviour of BFB are determined. The study introduces the operating principles of AE technology and digital image processing. The empirical part of the study describes an experimental arrangement and results of a case study at an industrial BFB boiler. Sand consumption of the boiler was reduced by optimization of bottom ash handling and sand feeding. Furthermore, data from the AE measurement system and the bottom ash camera system was collected. The feasibility of these two systems was evaluated. The particle size of bottom ash and the changes in particle size distribution were monitored during the test period. Neither of the systems evaluated was ready to serve in bed quality control accurately or fast enough. Particle size distributions according to the bottom ash camera did not correspond to the results of manual sieving. Comprehensive interpretation of the collected AE data requires much experience. Both technologies do have potential and with more research and development they may enable acquiring reliable and real-time information about the bed conditions. This information could help to maintain disturbance-free combustion process and to optimize bottom ash handling system.

Tietohallintoympäristön ylläpitopalveluiden laadun parantaminen ja suorituskyvyn mittaaminen

Suorituskyvyn mittaaminen korostuu yhä nopeammin muuttuvassa ja monimutkaisemmassa toimintaympäristössä. Taloudellisia mittareita laajempi suorituskyvyn mittaaminen mahdollistaa muutosten huomaamisen ja niihin reagoinnin aikaisemmin kuin pelkkä taloudellisten lukujen seuraaminen. Asiakkaiden vaatimuksien ja kilpailun kasvaessa tulee IT- yritysten pyrkiä yhä laadukkaampaan toimintaan pysyäkseen kilpailussa mukana. Tutkimuksen aiheena on rakentaa tasapainotettu mittaristo tietohallintoympäristön ylläpitopalveluille sekä esittää menetelmiä laadun parantamiseen. Palveluiden laadun parantamisen osalta käsitellään palvelun laadun ominaisuuksia, laadunhallintaa ja laadunhallintajärjestelmien käyttökokemuksia, kehitysmenetelmiä sekä laadun parantamisen vaikutuksia. Huomio kiinnittyi ennakoivaan laatutyöskentelyyn ja palvelun laadun ominaisuuksien monipuoliseen käsittelyyn. Palveluiden ollessa kyseessä painotus on toiminnanja suunnittelun laadussa. Suorituskyvyn mittaamisessa käsitellään suorituskyvynominaisuuksia, suorituskyvyn mittaamisen käyttöä, tasapainotettua mittaristoa ja mittariston rakentamista. Soveltavassa osiossa rakennetaan tasapainotettu mittaristo sekä esitetään menetelmiä palveluiden laadun parannukseen. Mittareiden valinnassa ja laadun kehittämisessä on käytetty hyväksi IT- yritysten viitekehyksiä ITILiä ja COBITia.

Osavalmistusprosessin laadunhallinta, perustuen SFS-EN ISO 9001.1994 laatujärjestelmästandardiin

Työn tavoitteena oli luoda yritykseen soveltuva, toimiva laatujärjestelmän kirjallinen kuvaus sekä parantaa laadun hallintaa. Laatutoimintojen kehittämisessä perustana käytettiin laatujärjestelmästandardia SFS-EN ISO 9001. Työn lähtökohtana oli perusteellinen nykytilan selvitys. Saatujen tulosten perusteella voitiin kohdistaa toimenpiteet oikein, jolloin laadun parannus oli merkittävää ja mitattavissa. Lähtötilanteessa havaittiin suuria laatuongelmia niin asiakkaiden keskuudessa kuin yrityksen sisäisissä toiminnoissa, verrattaessa ISO 9001 standardiin. Prosessit pyrittiin kirjaamaan sekä aloitustilanteessaettä havaittujen puutteiden korjaamisen jälkeen. Tästä dokumentaatiosta muodostettiin pohja yrityksen laatujärjestelmän kuvaukselle - laatukäsikirjalle. Dokumentoitua työ- tai toiminto-ohjetta kehitettiin edelleen vastaamaan parasta havaittua toimintatapaa.Työ osoitti laadun hallinnan parantuneen merkittävästi, kun prosessi on onnistuttu kuvaamaan käytännönläheisesti ja yksinkertaisesti. Ratkaisevan tärkeää on prosessin suorittamiseen osallistuvan henkilöstön panos kuvattaessa ja kehitettäessä toimintoa. Ilman henkilöstön sitouttamista kuvaukset ja ohjeet jäävät vain hyödyttömiksi papereiksi, joita ei noudateta eikä päivitetä. Laadun, kuten minkään muunkaan parametrin, kehitystä on mahdoton seurata ilman selkeitä ja yksiselitteisiä mittareita. Työssä luotiin tärkeimpiinprosesseihin kehitystä ilmaisevat laatumittarit. Parhaimmillaan havaittiin maalaamossa suoritettujen toimenpiteiden seurauksena virheellisten kappaleiden osuuden pudonneen kertaluokkaa pienemmäksi. Laatujärjestelmän kehitystyö osoittautui tämänkin kokoisessa yrityksessä erittäin työlääksi ja aikaa vieväksi. Kuitenkin on selvää, että laadunhallinnan parantuessa ja todistusaineiston karttuessa onnistumisten kautta, lisääntyy koko yrityksen usko laadun parantamisen tärkeyteen ja näin nopeuttaa joskus kipeidenkin uudistusten läpivientiä.

Kiinteistön palautetiedon analysointi

Diplomityö käsittelee kiinteistön palautetiedon analysointia. Tässä diplomityössä palautetiedolla tarkoitetaan kiinteistön talotekniikkaan liittyviä teknisiä ja inhimillisiä tietoja, joiden perusteella rakennuksen ja sen tekniikan toimivuudesta voidaan tehdä päätelmiä. Tiedot kerätään järjestelmistä mittauspisteiden kautta etävalvomoon, josta niitä voidaan tarkastella ja edelleen analysoida. Valvomosta saatavan tiedon rinnalle pyritään suunnitteluvaiheessa kokoamaan valvottavasta kohteesta laskennallisia energiankulutusmalleja. Myös kiinteistön asukkaat, rakennuksen ominaisuudet ja ympäristö muodostavat osan palautetiedosta. Kiinteistön palautetieto voidaankin jakaa tekniseen ja inhimilliseen tietoon, ja edelleen analysoinnin kannalta staattiseen tai dynaamiseen tietoon. Tässä diplomityössä selvitettiin palautetiedon keruuta etävalvomolla yhdistämällä tähän rakentamisen laadunvalvonnan työkaluja ja sumeaa logiikkaa. Työn käytännön osio koostuu kiinteistön ja siihen yhdistetyn etävalvomon välillä kulkevan tiedon käsittelystä, mittauspisteiden määrittämisestä ja tietojen analysoinnista. Työssä esitellään kolme esimerkkikohdetta Helsingin seudulta. Työssä laadittiin arviointimalli, joka sisältää kaiken kiinteistön palautetietoon liittyvän aineiston ja sen analysointitavat, sekä erityisesti uutena asiana myös sumeaa logiikkaa. Tiedon analysointi etenee oletusarvojen muodostamisesta, simuloinnin laatimisesta ja sen vertaamisesta todellisiin tietoihin ja edelleen näistä tehtäviin päätelmiin. Tavanomaisten teknisten tietojen lisäksi sumean logiikan avulla tuotiin esille poikkeamia selittäviä tekijöitä mm. kiinteistön asukkaiden ominaisuuksista.

Laatujärjestelmän rakentaminen ja laatukäsikirjan mallintaminen energiayhtiölle

Työ on osa Kotkan Energia Oy:ssä toteutettua laatuprojektia. Työllä haettiin uutta, oikeaa suuntaa jo aiemmin käynnistetylle laadun kehitykselle. Työn tavoitteena oli rakentaa yhtiölle asiakaslähtöinen laatujärjestelmä, joka kattaa kaikki Kotkan Energian toiminnot. Lisäksi diplomityöhön kuului järjestelmän dokumentointi ja erityisesti laatukäsikirjan mallintaminen. Laatujärjestelmän pohjana käytettiin ISO DIS 9001:2000 -laatustandardiehdotusta. Uudistetun standardiluonnoksen katsottiin palvelevan vanhoja ISO-laatustan-dardeja paremmin energiayhtiön tarpeita, koska ehdotus korostaa asiakastyytyväisyyttä, prosessiajattelua ja jatkuvaa parantamista. Diplomityöprojekti jakaantui selkeästi kolmeen osaan. Ensimmäisessä vaiheessa laatujärjestelmän ja laadun kehittämisen nykytilanne kartoitettiin haastattelujen ja aiemmin laaditun laatumateriaalin avulla. Selvityksen perusteella toisessa vaiheessa tehtiin kehitysehdotuksia ja -suunnitelmia sekä käynnistettiin järjestelmän perusrakenteiden luominen ja henkilöstön koulutus. Laatujärjestelmän keskeisiä osia rakennettiin yhteistyössä koko henkilöstön kanssa. Diplomityön kolmannessa vaiheessa Kotkan Energian menettelytavat dokumentoitiin laatukäsikirjan asiakirjoiksi. Dokumentointiin sisältyivät sekä vanhat, uudistetut että suunnitellut toimintaperiaatteet. Samalla käynnistettiin myös prosessien menettelyohjeiden laatiminen. Laatuprojektin aikana kehitettiin useita uusia ja toimivia käytäntöjä sekä niihin liittyviä dokumentteja. Näiden luotujen menettelytapojen kautta on jo saatu aikaan laadun parannusta. Osana työtä luotiin Kotkan Energian prosessien kuvaustapa. Muita tärkeimpiä ideoituja ja toteutettuja uusia työkaluja laadun hallintaan ovat tiimisopimus, asiakaspalautelomake, toimittajien arviointilomake, poikkeamaraportti sekä koulutus- ja matkatietolomake. Laatujärjestelmän viimeistelyyn ja kehittämiseen liittyvät ideat jalostettiin jatkosuunnitelmiksi.

Kalman Filtering in Online Paper Quality Assessment

Controlling the quality variables (such as basis weight, moisture etc.) is a vital part of making top quality paper or board. In this thesis, an advanced data assimilation tool is applied to the quality control system (QCS) of a paper or board machine. The functionality of the QCS is based on quality observations that are measured with a traversing scanner making a zigzag path. The basic idea is the following: The measured quality variable has to be separated into its machine direction (MD) and cross direction (CD) variations due to the fact that the QCS works separately in MD and CD. Traditionally this is done simply by assuming one scan of the zigzag path to be the CD profile and its mean value to be one point of the MD trend. In this thesis, a more advanced method is introduced. The fundamental idea is to use the signals’ frequency components to represent the variation in both CD and MD. To be able to get to the frequency domain, the Fourier transform is utilized. The frequency domain, that is, the Fourier components are then used as a state vector in a Kalman filter. The Kalman filter is a widely used data assimilation tool to combine noisy observations with a model. The observations here refer to the quality measurements and the model to the Fourier frequency components. By implementing the two dimensional Fourier transform into the Kalman filter, we get an advanced tool for the separation of CD and MD components in total variation or, to be more general, for data assimilation. A piece of a paper roll is analyzed and this tool is applied to model the dataset. As a result, it is clear that the Kalman filter algorithm is able to reconstruct the main features of the dataset from a zigzag path. Although the results are made with a very short sample of paper roll, it seems that this method has great potential to be used later on as a part of the quality control system.

Simulating the performance of paper machine control

The topic of this thesis is the simulation of a combination of several control and data assimilation methods, meant to be used for controlling the quality of paper in a paper machine. Paper making is a very complex process and the information obtained from the web is sparse. A paper web scanner can only measure a zig zag path on the web. An assimilation method is needed to process estimates for Machine Direction (MD) and Cross Direction (CD) profiles of the web. Quality control is based on these measurements. There is an increasing need for intelligent methods to assist in data assimilation. The target of this thesis is to study how such intelligent assimilation methods are affecting paper web quality. This work is based on a paper web simulator, which has been developed in the TEKES funded MASI NoTes project. The simulator is a valuable tool in comparing different assimilation methods. The thesis contains the comparison of four different assimilation methods. These data assimilation methods are a first order Bayesian model estimator, an ARMA model based on a higher order Bayesian estimator, a Fourier transform based Kalman filter estimator and a simple block estimator. The last one can be considered to be close to current operational methods. From these methods Bayesian, ARMA and Kalman all seem to have advantages over the commercial one. The Kalman and ARMA estimators seems to be best in overall performance.

The Productivity, Economy and Quality of Welding in the Different Geographical Areas of China - Today and in the Future

This master’s thesis gives out the real situation of the China welding industry and factories nowadays in different geographical areas, in order to inform the Finnish companies who have the willing to find a Chinese welding subcontractor a proper and correct selection concept by analyzing and supplying the information of different scale and form welding factories in different Chinese areas. The first section of this thesis gives out the general situation about the co-operation between China and Finland in the welding industry, also includes the general introduction of the Chinese welding industry. The second section gives out the geographical compartmentalization result of Chinese welding industry, which is where and how many areas will be studied in this thesis. The main body of this thesis is the real information of welding productivity, welding cost, and welding quality in China. All the information was collected from real factories in China by the author. The last section of this thesis is the improvements to the Chinese welding factories that have the willing to become a subcontractor, and the suggestions to the Finnish companies who may find a Chinese welding factory as their subcontractor in future.

Orthogonal function method in modelling paper web quality variation

This work is devoted to the analysis of signal variation of the Cross-Direction and Machine-Direction measurements from paper web. The data that we possess comes from the real paper machine. Goal of the work is to reconstruct the basis weight structure of the paper and to predict its behaviour to the future. The resulting synthetic data is needed for simulation of paper web. The main idea that we used for describing the basis weight variation in the Cross-Direction is Empirical Orthogonal Functions (EOF) algorithm, which is closely related to Principal Component Analysis (PCA) method. Signal forecasting in time is based on Time-Series analysis. Two principal mathematical procedures that we used in the work are Autoregressive-Moving Average (ARMA) modelling and Ornstein–Uhlenbeck (OU) process.

On the impact of rigorous approaches on the quality of development

Software systems are expanding and becoming increasingly present in everyday activities. The constantly evolving society demands that they deliver more functionality, are easy to use and work as expected. All these challenges increase the size and complexity of a system. People may not be aware of a presence of a software system, until it malfunctions or even fails to perform. The concept of being able to depend on the software is particularly significant when it comes to the critical systems. At this point quality of a system is regarded as an essential issue, since any deficiencies may lead to considerable money loss or life endangerment. Traditional development methods may not ensure a sufficiently high level of quality. Formal methods, on the other hand, allow us to achieve a high level of rigour and can be applied to develop a complete system or only a critical part of it. Such techniques, applied during system development starting at early design stages, increase the likelihood of obtaining a system that works as required. However, formal methods are sometimes considered difficult to utilise in traditional developments. Therefore, it is important to make them more accessible and reduce the gap between the formal and traditional development methods. This thesis explores the usability of rigorous approaches by giving an insight into formal designs with the use of graphical notation. The understandability of formal modelling is increased due to a compact representation of the development and related design decisions. The central objective of the thesis is to investigate the impact that rigorous approaches have on quality of developments. This means that it is necessary to establish certain techniques for evaluation of rigorous developments. Since we are studying various development settings and methods, specific measurement plans and a set of metrics need to be created for each setting. Our goal is to provide methods for collecting data and record evidence of the applicability of rigorous approaches. This would support the organisations in making decisions about integration of formal methods into their development processes. It is important to control the software development, especially in its initial stages. Therefore, we focus on the specification and modelling phases, as well as related artefacts, e.g. models. These have significant influence on the quality of a final system. Since application of formal methods may increase the complexity of a system, it may impact its maintainability, and thus quality. Our goal is to leverage quality of a system via metrics and measurements, as well as generic refinement patterns, which are applied to a model and a specification. We argue that they can facilitate the process of creating software systems, by e.g. controlling complexity and providing the modelling guidelines. Moreover, we find them as additional mechanisms for quality control and improvement, also for rigorous approaches. The main contribution of this thesis is to provide the metrics and measurements that help in assessing the impact of rigorous approaches on developments. We establish the techniques for the evaluation of certain aspects of quality, which are based on structural, syntactical and process related characteristics of an early-stage development artefacts, i.e. specifications and models. The presented approaches are applied to various case studies. The results of the investigation are juxtaposed with the perception of domain experts. It is our aspiration to promote measurements as an indispensable part of quality control process and a strategy towards the quality improvement.

Tuotantoympäristön jatkuva parantaminen

Tutkimuksen tavoitteena oli luoda kohdeyritykseen toimintamalli, jonka avulla saadaan osallistettua työntekijät, tiiminvetäjät ja työnjohto tuotannon jatkuvaan parantamiseen sekä parannettua tuotannon takaisinkytkentää tiimitasolla. Tutkimus rajattiin pilottitiimiin sekä tiimissä olevien työpisteiden kautta reititettyihin tuotteisiin. Ennen tutkimuksen aloitusta yrityksellä oli jo olemassa sähköinen aloitejärjestelmä, mutta sen käyttö oli organisaation uudelleen järjestelyjen myötä vähentynyt. Tutkimuksen teoriaosassa tutustuttiin jatkuvan parantamisen kulttuuriin ja työkaluihin. Lisäksi tutustuttiin laadunhallinnan sisältöön, käsitteistöön ja laadunvalvontatyökaluihin sekä tuotannon mittareihin. Teorian pohjalta tutkimuksessa luotiin jatkuvan parantamisen toimintamalli, joka tunnistaa ja eliminoi prosessissa olevaa hukkaa osallistamalla pilottitiimin työntekijöitä hukkakorttien avulla. Lisäksi tutkimuksessa luotiin toimintamalli tuotannon kehitysideoiden raportointiin ja käsittelyyn. Tuotannon takaisinkytkentää kehitettiin luomalla pilottitiimiin tuloskortti sekä perustamalla yritykseen päiväkatsauskäytäntö. Tutkimuksessa suoritettiin myös toimihenkilötason kehitysprojekteja käyttäen apuna teoriassa esiteltyjä malleja ja työkaluja. Tuloksena saatiin toimintamalli, joka tuottaa työntekijämäärään suhteutettuna enemmän kehitysideoita sekä käsittelee ne tehokkaammin kuin sähköinen aloitejärjestelmä. Hukkakorteilla toteutetun hukan raportoinnin kautta tunnistettiin ja raportoitiin seitsemän viikon tarkasteluajanjakson aikana yhteensä 23,6 tuntia hukka-aikaa. Tiimin tuloskortin avulla tiimin työntekijät pystyivät viikkotasolla seuraamaan oman tiiminsä suorituskykyä tavoitearvoihin verrattuna. Tämä näkyi muun muassa tiimin suoritustason nousuna. Kehitysprojektien avulla saatiin parannettua pilottitiimin toiminnan ja tuotteiden laatua. Päiväkatsauskäytännön avulla saatiin osallistettua tiiminvetäjät ongelmaratkaisuun sekä tuotannon suorituskyvyn varmistamiseen.