http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Hierarchical Coloured Petri Net based Random Direction Mobility Model for Wireless Communications
( Naeem Akhtar Khan ),( Farooq Ahmad ),( Syed Asad Hussain ),( Mudasser Naseer ) 한국인터넷정보학회 2016 KSII Transactions on Internet and Information Syst Vol.10 No.8
Most of the research in the area of wireless communications exclusively relies on simulations. Further, it is essential that the mobility management strategies and routing protocols should be validated under realistic conditions. Most appropriate mobility models play a pivotal role to determine, whether there is any subtle error or flaw in a proposed model. Simulators are the standard tool to evaluate the performance of mobility models however sometimes they suffer from numerous documented problems. To accomplish the widely acknowledged lack of formalization in this domain, a Coloured Petri nets (CPNs) based random direction mobility model for specification, analysis and validation is presented in this paper for wireless communications. The proposed model does not suffer from any border effect or speed decay issues. It is important to mention that capturing the mobility patterns through CPN is challenging task in this type of the research. Further, an appropriate formalism of CPNs supported to analyze the future system dynamic status. Finally the formal model is evaluated with the state space analysis to show how predefined behavioral properties can be applied. In addition, proposed model is evaluated based on generated simulations to track origins of errors during debugging.
Akhtar Muhammad Uzair,Hifzulrahman,Pasha Talat Naseer,Avais Muhammad,Khan Nauman,Chishti Ghazanfar Ali,Ali Mubashar,Imran Muhammad,Tahir Muhammad Naeem,Naveed-ul-Haque Muhammad 아세아·태평양축산학회 2023 Animal Bioscience Vol.36 No.6
Objective: Hyperketonemia remains a major metabolic issue of serious milk production and a major health concern in early lactation cows. Oral supplementation of glucose precursors (GP) can be used to prevent hyperketonemia in dairy cows. The objective of this study was to compare the beneficial effects of orally supplementing a mixture of GP on metabolic health indicators and milk production status of primiparous (PP) and multiparous (MP) dairy cows. Methods: Twenty-eight Holstein cows were blocked by expected date of parturition, previous lactation yield, and parity. The cows were randomly allocated to one of the four treatment groups (n = 7 cows/group) based on their parity and GP supplementation: i) PP cows fed basal diet only (PP-CON), ii) PP cows with oral supplementation of GP (PP-GP), iii) MP cows fed basal diet only (MP-CON), and iv) MP cows with oral supplementation of GP (MP-GP). Glucose precursor (glycoline liquid) was orally drenched (300 mL/d) in GP cows from 7 days prepartum through 7 days postpartum. Other than GP supplementation, all cows were fed similar pre- and postpartum basal diets. Results: In both pre- and postpartum periods, serum glucose concentration was increased, whereas β-hydroxybutyrate and free fatty acids were decreased in GP cows compared with the CON cows. Milk yield and milk components were statistically not different between GP and CON cows over the first 9 week of lactation. The yield of actual milk, energycorrected milk, 63-days cumulative milk, colostrum yield, and calf birth weight remained higher in MP cows compared with PP cows. Conclusion: Oral drenching of GP around calving can be recommended to successfully improve the metabolic health and reduce the negative effects of hyperketonemia not only in MP but also in PP dairy cows.