Veloce平台在大规模SOC仿真验证中的应用

随着现代集成电路技术的发展,尤其是IP的大量使用,芯片的规模越来越大,系统功能越来越复杂,普通的EDA和FPGA仿真在速度和性能上已经无法胜任芯片仿真验证的要求,功能验证已经成为大规模芯片设计的一个瓶颈;同时复杂的SOC系统需要相应的软件,由于芯片研发的周期越来越长,传统的软硬件顺序开发的方式受到了市场压力的巨大挑战,软硬件并行开发成为将来大规模IC系统设计的一大趋势。本文主要介绍Mentor Graphics公司Veloce验证平台在超大规模IC系统中仿真验证的应用。借助Veloce的高速和大容量的特性,极大的提高功能验证的效率,解决由于芯片规模大FPGA无法验证的问题,保证芯片的按时投片。同时通过和Jtag的联合使用,成功解决软硬件的联合仿真和并行开发。

Pulses in ground motions identified through surface partial matching and their impact on seismic rocking consequence

In seismology and earthquake engineering,it is fundamental to identify and characterize the pulse-like features in pulse-type ground motions.To capture the pulses that dominate structural responses,this study establishes congruence and shift relationships between response spectrum surfaces.A similarity search between spectrum surfaces,supplemented with a similarity search in time series,has been applied to characterize the pulse-like features in pulse-type ground motions.The identified pulses are tested in predicting the rocking consequences of slender rectangular blocks under the original ground motions.Generally,the prediction is promising for the majority of the ground motions where the dominant pulse is correctly identified.

ST-LSTM-SA:A New Ocean Sound Velocity Field Prediction Model Based on Deep Learning

The scarcity of in-situ ocean observations poses a challenge for real-time information acquisition in the ocean.Among the crucial hydroacoustic environmental parameters,ocean sound velocity exhibits significant spatial and temporal variability and it is highly relevant to oceanic research.In this study,we propose a new data-driven approach,leveraging deep learning techniques,for the prediction of sound velocity fields(SVFs).Our novel spatiotemporal prediction model,STLSTM-SA,combines Spatiotemporal Long Short-Term Memory(ST-LSTM) with a self-attention mechanism to enable accurate and real-time prediction of SVFs.To circumvent the limited amount of observational data,we employ transfer learning by first training the model using reanalysis datasets,followed by fine-tuning it using in-situ analysis data to obtain the final prediction model.By utilizing the historical 12-month SVFs as input,our model predicts the SVFs for the subsequent three months.We compare the performance of five models:Artificial Neural Networks(ANN),Long ShortTerm Memory(LSTM),Convolutional LSTM(ConvLSTM),ST-LSTM,and our proposed ST-LSTM-SA model in a test experiment spanning 2019 to 2022.Our results demonstrate that the ST-LSTM-SA model significantly improves the prediction accuracy and stability of sound velocity in both temporal and spatial dimensions.The ST-LSTM-SA model not only accurately predicts the ocean sound velocity field(SVF),but also provides valuable insights for spatiotemporal prediction of other oceanic environmental variables.

In vivo label-free measurement of blood flow velocity symmetry based on dual line scanning third-harmonic generation microscopy excited at the 1700 nm window

Measurement of bloodflow velocity is key to understanding physiology and pathology in vivo.While most measurements are performed at the middle of the blood vessel,little research has been done on characterizing the instantaneous bloodflow velocity distribution.This is mainly due to the lack of measurement technology with high spatial and temporal resolution.Here,we tackle this problem with our recently developed dual-wavelength line-scan third-harmonic generation(THG)imaging technology.Simultaneous acquisition of dual-wavelength THG line-scanning signals enables measurement of bloodflow velocities at two radially symmetric positions in both venules and arterioles in mouse brain in vivo.Our results clearly show that the instantaneous bloodflow velocity is not symmetric under general conditions.

用Velocity Verlet积分器改进HMC抽样方法

Hamilton Monte Carlo (HMC)方法是一种常用的快速抽样方法.在对哈密顿方程进行抽样时,HMC方法使用Leapfrog积分器,这可能造成方程的位置及动量的迭代值在时间上不同步,其产生的误差会降低抽样效率及抽样结果的稳定性.为此,本文提出了IHMC(Improved HMC)方法,该方法用Velocity Verlet积分器替代Leapfrog积分器,每次迭代时都计算两变量在同一时刻的值.为验证方法的效果,本文进行了两个实验,一个是将该方法应用于非对称随机波动率模型(RASV模型)的参数估计,另一个是将方法应用于方差伽马分布的抽样,结果显示:IHMC方法比HMC方法的效率更高、结果更稳定.

Analysis of faulting destruction and water supply pipeline damage from the first mainshock of the February 6,2023 Türkiye earthquake doublet

In 2023,two consecutive earthquakes exceeding a magnitude of 7 occurred in Türkiye,causing severe casualties and economic losses.The damage to critical urban infrastructure and building structures,including highways,railroads,and water supply pipelines,was particularly severe in areas where these structures intersected the seismogenic fault.Critical infrastructure projects that traverse active faults are susceptible to the influence of fault movement,pulse velocity,and ground motions.In this study,we used a unique approach to analyze the acceleration records obtained from the seismic station array(9 strong ground motion stations)located along the East Anatolian Fault(the seismogenic fault of the MW7.8 mainshock of the 2023 Türkiye earthquake doublet).The acceleration records were filtered and integrated to obtain the velocity and displacement time histories.We used the results of an on-site investigation,jointly conducted by China Earthquake Administration and Türkiye’s AFAD,to analyze the distribution of PGA,PGV,and PGD recorded by the strong motion array of the East Anatolian Fault.We found that the maximum horizontal PGA in this earthquake was 3.0 g,and the maximum co-seismic surface displacement caused by the East Anatolian Fault rupture was 6.50 m.As the fault rupture propagated southwest,the velocity pulse caused by the directional effect of the rupture increased gradually,with the maximum PGA reaching 162.3 cm/s.We also discussed the seismic safety of critical infrastructure projects traversing active faults,using two case studies of water supply pipelines in Türkiye that were damaged by earthquakes.We used a three-dimensional finite element model of the PE(polyethylene)water pipeline at the Islahiye State Hospital and fault displacement observations obtained through on-site investigation to analyze pipeline failure mechanisms.We further investigated the effect of the fault-crossing angle on seismic safety of a pipeline,based on our analysis and the failure performance of the large-diameter Thames Water pipeline during the 1999 Kocaeli earthquake.The seismic method of buried pipelines crossing the fault was summarized.

Flood Velocity Prediction Using Deep Learning Approach

Floods are one of the most serious natural disasters that can cause huge societal and economic losses.Extensive research has been conducted on topics like flood monitoring,prediction,and loss estimation.In these research fields,flood velocity plays a crucial role and is an important factor that influences the reliability of the outcomes.Traditional methods rely on physical models for flood simulation and prediction and could generate accurate results but often take a long time.Deep learning technology has recently shown significant potential in the same field,especially in terms of efficiency,helping to overcome the time-consuming associated with traditional methods.This study explores the potential of deep learning models in predicting flood velocity.More specifically,we use a Multi-Layer Perceptron(MLP)model,a specific type of Artificial Neural Networks(ANNs),to predict the velocity in the test area of the Lundesokna River in Norway with diverse terrain conditions.Geographic data and flood velocity simulated based on the physical hydraulic model are used in the study for the pre-training,optimization,and testing of the MLP model.Our experiment indicates that the MLP model has the potential to predict flood velocity in diverse terrain conditions of the river with acceptable accuracy against simulated velocity results but with a significant decrease in training time and testing time.Meanwhile,we discuss the limitations for the improvement in future work.

Corrosion behavior of HVOF Inconel 625 coating in the simulated marine environment

High velocity oxygen fuel(HVOF)spraying process is commonly used to produce superalloy coatings.Inconel 625 coating was prepared on Q235B low carbon steel by HVOF.A series of experiments were conducted to examine the surface and corrosion resistance properties of Inconel 625 HVOF coating.In this paper,potentiodynamic polarization tests and electrochemical impedance spectroscopy(EIS)tests were carried out to evaluate the corrosion resistance of Inconel 625 coating under simulated marine environment.The experiment-al results showed that Inconel 625 coating revealed low porosity and desired coating thickness.Shift in the corrosion potential(E_(corr))to-wards the noble direction combined with much low corrosion current density(i_(corr))indicating a significant improvement of HVOF Inconel 625 coating compared with the substrate.

Performance characteristics of the airlift pump under vertical solid-water-gas flow conditions for conveying centimetric-sized coal particles

In this study,the installation of an airlift pump with inner diameter of 102 mm and length of 5.64 m was utilized to consider the conveying process of non-spherical coal particles with density of 1340 kg/m3 and graining 25-44.5 mm.The test results revealed that the magnitude of increase in the solid transport rate due to the changes in the three tested parameters between compressed air velocity,submergence ratio,and feeding coal possibility was not the same,which are stand in range of 20%,75%,and 40%,respectively.Hence,creating the optimal airlift pump performance is highly dependent on submergence ratio.More importantly,we measured the solid volume fraction using the method of one-way valves in order to minimize the disadvantages of conventional devices,such as fast speed camera and conductivity ring sensor.The results confirmed that the volume fraction of the solid phase in the transfer process was always less than 12%.To validate present experimental data,the existing empirical correlations together with the theoretical equations related to the multiphase flow was used.The overall agreement between the theory and experimental solid delivery results was particularly good instead of the first stage of conveying process.This drawback can be corrected by omitting the role of friction and shear stress at low air income velocity.It was also found that the model developed by Kalenik failed to predict the performance of our airlift operation in terms of the mass flow rate of the coal particles.

Anisotropy measurements and characterization of the Qingshankou shale

Qingshankou shale(Gulong area,China)exhibits strong acoustic anisotropy characteristics,posing significant challenges to its exploration and development.In this study,the five full elastic constants and multipole response law of the Qingshankou shale were studied using experimental measurements.Analyses show that the anisotropy parametersϵandγin the study region are greater than 0.4,whereas the anisotropy parameterδis smaller,generally 0.1.Numerical simulations show that the longitudinal and transverse wave velocities of these strong anisotropic rocks vary significantly with inclination angle,and significant differences in group velocity and phase velocity are also present.Acoustic logging measures the group velocity in dipped boreholes;this differs from the phase velocity to some extent.As the dip angle increases,the longitudinal and SH wave velocities increase accordingly,while the qSV-wave velocity initially increases and then decreases,reaching its maximum value at a dip of approximately 40°.These results provide an effective guide for the correction and modeling of acoustic logging time differences in the region.

Acoustic characterization of hydrate formation and decomposition in clay-bearing sediments

Understanding the acoustic characteristics of hydrates in various sediments is crucial for hydrate resource detection and safe and efficient exploitation,as hydrate occurrence patterns vary greatly in different sediments.In this work,sediments with different bentonite contents,water saturations,and types were prepared to investigate the characteristics of P-wave velocity(reflecting the magnitude of hydrate saturation in the sediment)and amplitude(reflecting the degree of hydrate-sediment cementation)during hydrate formation and depressurization.During hydrate formation,the P-wave velocity and amplitude have similar trends.As clay content increases,the P-wave velocity increase rates quickened.On the other hand,the increased rate of P-wave velocity slows down with the increase of water saturation in the clay-bearing sediments.Comparing various types of sediment shows that the water absorption and swelling of bentonite reduce the pore space,speeding up the cementation of the hydrate with the sediment and increasing P-wave velocity at a faster rate.Correspondence between P-wave velocity and hydrate saturation is strongly related to sediment type,clay content,and water saturation.The rapidly decreasing amplitude in the early stage of hydrate depressurization indicates that hydrate in clay-bearing sediments is weakly cemented to the sediments,which is prone to stratigraphic instability.The findings of this study offer guidance for hydrate resource assessments in clay-bearing sediments as well as geologic risk estimations during hydrate mining.

Determining rock crack stress thresholds using ultrasonic through-transmission measurements

The crack initiation stress threshold is widely used in excavation industries as rock spalling strength when designing deep underground structures to avoid unwanted brittle failures.While various strain-based methods have been developed for the estimation of this critical design parameter,such methods are destructive and often requires subjective interpretations of the stress–strain curves,particularly in rocks with pre-existing microcracks or high porosity.This study explore the applicability of non-destructive ultrasonic through-transmission methods for determining rock damage levels by assessing the changes in transmitted signal characteristics during loading.The change in velocity,amplitude,dominant frequency,and root-mean-square voltage are investigated with four different rock types including marble,sandstone,granite,and basalt under various stress levels.Results suggest the rate of signal variations can be reliably used to estimate crack closure and crack initiation stress levels across the tested rocks before failure.Comparison of the results between the conventional techniques and the new proposed methods based on ultrasonic monitoring are further discussed.

Epidural pressure measurement using a fiber-optic sensor(proof-of-principle in vivo animal trial)

Background:An increase in epidural pressure around the stenosis has been observed in patients with lumbar spinal stenosis(LSS)with positive signs of sedimentation or redundant nerve roots.Further analysis of the pressure conditions in the stenotic area would be of great interest.We hypothesized that it would be possible to determine the physiological parameters of the epidural pulse wave and its course in pathological stenosis as a basis for objective identification of LSS based on pressure using a new measuring method with continuous spatial and temporal resolution.Methods:We performed a single-case proof-of-principle in vivo animal trial and used a newly developed hybrid pressure-measurement probe with a fiber-tip Fabry-Pérot interferometer and several fiber Bragg gratings(FBG).Results:With reproducible precision,we determined the mean epidural pressure to be 7.5 mmHg and the peak-to-peak value to be 4-5 mmHg.When analyzing the pres-sure measured by an FBG array,both the heart and respiratory rates can be precisely determined.This study was the first to measure the pulse wave velocity of the cer-ebrospinal fluid pressure wave as 0.97 m/s using the newly developed pressure probe.A simulated LSS was detected in real time and located exactly.Conclusions:The developed fiber-optic pressure sensor probe enables a new objec-tive measurement of epidural pressure.We confirmed our hypothesis that physiologi-cal parameters of the epidural pulse wave can be determined and that it is possible to identify an LSS.

Derivative Spectroscopy and its Application at Detecting the Weak Emission/Absorption Lines

The development of spectroscopic survey telescopes like Large Sky Area Multi-Object Fiber Spectroscopic Telescope(LAMOST),Apache Point Observatory Galactic Evolution Experiment and Sloan Digital Sky Survey has opened up unprecedented opportunities for stellar classification.Specific types of stars,such as early-type emission-line stars and those with stellar winds,can be distinguished by the profiles of their spectral lines.In this paper,we introduce a method based on derivative spectroscopy(DS)designed to detect signals within complex backgrounds and provide a preliminary estimation of curve profiles.This method exhibits a unique advantage in identifying weak signals and unusual spectral line profiles when compared to other popular line detection methods.We validated our approach using synthesis spectra,demonstrating that DS can detect emission signals three times fainter than Gaussian fitting.Furthermore,we applied our method to 579,680 co-added spectra from LAMOST Medium-Resolution Spectroscopic Survey,identifying 16,629 spectra with emission peaks around the Hαline from 10,963 stars.These spectra were classified into three distinct morphological groups,resulting in nine subclasses as follows.(1)Emission peak above the pseudo-continuum line(single peak,double peaks,emission peak situated within an absorption line,P Cygni profile,Inverse P Cygni profile);(2)Emission peak below the pseudo-continuum line(sharp emission peak,double absorption peaks,emission peak shifted to one side of the absorption line);(3)Emission peak between the pseudo-continuum line.

Origin of tradeoff between movement velocity and attachment duration of kinesin motor on a microtubule

Kinesin-1 motor protein is a homodimer containing two identical motor domains connected by a common long coiledcoil stalk via two flexible neck linkers. The motor can step on a microtubule with a velocity of about 1 μm·s-1and an attachment duration of about 1 s under physiological conditions. The available experimental data indicate a tradeoff between velocity and attachment duration under various experimental conditions, such as variation of the solution temperature,variation of the strain between the two motor domains, and so on. However, the underlying mechanism of the tradeoff is unknown. Here, the mechanism is explained by a theoretical study of the dynamics of the motor under various experimental conditions, reproducing quantitatively the available experimental data and providing additional predictions. How the various experimental conditions lead to different decreasing rates of attachment duration versus velocity is also explained.

Comprehensive analysis of glacier recession(2000-2020)in the Nun-Kun Group of Glaciers,Northwestern Himalaya

Himalayan glaciers are shrinking rapidly,especially after 2000.Glacier shrinkage,however,shows a differential pattern in space and time,emphasizing the need to monitor and assess glacier changes at a larger scale.In this study,changes of 48 glaciers situated around the twin peaks of the Nun and Kun mountains in the northwestern Himalaya,hereafter referred to as Nun-Kun Group of Glaciers(NKGG),were investigated using Landsat satellite data during 2000-2020.Changes in glacier area,snout position,Equilibrium Line Altitude(ELA),surface thickness and glacier velocity were assessed using remote sensing data supplemented by field observations.The study revealed that the NKGG glaciers have experienced a recession of 4.5%±3.4%and their snouts have retreated at the rate of 6.4±1.6 m·a^(-1).Additionally,there was a 41%increase observed in the debris cover area during the observation period.Using the geodetic approach,an average glacier elevation change of-1.4±0.4 m·a^(-1)was observed between 2000 and 2012.The observed mass loss of the NKGG has resulted in the deceleration of glacier velocity from 27.0±3.7 m·a^(-1)in 2000 to 21.2±2.2 m·a^(-1)in 2020.The ELA has shifted upwards by 83.0±22 m during the period.Glacier morphological and topographic factors showed a strong influence on glacier recession.Furthermore,a higher recession of 12.9%±3.2%was observed in small glaciers,compared to 2.7%±3.1%in larger glaciers.The debris-covered glaciers showed lower shrinkage(2.8%±1.1%)compared to the clean glaciers(9.3%±5%).The glacier depletion recorded in the NKGG during the last two decades,if continued,would severely diminish glacial volume and capacity to store water,thus jeopardizing the sustainability of water resources in the basin.

Relating estimates of wood properties of birch to stem form, age and species

Birch has long suffered from a lack of active forest management,leading many researchers to use mate-rial without a detailed management history.Data collected from three birch(Betula pendula Roth,B.pubescens Ehrh.)sites in southern Sweden were analyzed using regression analysis to detect any trends or differences in wood proper-ties that could be explained by stand history,tree age and stem form.All sites were genetics trials established in the same way.Estimates of acoustic velocity(AV)from non-destructive testing(NDT)and predicted AV had a higher correlation if data was pooled across sites and other stem form factors were considered.A subsample of stems had radial profiles of X-ray wood density and ring width by year created,and wood density was related to ring number from the pith and ring width.It seemed likely that wood density was negatively related to ring width for both birch species.Linear models had slight improvements if site and species were included,but only the youngest site with trees at age 15 had both birch species.This paper indicated that NDT values need to be considered separately,and any predictive models will likely be improved if they are specific to the site and birch species measured.

Probing the Galactic Halo with RR Lyrae Stars.VI.The Radial Velocity Curve Templates of RRc Stars

We present radial velocity(RV)curve templates of RR Lyrae first-overtone(RRc)stars constructed with the Mg I b triplet and Hαlines using time-domain Medium-Resolution Survey spectra of seven RRc stars from Large Sky Area Multi-Object Fiber Spectroscopic Telescope(LAMOST)Data Release 9.Additionally,we derive the relation between the stellar RV curve amplitudes and g-band light curve amplitudes from Zwicky Transient Facility(ZTF)public survey.For those RRc stars without ZTF g-band light curves,we provide the conversions from the light curve amplitudes in ZTF r-and i-bands,Gaia G-band,and V-band from the All-Sky Automated Survey for Supernovae to those in ZTF g-band.We validate our RV curve templates using the RRc star SV Scl and find the uncertainties of systemic RV are less than 2.11 km s~(-1)and 6.08 km s~(-1)based on the Mg I b triplet and Hαlines,respectively.We calculate the systemic RVs of 30 RRc stars using the RV curve templates constructed with the Mg I b triplet and Hαlines and find the systemic RVs are comparable with each other.This RV curve template will be particularly useful for obtaining the systemic RV of RRc using the LAMOST spectroscopy.

Automatic velocity picking based on optimal key points tracking algorithm

Picking velocities from semblances manually is laborious and necessitates experience. Although various methods for automatic velocity picking have been developed, there remains a challenge in efficiently incorporating information from nearby gathers to ensure picked velocity aligns with seismic horizons while also improving picking accuracy. The conventional method of velocity picking from a semblance volume is computationally demanding, highlighting a need for a more efficient strategy. In this study, we introduce a novel method for automatic velocity picking based on multi-object tracking. This dynamic tracking process across different semblance panels can integrate information from nearby gathers effectively while maintaining computational efficiency. First, we employ accelerated density clustering on the velocity spectrum to discern cluster centers without the requirement for prior knowledge regarding the number of clusters. These cluster centers embody the maximum likelihood velocities of the main subsurface structures. Second, our proposed method tracks key points within the semblance volume. Kalman filter is adopted to adjust the tracking process, followed by interpolation on these tracked points to construct the final velocity model. Our synthetic data example demonstrates that our proposed algorithm can effectively rectify the picking errors of the clustering algorithm. We further compare the performances of the clustering method(CM), the proposed tracking method(TM), and the variational method(VM) on a field dataset from the Gulf of Mexico. The results attest that our method offers superior accuracy than CM, achieves comparable accuracy with VM, and benefits from a reduced computational cost.

Natural vibration and critical velocity of translating Timoshenko beam with non-homogeneous boundaries

In most practical engineering applications,the translating belt wraps around two fixed wheels.The boundary conditions of the dynamic model are typically specified as simply supported or fixed boundaries.In this paper,non-homogeneous boundaries are introduced by the support wheels.Utilizing the translating belt as the mechanical prototype,the vibration characteristics of translating Timoshenko beam models with nonhomogeneous boundaries are investigated for the first time.The governing equations of Timoshenko beam are deduced by employing the generalized Hamilton's principle.The effects of parameters such as the radius of wheel and the length of belt on vibration characteristics including the equilibrium deformations,critical velocities,natural frequencies,and modes,are numerically calculated and analyzed.The numerical results indicate that the beam experiences deformation characterized by varying curvatures near the wheels.The radii of the wheels play a pivotal role in determining the change in trend of the relative difference between two beam models.Comparing the results unearths that the relative difference in equilibrium deformations between the two beam models is more pronounced with smaller-sized wheels.When the two wheels are of equal size,the critical velocities of both beam models reach their respective minima.In addition,the relative difference in natural frequencies between the two beam models exhibits nonlinear variation and can easily exceed 50%.Furthermore,as the axial velocities increase,the impact of non-homogeneous boundaries on modal shape of translating beam becomes more significant.Although dealing with non-homogeneous boundaries is challenging,beam models with non-homogeneous boundaries are more sensitive to parameters,and the differences between the two types of beams undergo some interesting variations under the influence of non-homogeneous boundaries.