Dear Editor,This letter proposes a dynamic switching soft slicing strategy for industrial mixed traffic in 5G networks. Considering two types of traffic, periodic delay-sensitive (PDS) traffic and sporadic delay-toler...Dear Editor,This letter proposes a dynamic switching soft slicing strategy for industrial mixed traffic in 5G networks. Considering two types of traffic, periodic delay-sensitive (PDS) traffic and sporadic delay-tolerant (SDT) traffic, we design a dynamic switching strategy based on a traffic-Qo S-aware soft slicing (TQASS) scheme and a resource-efficiency-aware soft slicing (REASS) scheme.展开更多
A decellularized extracellular matrix(dECM)constitutes a pivotal biomaterial created by decellularizing the natural extracellular matrix(ECM).This material serves as a supportive medium for intricate cellular interact...A decellularized extracellular matrix(dECM)constitutes a pivotal biomaterial created by decellularizing the natural extracellular matrix(ECM).This material serves as a supportive medium for intricate cellular interactions,fostering cell growth,differentiation,and organization.However,challenges persist in decellularization,necessitating a balance between preserving the ECM structural integrity and achieving effective cellular removal.An approach to enhancing decellularization involves pre-eliminating unnecessary tissues and effectively reducing final DNA levels to lower than 50 ng/mg ECM on preprocessed tissues.Although this strategic step augments decellularization efficiency,the current manual execution method depends on the operator’s skill.To address this limitation,this study proposed an automated raw tissue slicing system that does not require tissue preparation for slicing.Through carefully controlled tissue applanation pressure and oscillatory incisions with optimized parameters,the system achieved a precision within±10µm in obtaining submillimeter-scale tissue slices of the porcine cornea while avoiding significant microscopic complications in the tissue structure,as observed by tissue histology.These findings suggested the system’s capability to streamline and automate preliminary tissue slicing operations.The efficacy of this approach for decellularization was validated by processing porcine corneas using the proposed system and subsequently decellularizing the processed tissues.DNA level analysis revealed that sliced,subdivided tissues created by this system could expedite DNA reduction even at the initial steps of decellularization,enhancing the overall decellularization procedure.展开更多
This study proposes an efficient traffic classification model to address the growing threat of distributed denial-of-service(DDoS)attacks in 5th generation technology standard(5G)slicing networks.The proposed method u...This study proposes an efficient traffic classification model to address the growing threat of distributed denial-of-service(DDoS)attacks in 5th generation technology standard(5G)slicing networks.The proposed method utilizes an ensemble of encoder components from multiple autoencoders to compress and extract latent representations from high-dimensional traffic data.These representations are then used as input for a support vector machine(SVM)-based metadata classifier,enabling precise detection of attack traffic.This architecture is designed to achieve both high detection accuracy and training efficiency,while adapting flexibly to the diverse service requirements and complexity of 5G network slicing.The model was evaluated using the DDoS Datasets 2022,collected in a simulated 5G slicing environment.Experiments were conducted under both class-balanced and class-imbalanced conditions.In the balanced setting,the model achieved an accuracy of 89.33%,an F1-score of 88.23%,and an Area Under the Curve(AUC)of 89.45%.In the imbalanced setting(attack:normal 7:3),the model maintained strong robustness,=achieving a recall of 100%and an F1-score of 90.91%,demonstrating its effectiveness in diverse real-world scenarios.Compared to existing AI-based detection methods,the proposed model showed higher precision,better handling of class imbalance,and strong generalization performance.Moreover,its modular structure is well-suited for deployment in containerized network function(NF)environments,making it a practical solution for real-world 5G infrastructure.These results highlight the potential of the proposed approach to enhance both the security and operational resilience of 5G slicing networks.展开更多
Based on analyzing the influences of a slicing scheme on stair-stepping effect, supporting structure, efficiency and deformation, etc. , analytical hierarchical process (AHP) combining with fuzzy synthetic evaluatio...Based on analyzing the influences of a slicing scheme on stair-stepping effect, supporting structure, efficiency and deformation, etc. , analytical hierarchical process (AHP) combining with fuzzy synthetic evaluation is introduced to make decision in slicing schemes for a processing part. The application in determining the slicing scheme for a computer mouse during prototyping shows that the method increases the rationality during decision- making and improves quality and efficiency for the prototyping part.展开更多
A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a pr...A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees' influence on callers when analyzing call statements. Phase 2 captures the callees' dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph(SDG)-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.展开更多
Accurate time delay estimation of target echo signals is a critical component of underwater target localization.In active sonar systems,echo signal processing is vulnerable to the effects of reverberation and noise in...Accurate time delay estimation of target echo signals is a critical component of underwater target localization.In active sonar systems,echo signal processing is vulnerable to the effects of reverberation and noise in the maritime environment.This paper proposes a novel method for estimating target time delay using multi-bright spot echoes,assuming the target’s size and depth are known.Aiming to effectively enhance the extraction of geometric features from the target echoes and mitigate the impact of reverberation and noise,the proposed approach employs the fractional order Fourier transform-frequency sliced wavelet transform to extract multi-bright spot echoes.Using the highlighting model theory and the target size information,an observation matrix is constructed to represent multi-angle incident signals and obtain the theoretical scattered echo signals from different angles.Aiming to accurately estimate the target’s time delay,waveform similarity coefficients and mean square error values between the theoretical return signals and received signals are computed across various incident angles and time delays.Simulation results show that,compared to the conventional matched filter,the proposed algorithm reduces the relative error by 65.9%-91.5%at a signal-to noise ratio of-25 dB,and by 66.7%-88.9%at a signal-to-reverberation ratio of−10 dB.This algorithm provides a new approach for the precise localization of submerged targets in shallow water environments.展开更多
Current researches have not yet found the effect law of the cutter parameters and machining parameters on the interference in gear slicing,the interference between the cutter and machined gear often happens because th...Current researches have not yet found the effect law of the cutter parameters and machining parameters on the interference in gear slicing,the interference between the cutter and machined gear often happens because the appropriate cutter parameters and machining parameters cannot be set,which reduces the gear machining accuracy.The relative position between the major flank face and edge-sweeping surface,distribution law of the interference area in forming process of edge-sweeping surface,and effect law of relative positions among edge-sweeping surfaces on the interference are studied by graphical analysis.The effect law of the cutter parameters and machining parameters on the interference is found.The effect law shows that the interference in gear slicing can be controlled when the relief angle measured on the top edge and feed of every rotation are chosen respectively larger than 9~and smaller than 0.15 mrn/r.An internal helical gear is sliced with the spur slice cutter and the cutter parameters and machining parameters are set based on above the effect law.The machined gear is measured in Gear Measuring Center and the detection result shows that the comprehensive accuracy reaches GB/T Class 7,where some reach GB/T Class 6.The result can meet the gear machining accuracy requirement and shows that the effect law found is valid.The problem of the interference in gear slicing is solved and the gear machining accuracy can be improved.展开更多
Software-Defined Network(SDN)empowers the evolution of Internet with the OpenFlow,Network Virtualization and Service Slicing strategies.With the fast increasing requirements of Mobile Internet services,the Internet an...Software-Defined Network(SDN)empowers the evolution of Internet with the OpenFlow,Network Virtualization and Service Slicing strategies.With the fast increasing requirements of Mobile Internet services,the Internet and Mobile Networks go to the convergence.Mobile Networks can also get benefits from the SDN evolution to fulfill the 5th Generation(5G)capacity booming.The article implements SDN into Frameless Network Architecture(FNA)for 5G Mobile Network evolution with proposed Mobile-oriented OpenFlow Protocol(MOFP).The Control Plane/User Plane(CP/UP)separation and adaptation strategy is proposed to support the User-Centric scenario in FNA.The traditional Base Station is separated with Central Processing Entity(CPE)and Antenna Element(AE)to perform the OpenFlow and Network Virtualization.The AEs are released as new resources for serving users.The mobile-oriented Service Slicing with different Quality of Service(QoS)classification is proposed and Resource Pooling based Virtualized Radio Resource Management(VRRM)is optimized for the Service Slicing strategy with resource-limited feature in Mobile Networks.The capacity gains are provided to show the merits of SDN based FNA.And the MiniNet based Trial Network with Service Slicing is implemented with experimental results.展开更多
Ultra-thick steep coal seam mining will inevitably lead to the increase of greater and violent ground subsidence and deformation.A subsidence control method by inversely-inclined slicing and upward mining is proposed ...Ultra-thick steep coal seam mining will inevitably lead to the increase of greater and violent ground subsidence and deformation.A subsidence control method by inversely-inclined slicing and upward mining is proposed in this paper.By this method,the sequence of collapse of overlying strata and the direction of propagation of strata movement are changed,the extent of roof-side deformation thereby is lessened,and boundary angle of roof-side subsidence is reduced by 5°-10°.The mechanism of this mining method for control of strata movement has been evidenced by numerical simulation and experiments with similarity materials.A subsidence prediction model based on the variation of mining influence propagation angle can be used to evaluate the surface movement and deformation of the mining method.The application of the method in No.3 Mine in Yaojie mining area has yielded the expected result.展开更多
For studying the strata behavior due to multi-slicing top coal caving longwall mining along-the-strike direction in steeply dipping extra thick coal seams,the shield support pressures of the upper and lower slices of ...For studying the strata behavior due to multi-slicing top coal caving longwall mining along-the-strike direction in steeply dipping extra thick coal seams,the shield support pressures of the upper and lower slices of panel 37220 in Dongxia Coal Mine were monitored using the KJ513 dynamic monitoring system.The set up rooms adopted the "horizontal line-arc segment-inclined line" form and used different types of shield supports.The results show that the strata pressure of upper slice panel 37220-1 changed slightly along the strike direction,while along the dip direction it exhibited strong to weak pressure from bottom to top.The first weighting interval of lower slice panel 37220-2 was about 60.8 m,and the average periodic weighting interval were about 22.6 m.The strata behavior of panel 37220-2 exhibited a spatiotemporal characteristic in that periodic weighting occurred first in the middle-upper part,followed by the middle and upper parts,arc segment,and finally the lower part.During the periodic weighting,the weighting interval and intensity also exhibited strong space characteristics.The average dynamic load coefficient was 1.48 and the maximum lateral load of the side shield was 20-25 MPa.展开更多
A consensus has been reached that 5G network slicing technology is becoming increasingly important in EMBB,MMTC and URLLC.However,this technology still has a long way to go in education industry.By selecting four type...A consensus has been reached that 5G network slicing technology is becoming increasingly important in EMBB,MMTC and URLLC.However,this technology still has a long way to go in education industry.By selecting four types of demands in campus MMTC scenarios as specific application references,this research explores the architectural relationship between network slicing layer,intelligent terminal layer and application capability layer.Besides,emphasis has been put on the influences that virtual logic network design technology,isolation technology and standard technology has on application experiences.Under such goal,a two-dimensional route has been proposed to deploy network slicing technology based on the concept of full life cycle and the synergistic effect that AI algorithms has on slicing technology.This research is expected to nurture slicing technology,not only its technology chain,but more importantly,facilitate its value chain and large-scale vertical industry applications.展开更多
In Additive Manufacturing field,the current researches of data processing mainly focus on a slicing process of large STL files or complicated CAD models.To improve the efficiency and reduce the slicing time,a parallel...In Additive Manufacturing field,the current researches of data processing mainly focus on a slicing process of large STL files or complicated CAD models.To improve the efficiency and reduce the slicing time,a parallel algorithm has great advantages.However,traditional algorithms can't make full use of multi-core CPU hardware resources.In the paper,a fast parallel algorithm is presented to speed up data processing.A pipeline mode is adopted to design the parallel algorithm.And the complexity of the pipeline algorithm is analyzed theoretically.To evaluate the performance of the new algorithm,effects of threads number and layers number are investigated by a serial of experiments.The experimental results show that the threads number and layers number are two remarkable factors to the speedup ratio.The tendency of speedup versus threads number reveals a positive relationship which greatly agrees with the Amdahl's law,and the tendency of speedup versus layers number also keeps a positive relationship agreeing with Gustafson's law.The new algorithm uses topological information to compute contours with a parallel method of speedup.Another parallel algorithm based on data parallel is used in experiments to show that pipeline parallel mode is more efficient.A case study at last shows a suspending performance of the new parallel algorithm.Compared with the serial slicing algorithm,the new pipeline parallel algorithm can make full use of the multi-core CPU hardware,accelerate the slicing process,and compared with the data parallel slicing algorithm,the new slicing algorithm in this paper adopts a pipeline parallel model,and a much higher speedup ratio and efficiency is achieved.展开更多
Heterogeneous base station deployment enables to provide high capacity and wide area coverage.Network slicing makes it possible to allocate wireless resource for heterogeneous services on demand.These two promising te...Heterogeneous base station deployment enables to provide high capacity and wide area coverage.Network slicing makes it possible to allocate wireless resource for heterogeneous services on demand.These two promising technologies contribute to the unprecedented service in 5G.We establish a multiservice heterogeneous network model,which aims to raise the transmission rate under the delay constraints for active control terminals,and optimize the energy efficiency for passive network terminals.A policygradient-based deep reinforcement learning algorithm is proposed to make decisions on user association and power control in the continuous action space.Simulation results indicate the good convergence of the algorithm,and higher reward is obtained compared with other baselines.展开更多
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually a...Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually affect the variables in the slicing criterion. This paper proposes a dynamic slicing method based on static dependence analysis. It uses the program dependence graph and other static information to reduce the information needed to be traced during program execution. Thus, the efficiency is dramatically improved while the precision is not depressed. The slicing criterion is modified to fit for debugging. It consists of file name and the line number at which the statement is.展开更多
With the scale of programs becoming increasingly bigger, and the complexity degree higher, how to select program fragments for slicing has become an important research topic. A new type of criterion called interesting...With the scale of programs becoming increasingly bigger, and the complexity degree higher, how to select program fragments for slicing has become an important research topic. A new type of criterion called interesting index is proposed for selecting parts of procedures or procedure fragments to do program slicing. This new criterion considers not only the subjective aspects in users, namely users' emphasis on the time efficiency, storage capacity or readability, but also the objective aspect in large procedures. It also represents the benefit of the users, while displaying the many-faceted roles that program slicing plays. In this way users call proceed with program slicing to large systems or unfinished systems.展开更多
Slicing and post-treatment of SiC crystals have been a significant challenge in the integrated circuit and microelectronics industry.To compete with wire-sawing and mechanical grinding technology,a promis-ing approach...Slicing and post-treatment of SiC crystals have been a significant challenge in the integrated circuit and microelectronics industry.To compete with wire-sawing and mechanical grinding technology,a promis-ing approach combining laser slicing and laser polishing technologies has been innovatively applied to increase utilization and decrease damage defects for single crystal 4H-SiC.Significant material utiliza-tion has been achieved in the hybrid laser processes,where material loss is reduced by 75%compared to that of conventional machining technologies.Without any special process control or additional treat-ment,an internally modified layer formed by laser slicing can easily separate the 4H-SiC crystals using an external force of about∼3.6 MPa.The modified layer has been characterized using a micro-Raman method to determine residual stress.The sliced surface exhibits a combination of smooth and coarse appearances around the fluvial morphology,with an average surface roughness of over S_(a) 0.89μm.An amorphous phase surrounds the SiC substrate,with two dimensions of lattice spacing,d=0.261 nm and d=0.265 nm,confirmed by high-resolution transmission electron microscopy(HRTEM).The creation of laser-induced periodic surface nanostructures in the laser-polished surface results in a flatter surface with an average roughness of less than S_(a) 0.22μm.Due to the extreme cooling rates and multiple thermal cy-cles,dissociation of Si-C bonding,and phase separation are identified on the laser-polished surface,which is much better than that of the machining surface.We anticipate that this approach will be applicable to other high-value crystals and will have promising viability in the aerospace and semiconductor industries.展开更多
With the popularization of terminal devices and services in Internet of things(IoT),it will be a challenge to design a network resource allocation method meeting various QoS requirements and effectively using substrat...With the popularization of terminal devices and services in Internet of things(IoT),it will be a challenge to design a network resource allocation method meeting various QoS requirements and effectively using substrate resources.In this paper,a dynamic network slicing mechanism including virtual network(VN)mapping and VN reconfiguration is proposed to provide network slices for services.Firstly,a service priority model is defined to create queue for resource allocation.Then a slice including Virtual Network Function(VNF)placement and routing with optimal cost is generated by VN mapping.Next,considering temporal variations of service resource requirements,the size of network slice is adjusted dynamically to guarantee resource utilization in VN reconfiguration.Additionally,load balancing factors are designed to make traffic balanced.Simulation results show that dynamic slicing mechanism not only saves 22%and 31%cost than static slicing mechanism with extending shortest path(SS_ESP)and dynamic slicing mechanism with embedding single path(DS_ESP),but also maintains high service acceptance rate.展开更多
Based on STL(stereo lithography)format file and with Microsoft Visual C^(++)6.0 programming language,a 3D printing slicing software appropriate for the surface strengthening of the parts has been developed,which inclu...Based on STL(stereo lithography)format file and with Microsoft Visual C^(++)6.0 programming language,a 3D printing slicing software appropriate for the surface strengthening of the parts has been developed,which includes three functions:3D model import,model slicing and data export.Through the grouping of STL model triangle facets before slicing,the judgment times of the relationship between the triangle facets and the cutting planes are reduced,and the slicing efficiency is improved.Aiming at the fact that the surface should be strengthened when the part is formed by using of 3D printing process,the function of identifying and marking the surface of the geometric entity is accomplished in the slicing software,which can strengthen the surface of the part according to the user’s requirements.The developed slicing software can provide an entity slicing file for 3D printing equipment.The related functions can be adjusted and improved according to user’s needs,which makes the software convenient and flexible to use.展开更多
Salmonella spp. surface transfer patterns/models between ready-to-eat (RTE) deli meat and a typical meat slicer are presented. A five-strain cocktail of Salmonella spp. was inoculated directly onto the rim of a round ...Salmonella spp. surface transfer patterns/models between ready-to-eat (RTE) deli meat and a typical meat slicer are presented. A five-strain cocktail of Salmonella spp. was inoculated directly onto the rim of a round slicer blade at an initial level of ca. 4, 5, 6, 7 or 8 log CFU/blade (ca. 3, 4, 5, 6 or 7 log CFU/cm2 of the blade edge area). Thereafter, a RTE deli meat (ham) was sliced to a thickness of 1.5 - 2.0 mm. In another cross-contamination scenario, a clean blade was initially used to slice ham, which was pre-surface-inoculated with the Salmonella cocktail (ca. 2, 3, 4, 5, 6 or 7 log CFU/cm2 with a total area of 100 cm2), followed by slicing of an un-inoculated ham. The log CFU of Salmonella per ham slice was determined and empirical models were developed. The models, follow the decreasing Power law, predict the surface cross-contamination of Salmonella spp. (at any initial level) for sliced deli meat (ham) and will provide a useful tool in developing RTE meat risk assessments. Surface transfer patterns of three foodborne pathogens, i.e. Listeria monocytogenes, E. coli O157:H7 and Salmonella predicted by models are also presented.展开更多
Coverage analysis is a structural testing technique that helps to eliminate gaps in atest suite and determines when to stop testing. To compute test coverage, this letter proposes anew concept coverage about variables...Coverage analysis is a structural testing technique that helps to eliminate gaps in atest suite and determines when to stop testing. To compute test coverage, this letter proposes anew concept coverage about variables, based on program slicing. By adding powers accordingto their importance, the users can focus on the important variables to obtain higher test coverage.The letter presents methods to compute basic coverage based on program structure graphs. Inmost cases, the coverage obtained in the letter is bigger than that obtained by a traditionalmeasure, because the coverage about a variable takes only the related codes into account.展开更多
基金supported by the Liaoning Revitalization Talents Program(XLYC2203148)
文摘Dear Editor,This letter proposes a dynamic switching soft slicing strategy for industrial mixed traffic in 5G networks. Considering two types of traffic, periodic delay-sensitive (PDS) traffic and sporadic delay-tolerant (SDT) traffic, we design a dynamic switching strategy based on a traffic-Qo S-aware soft slicing (TQASS) scheme and a resource-efficiency-aware soft slicing (REASS) scheme.
基金supported by the Alchemist Project 1415180884(No.20012378,Development of Meta Soft Organ Module Manufacturing Technology without Immunity Rejection and Module Assembly Robot System)funded by the Ministry of Trade,Industry&Energy(MOTIE,Republic of Korea)the Technology Development Program(No.S3318933)funded by the Ministry of SMEs and Startups(MSS,Republic of Korea).
文摘A decellularized extracellular matrix(dECM)constitutes a pivotal biomaterial created by decellularizing the natural extracellular matrix(ECM).This material serves as a supportive medium for intricate cellular interactions,fostering cell growth,differentiation,and organization.However,challenges persist in decellularization,necessitating a balance between preserving the ECM structural integrity and achieving effective cellular removal.An approach to enhancing decellularization involves pre-eliminating unnecessary tissues and effectively reducing final DNA levels to lower than 50 ng/mg ECM on preprocessed tissues.Although this strategic step augments decellularization efficiency,the current manual execution method depends on the operator’s skill.To address this limitation,this study proposed an automated raw tissue slicing system that does not require tissue preparation for slicing.Through carefully controlled tissue applanation pressure and oscillatory incisions with optimized parameters,the system achieved a precision within±10µm in obtaining submillimeter-scale tissue slices of the porcine cornea while avoiding significant microscopic complications in the tissue structure,as observed by tissue histology.These findings suggested the system’s capability to streamline and automate preliminary tissue slicing operations.The efficacy of this approach for decellularization was validated by processing porcine corneas using the proposed system and subsequently decellularizing the processed tissues.DNA level analysis revealed that sliced,subdivided tissues created by this system could expedite DNA reduction even at the initial steps of decellularization,enhancing the overall decellularization procedure.
基金supported by an Institute of Information&Communications Technology Planning&Evaluation(IITP)grant funded by the Korean government(MSIT)(RS-2024-00438156,Development of Security Resilience Technology Based on Network Slicing Services in a 5G Specialized Network).
文摘This study proposes an efficient traffic classification model to address the growing threat of distributed denial-of-service(DDoS)attacks in 5th generation technology standard(5G)slicing networks.The proposed method utilizes an ensemble of encoder components from multiple autoencoders to compress and extract latent representations from high-dimensional traffic data.These representations are then used as input for a support vector machine(SVM)-based metadata classifier,enabling precise detection of attack traffic.This architecture is designed to achieve both high detection accuracy and training efficiency,while adapting flexibly to the diverse service requirements and complexity of 5G network slicing.The model was evaluated using the DDoS Datasets 2022,collected in a simulated 5G slicing environment.Experiments were conducted under both class-balanced and class-imbalanced conditions.In the balanced setting,the model achieved an accuracy of 89.33%,an F1-score of 88.23%,and an Area Under the Curve(AUC)of 89.45%.In the imbalanced setting(attack:normal 7:3),the model maintained strong robustness,=achieving a recall of 100%and an F1-score of 90.91%,demonstrating its effectiveness in diverse real-world scenarios.Compared to existing AI-based detection methods,the proposed model showed higher precision,better handling of class imbalance,and strong generalization performance.Moreover,its modular structure is well-suited for deployment in containerized network function(NF)environments,making it a practical solution for real-world 5G infrastructure.These results highlight the potential of the proposed approach to enhance both the security and operational resilience of 5G slicing networks.
基金Supported by the Science and Technology Support Key Project of Jiangsu Province (DE2008365)~~
文摘Based on analyzing the influences of a slicing scheme on stair-stepping effect, supporting structure, efficiency and deformation, etc. , analytical hierarchical process (AHP) combining with fuzzy synthetic evaluation is introduced to make decision in slicing schemes for a processing part. The application in determining the slicing scheme for a computer mouse during prototyping shows that the method increases the rationality during decision- making and improves quality and efficiency for the prototyping part.
基金The National Outstanding Young Scientist Foundation by NSFC(No.60703086,60503020)
文摘A two-phase monadic approach is presented for monadically slicing programs with procedures. In the monadic slice algorithm for interprocedural programs, phase 1 initializes the slice table of formal parameters in a procedure with the given labels, and then captures the callees' influence on callers when analyzing call statements. Phase 2 captures the callees' dependence on callers by replacing all given labels appearing in the corresponding sets of formal parameters. By the introduction of given labels, this slice method can obtain similar summary information in system-dependence-graph(SDG)-based algorithms for addressing the calling-context problem. With the use of the slice monad transformer, this monadic slicing approach achieves a high level of modularity and flexibility. It shows that the monadic interprocedural algorithm has less complexity and it is not less precise than SDG algorithms.
基金Supported by the State Key Laboratory of Acoustics and Marine Information Chinese Academy of Sciences(SKL A202507).
文摘Accurate time delay estimation of target echo signals is a critical component of underwater target localization.In active sonar systems,echo signal processing is vulnerable to the effects of reverberation and noise in the maritime environment.This paper proposes a novel method for estimating target time delay using multi-bright spot echoes,assuming the target’s size and depth are known.Aiming to effectively enhance the extraction of geometric features from the target echoes and mitigate the impact of reverberation and noise,the proposed approach employs the fractional order Fourier transform-frequency sliced wavelet transform to extract multi-bright spot echoes.Using the highlighting model theory and the target size information,an observation matrix is constructed to represent multi-angle incident signals and obtain the theoretical scattered echo signals from different angles.Aiming to accurately estimate the target’s time delay,waveform similarity coefficients and mean square error values between the theoretical return signals and received signals are computed across various incident angles and time delays.Simulation results show that,compared to the conventional matched filter,the proposed algorithm reduces the relative error by 65.9%-91.5%at a signal-to noise ratio of-25 dB,and by 66.7%-88.9%at a signal-to-reverberation ratio of−10 dB.This algorithm provides a new approach for the precise localization of submerged targets in shallow water environments.
基金supported by National Natural Science Foundation of China(Grant No.51175376)
文摘Current researches have not yet found the effect law of the cutter parameters and machining parameters on the interference in gear slicing,the interference between the cutter and machined gear often happens because the appropriate cutter parameters and machining parameters cannot be set,which reduces the gear machining accuracy.The relative position between the major flank face and edge-sweeping surface,distribution law of the interference area in forming process of edge-sweeping surface,and effect law of relative positions among edge-sweeping surfaces on the interference are studied by graphical analysis.The effect law of the cutter parameters and machining parameters on the interference is found.The effect law shows that the interference in gear slicing can be controlled when the relief angle measured on the top edge and feed of every rotation are chosen respectively larger than 9~and smaller than 0.15 mrn/r.An internal helical gear is sliced with the spur slice cutter and the cutter parameters and machining parameters are set based on above the effect law.The machined gear is measured in Gear Measuring Center and the detection result shows that the comprehensive accuracy reaches GB/T Class 7,where some reach GB/T Class 6.The result can meet the gear machining accuracy requirement and shows that the effect law found is valid.The problem of the interference in gear slicing is solved and the gear machining accuracy can be improved.
基金This material is supported by the National Natural Science Foundation of China under Grant No.61001116 and 61121001Beijing Nova Programme No.Z131101000413030+1 种基金the National Major Project No.2013ZX03003002Program for Changjiang Scholars and Innovative Research Team in University No.IRT1049
文摘Software-Defined Network(SDN)empowers the evolution of Internet with the OpenFlow,Network Virtualization and Service Slicing strategies.With the fast increasing requirements of Mobile Internet services,the Internet and Mobile Networks go to the convergence.Mobile Networks can also get benefits from the SDN evolution to fulfill the 5th Generation(5G)capacity booming.The article implements SDN into Frameless Network Architecture(FNA)for 5G Mobile Network evolution with proposed Mobile-oriented OpenFlow Protocol(MOFP).The Control Plane/User Plane(CP/UP)separation and adaptation strategy is proposed to support the User-Centric scenario in FNA.The traditional Base Station is separated with Central Processing Entity(CPE)and Antenna Element(AE)to perform the OpenFlow and Network Virtualization.The AEs are released as new resources for serving users.The mobile-oriented Service Slicing with different Quality of Service(QoS)classification is proposed and Resource Pooling based Virtualized Radio Resource Management(VRRM)is optimized for the Service Slicing strategy with resource-limited feature in Mobile Networks.The capacity gains are provided to show the merits of SDN based FNA.And the MiniNet based Trial Network with Service Slicing is implemented with experimental results.
基金sponsored by the National Natural Science Foundation of China(Nos.51574242 and 5097412).
文摘Ultra-thick steep coal seam mining will inevitably lead to the increase of greater and violent ground subsidence and deformation.A subsidence control method by inversely-inclined slicing and upward mining is proposed in this paper.By this method,the sequence of collapse of overlying strata and the direction of propagation of strata movement are changed,the extent of roof-side deformation thereby is lessened,and boundary angle of roof-side subsidence is reduced by 5°-10°.The mechanism of this mining method for control of strata movement has been evidenced by numerical simulation and experiments with similarity materials.A subsidence prediction model based on the variation of mining influence propagation angle can be used to evaluate the surface movement and deformation of the mining method.The application of the method in No.3 Mine in Yaojie mining area has yielded the expected result.
基金funds supported by the Key Program of National Natural Science Foundation of China(No.51634007)
文摘For studying the strata behavior due to multi-slicing top coal caving longwall mining along-the-strike direction in steeply dipping extra thick coal seams,the shield support pressures of the upper and lower slices of panel 37220 in Dongxia Coal Mine were monitored using the KJ513 dynamic monitoring system.The set up rooms adopted the "horizontal line-arc segment-inclined line" form and used different types of shield supports.The results show that the strata pressure of upper slice panel 37220-1 changed slightly along the strike direction,while along the dip direction it exhibited strong to weak pressure from bottom to top.The first weighting interval of lower slice panel 37220-2 was about 60.8 m,and the average periodic weighting interval were about 22.6 m.The strata behavior of panel 37220-2 exhibited a spatiotemporal characteristic in that periodic weighting occurred first in the middle-upper part,followed by the middle and upper parts,arc segment,and finally the lower part.During the periodic weighting,the weighting interval and intensity also exhibited strong space characteristics.The average dynamic load coefficient was 1.48 and the maximum lateral load of the side shield was 20-25 MPa.
基金a grant from the 2020 joint annual project of the Ministry of Education of China and China Mobile:“Research on Educational Experiments with AI”(No.MCM20200404)。
文摘A consensus has been reached that 5G network slicing technology is becoming increasingly important in EMBB,MMTC and URLLC.However,this technology still has a long way to go in education industry.By selecting four types of demands in campus MMTC scenarios as specific application references,this research explores the architectural relationship between network slicing layer,intelligent terminal layer and application capability layer.Besides,emphasis has been put on the influences that virtual logic network design technology,isolation technology and standard technology has on application experiences.Under such goal,a two-dimensional route has been proposed to deploy network slicing technology based on the concept of full life cycle and the synergistic effect that AI algorithms has on slicing technology.This research is expected to nurture slicing technology,not only its technology chain,but more importantly,facilitate its value chain and large-scale vertical industry applications.
文摘In Additive Manufacturing field,the current researches of data processing mainly focus on a slicing process of large STL files or complicated CAD models.To improve the efficiency and reduce the slicing time,a parallel algorithm has great advantages.However,traditional algorithms can't make full use of multi-core CPU hardware resources.In the paper,a fast parallel algorithm is presented to speed up data processing.A pipeline mode is adopted to design the parallel algorithm.And the complexity of the pipeline algorithm is analyzed theoretically.To evaluate the performance of the new algorithm,effects of threads number and layers number are investigated by a serial of experiments.The experimental results show that the threads number and layers number are two remarkable factors to the speedup ratio.The tendency of speedup versus threads number reveals a positive relationship which greatly agrees with the Amdahl's law,and the tendency of speedup versus layers number also keeps a positive relationship agreeing with Gustafson's law.The new algorithm uses topological information to compute contours with a parallel method of speedup.Another parallel algorithm based on data parallel is used in experiments to show that pipeline parallel mode is more efficient.A case study at last shows a suspending performance of the new parallel algorithm.Compared with the serial slicing algorithm,the new pipeline parallel algorithm can make full use of the multi-core CPU hardware,accelerate the slicing process,and compared with the data parallel slicing algorithm,the new slicing algorithm in this paper adopts a pipeline parallel model,and a much higher speedup ratio and efficiency is achieved.
基金supported by the National Natural Science Foundation of China under Grant No.61971057。
文摘Heterogeneous base station deployment enables to provide high capacity and wide area coverage.Network slicing makes it possible to allocate wireless resource for heterogeneous services on demand.These two promising technologies contribute to the unprecedented service in 5G.We establish a multiservice heterogeneous network model,which aims to raise the transmission rate under the delay constraints for active control terminals,and optimize the energy efficiency for passive network terminals.A policygradient-based deep reinforcement learning algorithm is proposed to make decisions on user association and power control in the continuous action space.Simulation results indicate the good convergence of the algorithm,and higher reward is obtained compared with other baselines.
文摘Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains only those statements that actually affect the variables in the slicing criterion. This paper proposes a dynamic slicing method based on static dependence analysis. It uses the program dependence graph and other static information to reduce the information needed to be traced during program execution. Thus, the efficiency is dramatically improved while the precision is not depressed. The slicing criterion is modified to fit for debugging. It consists of file name and the line number at which the statement is.
文摘With the scale of programs becoming increasingly bigger, and the complexity degree higher, how to select program fragments for slicing has become an important research topic. A new type of criterion called interesting index is proposed for selecting parts of procedures or procedure fragments to do program slicing. This new criterion considers not only the subjective aspects in users, namely users' emphasis on the time efficiency, storage capacity or readability, but also the objective aspect in large procedures. It also represents the benefit of the users, while displaying the many-faceted roles that program slicing plays. In this way users call proceed with program slicing to large systems or unfinished systems.
基金supported by National Natural Science Foundation of China(No.62304249)a project funded by China Postdoctoral Science Foundation(No.2023M733704).
文摘Slicing and post-treatment of SiC crystals have been a significant challenge in the integrated circuit and microelectronics industry.To compete with wire-sawing and mechanical grinding technology,a promis-ing approach combining laser slicing and laser polishing technologies has been innovatively applied to increase utilization and decrease damage defects for single crystal 4H-SiC.Significant material utiliza-tion has been achieved in the hybrid laser processes,where material loss is reduced by 75%compared to that of conventional machining technologies.Without any special process control or additional treat-ment,an internally modified layer formed by laser slicing can easily separate the 4H-SiC crystals using an external force of about∼3.6 MPa.The modified layer has been characterized using a micro-Raman method to determine residual stress.The sliced surface exhibits a combination of smooth and coarse appearances around the fluvial morphology,with an average surface roughness of over S_(a) 0.89μm.An amorphous phase surrounds the SiC substrate,with two dimensions of lattice spacing,d=0.261 nm and d=0.265 nm,confirmed by high-resolution transmission electron microscopy(HRTEM).The creation of laser-induced periodic surface nanostructures in the laser-polished surface results in a flatter surface with an average roughness of less than S_(a) 0.22μm.Due to the extreme cooling rates and multiple thermal cy-cles,dissociation of Si-C bonding,and phase separation are identified on the laser-polished surface,which is much better than that of the machining surface.We anticipate that this approach will be applicable to other high-value crystals and will have promising viability in the aerospace and semiconductor industries.
基金This work is supported by National Natural Science Foundation of China(No.61702048).
文摘With the popularization of terminal devices and services in Internet of things(IoT),it will be a challenge to design a network resource allocation method meeting various QoS requirements and effectively using substrate resources.In this paper,a dynamic network slicing mechanism including virtual network(VN)mapping and VN reconfiguration is proposed to provide network slices for services.Firstly,a service priority model is defined to create queue for resource allocation.Then a slice including Virtual Network Function(VNF)placement and routing with optimal cost is generated by VN mapping.Next,considering temporal variations of service resource requirements,the size of network slice is adjusted dynamically to guarantee resource utilization in VN reconfiguration.Additionally,load balancing factors are designed to make traffic balanced.Simulation results show that dynamic slicing mechanism not only saves 22%and 31%cost than static slicing mechanism with extending shortest path(SS_ESP)and dynamic slicing mechanism with embedding single path(DS_ESP),but also maintains high service acceptance rate.
文摘Based on STL(stereo lithography)format file and with Microsoft Visual C^(++)6.0 programming language,a 3D printing slicing software appropriate for the surface strengthening of the parts has been developed,which includes three functions:3D model import,model slicing and data export.Through the grouping of STL model triangle facets before slicing,the judgment times of the relationship between the triangle facets and the cutting planes are reduced,and the slicing efficiency is improved.Aiming at the fact that the surface should be strengthened when the part is formed by using of 3D printing process,the function of identifying and marking the surface of the geometric entity is accomplished in the slicing software,which can strengthen the surface of the part according to the user’s requirements.The developed slicing software can provide an entity slicing file for 3D printing equipment.The related functions can be adjusted and improved according to user’s needs,which makes the software convenient and flexible to use.
文摘Salmonella spp. surface transfer patterns/models between ready-to-eat (RTE) deli meat and a typical meat slicer are presented. A five-strain cocktail of Salmonella spp. was inoculated directly onto the rim of a round slicer blade at an initial level of ca. 4, 5, 6, 7 or 8 log CFU/blade (ca. 3, 4, 5, 6 or 7 log CFU/cm2 of the blade edge area). Thereafter, a RTE deli meat (ham) was sliced to a thickness of 1.5 - 2.0 mm. In another cross-contamination scenario, a clean blade was initially used to slice ham, which was pre-surface-inoculated with the Salmonella cocktail (ca. 2, 3, 4, 5, 6 or 7 log CFU/cm2 with a total area of 100 cm2), followed by slicing of an un-inoculated ham. The log CFU of Salmonella per ham slice was determined and empirical models were developed. The models, follow the decreasing Power law, predict the surface cross-contamination of Salmonella spp. (at any initial level) for sliced deli meat (ham) and will provide a useful tool in developing RTE meat risk assessments. Surface transfer patterns of three foodborne pathogens, i.e. Listeria monocytogenes, E. coli O157:H7 and Salmonella predicted by models are also presented.
基金Supported in part by the National Natural Science Foundation of China(60073012),National Grand Fundamental Research 973 Program of China(G1999032701),National Research Foundation for the Doctoral Program of Higher Education of China,Natural Science Found
文摘Coverage analysis is a structural testing technique that helps to eliminate gaps in atest suite and determines when to stop testing. To compute test coverage, this letter proposes anew concept coverage about variables, based on program slicing. By adding powers accordingto their importance, the users can focus on the important variables to obtain higher test coverage.The letter presents methods to compute basic coverage based on program structure graphs. Inmost cases, the coverage obtained in the letter is bigger than that obtained by a traditionalmeasure, because the coverage about a variable takes only the related codes into account.