基于形式化规约的缺陷规则库构建与检测方法
기우형식화규약적결함규칙고구건여검측방법
Approach of constructing defect rule base and detecting source code based on formal specification
적목식모식%형식화규약%모형검측
toy-brick pattern%formal specification%model checking
一种基于二次变异策略的改进型遗传算法
일충기우이차변이책략적개진형유전산법
Improved genetic algorithm based on double mutation operators
유전산법%이차변이%여행상문제(TSP)%충군다양성%수색능력
genetic algorithm%double mutation%Traveling Salesman Problem(TSP)%diversity of the population%search capacity
随机性优化算法有效性定量对比评价方法
수궤성우화산법유효성정량대비평개방법
Method to compare effectiveness of stochastic optimization algorithm quantitatively and its implementation
수궤성우화산법%유효성평개%입자군우화산법
stochastic optimization algorithm%effectiveness comparison%Particle Swarm Optimization(PSO)
多智能体系统初始状态一致性应用研究
다지능체계통초시상태일치성응용연구
Application research in multi-agent system about consensus on initial state
다지능체계통%일치성%초시상태%리아보낙부범함
Multi-Agent System(MAS)%consensus%initial-state%Lyapunov functional
基于协同度的灰关联VIKOR方法
기우협동도적회관련VIKOR방법
Grey correlation VIKOR method based on synergy degree
협동도%방안수정인자%회관련%VIKOR결책방법%TOPSIS방법
synergy degree%scheme correction factor%grey-correlation%VIKOR decision method%TOPSIS method
空中交通管制系统景象记录的方案设计
공중교통관제계통경상기록적방안설계
Design of scene record in air traffic control system
공중교통관제계통%병막경상%소파변환%동태표간정
air traffic control system%scene%wavelet transformation%dynamic benchmarking frames
供应商具备多级生产率的供应链控制策略仿真
공응상구비다급생산솔적공응련공제책략방진
Supply chain system control strategy simulation with supplier’s multi-productivity
공제책략방진%공응련%고존공제
control strategy simulation%supply chain%inventory control
综合预测模型的构建及预测系统开发研究
종합예측모형적구건급예측계통개발연구
Establishment of comprehensive prediction model and development of forecast system
종합예측모형%권계수%유전감탐개발%투자규모%예측계통
integrated forecasting model%weight coefficient%oilfield exploration and development%investment scale%prediction system
基于AHP-Fuzzy的大型公共建筑可持续性评价研究
기우AHP-Fuzzy적대형공공건축가지속성평개연구
Research on sustainability assessment of large-scale public building based on AHP-Fuzzy
대형공공건축%가지속성평개%층차분석법%문권조사%모호종합평개
large-scale public building%sustainability assessment%questionnaire%Analytic Hierarchy Process(AHP)%Fuzzy Comprehensive Evaluation(FCE)
气象落区文本自动生成研究
기상락구문본자동생성연구
Text generation on weather falling area description
자연어언처리%문본특정제취%기상수거공간분석%문본자동생성
Natural Language Processing(NLP)%text feature extraction%meteorological data spatial analysis%text auto-generation
城市道路网络动态优化选择方法研究
성시도로망락동태우화선택방법연구
Study on selection method of urban road network to dynamically optimize
동태로경유도%련선옹제도%교통상사도%도로동태분층
dynamic route guidance%attachment crowded degree%traffic similarity%road dynamic layered
基于随机梯度的双率系统自校正控制方法
기우수궤제도적쌍솔계통자교정공제방법
Self-tuning control for dual-rate systems based on stochastic gradient
자교정공제%수궤제도산법%쌍솔계통%삼수고계
self-tuning control%stochastic gradient algorithm%dual-rate system%parameter estimate
Aztec在混凝土细观数值模拟中的应用研究
Aztec재혼응토세관수치모의중적응용연구
Study of application of Aztec in meso-scale simulation of con-crete
혼응토세관수치모의%희소선성방정조%병행계산%구역분해%예조건
meso-scale simulation of concrete%sparse linear system%parallel computing%domain decomposition%preconditioner
阵风环境模拟用控制器设计与实验研究
진풍배경모의용공제기설계여실험연구
Wind environment ILC self-tuning controller design
배경모의실험실%풍배경%질대학습공제
environment simulation laboratory%wind simulation%iterative learning control
一种宽带内直扩信号的非合作快速检测方法
일충관대내직확신호적비합작쾌속검측방법
Rapid method for wideband interception of DSSS signals
파동상관법%관대검측%직확신호검측%비합작
correlation estimators%wideband detection%DSSS signal interception%non-cooperative
射频接收前端的ADS设计与仿真
사빈접수전단적ADS설계여방진
ADS design and simulation of radio receiver front-end
ADS연건%신호분석의%사빈전단%조성계수%령민도%자동증익공제
ADS software%signal analyzer%Radio Front-end%noise figure%sensitivity%Automatic Gain Control(AGC)
基于DOA测量的多目标位置信息场定位精度分析
기우DOA측량적다목표위치신식장정위정도분석
Precision analysis for multi-target by position information field location based on DOA
위치신식장%DOA삼수%다목표%정도분석
position information field%DOA parameters%multi-target%precision analysis
密集环境下RFID系统滤波方法研究
밀집배경하RFID계통려파방법연구
Research on RFID filtering approach in dense environments
사빈식별%궤하방법%공중접구려파%밀집배경
Radio Frequency Identification(RFID)%geometrical approach%air-protocol filtering%dense environments
基于多尺度的城区机载点云滤波方法研究
기우다척도적성구궤재점운려파방법연구
Lidar-driven multi-scale filtering algorithm in urban areas
궤재격광소묘%리산도%고정%구역증장%후향가밀
lidar-driven%eigen-values%height%region growing%backward densification
三角网格顶点重要度的自适应Loop细分算法
삼각망격정점중요도적자괄응Loop세분산법
Adaptive Loop subdivision algorithm for triangle mesh based on vertex’s importance
삼각망격%평균평면%정점중요도%Loop세분%자괄응세분
triangle mesh%average plane%vertex’s importance%loop scheme%adaptive subdivision scheme
三角网格曲面上离散曲率改进算法
삼각망격곡면상리산곡솔개진산법
Improved algorithm of discrete curvatures estimation for triangular meshes
리산곡솔%삼각망격%평균곡솔구조향량%Gauss곡솔구조각
discrete curvature%triangulated grid model%mean curvature structural vector%Gauss curvature structural angle
结合目标色彩特征的基于注意力的图像分割
결합목표색채특정적기우주의력적도상분할
Attention-based image segmentation method by combining target colors
도상분할%주의력%특정도%장경-목표현저도%과척도융합
image segmentation%attention-based%feature map%scene-target saliency map%multi-scale combinations
一种基于样图的图像修复改进算法
일충기우양도적도상수복개진산법
Improved exemplar-based image inpainting algorithm
도상수복%Criminisi산법%국부좌표계%차적평방화(SSD)
image inpainting%Criminisi algorithm%local coordinate system%Sum of Squared Differences(SSD)
景象匹配算法及其适应性分析
경상필배산법급기괄응성분석
Scene matching algorithm and its adaptability analysis
구역특정%경상필배%괄응성분석
region feature%scene matching%adaptability analysis
四次C-Bézier曲线的形状修改
사차C-Bézier곡선적형상수개
Shape modification for quartic C-Bézier curves
사차C-Bézier곡선%공제정점%형상삼수%형상조정
quartic C-Bézier curves%control points%shape parameter%shape modification
漂移系数优化颜色直方图的Mean Shift算法
표이계수우화안색직방도적Mean Shift산법
Mean Shift algorithm with shift coefficient refined color histogram
표이계수%가권직방도%Mean Shift산법
shift coefficient%weighted histogram%Mean Shift algorithm
采用轮廓向量特征的嵌入式图像匹配方法
채용륜곽향량특정적감입식도상필배방법
Embedded image matching method based on vector features of contours
궤기시각%도상필배%관건륜곽특정%도상금자탑%방사변환
machine vision%image matching%features of the key contours%image pyramid%affine transformation
面向图像修复的域相似算法
면향도상수복적역상사산법
Similar neighborhood approach for image inpainting
수자도상수복%상소상사%역상사%우선급
digital image inpainting%similar pixel%similar neighborhood%priority
基于对称差分和背景减的运动目标检测
기우대칭차분화배경감적운동목표검측
Moving object detection algorithm based on symmetrical-differencing and back-ground subtraction
운동목표검측%자괄응배경%다중대칭차분%광선돌변
moving object detection%adaptive background%multi-symmetrical-differencing%sudden illumination changes
构建和剖析中英三元组可比语料库
구건화부석중영삼원조가비어료고
Building and profiling Chinese-English 3-tuple comparable corpora
삼원조가비어료고%어언천이%자동어언부석%n-원사천
3-tuple comparable corpora%language transfer%automatic language profiling%n-grams
基于改进随机移动算子的人工鱼群算法
기우개진수궤이동산자적인공어군산법
Improved random moved function based AFSA
인공어군산법%수궤이동산자%입자군산법%자괄응우동
Artificial Fish Swarm Algorithm(AFSA)%random moved function%Particle Swarm Optimization(PSO)%adaptive disturbance
一种基于模糊概念相似度的模糊本体构建方法
일충기우모호개념상사도적모호본체구건방법
Construction method of fuzzy ontology based on fuzzy concept similarity
모호개념상사도%모호본체%개념취류%구건방법
fuzzy concept similarity%fuzzy ontology%concept cluster%construction method
基于改进蚁群算法的协作学习分组研究
기우개진의군산법적협작학습분조연구
Research of composing cooperative learning group based on enhanced ant colony optimization algorithm
협동학습%합작화반%학습분조%의군산법
cooperative learning%cooperative partner%learning group%ant colony optimization algorithm
基于相似关系向量的改进ROUSTIDA算法
기우상사관계향량적개진ROUSTIDA산법
Improved ROUSTIDA algorithm based on similarity relation vector
조조집%불완비신식계통%상사관계향량%가변식구진
rough set%Incomplete Information System(IIS)%similarity relation vector%distinct matrix
教学资源概念查询扩展研究
교학자원개념사순확전연구
Teaching resources concept query research
사순확전%검색%개념어의망락%《계산궤망락》
query expansion%retrieval%concept semantic networks%Computer Network
WSNs中DV-hop定位算法的安全增强研究
WSNs중DV-hop정위산법적안전증강연구
Safety enhance research based on DV-hop localization algorithm in Wireless Sensor Networks
무선전감기망락(WSNs)%충동공격%거리향량산법(DV-hop)%안전정위%왕반시간(RTT)
Wireless Sensor Networks(WSNs)%wormhole%Distance Vector(DV-hop)%secure location%Round Trip Time(RTT)
基于丢包率的多播网络拓扑推断算法
기우주포솔적다파망락탁복추단산법
Algorithm of multicast network topology inference based on packet loss rate
탁복추단%주포솔%다파%망락단층소묘%망락방진연건(NS2)
topology inference%packet loss rate%multicast%network tomography%Network Simulation 2(NS2)
无线局域网中基于节点数量的时隙长度设置
무선국역망중기우절점수량적시극장도설치
Setting time slot length based on number of nodes in wireless LAN
IEEE 802.11무선국역망%탄토량%충돌%시극
IEEE 802.11 wireless LAN%throughput%collision%time slot
基于MIMO技术的DCSK通信方案的性能分析
기우MIMO기술적DCSK통신방안적성능분석
Performance analysis of DCSK communication scheme based on MIMO technology
MIMO기술%차분혼돈건공%혼돈통신%오마솔
MIMO technology%Differential Chaos Shift Keying(DCSK)%chaotic communication%Bit Error Rate(BER)
混合式实时交通信息的VANETs的地理路由
혼합식실시교통신식적VANETs적지리로유
Hybrid real-time traffic geographic routing in VANETS
교차로구%위치로유%교통신식%차량자조직망
junction%geographic routing%traffic information%Vehicle Ad hoc Networks(VANETs)
基于演化图论的可靠的VANETs路由协议
기우연화도론적가고적VANETs로유협의
Evolving graph-based reliable routing for vehicular Ad hoc networks
연화도론%로유가고성%로유협의%차재망
evolving graph%routing reliability%routing protocol%Vehicular Ad hoc Networks(VANETs)
基于ARMA-RESN的网络流量预测
기우ARMA-RESN적망락류량예측
Network traffic predicting based on ARMA-RESN
망락류량%자회귀이동평균%회성상태망락%예측정도%오차보상
network traffic%autoregressive moving average%echo state network%predicting precision%error compensation
SIP协议的SPIN模型检测
SIP협의적SPIN모형검측
Henan Polytechnic University,Jiaozuo 454003,China
TAKASIP협의%타원곡선%SPIN공구%모형검측
TAKASIP protocol%Elliptic curve%SPIN%model checking
基于分段控制的DRM二次分发研究
기우분단공제적DRM이차분발연구
Research on extended ODRL model based on sectional control
수자판권관리%분단공제%이차분발%허가증
Digital Rights Management(DRM)%sectional control%secondary distribution%licence
一种基于权限的使用控制委托模型
일충기우권한적사용공제위탁모형
Permission-based delegation model for Usage Control
사용공제%방문공제%권한%위탁
Usage Control%Access Control%right%delegation
一种基于位置的动态网络安全认证机制
일충기우위치적동태망락안전인증궤제
Computer Engineering and Applications, 2014, 50(13):73-76
동태망락%안전인증%기우위치%밀약경신
dynamic network%security authentication%location-based%key update
研发项目复杂性指标权重确定的FANP法
연발항목복잡성지표권중학정적FANP법
Weight determination of complexity indexes for R & D projects based on FANP
삼각모호수%망락분석법%비모호%연발항목복잡성
triangular fuzzy number%Analytic Network Process(ANP)%non-fuzzy%R&D projects complexity
基于智能手机的心音监测系统的研究与设计
기우지능수궤적심음감측계통적연구여설계
Research and design of heart sound monitoring system based on smartphone
지능수궤%심음%감측계통
smart phone%heart sound%monitoring system
基于事件图的网络化PLC控制程序编译方法
기우사건도적망락화PLC공제정서편역방법
Compilation method for networked PLC control program based on event graph
리산사건계통%사건도%망락화PLC공제계통%계통건모%정서편역
discrete event system%event graph%networked PLC control system%system modeling%program compilation
B2B协同决策半自动一致性模型设计与实现
B2B협동결책반자동일치성모형설계여실현
Semi-automatic consensus model for collaborative decision of B2B collaboration in supply chains
다속성협동결책%군일치성%B2B협동%자동성%협동결책망락
Multiple Attributes Collaborative Decision(MACD)%group consensus%B2B collaboration%automatic%Collaborative Decision Network(CDN)
基于同态加密的声纹模板设计及其分析
기우동태가밀적성문모판설계급기분석
Homomorphic encryption scheme based voiceprint template design and analysis
성문%동태가밀%모판보호%신빈인증
voiceprint%homomorphic encryption scheme%template protection%authentication
基于AC-DE算法的风电机组齿轮箱故障诊断方法
기우AC-DE산법적풍전궤조치륜상고장진단방법
Fault diagnosis method of wind turbine gearbox based on Ant Colony and Differential Evolution algorithm
의군산법%미분진화산법%풍전궤조%치륜상%고장진단
ant colony algorithm%differential evolution algorithm%wind turbine%gearbox%fault diagnosis
基于符号有向图与趋势分析的故障诊断框架
기우부호유향도여추세분석적고장진단광가
Signed directed graph and trend analysis based framework for fault diagnosis
부호유향도%정성추세분석%고장진단
Signed Directed Graph(SDG)%qualitative trend analysis%fault diagnosis
基于BSN识别双人交互动作方法的研究
기우BSN식별쌍인교호동작방법적연구
Activity recognition of two-body interactions by using BSN
체감망%쌍인교호동작%은마이가부모형%수거융합%일계라집%마이가부라집망
Body Sensor Networks(BSN)%two-body interactive activities%Hidden Markov Model(HMM)%data fusion%first-order logic%Markov Logic Network(MLC)
