Symposium on Advances in Electrical, Electronics and Computer Engineering最新文献

筛选
英文 中文
Synthesizing reversible functions via bounded model checking 基于有界模型检验的可逆函数合成
Xiaoyan Zeng, Jinzhao Wu, Guowu Yang
{"title":"Synthesizing reversible functions via bounded model checking","authors":"Xiaoyan Zeng, Jinzhao Wu, Guowu Yang","doi":"10.1117/12.2680559","DOIUrl":"https://doi.org/10.1117/12.2680559","url":null,"abstract":"We consider the problem of synthesizing optimized circuits for reversible functions using NOT, CNOT and Toffoli gates (NCT), which has important applications in circuit design and quantum cryptography. By defining the state space and state transitions from NCT gates, we transform the synthesis problem into a reachability problem of finding the shortest path connecting the identity function and the targeted function that is to be synthesized. Using Bounded Model Checking (BMC), we propose an algorithm for synthesizing the optimized circuit for reversible functions. For the synthesis of linear reversible functions, we design another method by directly parametrizing the linear invertible matrix. Our methods can produce optimal synthesis of reversible circuits when the number of bits is small, and also can be used as a subroutine of heuristic methods for large bits. Experimental results show the effectiveness of our methods.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115313454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Exploration of frame animation technology based on WinCE platform 基于WinCE平台的帧动画技术探索
Ying Deng, Yuanhui Yu
{"title":"Exploration of frame animation technology based on WinCE platform","authors":"Ying Deng, Yuanhui Yu","doi":"10.1117/12.2680233","DOIUrl":"https://doi.org/10.1117/12.2680233","url":null,"abstract":"The exploration of frame animation technology based on WinCE platform frame animation is a common animation form that decomposes animation actions in consecutive key frames, that is, draws different content on each frame of the timeline and makes it play continuously into animation. This paper introduces the basic concept of WinCE, shows in detail how to build the development environment of WinCE, and studies the implementation technology of frame animation based on WinCE embedded operating system, and gives a detailed schematic diagram. Finally, the main process of realizing frame animation is introduced in detail with a complete example. Finally, a complete example is used to introduce the main process of frame animation in detail.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115377055","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A semi-supervised learning for teacher-student model based on structural reparameterization 基于结构重参数化的师生模型半监督学习
Yingying Kang, Hongfei Zhao, Yuting Tian
{"title":"A semi-supervised learning for teacher-student model based on structural reparameterization","authors":"Yingying Kang, Hongfei Zhao, Yuting Tian","doi":"10.1117/12.2680652","DOIUrl":"https://doi.org/10.1117/12.2680652","url":null,"abstract":"Semi-supervised learning (SSL) has attracted much interest for its ability to increase model performance using unlabeled data in recent years. The mainstreaming SSL frameworks are built on the teacher-student model. However, the structural reparameterization (SR) model has not been thoroughly studied in the teacher-student model. The SR technology enhances model capacity and improves performance during the training phase. Therefore, we introduce the SR model in the SSL framework, where the SR model is adopted to construct the teacher-student model for image classification. The consistency regularization is applied to the teacher and student models, and the teacher model’s weights are updated based on the exponential moving average (EMA) strategy. To verify the effectiveness of our approach, we conduct experiments using the CIFAR-10 and Food-101 datasets. Compared to the supervised learning of the SR model, our SSL framework has achieved better performance on these datasets.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117189284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Methods for monitoring electricity market operations under multiple timescale transactions 多时标交易下电力市场运行监测方法
C. Haidong, Z. Jisheng, Qiao Ning, Zhang Chao, Jing Hua, Li Qiang
{"title":"Methods for monitoring electricity market operations under multiple timescale transactions","authors":"C. Haidong, Z. Jisheng, Qiao Ning, Zhang Chao, Jing Hua, Li Qiang","doi":"10.1117/12.2680009","DOIUrl":"https://doi.org/10.1117/12.2680009","url":null,"abstract":"With the expansion of the coverage of the electricity market, the impact of the electricity market operation on the security of electricity supply has gradually increased, and the importance of electricity market operation monitoring has also risen. To this end, based on the summary of previous research results, this paper proposes a set of monitoring index system suitable for the existence of multiple trading time order electricity markets in four aspects: power deviation situation, tariff deviation situation, quotation strategy effectiveness situation and arbitrage situation, and constructs a comprehensive index for electricity market operation monitoring by combining hierarchical analysis method to provide reference for market managers.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125912454","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Study on the stability of power market regulation under the multi-user coupling demand response 多用户耦合需求响应下电力市场调控稳定性研究
Yufang Liu, Ping Huang, Zeyang Liu, L. Yang, Di Huang
{"title":"Study on the stability of power market regulation under the multi-user coupling demand response","authors":"Yufang Liu, Ping Huang, Zeyang Liu, L. Yang, Di Huang","doi":"10.1117/12.2680213","DOIUrl":"https://doi.org/10.1117/12.2680213","url":null,"abstract":"In order to guide the demand-side electricity consumption behaviour of users, after investigating the whole social electricity consumption load of a county in southern China, according to the demand response, time-of-use electricity price and the reality of China's electricity market, this paper adopts the fast non-dominated sorting genetic algorithm with elite strategy to conduct a more in-depth optimization study on the demand-side management measures of three different users, and the conclusions are as follows: Combined with the practical problems in the electricity market transaction, a mathematical model with the minimum peak-valley difference of the load curve and the maximum power consumption comfort as the objective function is built, and the bundle of variables is established. The optimization results show that the multi-objective optimization on the demand side is slightly insufficient in smoothing the load curve, but considering the comfort of users' electricity consumption, the multi-objective optimization will improve its comprehensive performance and have stronger practicability, which can play a guiding role in the demand response behaviour of users and power trading in the power market, and provide a theoretical basis for actual trading.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"663 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123452510","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on multidimensional risk assessment system of renewable energy distribution network based on value at risk 基于风险价值的可再生能源配电网多维风险评估体系研究
Yang Liu, Lisheng Li, Yong Sun, Shidong Zhang, Di Wang, Q. Ai
{"title":"Research on multidimensional risk assessment system of renewable energy distribution network based on value at risk","authors":"Yang Liu, Lisheng Li, Yong Sun, Shidong Zhang, Di Wang, Q. Ai","doi":"10.1117/12.2680395","DOIUrl":"https://doi.org/10.1117/12.2680395","url":null,"abstract":"In order to reflect the impact of source-load uncertainty on the overall operation risk of the power system in the future time interval, this paper establishes a multi-dimensional risk assessment system for renewable energy distribution networks based on value-at-risk. Firstly, the output probability model and load probability model of wind power photovoltaic are established, and then the sampling combination and power flow calculation are carried out based on the Monte Carlo method, and the corresponding node voltage and branch power flow results are obtained. Calculate the two risk indicators of branch power limit and node voltage limit at each prediction time of the distribution network, and use them as the first dimension risk assessment index; secondly, based on the value-at-risk theory to quantitatively evaluate the system risk, calculate the second dimension risk assessment Index; Finally, calculate the third dimension risk assessment index, calculate the comprehensive risk index through the entropy weight method, and comprehensively and reasonably analyze the operation risk of the distribution network under the access of different amounts of renewable energy. Finally, the rationality of the proposed model and method is verified by IEEE33 example system.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122766958","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Research on intelligent electronic manhole cover system based on edge computing 基于边缘计算的智能电子井盖系统研究
Ang Ren, Shuai Shao, Shaowei Ge, Xiaotong Yang, Dequan Li, Peiyue Wang, Mingwei Yan
{"title":"Research on intelligent electronic manhole cover system based on edge computing","authors":"Ang Ren, Shuai Shao, Shaowei Ge, Xiaotong Yang, Dequan Li, Peiyue Wang, Mingwei Yan","doi":"10.1117/12.2680048","DOIUrl":"https://doi.org/10.1117/12.2680048","url":null,"abstract":"In order to solve the problems of difficult control of cable wellhead, loss of manhole cover, illegal invasion, cable theft and cutting, etc., an intelligent electronic manhole cover is developed, which integrates multiple unlocking methods, edgeconnected agent, regional linkage and power supply module, and an intelligent electronic manhole cover management system is designed. The intelligent manhole cover adopts Internet of Things technologies such as edge calculation, AI image recognition, linkage control, etc., and realizes the functions of alarming abnormal conditions such as illegal opening, tilting and vibration of the manhole cover, monitoring toxic and harmful gases and temperature and humidity, and uploading the perceived data to the management system. This not only solves the problems of weak management of cable channel entrance and safe entry into the well, but also improves the intrinsic safety level of cable lines and channel equipment, and promotes the grass-roots transportation, inspection, quality and efficiency.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130618318","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Distribution network fault recovery strategy based on IBPSO-SA algorithm 基于IBPSO-SA算法的配电网故障恢复策略
Yi Wu, Enming Bai, Yan Zhang
{"title":"Distribution network fault recovery strategy based on IBPSO-SA algorithm","authors":"Yi Wu, Enming Bai, Yan Zhang","doi":"10.1117/12.2680088","DOIUrl":"https://doi.org/10.1117/12.2680088","url":null,"abstract":"In order to further improve the efficiency and reliability of the active distribution net-work in the process of failure recovery, based on the IBPSO-SA algorithm, the failure recovery analysis of the active distribution network with a high proportion of distributed power sources is carried out. On the basis of preliminary isolated island partitioning, the three objective functions of the largest total amount of important load recovery, the smallest network loss, and the smallest number of switching operations are considered comprehensively. The IBPSO-SA algorithm is used to solve the optimal fault recovery strategy. The IEEE33-node distribution network model is used for simulation verification. The results show that the time-varying and load characteristic models of photovoltaic energy storage systems are superior, and the active distribution network fault recovery strategy based on the IBPSO-SA algorithm can reliably restore power supply.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114066389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development method of a new broadband high precision voltage divider and comparative analysis of measurement accuracy 一种新型宽带高精度分压器的研制方法及测量精度的比较分析
Ying Zhao, Hao Chen, Tian Tang, Z. Xu, Guang Dong Hou, Ke Song
{"title":"Development method of a new broadband high precision voltage divider and comparative analysis of measurement accuracy","authors":"Ying Zhao, Hao Chen, Tian Tang, Z. Xu, Guang Dong Hou, Ke Song","doi":"10.1117/12.2680677","DOIUrl":"https://doi.org/10.1117/12.2680677","url":null,"abstract":"The measurement and control of harmonics in extra high voltage direct current (EHV DC) transmission lines is an important guarantee for the safe operation of the EHV DC transmission system. According to the operation it is concluded that when the grid frequency fluctuates, the frequency of AC harmonics will also fluctuate. In the face of frequency fluctuations, the measurement results obtained from the raw data have a large error and have exceeded the design requirements. In order to explore the proper measurement method, further research on voltage harmonics in AC-DC networks under wide band is needed. The new wide-band high-precision voltage divider is the main equipment for measurement and control protection in extra-high voltage DC transmission lines. In this paper, the new wide-band high-precision voltage divider is described from several aspects, such as development method, stray capacitance additional error solution method, experimental test, and experimental result analysis. The experimental results show that the new wide-band high-precision voltage divider can accurately measure the harmonics in the AC-DC transmission network and is verified by Fourier analysis, and the measurement accuracy can meet the accuracy requirements of less than 0.2% at 50Hz and less than 1% from 50-3000Hz.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121703201","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimized modular inversion algorithm over prime fields and hardware implementation 优化的素数域模块化反演算法及硬件实现
Hao Yu, Zhe Yu, Lin Han
{"title":"Optimized modular inversion algorithm over prime fields and hardware implementation","authors":"Hao Yu, Zhe Yu, Lin Han","doi":"10.1117/12.2680271","DOIUrl":"https://doi.org/10.1117/12.2680271","url":null,"abstract":"The modular inversion operations in the prime fields play an important role in the whole elliptic curve cryptosystem, and its operation speed directly determines the execution efficiency of the whole cryptosystem. The binary extended Euclidean algorithm in the existing general modular inversion algorithm is improved to obtain an optimized new algorithm. The new algorithm improves the shift efficiency of the original algorithm and reduces the cost of hardware resources. The 256-bit adder used in the new algorithm is split and reassembled, and the carry lookahead logic is used between groups. The addition and subtraction components are pipelined to improve data throughput. The algorithm is implemented using Verilog hardware description language and verified successfully on Virtex - 7 FPGA development board. The verification results show that the design can correctly handle 256-bit modular inversion operations, and the single calculation only consumes 1.12 μs.","PeriodicalId":201466,"journal":{"name":"Symposium on Advances in Electrical, Electronics and Computer Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114857270","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
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学术文献互助群
群 号:481959085
Book学术官方微信