[Lecture Notes in Computer Science] Computer Aided Verification Volume 3114 || MCK: Model Checking the Logic of Knowledge
- 作者Alur, Rajeev; Peled, Doron A.
- 文件大小99.09KB
- 发表时间2004
- DOI10.1007/978-3-540-27813-9_41
- 页码479-483
Numerical and Experimental Verification of a 3D Quasi-Optical SystemLu, Zejian; Liu, Xiaoming; Wang, Hai; Chen, Xiaodong; Yao, Yuan; Yu, Junsheng · International Journal of Antennas and Propagation · 2015
A Modular Gaussian Beam Analysis Method Based on 3-D Diffraction TechniqueLu, Zejian; Liu, Xiaoming; Wang, Hai; Chen, Xiaodong; Yao, Yuan; Yu, Junsheng · IEEE Antennas and Wireless Propagation Letters · 2015
Investigations on Shaped Mirror Systems in Quasi-Optical Mode Converters Based on Irradiance Moments MethodWang, Hai; Lu, Zejian; Liu, Xiaoming; Yu, Junsheng; Yao, Yuan; Chen, Xiaodong; Qi, Limei; Chen, Zhijiao · International Journal of Antennas and Propagation · 2016
[IEEE 2014 International Symposium on Antennas & Propagation (ISAP) - Kaohsiung, Taiwan (2014.12.2-2014.12.5)] 2014 International Symposium on Antennas and Propagation Conference Proceedings - Gaussian beam for antennas field pattern synthesisWang, Hai; Lu, Zejian; Cheng, Fangyuan; Wang, Jingjuan; Liu, Xiaoming; Yao, Yuan; Yu, Junsheng; Chen, Xiaodong · 2014
[IEEE 2016 IEEE International Conference on Microwave and Millimeter Wave Technology (ICMMT) - Beijing, China (2016.6.5-2016.6.8)] 2016 IEEE International Conference on Microwave and Millimeter Wave Technology (ICMMT) - Virtual array based APC for a tri-reflector CATRYifei Ma, ; Yuan Yao, ; Cheng Yang, ; Zejian Lu, ; Junsheng Yu, ; Xiaodong Chen, ; Hai Wang, ; Xiaoming Liu, ; Zhijiao Chen, ; Limei Qi, · 2016
[IEEE 2016 IEEE 9th UK-Europe-China Workshop on Millimetre Waves and Terahertz Technologies (UCMMT) - Qingdao, China (2016.9.5-2016.9.7)] 2016 IEEE 9th UK-Europe-China Workshop on Millimetre Waves and Terahertz Technologies (UCMMT) - Broadband wire grid polarizer application in millimeter wave frequencyWang, Hai; Liu, Xiaoming; Lu, Zejian; Yu, Junsheng; Yao, Yuan; Liu, Hairui; Qi, Limei; Chen, Zhijiao; Chen, Xiaodong · 2016
[IEEE 2016 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization (NEMO) - Beijing, China (2016.7.27-2016.7.29)] 2016 IEEE MTT-S International Conference on Numerical Electromagnetic and Multiphysics Modeling and Optimization (NEMO) - The improvement of transmittance in capacitive grid polarizer with dielectric substrates by antireflection coatingWang, Hai; Liu, Xiaoming; Lu, Zejian; Yu, Junsheng; Yao, Yuan; Chen, Xiaodong · 2016
Magnetic boosters for multiband operationAndújar, Aurora; Anguera, Jaume · Microwave and Optical Technology Letters · 2013
Optical dot antennaBhardwaj, Abhinav; Kumar, V.Dinesh · Microwave and Optical Technology Letters · 2013
Isosceles triangular unequal power dividerRay, Sudhabindu; Kumar, Girish · Microwave and Optical Technology Letters · 2013
Graphene in Layered Medium ApplicationsSimsek, Ergun · Microwave and Optical Technology Letters · 2013
Wideband rectangular wearable jeans antennaRoy, Bivas; Sarkar, Partha Pratim; Chowdhury, Santosh · Microwave and Optical Technology Letters · 2013
Ultrawideband slotted semicircular patch antennaTelsang, Trupti M.; Kakade, A. B. · Microwave and Optical Technology Letters · 2014
Accurate broadband multiport reflectometerStaszek, Kamil; Gruszczynski, Slawomir; Wincza, Krzysztof · Microwave and Optical Technology Letters · 2014
Broadband 270° sectoral microstrip antennaDeshmukh, Amit A.; Jain, Ankita R.; Ray, Kamla P. · Microwave and Optical Technology Letters · 2014