Sökning: "Man Lin"

Visar resultat 1 - 5 av 17 avhandlingar innehållade orden Man Lin.

1. 1. Formal analysis of reactive rule-based programs

   Författare :Man Lin; Linköpings universitet; []
   Nyckelord :;

   Sammanfattning : .... LÄS MER

3. 2. Analysis and synthesis of reactive systems : a generic layered architecture perspective

   Författare :Man Lin; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Computer science; Datavetenskap;

   Sammanfattning : This thesis studies methods and tools for the development of reactive real-time control systems. The development framework is called Generic Layered Architecture (GLA). The work focuses on the analysis and synthesis of software residing in the lowest two layers of GLA, namely, the Process Layer and the Rule Layer. LÄS MER

4. 3. Islet insulin secretory patterns in diabetes and the role of UCP2

   Författare :Jian-Man Lin; Valdemar Grill; Uppsala universitet; []
   Nyckelord :MEDICIN OCH HÄLSOVETENSKAP; MEDICAL AND HEALTH SCIENCES; Cell biology; type 1 diabetes; type 2 diabetes; NOD; GK; congenes; KKAy; human; islet; glucose; insulin release; oscillation; frequency; amplitude; oxidation; respiration; UCP2; western blot; Cellbiologi; Cell biology; Cellbiologi; medicinsk cellbiologi; Medical Cell Biology;

   Sammanfattning : During development of type 1 and type 2 diabetes plasma insulin patterns are altered. Since the islet insulin release pattern has been implicated in this development, insulin secretion from single islets was studied and linked to the islet protein levels of uncoupling protein-2 (UCP2). LÄS MER

5. 4. Teleoperation and the influence of driving feedback on drivers’ behaviour and experience

   Författare :Lin Zhao; Mikael Nybacka; Pernilla Ulfvengren; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Teleoperation; driving behaviour; driving feedback; driving performance; driving experience; motion cueing feedback; steering force feedback; Farkostteknik; Vehicle and Maritime Engineering;

   Sammanfattning : Automated vehicles (AVs) have been developing at a rapid pace over the past few years. However, many difficulties still remain for achieving full Level-5 AVs. This signifies that AVs still require human operators to intervene or assist, such as taking over control of AVs or selecting their routes. LÄS MER

7. 5. Formation of Bainite Studied by In-situ High-energy X-ray Diffraction

   Författare :Sen Lin; Peter Hedström; Annika Borgenstam; Sébastien Allain; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Steel; Bainitic transformation; High-energy X-ray diffraction; Electron microscopy; Carbon diffusion; Thermodynamics and kinetics; Microstructure evolution; 高强钢; 贝氏体转变; 原位高能X射线衍射; 扫描与透射电子显微镜; 碳扩散; 热力学与动力学; 微观结构表征; Stål; Bainitiska fasomvandlingen; Högenergi-röntgendiffraktion; Elektronmikroskopi; Koldiffusion; Termodynamik och kinetik; Mikrostrukturutveckling; Materials Science and Engineering; Teknisk materialvetenskap;

   Sammanfattning :       Bainitic steels have attracted great attentions in recent years due to their excellent combination of properties to accommodate a wide range of applications. A deep and comprehensive understanding of how bainite forms is required to better design the production process and optimize the properties of bainitic steels. LÄS MER