检索结果-南通市图书馆

维普期刊数据库博看期刊

基于语义加权网络的重点领域科学基金资助态势识别研究

在线全文

学校读者我要写书评

暂无评论

现代情报 2025年第1期45卷 46-59,111页

作者：王伟梁继文杨建林南京邮电大学管理学院江苏南京210003 苏州大学社会学院江苏苏州215127 南京大学信息管理学院江苏南京210023 数据工程与知识服务省高校重点实验室(南京大学) 江苏南京210023

[目的/意义]科学基金制度是各国(地区)提升科学研究水平的重要方式,准确识别科学基金的资助方向和资助成效是感知科技发展态势的关键。[方法/过程]为识别科学基金资助态势,在提出关键短语抽取规则后,利用语义相似度消除同、近义词的歧... 详细信息

[目的/意义]科学基金制度是各国(地区)提升科学研究水平的重要方式,准确识别科学基金的资助方向和资助成效是感知科技发展态势的关键。[方法/过程]为识别科学基金资助态势,在提出关键短语抽取规则后,利用语义相似度消除同、近义词的歧义影响,利用动态滑动窗口和语义相似度构建语义加权的词共现网络,并基于社团划分方法识别基金主题。在集成电路领域比较1812项中国国家自然科学基金和2807项美国国家科学基金的资助主题分布、资助力度变化和资助效果,该方法能够准确识别基金主题分布和资助成效。[结果/结论]中国国家自然科学基金和美国国家科学基金均涵盖了集成电路领域的主要研究主题,在重点资助方向和资助力度上有较大差异;中国国家自然科学基金资助的论文平均被引频次相对较低,受资助机构相对单一。

关键词：科学基金资助态势社团划分词共现网络主题分析集成电路

Certifying assembly programs with trails

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2011年第4期5卷 472-485页

作者： wei wang Department of Computer Science ＆ Technology University of Science ＆ Technology of China Hefei 230027 China Suzhou Institute for Advanced Study University of Science ＆ Technology of China Suzhou 215123 China

In this paper, we introduce a new way of certifying assembly programs. Unlike previous program logics, we extract the control-flow information from the code and generate an intermediate trail between the specification and the real code. Trails are auxiliary specifications and treated as modules in the certification process. We define a simple modular program logic called trail-based certified assembly programming （TCAP） to certify and link different parts of a program using the corresponding trails. Because the control flow information in trails is explicit, the rules are easier to design. We show that our logic is powerful enough to prove partial correctness of assembly programs with features including stack-based abstractions and self-modifying code. We also provide a semantics for TCAP and prove that the logic is sound with respect to the semantics.

关键词： Certifying assembly code control flow,partial correcmess

Properties of WC-8Co hardmetals with plate-like WC grains prepared by plasma-assisted milling

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2016年第10期35卷 763-770页

作者： wei wang School of Materials Science and Engineering South China University of Technology Guangzhou 510640 China Key Laboratory of Advanced Energy Storage Materials of Guangdong Province Guangzhou 510640 China

WC-8Co hardmetals with different proportions of prismatic WC grains and plate-like WC grains were directly produced through sintering the W-C-8Co ele- mental powder mixture which was fabricated by dielectric barrier discharge plasma （DBDP）-assisted milling. The morphology of prepared WC-8Co hardmetals, geometry and the preferential orientation of plate-like WC were investigated by X-ray diffraction （XRD） and scanning electron microscopy （SEM） analysis. The results demon- strate that the microstructure and mechanical properties of the sintered hardmetals are related to the morphology of W grain which is dependent on DBDP-milling time. The DBDP for 1 h （DBDP-1 h）-milled W-C-Co powder contains granular W particles that tend to form prismatic WC grains, while the DBDP for 3 h （DBDP-3 h）-milled powder contains lamellar W particles that generate plate-like WC grains. By adjusting the weight ratio of DBDP-1 h powder and DBDP-3 h powder in W-C-8Co mixture, the proportion of plate-like WC in the hardmetals can be controlled, and relatively high transverse rupture strength （TRS） is obtained as the proportion of plate-like WC grain in the hardmetals is about 35 % in present experimental condition.

关键词： Plate-like WC WC-Co hardmetal Ball milling Plasma

在线全文

学校读者我要写书评

暂无评论

天然和饱水红砂岩三轴压缩蠕变变形试验研究

三峡大学学报（自然科学版） 2025年第1期47卷 9-15页

作者：刘桃根胡凯李玲王伟湖南工学院土木与建筑工程学院湖南衡阳421002 河海大学岩土工程科学研究所南京210098 江西职业技术大学建筑工程学院江西九江332007

蠕变特性和长期强度是红砂岩地区岩体工程安全评价的关键要素,饱水软化效应对红砂岩蠕变特性和长期强度具有重要影响.采用全自动岩石三轴压缩伺服流变仪,开展天然与饱水红砂岩的三轴压缩试验和三轴压缩蠕变试验.试验结果表明:峰值强度... 详细信息

蠕变特性和长期强度是红砂岩地区岩体工程安全评价的关键要素,饱水软化效应对红砂岩蠕变特性和长期强度具有重要影响.采用全自动岩石三轴压缩伺服流变仪,开展天然与饱水红砂岩的三轴压缩试验和三轴压缩蠕变试验.试验结果表明:峰值强度、弹性模量和蠕变破坏应力因饱水软化效应而降低,围压对其降幅有削弱作用,蠕变破坏应力与峰值强度的比值在0.75~0.98之间;饱水软化效应能增强蠕变瞬时变形,减弱蠕变变形及蠕变应变速率;环向应变比轴向应变更早进入稳态蠕变阶段和加速蠕变阶段;稳态蠕变速率与偏压的变化关系符合指数函数关系;长期强度因饱水软化作用而降低,却因围压增加而增大,长期强度与峰值强度的比值在0.62~0.92之间;裂纹损伤应力与长期强度相差较大,裂纹损伤应力视为长期强度有待进一步考究.

关键词：红砂岩蠕变特性长期强度饱水软化效应裂纹损伤应力

在线全文

学校读者我要写书评

暂无评论

基于感知先验与分量增强的高动态成像方法

光电子·激光 2025年第1期36卷 36-45页

作者：王伟张思远刘晓芮辽宁工程技术大学基础教学部辽宁工程技术大学电子与信息工程学院

高动态范围成像方法大多存在融合图像亮度不均衡、纹理丢失以及色彩失真等问题。针对此问题，提出了一种基于感知先验(perceptual priori, PP)与分量增强的高动态成像方法。根据感知先验对多曝光图像分别进行图像增强，保留更多的纹理... 详细信息

高动态范围成像方法大多存在融合图像亮度不均衡、纹理丢失以及色彩失真等问题。针对此问题，提出了一种基于感知先验(perceptual priori, PP)与分量增强的高动态成像方法。根据感知先验对多曝光图像分别进行图像增强，保留更多的纹理信息以及色彩真实感；引入注意力门控机制和特征提取(feature extraction, FE)操作对亮度分量进行增强；通过联合编码器-解码器网络对色度分量进行增强。对增强后的亮度分量和色度分量进行融合得到最终的融合图像。实验数据选用包含多种复杂场景的多曝光图像序列，结果表明，本文方法的视觉信息保真度达到了0.826 8,多曝光融合(multi-exposure fusion, MEF)结构相似度达到了0.947 6。本文方法相较于其他方法得到的融合图像，细节更加清晰、图像信息丰富、更符合人眼的视觉感知，融合效果更好。

关键词：高动态成像多曝光图像融合感知先验(PP) 分量增强

Control strategy of central pattern generator gait movement under condition of attention selection

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Applied Mathematics and Mechanics(English Edition) 2016年第7期37卷 957-966页

作者： wei wang Rubin wang Institute for Cognitive Neurodynamics East China University of Science and Technology

As a typical rhythmic movement, human being＇s rhythmic gait movement can be generated by a central pattern generator （CPG） located in a spinal cord by self- oscillation. Some kinds of gait movements are caused by gait frequency and amplitude variances. As an important property of human being＇s motion vision, the attention selection mechanism plays a vital part in the regulation of gait movement. In this paper, the CPG model is amended under the condition of attention selection on the theoretical basis of Matsuoka neural oscillators. Regulation of attention selection signal for the CPG model parameters and structure is studied, which consequentially causes the frequency and amplitude changes of gait movement output. Further, the control strategy of the CPG model gait movement under the condition of attention selection is discussed, showing that the attention selection model can regulate the output model of CPG gait movement in three different ways. The realization of regulation on the gait movement frequency and amplitude shows a variety of regulation on the CPG gait movement made by attention selection and enriches the controllability of CPG gait movement, which demonstrates potential influence in engineering applications.

关键词： gait movement attention selection central pattern generator (CPG),movement control strategy

Curvature Theory for Point-Path and Plane-Envelope in Spherical Kinematics by New Adjoint Approach

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Mechanical Engineering 2014年第6期27卷 1157-1168页

作者： wang wei wang Delun Department of Mechanical Engineering Dalian University of Technology

Planar kinematics has been studied systematically based on centrodes, however axodes are underutilized to set up the curvature theories in spherical and spatial kinematics. Through a spherical adjoint approach, an axode-based theoretical system of spherical kinematics is established. The spherical motion is re-described by the adjoint approach and vector equation of spherical instant center is concisely derived. The moving and fixed axodes for spherical motion are mapped onto a unit sphere to obtain spherical centrodes, whose kinematic invariants totally reflect the intrinsic property of spherical motion. Based on the spherical centrodes, the curvature theories for a point and a plane of a rigid body in spherical motion are revealed by spherical fixed point and plane conditions. The Euler-Savary analogue for point-path is presented. Tracing points with higher order curvature features are located in the moving body by means of algebraic equations. For plane-envelope, the construction parameters are obtained. The osculating conditions for plane-envelope and circular cylindrical surface or circular conical surface are given. A spherical four-bar linkage is taken as an example to demonstrate the spherical adjoint approach and the curvature theories. The research proposes systematic spherical curvature theories with the axode as logical starting-point, and sets up a bridge from the centrode-based planar kinematics to the axode-based spatial kinematics.

关键词： spherical motion centrode axode curvature theory spherical four-bar linkage

Observations of Fast Radio Variations in Microquasars by FAST

在线全文

学校读者我要写书评

暂无评论

Chinese Physics Letters 2024年第11期41卷 233-240页

作者： wei wang Department of Astronomy School of Physics and TechnologyWuhan UniversityWuhan 430072China

Microquasars are the compact objects generally including accreting black holes which produce relativistic *** physical mechanisms of jet launching,collimation,and acceleration are poorly *** show strong variability in multi-wavelength *** x-rays,the sources show the fast variation features down to millisecond time scales,with the prominent quasiperiodic oscillations(QPOs)around 0.1 Hz–tens of Hz in light curves,however,physical origin of QPOs is still *** as the largest radio telescope provides the opportunity to study fast variability of both radio flux and polarization in *** the FAST observations from 2020–2022,we reported the first evidence of radio subsecond quasi-periodic oscillations of GRS 1915+105,providing the direct link between QPOs and the dynamics of relativistic *** QPOs with the centroid frequency around 5 Hz are transient,accompanied with strong evolution of the spectral *** with multiwavelength observations,we discuss the possible physical models to produce radio QPOs in BH systems:the helical motion of jet knots or precession of the jet *** near future,high time resolution radio monitoring of microquasars based on FAST is expected to discover more new phenomena in black hole systems,which will be important for understanding the physics in strong gravity.

关键词： quasars FAST black

On the Bilinear and Cubic Forms of Some Symplectic Connected Sums

在线全文

学校读者我要写书评

暂无评论

Acta Mathematica Sinica,English Series 2012年第9期28卷 1809-1822页

作者： wei wang School of Mathematical Sciences Fudan University

Let （M1, M2, N） be three symplectic manifolds and suppose that we can do the symplectic connected sum of M1 and M2 along their submanifold N to obtain M1^#NM2. In this paper, we consider the bilinear and cubic forms of H＊（M1^#NM2, Z） when dimM1^#NM2 = 4, 6. Under some conditions, we get some relations of the bilinear and the cubic forms between M1^#NM2 and M1 [I Ms.

关键词： Symplectic connected sum cohomology bilinear form cubic form