检索结果-南通市图书馆

Automatic Circuit Extractor for HDL Description Using Program Slicing

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2004年第5期19卷 718-728页

作者： TunLi YangGuo si-KunLi SchoolofComputerScienceandTechnology NationalUniversityofDefenseTechnologyChangsha410073P.R.China

Design extraction and reduction have been extensively used in modern VLsi design process. The extracted and reduced design can be efficiently processed by various applications, such as formal verification, simulation, automatic test pattern generation (ATPG), etc. This paper presents a new circuit extraction method using program slicing technique, and develops an elegant theoretical basis based on program slicing for circuit extraction from Verilog description. The technique can obtain a chaining slice for given signals of interest. Compared with related researches, the main advantages of the method include that it is fine grain, it has no hardware description language (HDL) coding style limitation; it is precise and is capable of dealing with various Verilog constructions. The technique has been integrated with a commercial simulation environment and incorporated into a design process. The results of practical designs show the significant benefits of the approach.

关键词： program slicing chaining slice process dependence graph circuit extraction VLsi functional verification

Fermi Blazars in the Zwicky Transient Facility Survey:A Correlation Study

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Research in Astronomy and Astrophysics 2023年第7期23卷 64-79页

作者： si-si Sun Zhong-Xiang Wang Yi Xing Department of Astronomy School of Physics and AstronomyYunnan UniversityKunming 650091China Shanghai Astronomical Observatory Chinese Academy of SciencesShanghai 200030China

We report on our correlation analysis for theγ-ray blazars detected with the Large Area Telescope(LAT)onboard the Fermi Gamma-ray Space Telescope(Fermi),for which we use the Fermi-LAT data and the optical zr and zg band data from the Zwicky Transient Facility survey in the time period approximately from 2018 July to *** start from the full sample of the Fermi-LAT blazars and find~38%of them as significant variables in bothγ-ray and optical *** the variables,which are 705 blazars,95 are selected as our targets based on the requirement for theγ-ray *** 15 out of the 95 blazars are found to show theγ-ray-optical correlations in the~3.7 yr time *** of the 15 blazars are classified as low synchrotron peaked(LSP)ones with the time lags between theγ-ray and optical bands in a range from-19 to+25 *** results generally fit the often-considered emission scenario for the LSP *** cases of showing~-100 days time lags are discussed,which require farther studies for *** analysis results suggest that among the detected significant variables,~23%LSPs can showγ-ray and optical correlations,while their averageγ-ray fluxes are above~4×10^(-8)photon cm^(-2)s^(-1).

关键词： gamma-rays:galaxies (galaxies:)quasars:general (galaxies:)BL Lacertae objects:general

Method of cells-based multiscale modeling of elastic properties of filament wound C/C-siC including free si and matrix porosity

在线全文

学校读者我要写书评

暂无评论

Journal of Materials Science & Technology 2019年第12期35卷 2906-2918页

作者： Evan J.Pineda Marek Fassin Stefanie Reese Jaan-Willem simon NASA Glenn Research Center 21000 Brookpark RoadMS 49/7ClevelandOH 44135United States Institute for Applied Mechanics RWTH Aachen UniversityMies-van-der-Rohe-Str.152074 AachenGermany

Three different multiscale models, based on the method of cells(generalized and high fidelity) micromechanics models were developed and used to predict the elastic properties of C/C-siC composites. In particular, the following multiscale modeling strategies were employed: Concurrent modeling of all phases using the generalized method of cells, synergistic(two-way coupling in space) multiscale modeling with the generalized method of cells, and hierarchical(one-way coupling in space) multiscale modeling with the high fidelity generalized method of cells. The three models are validated against data from a hierarchical multiscale finite element model in the literature for a repeating unit cell of C/***, the multiscale models are used in conjunction with classical lamination theory to predict the stiffness of C/C-siC plates manufactured via a wet filament winding and liquid silicon infiltration process recently developed by the German Aerospace Institute. Finally, un-reacted si(or free si) and porosity in the C matrix are included in the multiscale model, and the effect of these new phases on the stiffness and local stresses are considered.

关键词： Multiscale modeling C/C-siC Ceramic matrix composites

Response Solutions for Degenerate Reversible Harmonic Oscillators with Zero-average Perturbation

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica sinica,English Series 2023年第10期39卷 2006-2030页

作者： Xin Yu GUAN Jian Guo si Wen si School of Statistics and Mathematics Shandong University of Finance and EconomicsJi’nan 250002P.R.China School of Mathematics Shandong UniversityJi’nan 250100P.R.China

In this paper,we consider a class of normally degenerate quasi-periodically forced reversible systems,obtained as perturbations of a set of harmonic oscillators,{x˙=y+∈f1(ωt,x,y),y˙=λx^(l)+∈f2(ωt,x,y),where 0≠λ∈R,l>1 is an integer and the corresponding involution G is(−θ,x,−y)→(θ,x,y).The existence of response solutions of the above reversible systems has already been proved in[22]if[f2(ωt,0,0)]satisfies some non-zero average conditions(See the condition(H)in[22]),here[·]denotes the average of a continuous function on T^(d).However,discussing the existence of response solutions for the above systems encounters difficulties when[f_(2)(ωt,0,0)]=0,due to a degenerate implicit function must be *** article will be doing work in this *** purpose of this paper is to consider the case where[f2(ωt,0,0)]=*** precisely,with 2p˜0(seeλ˜in(2.2))and sufficiently small,response solutions exist for eachωsatisfying a weak non-resonant condition;(2)Forλ0 and l−p is even,we prove the system admits no response solutions in most regions.

关键词： Degenerate harmonic oscillators zero-average perturbation KAM theory reversible system response solutions

Three-dimensional adaptive finite-time guidance law for intercepting maneuvering targets

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Aeronautics 2017年第6期30卷 1985-2003页

作者： Yujie si Shenmin SONG Center for Control Theory and Guidance Technology Harbin Institute of Technology Harbin 150001 China

To intercept maneuvering targets at desired impact angles, a three-dimensional terminal guidance problem is investigated in this study. Because of a short terminal guidance time, a finitetime impact angle control guidance law is developed using the fast nonsingular terminal sliding mode control theory. However, the guidance law requires the upper bound of lumped uncertainty including target acceleration, which may not be accurately obtained. Therefore, by adopting a novel reaching law, an adaptive sliding mode guidance law is provided to release the drawback. At the same time, this method can accelerate the convergence rate and weaken the chattering phenomenon to a certain extent. In addition, another novel adaptive guidance law is also derived; this ensures systems asymptotic and finite-time stability without the knowledge of perturbations *** simulations have demonstrated that all the three guidance laws have effective performances and outperform the traditional terminal guidance laws.

关键词： Adaptive control Finite-time guidance law Impact angle Sliding mode control Three-dimensional guidance law

在线全文

学校读者我要写书评

暂无评论

重污染企业ESG表现对绿色创新的影响

价值工程 2025年第1期44卷 74-77页

作者：吕思琦安徽财经大学蚌埠233000

本研究通过对2009年至2021年沪深A股中的重污染企业进行实证分析,深入探讨了企业ESG表现对其实现绿色创新的影响力及其作用机制。研究发现:重污染企业良好的ESG表现能显著提升绿色创新能力;机制分析发现ESG表现可以通过缓解企业融资约... 详细信息

本研究通过对2009年至2021年沪深A股中的重污染企业进行实证分析,深入探讨了企业ESG表现对其实现绿色创新的影响力及其作用机制。研究发现:重污染企业良好的ESG表现能显著提升绿色创新能力;机制分析发现ESG表现可以通过缓解企业融资约束增强企业的绿色创新能力。文章研究结论为我国重污染企业提高ESG表现,加强绿色创新能力有一定启示作用。

关键词： ESG表现绿色创新融资约束

CHARACTERIZATIONS OF SYMMETRIC MULTISTEP RUNGE-KUTTA METHODS

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2004年第6期22卷 791-796页

作者： Ai-guoXiao si-qingGan SchoolofMathematicsandComputationalScience XiangtanUniversityXiangtan411105China SchoolofMathematicsSciencesandComputingTechnology CentralSouthUniversityChangsha410075China

Some characterizations for symmetric multistep Runge-Kutta(RK) methods are obtained. Symmetric two-step RK methods with one and two-stages are presented. Numerical examples show that symmetry of multistep RK methods alone is not sufficient for long time integration for reversible Hamiltonian systems. This is an important difference between one-step and multistep symmetric RK methods.

关键词： Multistep Runge-Kutta method Symmetry

STABILITY OF GENERAL LINEAR METHODS FOR SYSTEMS OF FUNCTIONAL-DIFFERENTIAL AND FUNCTIONAL EQUATIONS

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Computational Mathematics 2005年第1期23卷 37-48页

作者： si-qingGan Wei-minZheng SchoolofMathematicalScienceandComputingTechnology CentralSouthUniversityChangsha410075China DepartmentofComputerScienceandTechnology TsinghuaUniversityBeijing100084China

This paper is concerned with the numerical solution of functional-differential and func-tional equations which include functional-differential equations of neutral type as special cases. The adaptation of general linear methods is considered. It is proved that A-stable general linear methods can inherit the asymptotic stability of underlying linear *** general results of numerical stability are also given.

关键词： hybrid systems functional-differential equations functional equations general linear methods numerical stability

Numerical investigation of separation-induced transition in a lowpressure turbine cascade in a low-disturbance environment

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Physics,Mechanics & Astronomy) 2020年第6期63卷 66-82页

作者： si-Ya Jiang Song Fu School of Aerospace Engineering Tsinghua UniversityBeijing 100084China

In this paper,the separation-induced transition in an LPT(low-pressure turbine)cascade is investigated at low Reynolds number with DNS(direct numerical simulation).The transition process is accurately predicted giving good agreements between the DNS and experimental *** illustrate the secondary instability of separation-induced transition in a low-disturbance environment,the results are comprehensively analyzed in both Fourier space and physical *** is illustrated that the effect of hyperbolic instability dominates around the saddle point of hyperbolic *** instability mechanism is responsible for the emergence of the streamwise vortices in the braid *** and intensified because of the“stretching”effect of the background flow,these vortices become the most noticeable characteristic of the flow *** modes of small spanwise wavelength are excited in the braid region,so as some low-frequency *** elliptical instability plays a minor role than hyperbolic *** is also observed that the fundamental mode with a larger spanwise wavelength is unstable in the vortex core which is associated with the deformation of the vortex core via elliptical *** is no convincing evidence for the existence of subharmonic instability.

关键词： separation direct numerical simulation transition to turbulence