Metal Additive Manufacturing(MAM) technology has become an important means of rapid prototyping precision manufacturing of special high dynamic heterogeneous complex parts. In response to the micromechanical defects s...Metal Additive Manufacturing(MAM) technology has become an important means of rapid prototyping precision manufacturing of special high dynamic heterogeneous complex parts. In response to the micromechanical defects such as porosity issues, significant deformation, surface cracks, and challenging control of surface morphology encountered during the selective laser melting(SLM) additive manufacturing(AM) process of specialized Micro Electromechanical System(MEMS) components, multiparameter optimization and micro powder melt pool/macro-scale mechanical properties control simulation of specialized components are conducted. The optimal parameters obtained through highprecision preparation and machining of components and static/high dynamic verification are: laser power of 110 W, laser speed of 600 mm/s, laser diameter of 75 μm, and scanning spacing of 50 μm. The density of the subordinate components under this reference can reach 99.15%, the surface hardness can reach 51.9 HRA, the yield strength can reach 550 MPa, the maximum machining error of the components is 4.73%, and the average surface roughness is 0.45 μm. Through dynamic hammering and high dynamic firing verification, SLM components meet the requirements for overload resistance. The results have proven that MEM technology can provide a new means for the processing of MEMS components applied in high dynamic environments. The parameters obtained in the conclusion can provide a design basis for the additive preparation of MEMS components.展开更多
There are many motors in operation or on standby in nuclear power plants,and the startup of group motors will have a great impact on the voltage of the emergency bus.At present,there is no special or inexpensive softw...There are many motors in operation or on standby in nuclear power plants,and the startup of group motors will have a great impact on the voltage of the emergency bus.At present,there is no special or inexpensive software to solve this problem,and the experience of engineers is not accurate enough.Therefore,this paper developed a method and system for the startup calculation of group motors in nuclear power plants and proposed an automatic generation method of circuit topology in nuclear power plants.Each component in the topology was given its unique number,and the component class could be constructed according to its type and upper and lower connections.The subordination and topology relationship of switches,buses,and motors could be quickly generated by the program according to the component class,and the simplified direct power flow algorithm was used to calculate the power flow for the startup of group motors according to the above relationship.Then,whether the bus voltage is in the safe range and whether the voltage exceeds the limit during the startup of the group motor could be judged.The practical example was used to verify the effectiveness of the method.Compared with other professional software,the method has high efficiency and low cost.展开更多
The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE...The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE) technique has become the third pillar of detonation research, along with theory and experiment, due to the detonation phenomenon is difficult to explain by the theoretical analysis, and the cost required to accredit the reliability of detonation products is very high, even some physical experiments of detonation are impossible. The numerical simulation technique can solve these complex problems in the real situation repeatedly and reduce the design cost and time stunningly. But the reliability of numerical simulation software and the serviceability of the computational result seriously hinders the extension, application and the self-restoration of the simulation software, restricts its independently innovational ability. This article deals with the physical modeling, numerical simulation, and software development of detonation in a unified way. Verification and validation and uncertainty quantification (V&V&UQ) is an important approach in ensuring the credibility of the modeling and simulation of detonation. V&V of detonation is based on our independently developed detonation multiphysics software-LAD2D. We propose the verification method based on mathematical theory and program function as well as availability of its program execution. Validation is executed by comparing with the experiment data. At last, we propose the future prospect of numerical simulation software and the CAE technique, and we also pay attention to the research direction of V&V&UQ.展开更多
As a powerful distributed data processing mechanism,MapReduce supports abundant parallel applications that process massive data on computer clusters.To process the massive data efficiently and correctly,a rational des...As a powerful distributed data processing mechanism,MapReduce supports abundant parallel applications that process massive data on computer clusters.To process the massive data efficiently and correctly,a rational design for the MapReduce procedure is desired.An irrational MapReduce procedure can cause great waste of computing resources and even paralyze the execution system.With the wide application of MapReduce,the unavoidable drawback of irrational MapReduce procedures becomes increasingly serious.To solve this problem,a method for verifying the rationality of a MapReduce procedure before executing it on a computer cluster is proposed.This method constructs the rationality criteria for MapReduce,and then studies an automatic approach for modelling MapReduce with an executable model object Petri net(OPN).Finally,the approaches for automatically identifying the rationality criteria by analyzing the consequence of model execution is developed.The results from extensive case studies demonstrate that the proposed method is feasible and effective.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
Two dynamic grey models DGM (1, 1) for the verification cycle and the lifecycle of measuring instrument based on time sequence and frequency sequence were set up, according to the statistical feature of examination da...Two dynamic grey models DGM (1, 1) for the verification cycle and the lifecycle of measuring instrument based on time sequence and frequency sequence were set up, according to the statistical feature of examination data and weighting method. By a specific case, i.e. vernier caliper, it is proved that the fit precision and forecast precision of the models are much higher, the cycles are obviously different under different working conditions, and the forecast result of the frequency sequence model is better than that of the time sequence model. Combining dynamic grey model and auto-manufacturing case the controlling and information subsystems of verification cycle and the lifecycle based on information integration, multi-sensor controlling and management controlling were given. The models can be used in production process to help enterprise reduce error, cost and flaw.展开更多
The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions.It is necessary to use accelerated storage test to verify the storage life of long storage products.Especially for small...The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions.It is necessary to use accelerated storage test to verify the storage life of long storage products.Especially for small sample products,it is very important to obtain prior information for the design and implementation of accelerated degradation test.In this paper,the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained.The results show that optocouplers have two failure modes,one is sudden failure and the other is degradation failure;the maximum temperature stress of optocoupler can’t exceed 140℃;the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip.The surface leakage current is proportional to the adsorption amount.The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler.The lifetime distribution model of the optocoupler is determined by the failure physics.The lifetime of the optocoupler is subject to the lognormal distribution.The degeneracy orbit of the optocoupler leakage current is described by a power law model.The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced.The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.展开更多
From the viewpoints of environmental conservation and energy efficiency,seawater-source heat pump system(SWHP) to provide district cooling and heating is applied in coastal areas.Based on the system,a heat transfer mo...From the viewpoints of environmental conservation and energy efficiency,seawater-source heat pump system(SWHP) to provide district cooling and heating is applied in coastal areas.Based on the system,a heat transfer model was established for cast heat exchanger(CHE) adopted by SWHP systems.The CHE consists of pipes immersed in the seawater and used for transferring heat between the seawater and the heat exchanger pipes of SWHP system.An experimental study was carried out to test the validity of the model.A program was developed in VB language and the effects of inlet temperature,flow rate of the secondary refrigerant and length of CHE on the results were investigated.The results of the numerical simulation are in consistence with the experiments in both winter and summer conditions.As a result,application of SWHP systems with CHE in coastal areas in China is feasible due to the favorable geographical conditions and environment.展开更多
Since a sensor node handles wireless communication in data transmission and reception and is installed in poor environment, it is easily exposed to certain attacks such as data transformation and sniffing. Therefore, ...Since a sensor node handles wireless communication in data transmission and reception and is installed in poor environment, it is easily exposed to certain attacks such as data transformation and sniffing. Therefore, it is necessary to verify data integrity to properly respond to an adversary's ill-intentioned data modification. In sensor network environment, the data integrity verification method verifies the final data only, requesting multiple communications. An energy-efficient private information retrieval(PIR)-based data integrity verification method is proposed. Because the proposed method verifies the integrity of data between parent and child nodes, it is more efficient than the existing method which verifies data integrity after receiving data from the entire network or in a cluster. Since the number of messages for verification is reduced, in addition, energy could be used more efficiently. Lastly, the excellence of the proposed method is verified through performance evaluation.展开更多
Low-frequency signals have been proven valuable in the fields of target detection and geological exploration.Nevertheless,the practical implementation of these signals is hindered by large antenna diameters,limiting t...Low-frequency signals have been proven valuable in the fields of target detection and geological exploration.Nevertheless,the practical implementation of these signals is hindered by large antenna diameters,limiting their potential applications.Therefore,it is imperative to study the creation of lowfrequency signals using antennas with suitable dimensions.In contrast to conventional mechanical antenna techniques,our study generates low-frequency signals in the spatial domain utilizing the principle of the Doppler effect.We also defines the antenna array architecture,the timing sequency,and the radiating element signal waveform,and provides experimental prototypes including 8/64 antennas based on earlier research.In the conducted experiments,121 MHz,40 MHz,and 10 kHz composite signals are generated by 156 MHz radiating element signals.The composite signal spectrum matches the simulations,proving our low-frequency signal generating method works.This holds significant implications for research on generating low-frequency signals with small-sized antennas.展开更多
In order to improve the overall resilience of the urban infrastructures, it is required to conduct blast resistant design for important building structures in the city. For complex terrain in the city, it is recommend...In order to improve the overall resilience of the urban infrastructures, it is required to conduct blast resistant design for important building structures in the city. For complex terrain in the city, it is recommended to determine the blast load on the structures via numerical simulation. Since the mesh size of the numerical model highly depends on the explosion scenario, there is no generally applicable approach for the mesh size selection. An efficient method to determine the mesh size of the numerical model of near-ground detonation based on explosion scenarios is proposed in this study. The effect of mesh size on the propagation of blast wave under different explosive weights was studied, and the correlations between the mesh size effect and the charge weight or the scaled distance was described. Based on the principle of the finite element method and Hopkinson-Cranz scaling law, a mesh size measurement unit related to the explosive weight was proposed as the criterion for determining the mesh size in the numerical simulation. Finally, the applicability of the method proposed in this paper was verified by comparing the results from numerical simulation and the explosion tests and was verified in AUTODYN.展开更多
To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from ...To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.展开更多
基于对新一代GPS(geometrical product specification and verification)中关键操作技术的深入分析,揭示提取与滤波、拟合之间固有的内在规律性,给出操作间参数的选用原则,为统筹优化几何误差数字化评定中的操作策略提供技术基础;最终...基于对新一代GPS(geometrical product specification and verification)中关键操作技术的深入分析,揭示提取与滤波、拟合之间固有的内在规律性,给出操作间参数的选用原则,为统筹优化几何误差数字化评定中的操作策略提供技术基础;最终通过实例验证关键操作集成化思想对几何误差评定的高效稳定性,不仅有利于实现几何误差数字化计量精度和成本的优化,而且还推进了新一代GPS标准体系关键技术的应用研究。展开更多
The waveform of the explosion shock wave under free-field air explosion is an extremely complex problem.It is generally considered that the waveform consists of overpressure peak,positive pressure zone and negative pr...The waveform of the explosion shock wave under free-field air explosion is an extremely complex problem.It is generally considered that the waveform consists of overpressure peak,positive pressure zone and negative pressure zone.Most of current practice usually considers only the positive pressure.Many empirical relations are available to predict overpressure peak,the positive pressure action time and pressure decay law.However,there are few models that can predict the whole waveform.The whole process of explosion shock wave overpressure,which was expressed as the product of the three factor functions of peak,attenuation and oscillation,was proposed in the present work.According to the principle of explosion similarity,the scaled parameters were introduced and the empirical formula was absorbed to form a mathematical model of shock wave overpressure.Parametric numerical simulations of free-field air explosions were conducted.By experimental verification of the AUTODYN numerical method and comparing the analytical and simulated curves,the model is proved to be accurate to calculate the shock wave overpressure under free-field air explosion.In addition,through the model the shock wave overpressure at different time and distance can be displayed in three dimensions.The model makes the time needed for theoretical calculation much less than that for numerical simulation.展开更多
With the increasing number of vehicles,manual security inspections are becoming more laborious at road checkpoints.To address it,a specialized Road Checkpoints Robot(RCRo)system is proposed,incorporated with enhanced ...With the increasing number of vehicles,manual security inspections are becoming more laborious at road checkpoints.To address it,a specialized Road Checkpoints Robot(RCRo)system is proposed,incorporated with enhanced You Only Look Once(YOLO)and a 6-degree-of-freedom(DOF)manipulator,for autonomous identity verification and vehicle inspection.The modified YOLO is characterized by large objects’sensitivity and faster detection speed,named“LF-YOLO”.The better sensitivity of large objects and the faster detection speed are achieved by means of the Dense module-based backbone network connecting two-scale detecting network,for object detection tasks,along with optimized anchor boxes and improved loss function.During the manipulator motion,Octree-aided motion control scheme is adopted for collision-free motion through Robot Operating System(ROS).The proposed LF-YOLO which utilizes continuous optimization strategy and residual technique provides a promising detector design,which has been found to be more effective during actual object detection,in terms of decreased average detection time by 68.25%and 60.60%,and increased average Intersection over Union(Io U)by 20.74%and6.79%compared to YOLOv3 and YOLOv4 through experiments.The comprehensive functional tests of RCRo system demonstrate the feasibility and competency of the multiple unmanned inspections in practice.展开更多
In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket’s departure ...In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket’s departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.展开更多
基金funded by the National Natural Science Foundation of China Youth Fund(Grant No.62304022)Science and Technology on Electromechanical Dynamic Control Laboratory(China,Grant No.6142601012304)the 2022e2024 China Association for Science and Technology Innovation Integration Association Youth Talent Support Project(Grant No.2022QNRC001).
文摘Metal Additive Manufacturing(MAM) technology has become an important means of rapid prototyping precision manufacturing of special high dynamic heterogeneous complex parts. In response to the micromechanical defects such as porosity issues, significant deformation, surface cracks, and challenging control of surface morphology encountered during the selective laser melting(SLM) additive manufacturing(AM) process of specialized Micro Electromechanical System(MEMS) components, multiparameter optimization and micro powder melt pool/macro-scale mechanical properties control simulation of specialized components are conducted. The optimal parameters obtained through highprecision preparation and machining of components and static/high dynamic verification are: laser power of 110 W, laser speed of 600 mm/s, laser diameter of 75 μm, and scanning spacing of 50 μm. The density of the subordinate components under this reference can reach 99.15%, the surface hardness can reach 51.9 HRA, the yield strength can reach 550 MPa, the maximum machining error of the components is 4.73%, and the average surface roughness is 0.45 μm. Through dynamic hammering and high dynamic firing verification, SLM components meet the requirements for overload resistance. The results have proven that MEM technology can provide a new means for the processing of MEMS components applied in high dynamic environments. The parameters obtained in the conclusion can provide a design basis for the additive preparation of MEMS components.
基金Key Project of National Natural Science Foundation of China(52237008)Beijing Municipal Education Commission Research Program Funding Project(KM202111232022)。
文摘There are many motors in operation or on standby in nuclear power plants,and the startup of group motors will have a great impact on the voltage of the emergency bus.At present,there is no special or inexpensive software to solve this problem,and the experience of engineers is not accurate enough.Therefore,this paper developed a method and system for the startup calculation of group motors in nuclear power plants and proposed an automatic generation method of circuit topology in nuclear power plants.Each component in the topology was given its unique number,and the component class could be constructed according to its type and upper and lower connections.The subordination and topology relationship of switches,buses,and motors could be quickly generated by the program according to the component class,and the simplified direct power flow algorithm was used to calculate the power flow for the startup of group motors according to the above relationship.Then,whether the bus voltage is in the safe range and whether the voltage exceeds the limit during the startup of the group motor could be judged.The practical example was used to verify the effectiveness of the method.Compared with other professional software,the method has high efficiency and low cost.
基金supported by Science Challenge Project [No TZ2018001]Shandong Provincial Natural Science Foundation [No ZR2017BA014]+1 种基金National Natural Science Foundation of China [No91630312]the Development Program for Defense Ministry of China [No.C1520110002]
文摘The mathematical model used to describe the detonation multi-physics phenomenon is usually given by highly coupled nonlinear partial differential equations. Numerical simulation and the computer aided engineering (CAE) technique has become the third pillar of detonation research, along with theory and experiment, due to the detonation phenomenon is difficult to explain by the theoretical analysis, and the cost required to accredit the reliability of detonation products is very high, even some physical experiments of detonation are impossible. The numerical simulation technique can solve these complex problems in the real situation repeatedly and reduce the design cost and time stunningly. But the reliability of numerical simulation software and the serviceability of the computational result seriously hinders the extension, application and the self-restoration of the simulation software, restricts its independently innovational ability. This article deals with the physical modeling, numerical simulation, and software development of detonation in a unified way. Verification and validation and uncertainty quantification (V&V&UQ) is an important approach in ensuring the credibility of the modeling and simulation of detonation. V&V of detonation is based on our independently developed detonation multiphysics software-LAD2D. We propose the verification method based on mathematical theory and program function as well as availability of its program execution. Validation is executed by comparing with the experiment data. At last, we propose the future prospect of numerical simulation software and the CAE technique, and we also pay attention to the research direction of V&V&UQ.
基金supported by the Natural Science Foundation of Hubei Province,China(2016CFB287)
文摘As a powerful distributed data processing mechanism,MapReduce supports abundant parallel applications that process massive data on computer clusters.To process the massive data efficiently and correctly,a rational design for the MapReduce procedure is desired.An irrational MapReduce procedure can cause great waste of computing resources and even paralyze the execution system.With the wide application of MapReduce,the unavoidable drawback of irrational MapReduce procedures becomes increasingly serious.To solve this problem,a method for verifying the rationality of a MapReduce procedure before executing it on a computer cluster is proposed.This method constructs the rationality criteria for MapReduce,and then studies an automatic approach for modelling MapReduce with an executable model object Petri net(OPN).Finally,the approaches for automatically identifying the rationality criteria by analyzing the consequence of model execution is developed.The results from extensive case studies demonstrate that the proposed method is feasible and effective.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘Two dynamic grey models DGM (1, 1) for the verification cycle and the lifecycle of measuring instrument based on time sequence and frequency sequence were set up, according to the statistical feature of examination data and weighting method. By a specific case, i.e. vernier caliper, it is proved that the fit precision and forecast precision of the models are much higher, the cycles are obviously different under different working conditions, and the forecast result of the frequency sequence model is better than that of the time sequence model. Combining dynamic grey model and auto-manufacturing case the controlling and information subsystems of verification cycle and the lifecycle based on information integration, multi-sensor controlling and management controlling were given. The models can be used in production process to help enterprise reduce error, cost and flaw.
基金supported by the National Natural Science Foundation of China of China(No.61471385)。
文摘The optocoupler is a weak link in the inertial navigation platform of a kind of guided munitions.It is necessary to use accelerated storage test to verify the storage life of long storage products.Especially for small sample products,it is very important to obtain prior information for the design and implementation of accelerated degradation test.In this paper,the optocoupler failure mechanism verification test is designed and the experimental results are analyzed and the prior information is obtained.The results show that optocouplers have two failure modes,one is sudden failure and the other is degradation failure;the maximum temperature stress of optocoupler can’t exceed 140℃;the increase of leakage current of optocoupler is caused by movable ions contaminating the LED chip.The surface leakage current is proportional to the adsorption amount.The increase of leakage current makes p-n junction tunneling effect occur which LEDs the failure of the optocoupler.The lifetime distribution model of the optocoupler is determined by the failure physics.The lifetime of the optocoupler is subject to the lognormal distribution.The degeneracy orbit of the optocoupler leakage current is described by a power law model.The estimated values of the orbital parameters are initially calculated and the parameters of its life distribution function are deduced.The above information lays a good foundation for the optimization design and data processing of the accelerated degradation experiment.
基金Project(2006BAJ04A15-03) supported by the National Science and Technology Pillar Program during the Eleventh Five-year Plan Period
文摘From the viewpoints of environmental conservation and energy efficiency,seawater-source heat pump system(SWHP) to provide district cooling and heating is applied in coastal areas.Based on the system,a heat transfer model was established for cast heat exchanger(CHE) adopted by SWHP systems.The CHE consists of pipes immersed in the seawater and used for transferring heat between the seawater and the heat exchanger pipes of SWHP system.An experimental study was carried out to test the validity of the model.A program was developed in VB language and the effects of inlet temperature,flow rate of the secondary refrigerant and length of CHE on the results were investigated.The results of the numerical simulation are in consistence with the experiments in both winter and summer conditions.As a result,application of SWHP systems with CHE in coastal areas in China is feasible due to the favorable geographical conditions and environment.
基金supported by the Sharing and Diffusion of National R&D Outcome funded by the Korea Institute of Science and Technology Information
文摘Since a sensor node handles wireless communication in data transmission and reception and is installed in poor environment, it is easily exposed to certain attacks such as data transformation and sniffing. Therefore, it is necessary to verify data integrity to properly respond to an adversary's ill-intentioned data modification. In sensor network environment, the data integrity verification method verifies the final data only, requesting multiple communications. An energy-efficient private information retrieval(PIR)-based data integrity verification method is proposed. Because the proposed method verifies the integrity of data between parent and child nodes, it is more efficient than the existing method which verifies data integrity after receiving data from the entire network or in a cluster. Since the number of messages for verification is reduced, in addition, energy could be used more efficiently. Lastly, the excellence of the proposed method is verified through performance evaluation.
基金Science and Technology Project of Aerospace Information Research Institute,Chinese Academy of Sciences(Y910340Z2F)Science and Technology Project of BBEF(E3E2010201)。
文摘Low-frequency signals have been proven valuable in the fields of target detection and geological exploration.Nevertheless,the practical implementation of these signals is hindered by large antenna diameters,limiting their potential applications.Therefore,it is imperative to study the creation of lowfrequency signals using antennas with suitable dimensions.In contrast to conventional mechanical antenna techniques,our study generates low-frequency signals in the spatial domain utilizing the principle of the Doppler effect.We also defines the antenna array architecture,the timing sequency,and the radiating element signal waveform,and provides experimental prototypes including 8/64 antennas based on earlier research.In the conducted experiments,121 MHz,40 MHz,and 10 kHz composite signals are generated by 156 MHz radiating element signals.The composite signal spectrum matches the simulations,proving our low-frequency signal generating method works.This holds significant implications for research on generating low-frequency signals with small-sized antennas.
基金the funding supports of the National Key Research and Development Plan,China(Grant No.2022YFC3801800)National Natural Science Foundation of China(Grant Nos.52038010 and 52078368)。
文摘In order to improve the overall resilience of the urban infrastructures, it is required to conduct blast resistant design for important building structures in the city. For complex terrain in the city, it is recommended to determine the blast load on the structures via numerical simulation. Since the mesh size of the numerical model highly depends on the explosion scenario, there is no generally applicable approach for the mesh size selection. An efficient method to determine the mesh size of the numerical model of near-ground detonation based on explosion scenarios is proposed in this study. The effect of mesh size on the propagation of blast wave under different explosive weights was studied, and the correlations between the mesh size effect and the charge weight or the scaled distance was described. Based on the principle of the finite element method and Hopkinson-Cranz scaling law, a mesh size measurement unit related to the explosive weight was proposed as the criterion for determining the mesh size in the numerical simulation. Finally, the applicability of the method proposed in this paper was verified by comparing the results from numerical simulation and the explosion tests and was verified in AUTODYN.
基金supported by the National Natural Science Foundation of China(41927801).
文摘To address the current problems of poor generality,low real-time,and imperfect information transmission of the battlefield target intelligence system,this paper studies the battlefield target intelligence system from the top-level perspective of multi-service joint warfare.First,an overall planning and analysis method of architecture modeling is proposed with the idea of a bionic analogy for battlefield target intelligence system architecture modeling,which reduces the difficulty of the planning and design process.The method introduces the Department of Defense architecture framework(DoDAF)modeling method,the multi-living agent(MLA)theory modeling method,and other combinations for planning and modeling.A set of rapid planning methods that can be applied to model the architecture of various types of complex systems is formed.Further,the liveness analysis of the battlefield target intelligence system is carried out,and the problems of the existing system are presented from several aspects.And the technical prediction of the development and construction is given,which provides directional ideas for the subsequent research and development of the battlefield target intelligence system.In the end,the proposed architecture model of the battlefield target intelligence system is simulated and verified by applying the colored Petri nets(CPN)simulation software.The analysis demonstrates the reasonable integrity of its logic.
文摘基于对新一代GPS(geometrical product specification and verification)中关键操作技术的深入分析,揭示提取与滤波、拟合之间固有的内在规律性,给出操作间参数的选用原则,为统筹优化几何误差数字化评定中的操作策略提供技术基础;最终通过实例验证关键操作集成化思想对几何误差评定的高效稳定性,不仅有利于实现几何误差数字化计量精度和成本的优化,而且还推进了新一代GPS标准体系关键技术的应用研究。
基金partially sponsored by Foundation of PLA Rocket Force
文摘The waveform of the explosion shock wave under free-field air explosion is an extremely complex problem.It is generally considered that the waveform consists of overpressure peak,positive pressure zone and negative pressure zone.Most of current practice usually considers only the positive pressure.Many empirical relations are available to predict overpressure peak,the positive pressure action time and pressure decay law.However,there are few models that can predict the whole waveform.The whole process of explosion shock wave overpressure,which was expressed as the product of the three factor functions of peak,attenuation and oscillation,was proposed in the present work.According to the principle of explosion similarity,the scaled parameters were introduced and the empirical formula was absorbed to form a mathematical model of shock wave overpressure.Parametric numerical simulations of free-field air explosions were conducted.By experimental verification of the AUTODYN numerical method and comparing the analytical and simulated curves,the model is proved to be accurate to calculate the shock wave overpressure under free-field air explosion.In addition,through the model the shock wave overpressure at different time and distance can be displayed in three dimensions.The model makes the time needed for theoretical calculation much less than that for numerical simulation.
基金supported by the National Key Research and Development Program of China(grant number:2017YFC0806503)。
文摘With the increasing number of vehicles,manual security inspections are becoming more laborious at road checkpoints.To address it,a specialized Road Checkpoints Robot(RCRo)system is proposed,incorporated with enhanced You Only Look Once(YOLO)and a 6-degree-of-freedom(DOF)manipulator,for autonomous identity verification and vehicle inspection.The modified YOLO is characterized by large objects’sensitivity and faster detection speed,named“LF-YOLO”.The better sensitivity of large objects and the faster detection speed are achieved by means of the Dense module-based backbone network connecting two-scale detecting network,for object detection tasks,along with optimized anchor boxes and improved loss function.During the manipulator motion,Octree-aided motion control scheme is adopted for collision-free motion through Robot Operating System(ROS).The proposed LF-YOLO which utilizes continuous optimization strategy and residual technique provides a promising detector design,which has been found to be more effective during actual object detection,in terms of decreased average detection time by 68.25%and 60.60%,and increased average Intersection over Union(Io U)by 20.74%and6.79%compared to YOLOv3 and YOLOv4 through experiments.The comprehensive functional tests of RCRo system demonstrate the feasibility and competency of the multiple unmanned inspections in practice.
文摘In this paper,a novel launch dynamics measurement system based on the photoelectric sensor pair is built.The actual muzzle time(i.e.a time duration that originates from the initial movement to the rocket’s departure from the muzzle)and the muzzle velocity are measured.Compared with the classical methods,the actual muzzle time is obtained by eliminating the ignition delay.The comparative analysis method is proposed with numerical simulations established by the transfer matrix method for multibody systems.The experiment results indicate that the proposed measurement system can effectively measure the actual muzzle time and reduce the error of classical methods,which match well with the simulation results showing the launch dynamics model is reliable and helpful for further analysis and design of the MLRS.
