http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Formal Verification of Twin Clutch Gear Control System
Muhammad Zaman,Amina Mahmood,Muhammad Atif,Muhammad Adnan Hashmi,Muhammad Kashif,Mudassar Naseer International Journal of Computer ScienceNetwork S 2024 International journal of computer science and netw Vol.24 No.3
Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gearshifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in ["M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005"], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements.
Metabolites of Marine Algae Collected from Karachi-coasts of Arabian Sea
Muhammad Shaiq Ali,Muhammad Jahangir,Muhammad Saleem,Muhammad Kashif Pervez,Shaista Hameed,Viqar Uddin Ahmad 한국생약학회 2000 Natural Product Sciences Vol.6 No.2
The ethanolic extracts of marine green, brown and red algae collected from Karachi coasts of Arabian Sea afforded a new enol-derivative of N-acylsphingosine named as coelarthenol (1) from Coelarthrum muelleri, two new glucose-derivatives named: botryenal (2) and botryenol (3) from Botryocladia leptopoda, α-tocopherol quinone (4) from Codium iyengarii, β-sitosterol and hexadecanoic acid from Stokeyia indica. The known constituents (4, β-sitosterol & hexadecanoic acid) have not been reported so far from their corresponding sources and the structures were determined through spectroscopic methods, whereas, the structures of new constituents (1-3) were elucidated with the aid of selective HMBC experiments. The phytotoxicity of 4 was also monitored.
Muhammad Kashif Iqbal Khan,Abid Aslam Maan,Rana Muhammad Aadil,Akmal Nazir,Masood Sadiq Butt,Muhammad Imtiaz Rashid,Muhammad Inam Afzal 한국식품과학회 2020 Food Science and Biotechnology Vol.29 No.4
Onion and ginger are rich sources of bioactive compounds which are lost during conventional drying process. The present study was designed to optimize the novel Microwave Assisted Drying and Extraction technique (MADE) for simultaneous drying and extraction/recovery of bioactive compounds from model food products. The time required for drying of samples was 11 (onion) and 16 (ginger) minutes with recovery yield of 87% (onion) and 85% (ginger). The drying time was reduced to 100 times compared to hot air drying and moisture ratio of dried samples was best described by Midilli model. The diffusivities of onion and ginger slices were 1.27 e-11 and 1.43 e-11 m2/s, respectively. Moreover, microwave-based extraction was compared with conventional one. The results of antioxidant activity and total phenolic contents of condensates obtained through MADE were higher compared to conventional method. In short, MADE exhibited better yield of extraction and drying properties compared to conventional methods.
MAJEED, Muhammad Kashif,JUN, Ji Cheng,ZIA-UR-REHMAN, Muhammad,MOHSIN, Muhammad,RAFIQ, Muhammad Zeeshan Korea Distribution Science Association 2020 The Journal of Asian Finance, Economics and Busine Vol.7 No.4
The main objective of this research is to investigate the impact of board size and board composition on financial performance of banks. The sample of this study consists on two countries listed bank sector Pakistan and China. The annul data is used from 2009-2018 to find the objective of this study. The Panel regression model is used to check the relationship between dependent and independent variables. Return on Asset and Return on Equity is used as performance checker dependent variables. The results of this study confirm board size coefficient value positive for ROA and negative for ROE but shows insignificant behavior for Pakistani banking sector while in Chinese banking sector the coefficient value of board size positively for ROA and ROE at 10% level. The board composition coefficient shows the negatively significant with ROA but insignificantly related to ROE for Pakistani banking sector. However, in Chinese banking sector the coefficient value of board composition is insignificant for both ROA and ROE. This study is helpful for banks, management of banks, policy makers, researcher as well as Government.
Aslam, Muhammad,Ahmad, Rizwan,Yasin, Muhammad,Khan, Asim Laeeq,Shahid, Muhammad Kashif,Hossain, Shakhawat,Khan, Zakir,Jamil, Farrukh,Rafiq, Sikander,Bilad, Muhammad Roil,Kim, Jeonghwan,Kumar, Gopalakr Elsevier 2018 Bioresource technology Vol.269 No.-
<P><B>Abstract</B></P> <P>Biohydrogen as one of the most appealing energy vector for the future represents attractive avenue in alternative energy research. Recently, variety of biohydrogen production pathways has been suggested to improve the key features of the process. Nevertheless, researches are still needed to overcome remaining barriers to practical applications such as low yields and production rates. Considering practicality aspects, this review emphasized on anaerobic membrane bioreactors (AnMBRs) for biological hydrogen production. Recent advances and emerging issues associated with biohydrogen generation in AnMBR technology are critically discussed. Several techniques are highlighted that are aimed at overcoming these barriers. Moreover, environmental and economical potentials along with future research perspectives are addressed to drive biohydrogen technology towards practicality and economical-feasibility.</P> <P><B>Highlights</B></P> <P> <UL> <LI> Anaerobic membrane bioreactor technology for biohydrogen production is overviewed. </LI> <LI> Enhancement of biohydrogen yield and generation rates via various strategies is discussed. </LI> <LI> Techno-economic and environmental impacts of this approach are addressed. </LI> </UL> </P> <P><B>Graphical abstract</B></P> <P>[DISPLAY OMISSION]</P>