Browsing by Author "Huang, Shih-Yi"

Now showing 1 - 2 of 2

Fatty acid components in Asian female patients with irritable bowel syndrome
(2017-12-01)
Chua, Chian Sem
;
Huang, Shih-Yi
;
Cheng, Chiao-Wen
;
Bai, Chyi-Huey
;
Hsu, Chien-Yeh
Abdominal pain is one of the key symptoms of irritable bowel syndrome (IBS). Studies have indicated an increase in the incidence of IBS in Asia. However, yet the pathophysiology of this disease remains unknown. Women are more likely to develop the condition than men, especially the constipation-predominant type. Essential fatty acid (EFA) malnutrition is one of several theories discussing the mechanism of IBS. The authors hypothesized that significant EFA deficiency may cause abdominal pain in patients with IBS. However, because patterns in the oral intake of EFAs differ between cultures, the authors narrowed this study to examine the nutritional status of Asian female patients with IBS The authors investigated Asian female patients with IBS and compared them with a group of healthy controls. Thirty patients with IBS and 39 healthy individuals were included in this study. The participants' age, height, weight, and waist size were recorded. The 24-item Hamilton Depression Rating Scale was documented. Both erythrocyte and plasma fatty acid content were analyzed through gas-liquid chromatography. The authors found that patients with IBS exhibited significantly higher scores for depression, higher proportions of plasma saturated fatty acids and monounsaturated fatty acids, and lower proportions of docosahexaenoic acid and total omega-3 polyunsaturated fatty acids in plasma are associated with IBS in Asian female patients. Further study is indicated to confirm the causality of this association.
Towards Consistent Software Defined Networking with Logic Programming
(2015)
Lui, Eric
;
Wu, Yu-Sung
;
Ngai, Patrick
;
Lin, Tung-Yueh
;
Li, Hong-Wei
Software Defined Networking (SDN) allows the construction of virtual networks on top of a datacenter network infrastructure. However, the flexibility also increases the chance of inconsistencies in the network configurations caused by component failures, software bugs, or human errors. The inconsistencies may result in service outage or security policy violation. We propose a model-based verification system to check the consistency of a virtual network. The system models the requirements as logic constraints and extracts the configuration states of a virtual network. The configuration states are checked against the logic constraints by using a SMT solver[1]. The prototype system successfully detects various inconsistencies injected to the testbed and incurs reasonable amount of overheads.