Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. Resource usage is also of concern for proper behavior because of the very nature of embedded systems.  To design reliable and energy-efficient systems, methods are needed to detect hot points of consumption and correct them prior to deployment. To reduce testing effort, Model-based testing can be used which is one testing method that allows for automatic testing of model based systems. Model-based testing has not been investigated extensively for revealing resource usage anomalies in embedded systems. UPPAAL SMC is a statistical model checking tool which can be used to model the system’s resource usage. Currently UPPAAL SMC lacks the support for performing automatic test generation and test selection. In this thesis we provide this support with a framework for automatic test generation and test selection using mutation analysis, a method for minimizing the generated test suite while maximizing the fault coverage and a tool implementing the framework on top of the UPPAAL SMC tool. The thesis also evaluates the framework on a Brake by Wire industrial system. Our results show that we could for a Brake-by-wire system, simulated on a consumer processor with five mutants, in best case find a test case that achieved 100% mutation score within one minute and confidently identify at least one test case that achieved full mutation score within five minutes. The evaluation shows that this framework is applicable and relatively efficient on an industrial system for reducing continues resource usage target testing effort.

Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. Resource usage is also of concern for proper behavior because of the very nature of embedded systems.  To design reliable and energy-efficient systems, methods are needed to detect hot points of consumption and correct them prior to deployment. To reduce testing effort, Model-based testing can be used which is one testing method that allows for automatic testing of model based systems. Model-based testing has not been investigated extensively for revealing resource usage anomalies in embedded systems. UPPAAL SMC is a statistical model checking tool which can be used to model the system’s resource usage. Currently UPPAAL SMC lacks the support for performing automatic test generation and test selection. In this thesis we provide this support with a framework for automatic test generation and test selection using mutation analysis, a method for minimizing the generated test suite while maximizing the fault coverage and a tool implementing the framework on top of the UPPAAL SMC tool. The thesis also evaluates the framework on a Brake by Wire industrial system. Our results show that we could for a Brake-by-wire system, simulated on a consumer processor with five mutants, in best case find a test case that achieved 100% mutation score within one minute and confidently identify at least one test case that achieved full mutation score within five minutes. The evaluation shows that this framework is applicable and relatively efficient on an industrial system for reducing continues resource usage target testing effort.

日本の中小製造業は、為替問題や現地生産の促進のために急速に力を落としつつあるのは事実である。この様な実情の中で、安定的に高収益を維持している企業も存在する。これらの企業は基本的にB TO B企業なので一般的には観察しにくい物である。本論文はこの金属加工業の中で、安定的高収益企業が存在し、かつそれを合理的に分類する事により、金属加工業の高収益を企業として、生き方の数種の選択を実証から提示した論文である。 / The topic of my study is the analyses of the fundamental reasons for the the growth for small and medium sized Companies of the Metal Processing Industries. It the intent of my study to focus primarily on the issue of technical innovation, hopefully, to provide a  generalization for the fundamental reason for the growth of small and medium sized companies. / 博士(技術・革新的経営) / Doctor of Philosophy in Technology and Innovative Management / 同志社大学 / Doshisha University

No description available.

No description available.

京都大学 / 新制・課程博士 / 博士(医科学) / 甲第23815号 / 医科博第136号 / 新制||医科||9(附属図書館) / 京都大学大学院医学研究科医科学専攻 / (主査)教授 山下 潤, 教授 遊佐 宏介, 教授 伊藤 貴浩 / 学位規則第4条第1項該当 / Doctor of Medical Science / Kyoto University / DFAM

The effect of flexible panels on a spacecraft during attitude movement may induce problems if not correctly accounted for in the control system for the spacecraft. The aim of this thesis is to find and evaluate, control algorithms that could be suitable for the Kinesthetic Node and Autonomous Table-Top Emulator (KNATTE) with two flexible mock-up solar panels during an attitude movement of 20 degrees. A simulation model of KNATTE was derived in a previous thesis where a Linear– quadratic–Gaussian (LQG) controller was also found, after a literature review the secondary controller was selected to be a Sliding mode control (SMC) and to accurately simulated the environment of KNATTE the continuous control signal would need to be converted to a pulse due to the thrusters on KNATTE either being on or off. The thesis found that the Pulse-width pulse-frequency (PWPF) modulation is necessary for both controllers to have the best performance as the Pulse-width modulation (PWM) is not able to generate a thrust output that gives a desired result. It is also found that the SMC will provide the shortest settling time for the attitude manoeuvre while also displacing the panels the least amount compared to that of the LQG controller.

Cette thèse présente l’étude d’une machine électrique à stator à flux transverse à griffes. Après une étude du SMC et des structures à flux transverse, une structure associant un stator à griffes à un rotor à aimants permanents est choisie. Un modèle de la machine par réseau de réluctances est développé, en s’appuyant sur des simulations éléments finis. Il est ensuite amendé par l’introduction d’hypothèses d’inclinaison de flux dans l’entrefer, puis il est validé par le test d’un prototype. L’architecture est alors optimisée après une analyse détaillée de la circulation des flux, qui permet d’identifier le problème de la saturation du pied de dents. Après des simulations éléments finis de la machine améliorée, un prototype est ensuite testé qui confirme l’apport de la nouvelle architecture.Une version alternative de la machine, avec un bobinage d’excitation au stator et un rotor massif est ensuite proposée. Cette machine promet une fabrication économique et une bonne robustesse. Un modèle analytique est proposé, accompagné d’une étude éléments finis, puis pour finir un prototype est testé. Une version améliorée de cette machine avec un rotor à dents isolés est ensuite proposée : un modèle analytique et des études éléments finis permettent de valider l’intérêt de cette évolution. / This thesis presents the study of a claw-pole transverse flux electric machine. At first, SMC material properties and transverse flux structures are studied, leading to the choice of a structure combining a claw-pole stator and a permanent magnet rotor. The machine is modelled by the means of a magnetic equivalent circuit, with a reluctance network, developed with the help of finite elements simulation. The model is then changed with the introduction of the hypothesis that the flux is bent inside the airgap; it is then validated by the test of a prototype.The architecture of the machine is optimized after a detailed analysis of the flux circulation, leading to the identification of the tooth-tip saturation issue. After finite element simulation of the improved machine, a prototype is later tested, which confirms the gain brought by the new architecture.An alternative version of the machine, with a field winding attached to the stator and a massive rotor is then proposed. This machine promises to be cost-effective to build and robust thanks to its massive rotor. An analytical model of the machine is introduced, along with a finite element simulation, to end with the test of a prototype which confirms the possibilities of this new concept. An improved version of the machine with a rotor with isolated teeth is finally studied, with an analytical model and a finite element leading to the validation of the interest of this evolution.

Cette thèse présente l’étude d’une machine électrique à stator à flux transverse à griffes. Après une étude du SMC et des structures à flux transverse, une structure associant un stator à griffes à un rotor à aimants permanents est choisie. Un modèle de la machine par réseau de réluctances est développé, en s’appuyant sur des simulations éléments finis. Il est ensuite amendé par l’introduction d’hypothèses d’inclinaison de flux dans l’entrefer, puis il est validé par le test d’un prototype. L’architecture est alors optimisée après une analyse détaillée de la circulation des flux, qui permet d’identifier le problème de la saturation du pied de dents. Après des simulations éléments finis de la machine améliorée, un prototype est ensuite testé qui confirme l’apport de la nouvelle architecture.Une version alternative de la machine, avec un bobinage d’excitation au stator et un rotor massif est ensuite proposée. Cette machine promet une fabrication économique et une bonne robustesse. Un modèle analytique est proposé, accompagné d’une étude éléments finis, puis pour finir un prototype est testé. Une version améliorée de cette machine avec un rotor à dents isolés est ensuite proposée : un modèle analytique et des études éléments finis permettent de valider l’intérêt de cette évolution. / This thesis presents the study of a claw-pole transverse flux electric machine. At first, SMC material properties and transverse flux structures are studied, leading to the choice of a structure combining a claw-pole stator and a permanent magnet rotor. The machine is modelled by the means of a magnetic equivalent circuit, with a reluctance network, developed with the help of finite elements simulation. The model is then changed with the introduction of the hypothesis that the flux is bent inside the airgap; it is then validated by the test of a prototype.The architecture of the machine is optimized after a detailed analysis of the flux circulation, leading to the identification of the tooth-tip saturation issue. After finite element simulation of the improved machine, a prototype is later tested, which confirms the gain brought by the new architecture.An alternative version of the machine, with a field winding attached to the stator and a massive rotor is then proposed. This machine promises to be cost-effective to build and robust thanks to its massive rotor. An analytical model of the machine is introduced, along with a finite element simulation, to end with the test of a prototype which confirms the possibilities of this new concept. An improved version of the machine with a rotor with isolated teeth is finally studied, with an analytical model and a finite element leading to the validation of the interest of this evolution.

Utveckling inom digitala- och sociala medier håller på att omdefiniera hur åskådarskap kommer se ut i framtiden. I kombination med en pandemi och en global klimatkris ställer det nya krav på hur sportarenor kan generera besökare till sina evenemang. Studiens syfte var därför att skapa förståelse för vilka förväntningar besökaren har på en virtuell arena samt skapa förståelse för vilka faktorer som är avgörande för användarens avsikt att besöka en virtuell arena. Studien har en kvalitativ ansats och empiri har samlats in genom tre strukturerade fokusgrupper. Unified theory of acceptance and use of technology 2 (UTAUT 2) användes som baslinje i studien och har utifrån analys och diskussion av studiens empiri utökats med fler element för att vara applicerbar i den befintliga fallet. Resultatet visade att en virtuell arena bör bidra med ett mervärde jämfört med en fysisk arena. Detta genom tillgång till exklusivt material och exklusiva områden. Vidare drogs slutsatserna att förväntad möjlighet till social interaktion, förväntad förbättrad informations- och upplevelsekonsumtion och förväntad möjlighet till personaliserad upplevelse har indirekt inverkan på användarens avsikt att använda den virtuella arenan genom hedonisk motivation och prestationsförväntan. Förväntad ansträngning visade sig vara en avgörande faktor som i sin tur påverkas av tillgänglighet, användarvänlighet och teknisk prestanda. Prisvärde visade sig vara en starkt avgörande faktor. Slutligen konstaterades intresse för sporten vara en ny modererande faktor med direkt inverkan på användarens avsikt att besöka den virtuella arenan. / Development within digital and social media is redefining how spectators will experience sport in the future. In combination with a pandemic and a global climate crisis, it creates new demands on how sports arenas can generate visitors to their events. The aim of this study was therefore to gain an understanding of the visitor’s expectations on a virtual arena as well as to identify key factors that affect the consumer’s intention to visit a virtual arena. The study has a qualitative approach and empirical data has been collected through three structured focus groups. Unified Theory of acceptance and use of technology 2 (UTAUT 2) was used as a theoretical foundation and was extended with more elements through analysis and discussion, to better suit the current situation. The results of the study indicated that a virtual arena should contribute added value compared to a physical arena, through access to exclusive material and exclusive areas. Furthermore, it was concluded that expected opportunity for social interaction, expected improved information- and experience consumption and expected opportunity for personalized experience have an indirect impact on the visitor’s intention to use the virtual arena through hedonic motivation and performance expectancy. Effort expectancy proved to be a crucial factor which in turn is affected by accessibility, ease of use, and technical performance. Price value is shown to be a strong decisive factor. Finally, it is stated that interest in the sport is a new moderating factor with a direct impact on the user’s intention to visit the virtual arena.