Journal of Electronic Science and Technology最新文献

筛选
英文 中文
Image restoration using hybrid features improvement on morphological component analysis 基于形态成分分析的混合特征改进图像恢复
Journal of Electronic Science and Technology Pub Date : 2019-12-01 DOI: 10.1016/j.jnlest.2020.100014
Der-Chang Tseng , Ru-Yin Wei , Ching-Ta Lu , Ling-Ling Wang
{"title":"Image restoration using hybrid features improvement on morphological component analysis","authors":"Der-Chang Tseng ,&nbsp;Ru-Yin Wei ,&nbsp;Ching-Ta Lu ,&nbsp;Ling-Ling Wang","doi":"10.1016/j.jnlest.2020.100014","DOIUrl":"10.1016/j.jnlest.2020.100014","url":null,"abstract":"<div><p>Images are generally corrupted by impulse noise during acquisition and transmission. Noise deteriorates the quality of images. To remove corruption noise, we propose a hybrid approach to restoring a random noise-corrupted image, including a block matching 3D (BM3D) method, an adaptive non-local mean (ANLM) scheme, and the <em>K</em>-singular value decomposition (<em>K</em>-SVD) algorithm. In the proposed method, we employ the morphological component analysis (MCA) to decompose an image into the texture, structure, and edge parts. Then, the BM3D method, ANLM scheme, and <em>K</em>-SVD algorithm are utilized to eliminate noise in the texture, structure, and edge parts of the image, respectively. Experimental results show that the proposed approach can effectively remove interference random noise in different parts; meanwhile, the deteriorated image is able to be reconstructed well.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 4","pages":"Article 100014"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jnlest.2020.100014","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41688815","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Blockchain energy: Blockchain in future energy systems 区块链能源:未来能源系统中的区块链
Journal of Electronic Science and Technology Pub Date : 2019-12-01 DOI: 10.1016/j.jnlest.2020.100011
Bernd Teufel, Anton Sentic, Mathias Barmet
{"title":"Blockchain energy: Blockchain in future energy systems","authors":"Bernd Teufel,&nbsp;Anton Sentic,&nbsp;Mathias Barmet","doi":"10.1016/j.jnlest.2020.100011","DOIUrl":"10.1016/j.jnlest.2020.100011","url":null,"abstract":"<div><p>The ongoing, in-depth transformation of the electricity sector towards increased use of alternative, renewable energy sources extends beyond a simple decentralisation drive in the electricity market. The transformation process is characterised by the interplay of old and new technologies from the energy sector as well as structural coupling with other sectors, such as the information and communications technology (ICT), enabling the technology transfer as well as market entry by information technology (IT) actors. Blockchain-based technologies have the potential to play a key role in this transition by offering decentralised interfaces and systems as well as an alternative approach to the current organisation form of the energy market. This paper discusses the applicability and prospects for blockchain-based technologies in the energy sector, which are described using the term “blockchain energy”. For the purposes of this study, blockchain energy encompasses all socio-technical and organisational configurations in the energy sector based on the utilisation of the blockchain principle for energy trading, information storage, and/or increased transparency of energy flows and energy services. In the following chapters, the authors present and discuss the current transformation in the electricity market, followed by a review of the different utilisation possibilities for blockchain technologies in the energy sector and a discussion of the barriers and potential for blockchain energy using a transition studies perspective. Finally, the opportunities and risks of blockchain energy are discussed.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 4","pages":"Article 100011"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jnlest.2020.100011","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49367534","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 61
IoT-solar energy powered smart farm irrigation system 物联网太阳能智能农场灌溉系统
Journal of Electronic Science and Technology Pub Date : 2019-12-01 DOI: 10.1016/j.jnlest.2020.100017
A.R. Al-Ali , Ahmad Al Nabulsi , Shayok Mukhopadhyay , Mohammad Shihab Awal , Sheehan Fernandes , Khalil Ailabouni
{"title":"IoT-solar energy powered smart farm irrigation system","authors":"A.R. Al-Ali ,&nbsp;Ahmad Al Nabulsi ,&nbsp;Shayok Mukhopadhyay ,&nbsp;Mohammad Shihab Awal ,&nbsp;Sheehan Fernandes ,&nbsp;Khalil Ailabouni","doi":"10.1016/j.jnlest.2020.100017","DOIUrl":"10.1016/j.jnlest.2020.100017","url":null,"abstract":"<div><p>As the Internet of things (IoT) technology is evolving, distributed solar energy resources can be operated, monitored, and controlled remotely. The design of an IoT based solar energy system for smart irrigation is essential for regions around the world, which face water scarcity and power shortage. Thus, such a system is designed in this paper. The proposed system utilizes a single board system-on-a-chip controller (the controller hereafter), which has built-in WiFi connectivity, and connections to a solar cell to provide the required operating power. The controller reads the field soil moisture, humidity, and temperature sensors, and outputs appropriate actuation command signals to operate irrigation pumps. The controller also monitors the underground water level, which is essential to prevent the pump motors from burning due to the level in the water well. The proposed system has three modes of operations, i.e. the local control mode, mobile monitoring-control mode, and fuzzy logic-based control mode. For the purpose of the proposed system validation, a prototype was designed, built, and tested.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 4","pages":"Article 100017"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jnlest.2020.100017","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45560553","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 61
Technical investigation on V2G, S2V, and V2I for next generation smart city planning 面向下一代智慧城市规划的V2G、S2V、V2I技术研究
Journal of Electronic Science and Technology Pub Date : 2019-12-01 DOI: 10.1016/j.jnlest.2020.100010
MD. Shahrukh Adnan Khan , Kazi Mahtab Kadir , Khandaker Sultan Mahmood , Md Ibrahim Ibne Alam , Ainun Kamal , Md Mamoon Al Bashir
{"title":"Technical investigation on V2G, S2V, and V2I for next generation smart city planning","authors":"MD. Shahrukh Adnan Khan ,&nbsp;Kazi Mahtab Kadir ,&nbsp;Khandaker Sultan Mahmood ,&nbsp;Md Ibrahim Ibne Alam ,&nbsp;Ainun Kamal ,&nbsp;Md Mamoon Al Bashir","doi":"10.1016/j.jnlest.2020.100010","DOIUrl":"10.1016/j.jnlest.2020.100010","url":null,"abstract":"<div><p>The paper investigates a few of the major areas of the next generation technological advancement, “smart city planning concept”. The areas that the paper focuses are vehicle to grid (V2G), sun to vehicle (S2V), and vehicle to infrastructure (V2I). For the bi-directional crowd energy single entity concept, V2G and building to grid (B2G) are the primary parts of distributed renewable generation (DRG) under smart living. This research includes an in-depth overview of this three major areas. Next, the research conducts a case analysis of V2G, S2V, and V2I along with their possible limitations in order to find out the novel solutions for future development both for academia and industry levels. Lastly, few possible solutions have been proposed to minimize the limitations and to develop the existing system for future expansion.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 4","pages":"Article 100010"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jnlest.2020.100010","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46993910","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Receiver power allocation and transmitter power control analysis for multiple-receiver wireless power transfer systems 多接收机无线电力传输系统的接收机功率分配与发射机功率控制分析
Journal of Electronic Science and Technology Pub Date : 2019-12-01 DOI: 10.1016/j.jnlest.2020.100009
Zhi-Hao Guo, Shi-Er Dong
{"title":"Receiver power allocation and transmitter power control analysis for multiple-receiver wireless power transfer systems","authors":"Zhi-Hao Guo,&nbsp;Shi-Er Dong","doi":"10.1016/j.jnlest.2020.100009","DOIUrl":"10.1016/j.jnlest.2020.100009","url":null,"abstract":"<div><p>As different power has its own receivers, this paper analyzes and designs a multiple-receiver wireless power transfer (WPT) system systematically. The equivalent circuit model of the system is established to analyze the key parameters including transmitter power, receiver power, transmission efficiency, and each receiver power allocation. A control circuit is proposed to achieve the maximum transmission efficiency and transmitter power control and arbitrary receiver power allocation ratios for different receivers. Through the proposed control circuit, receivers with different loads can allocate appropriate power according to its power demand, the transmitter power and system efficiency do not vary with the change of the number of receivers. Finally, this control circuit is validated using a 130-kHz WPT system with three receivers whose power received is 3:10:12, and the overall system efficiency can reach as high as 55.5%.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 4","pages":"Article 100009"},"PeriodicalIF":0.0,"publicationDate":"2019-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/j.jnlest.2020.100009","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48496728","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Quantum Cryptography for Internet of Things Securitya 用于物联网安全的量子密码技术
Journal of Electronic Science and Technology Pub Date : 2019-09-01 DOI: 10.11989/JEST.1674-862X.90523016
Alekha Parimal Bhatt , Anand Sharma
{"title":"Quantum Cryptography for Internet of Things Securitya","authors":"Alekha Parimal Bhatt ,&nbsp;Anand Sharma","doi":"10.11989/JEST.1674-862X.90523016","DOIUrl":"10.11989/JEST.1674-862X.90523016","url":null,"abstract":"<div><p>Internet of things (IoT) is a developing technology with a lot of scope in the future. It can ease various different tasks for us. On one hand, IoT is useful for us, on the other hand, it has many serious security threats, like data breaches, side-channel attacks, and virus and data authentication. Classical cryptographic algorithms, like the Rivest-Shamir-Adleman (RSA) algorithm, work well under the classical computers. But the technology is slowly shifting towards quantum computing, which has immense processing power and is more than enough to break the current cryptographic algorithms easily. So it is required that we have to design quantum cryptographic algorithms to prevent our systems from security breaches even before quantum computers come in the market for commercial uses. IoT will also be one of the disciplines, which needs to be secured to prevent any malicious activities. In this paper, we review the common security threats in IoT and the presently available solutions with their drawbacks. Then quantum cryptography is introduced with some of its variations. And finally, the analysis has been carried out in terms of the pros and cons of implementing quantum cryptography for IoT security.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 3","pages":"Pages 213-220"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.11989/JEST.1674-862X.90523016","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42035180","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Special Section on Quantum Information Processing 量子信息处理专题
Journal of Electronic Science and Technology Pub Date : 2019-09-01 DOI: 10.11989/JEST.1674-862X.90730168
Hai-Zhi Song
{"title":"Special Section on Quantum Information Processing","authors":"Hai-Zhi Song","doi":"10.11989/JEST.1674-862X.90730168","DOIUrl":"10.11989/JEST.1674-862X.90730168","url":null,"abstract":"","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 3","pages":"Pages 193-194"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1674862X1930031X/pdfft?md5=908df29b39891f15ecedcc5651ca6820&pid=1-s2.0-S1674862X1930031X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47478809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Elimination of Spatial Side-Channel Information for Compact Quantum Key Distribution Sendersb 紧凑量子密钥分发发送端空间侧信道信息的消除[j]
Journal of Electronic Science and Technology Pub Date : 2019-09-01 DOI: 10.11989/JEST.1674-862X.90416014
Wei-Shao Huang , Wei Zhang , Yi-Dong Huang
{"title":"Elimination of Spatial Side-Channel Information for Compact Quantum Key Distribution Sendersb","authors":"Wei-Shao Huang ,&nbsp;Wei Zhang ,&nbsp;Yi-Dong Huang","doi":"10.11989/JEST.1674-862X.90416014","DOIUrl":"10.11989/JEST.1674-862X.90416014","url":null,"abstract":"<div><p>For a compact quantum key distribution (QKD) sender for the polarization encoding BB84 protocol, an eavesdropper could take a side-channel attack by measuring the spatial information of photons to infer their polarizations. The possibility of this attack can be reduced by introducing an aperture in the QKD sender, however, the effect of the aperture on the QKD security lacks of quantitative analysis. In this paper, we analyze the mutual information between the actual keys encoded at this QKD sender and the inferred keys at the eavesdropper (Eve), demonstrating the effect of the aperture to eliminate the spatial side-channel information quantitatively. It shows that Eve’s potential on eavesdropping spatial side-channel information is totally dependent on the optical design of the QKD sender, including the source arrangement and the aperture. The height of compact QKD senders with integrated light-emitting diode (LED) arrays could be controlled under several millimeters, showing great potential on applications in portable equipment.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 3","pages":"Pages 195-203"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.11989/JEST.1674-862X.90416014","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43190757","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Processing Mechanism of Chinese Verbal Jokes: Evidence from ERP and Neural Oscillations 汉语言语笑话的加工机制:来自ERP和神经振荡的证据
Journal of Electronic Science and Technology Pub Date : 2019-09-01 DOI: 10.11989/JEST.1674-862X.80520017
Xue-Yan Li , Hui-Li Wang , Pertti Saariluoma , Guang-Hui Zhang , Yong-Jie Zhu , Chi Zhang , Feng-Yu Cong , Tapani Ristaniemi
{"title":"Processing Mechanism of Chinese Verbal Jokes: Evidence from ERP and Neural Oscillations","authors":"Xue-Yan Li ,&nbsp;Hui-Li Wang ,&nbsp;Pertti Saariluoma ,&nbsp;Guang-Hui Zhang ,&nbsp;Yong-Jie Zhu ,&nbsp;Chi Zhang ,&nbsp;Feng-Yu Cong ,&nbsp;Tapani Ristaniemi","doi":"10.11989/JEST.1674-862X.80520017","DOIUrl":"10.11989/JEST.1674-862X.80520017","url":null,"abstract":"<div><p>The cognitive processing mechanism of humor refers to how the system of neural circuitry and pathways in the brain deals with the incongruity in a humorous manner. The past research has revealed different stages and corresponding functional brain activities involved in humor-processing in terms of time and space dimensions, highlighting the effects of the time windows of about 400 ms, 600 ms, and 900 ms. However, much less is known about humor processing in light of the frequency dimension. A total of 36 Chinese participants were recruited in this experiment, with Chinese jokes, nonjokes, and nonsensical sentences used as the stimuli. The experimental results showed that there were significant differences among conditions in the P200 effect, which signified that the incongruity detection had already been integrated and perceived at about 200 ms, prior to the semantic integration at about 400 ms. This pre-processing is specific to Chinese verbal jokes due to the simultaneous involvement of both orthographic and phonologic parts in processing Chinese characters. The analysis on the frequency dimension indicated that beta’s power particularly reflected the characteristics of different stages in Chinese verbal humor processing. Jokes’ and nonsensical sentences’ relative power changes on the beta band ranked significantly higher than that of nonjokes at about 200 ms, which suggested the existence of more difficulties in meaning construction in pre-processing the incongruities. This indicated a continuity between the analysis of event related potential (ERP) components and neural oscillations and revealed the key role of the beta frequency band in Chinese verbal joke processing.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 3","pages":"Pages 260-277"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S1674862X19300394/pdfft?md5=fb6fed11eca46b6797a32c5a3043c7fc&pid=1-s2.0-S1674862X19300394-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44688714","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Smart Dynamic Resource Allocation Model for Patient-Driven Mobile Medical Information System Using C4.5 Algorithm 基于C4.5算法的患者驱动移动医疗信息系统智能动态资源分配模型
Journal of Electronic Science and Technology Pub Date : 2019-09-01 DOI: 10.11989/JEST.1674-862X.71018117
Ching-Kan Lo , Hsing-Chung Chen , Pei-Yuan Lee , Ming-Chou Ku , Lidia Ogiela , Cheng-Hung Chuang
{"title":"Smart Dynamic Resource Allocation Model for Patient-Driven Mobile Medical Information System Using C4.5 Algorithm","authors":"Ching-Kan Lo ,&nbsp;Hsing-Chung Chen ,&nbsp;Pei-Yuan Lee ,&nbsp;Ming-Chou Ku ,&nbsp;Lidia Ogiela ,&nbsp;Cheng-Hung Chuang","doi":"10.11989/JEST.1674-862X.71018117","DOIUrl":"10.11989/JEST.1674-862X.71018117","url":null,"abstract":"<div><p>A mobile medical information system (MMIS) is an integrated application (app) of traditional hospital information systems (HIS) which comprise a picture archiving and communications system (PACS), laboratory information system (LIS), pharmaceutical management information system (PMIS), radiology information system (RIS), and nursing information system (NIS). A dynamic resource allocation table is critical for optimizing the performance to the mobile system, including the doctors, nurses, or other relevant health workers. We have designed a smart dynamic resource allocation model by using the C4.5 algorithm and cumulative distribution for optimizing the weight of resource allocated for the five major attributes in a cooperation communications system. Weka is used in this study. The class of concept is the performance of the app, optimal or suboptimal. Three generations of optimization of the weight in accordance with the optimizing rate are shown.</p></div>","PeriodicalId":53467,"journal":{"name":"Journal of Electronic Science and Technology","volume":"17 3","pages":"Pages 231-241"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.11989/JEST.1674-862X.71018117","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48737554","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信