掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Conference on Dependable Systems and Their Applications
International Conference on Dependable Systems and Their Applications
召开年:
2018
召开地:
Dalian(CN)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Theoretical Analysis on the Impacts of Misestimated Test Cases
机译:
误判测试用例影响的理论分析
作者:
Yanhong Xu
;
Beibei Yin
;
Xiaohui Wan
;
Chenglong Li
;
Zheng Zheng
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Testing;
Labeling;
Software debugging;
Computer bugs;
Automation;
Electrical engineering;
Fault diagnosis;
2.
A Monte Carlo Simulation-Based Algorithm for a Repairable System in GO Methodology
机译:
GO方法中基于蒙特卡罗模拟的可修复系统算法
作者:
Ang Li
;
Yi Ren
;
Dezhen Yang
;
Zhifeng Li
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Maintenance engineering;
Reliability;
Numerical models;
Monte Carlo methods;
Valves;
Logic gates;
3.
Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations
机译:
基于模型检查和图形动画的基于安德森数组的排队互斥协议的某些变体分析
作者:
Yati Phyo
;
Kazuhiro Ogata
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Protocols;
Model checking;
Animation;
Logic arrays;
Queueing analysis;
Tools;
Information science;
4.
Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with SPIN
机译:
SPIN的Suzuki-Kasami分布式互斥算法的模型检查
作者:
Shouki Sakamoto
;
Kazuhiro Ogata
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Model checking;
Arrays;
Systems modeling;
Periodic structures;
Writing;
Information science;
5.
Verification Model Translation Method toward Behavior Model for CAST
机译:
CAST行为模型的验证模型转换方法
作者:
Takahiro Ando
;
Bo Wang
;
Kenji Hisazumi
;
Weiqiang Kong
;
Akira Fukuda
;
Yasutaka Michiura
;
Keita Sakemi
;
Michihiro Matsumoto
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Model checking;
Unified modeling language;
Accidents;
Analytical models;
Safety;
Process control;
Data models;
6.
Generating Permission-Based Security Policies
机译:
生成基于权限的安全策略
作者:
Xin Li
;
Hua Vy Le Thanh
;
Yuxin Deng
;
Julian Dolby
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Permission;
Inspection;
Runtime;
Java;
Access control;
Urban areas;
7.
Method-Level Permission Analysis Based on Static Call Graph of Android Apps
机译:
基于Android Apps静态调用图的方法级权限分析
作者:
Yan Hu
;
Weiqiang Kong
;
Deng Ding
;
Jun Yan
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Smart phones;
Security;
Hardware;
Malware;
Virtual private networks;
Tools;
8.
Analysis of Security in Blockchain: Case Study in 51-Attack Detecting
机译:
区块链安全性分析:以51%攻击检测为例
作者:
Congcong Ye
;
Guoqiang Li
;
Hongming Cai
;
Yonggen Gu
;
Akira Fukuda
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Bitcoin;
Peer-to-peer computing;
Software;
Protocols;
9.
A Multi-Chain Model for CBDC
机译:
CBDC的多链模型
作者:
Wei-Tek Tsai
;
Zihao Zhao
;
Chi Zhang
;
Lian Yu
;
Enyan Deng
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Bitcoin;
Online banking;
History;
Companies;
Economic indicators;
10.
Failure Modes Detection of Nuclear Systems Using Machine Learning
机译:
使用机器学习的核系统故障模式检测
作者:
David Tian
;
Jiamei Deng
;
Enrico Zio
;
Francesco Maio
;
Fucheng Liao
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Inductors;
Accidents;
Oils;
Frequency modulation;
Neural networks;
Training;
Cooling;
11.
An Algebraic Binary Decision Diagram for Analysis of Dynamic Fault Tree
机译:
动态故障树分析的代数二元决策图
作者:
Wei Jiang
;
Siwei Zhou
;
Luyao Ye
;
Dongdong Zhao
;
Jing Tian
;
W. Eric Wong
;
Jianwen Xiang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Discrete Fourier transforms;
Logic gates;
Fault trees;
Binary decision diagrams;
Markov processes;
Algebra;
Statistical analysis;
12.
A GTS-Based Reliability Analysis Method for the Subsea Gas Boosting System
机译:
基于GTS的海底燃气增压系统可靠性分析方法
作者:
Jinyong Yao
;
Zhiping Pang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Maintenance engineering;
Object oriented modeling;
Monitoring;
Reliability;
Valves;
Temperature measurement;
13.
Failure Diagnosis for UAV-Born Inertial Navigation Device Based on BP-Adaboost Model
机译:
基于BP-Adaboost模型的无人机惯性导航装置故障诊断
作者:
Yingjie Ren
;
Yanguang Hu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Inertial navigation;
Training;
Classification algorithms;
Real-time systems;
Biological neural networks;
Neurons;
14.
Solving Team Making Problem for Crowdsourcing with Evolutionary Strategy
机译:
用进化策略解决众包的团队建设问题。
作者:
Han Wang
;
Zhilei Ren
;
Xiaochen Li
;
He Jiang
会议名称:
《》
|
2018年
关键词:
Task analysis;
Crowdsourcing;
Software;
Software engineering;
Virtual groups;
Search problems;
Software algorithms;
15.
Comparative Study on Online Review of Different Types of Hotel
机译:
不同类型酒店在线评论的比较研究
作者:
Tianjiao Niu
;
Yusi Ding
;
Jianzheng Yang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Customer satisfaction;
Data structures;
Natural language processing;
Distributed databases;
Data collection;
Web pages;
16.
Indoor Positioning System Based on Zigbee and Inertial System
机译:
基于Zigbee和惯性系统的室内定位系统
作者:
Chenghao Han
;
Wang Zhongtao
;
Wang Longxu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
ZigBee;
Acceleration;
Legged locomotion;
Magnetometers;
Kalman filters;
Pins;
Personnel;
17.
Interval Estimation of Process Capability Indices Based on the Weibull Distributed Quality Data of Supplier Products
机译:
基于供应商产品的威布尔分布质量数据的过程能力指标的区间估计
作者:
Yanhe Cui
;
Jun Yang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Weibull distribution;
Estimation;
Monte Carlo methods;
Production;
Shape;
Distributed databases;
Transforms;
18.
Process Capability Evaluation of Product Development Based on Information Entropy
机译:
基于信息熵的产品开发过程能力评估
作者:
Lixiang Wang
;
Wei Dai
;
Yubing Huang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
entropy;
product development;
product quality;
19.
Nondeterministic Event Sequence Reduction for Android Applications
机译:
Android应用程序的不确定事件序列减少
作者:
Bo Jiang
;
Xiaoyan Wang
;
Huanqiang Xu
;
Hao Wang
;
chaoyang zhang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Tools;
Debugging;
Testing;
20.
MCDC-Star: A White-Box Based Automated Test Generation for High MC/DC Coverage
机译:
MCDC-Star:基于白盒的自动测试生成,可实现高MC / DC覆盖率
作者:
Linghuan Hu
;
W. Eric Wong
;
D. Richard Kuhn
;
Raghu Kacker
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2018年
关键词:
Instruments;
Test pattern generators;
Software;
Syntactics;
FAA;
Computer bugs;
21.
Complex Network Analysis Based on Politics of Northern Song Dynasty
机译:
基于北宋政治的复杂网络分析
作者:
Ke Wang
;
Chunfang Li
;
Xiaoyan Zhou
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
complex networks;
network theory (graphs);
politics;
22.
Research on Quality Control Method of Color Image Segmentation Based on Cloud Computing
机译:
基于云计算的彩色图像分割质量控制方法研究
作者:
Jia Wang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
cloud computing;
image colour analysis;
image segmentation;
quality control;
23.
Optimization of Greenhouse Production Process: An Investigation of Energy Efficiency Potentials
机译:
优化温室生产过程:能效潜力调查
作者:
Zheng Ma
;
Jonas Korsgaard
;
Bo N?rregaard J?rgensen
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
climate mitigation;
cutting;
discrete event simulation;
energy conservation;
greenhouses;
power consumption;
pricing;
transportation;
24.
Mining Machinery Manufacturing Process Parameter Identification Technology Based on Motion Differential Equation
机译:
基于运动微分方程的采矿机械制造工艺参数识别技术
作者:
Youjun Xu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
differential equations;
least squares approximations;
machinery production industries;
mining equipment;
parameter estimation;
socio-economic effects;
25.
Social Network Influence Analysis
机译:
社会网络影响分析
作者:
Yuning Guo
;
Jianxiang Cao
;
Weiguo Lin
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
information analysis;
information dissemination;
social networking (online);
26.
A Comparative Evaluation of AutoEncoder-Based Unsupervised Anomaly Detection Methods Applied on Space Payload
机译:
基于AutoEncoder的无核异常检测方法对比较评估空间有效载荷
作者:
Junrong Du
;
Lei Song
;
Taisheng Zheng
;
Lili Guo
;
Chao Ma
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
aerospace computing;
neural nets;
unsupervised learning;
27.
Joint Power Control and Time Allocation for Joint Radar and Communication System in Cognitive Radio Enabled Vehicular Ad-hoc Networks
机译:
联合雷达和通信系统中的联合功率控制和时间分配在认知无线电支持车载ad-hoc网络中
作者:
Nan Jiang
;
Sai Huang
;
Yifan Zhao
;
Yuanyuan Yao
;
Zhiyong Feng
;
Gang Deng
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
cognitive radio;
power control;
radar;
radio spectrum management;
telecommunication control;
vehicular ad hoc networks;
28.
Design of a Novel Self-Recoverable SRAM Cell Protected Against Soft Errors
机译:
保护柔软误差的新型自恢复SRAM细胞的设计
作者:
Aibin Yan
;
Jun Zhou
;
Yuanjie Hu
;
Yan Chen
;
Zhen Wu
;
Tianming Ni
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
circuit feedback;
CMOS memory circuits;
integrated circuit design;
radiation hardening (electronics);
SRAM chips;
29.
Internet-Based Researcher Interest Mining
机译:
基于互联网的研究员兴趣挖掘
作者:
Song Kang
;
Nanchang Cheng
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
data mining;
information retrieval;
Internet;
learning (artificial intelligence);
search engines;
30.
Message from the Steering Committee Chair
机译:
来自指导委员会主席的信息
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
31.
An Method of Improved HLDA-Based Multi-document Automatic Summarization of Chinese News
机译:
一种改进基于HLDA的多文件自动摘要的方法
作者:
Yan Liu
;
Ying Li
;
Chengcheng Hu
;
Yongbin Wang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
abstracting;
Internet;
natural language processing;
text analysis;
32.
A GitHub-Based Data Collection Method for Software Defect Prediction
机译:
基于GitHub的软件缺陷预测数据收集方法
作者:
Jiaxi Xu
;
Liang Yan
;
Fei Wang
;
Jun Ai
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
Big Data;
data acquisition;
data analysis;
pattern classification;
program debugging;
public domain software;
software reliability;
33.
Cone Detection and Location for Formula Student Driverless Race
机译:
锥形检测和配方学生无人驾驶比赛的位置
作者:
Leipeng Qie
;
Jiayuan Gong
;
Haiying Zhou
;
Sishan Wang
;
Shiwei Zhou
;
Nandan Bangalore Chetan
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
cameras;
edge detection;
feature extraction;
image colour analysis;
least squares approximations;
traffic engineering computing;
34.
Software Defect Prediction Model Based on Improved BP Neural Network
机译:
基于改进BP神经网络的软件缺陷预测模型
作者:
Ying Liu
;
Fengli Sun
;
Jun Yang
;
Donghong Zhou
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
backpropagation;
data handling;
database management systems;
nearest neighbour methods;
neural nets;
pattern classification;
program testing;
program verification;
sampling methods;
simulated annealing;
35.
A Real-Time Fault Location Mechanism Combining CGP Code and Deep Learning
机译:
CGP代码与深度学习结合的实时故障定位机制
作者:
Jie Wang
;
Shuangmin Deng
;
Junjie Kang
;
Gang Hou
;
Kuanjiu Zhou
;
Chi Lin
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
fault diagnosis;
fault location;
fault tolerance;
genetic algorithms;
learning (artificial intelligence);
trees (mathematics);
36.
SMFL Integrating Spectrum and Mutation for Fault Localization
机译:
SMFL集成频谱和突变进行故障定位
作者:
Minghua Jia
;
Zhanqi Cui
;
Yiwen Wu
;
Ruilin Xie
;
Xiulei Liu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
program debugging;
program testing;
software fault tolerance;
37.
Singing Voice Conversion Based on Non-Parallel Corpus
机译:
基于非平行语料库的歌唱语音转换
作者:
Wenyao Deng
;
Wei Zhao
;
Lin Qi
;
Cong Jin
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
acoustic signal processing;
feature extraction;
humanities;
learning (artificial intelligence);
neural nets;
speech coding;
speech processing;
speech synthesis;
vocoders;
38.
Testing Coverage Criteria for Deep Forests
机译:
测试深层森林的覆盖范围
作者:
Ruilin Xie
;
Zhanqi Cui
;
Minghua Jia
;
Yuan Wen
;
Baoshui Hao
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
program testing;
random forests;
39.
FPGA Software Security Testing Excitation Random Generation Based on SFMEA and SFTA
机译:
FPGA软件安全测试激发基于SFMEA和SFTA的随机生成
作者:
Ying-chao Wang
;
Wei Liu
;
Peng Chen
;
Cong Zhang
;
Chun-jing Li
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
fault trees;
field programmable gate arrays;
program testing;
program verification;
security of data;
software fault tolerance;
software quality;
40.
Controllable Correlation Big Data Dynamic Prediction Model for Mobile Communication
机译:
移动通信的可控相关大数据动态预测模型
作者:
Yu Wang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
Big Data;
mobile communication;
telecommunication computing;
41.
Underwater Target Detection Method Based on Pole Distribution
机译:
基于杆分布的水下目标检测方法
作者:
Jiarong Zhang
;
Pengpeng Hu
;
Kaiyang Liu
;
Ziqi Zhou
;
Xuefei Ma
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
echo;
feature extraction;
geophysical image processing;
matrix algebra;
object detection;
oceanographic techniques;
42.
DSA 2019 Keynote Speech I - III - 3 abstracts
机译:
DSA 2019主题演讲I - III - 3摘要
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
43.
Testing Neural Network Classifiers Based on Metamorphic Relations
机译:
基于变质关系测试神经网络分类器
作者:
Zheng Li
;
Zhanqi Cui
;
Jianbin Liu
;
Liwei Zheng
;
Xiulei Liu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
learning (artificial intelligence);
neural nets;
pattern classification;
program testing;
44.
Research on Design and Verification of Sobel Image Edge Detection Based on High Level Synthesis
机译:
基于高电平合成的Sobel图像边缘检测的设计与验证研究
作者:
Pan Chen
;
Ying Wang
;
Junhua Xing
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
edge detection;
field programmable gate arrays;
high level synthesis;
logic design;
45.
Research on Software Quality Evaluation Method Based on Process Evaluation and Test Results
机译:
基于过程评估和测试结果的软件质量评价方法研究
作者:
Wenhong Liu
;
Jun Yang
;
Yakui Song
;
Xiao Yu
;
Shuang Zhao
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
program testing;
software performance evaluation;
software quality;
46.
Research on CPI Prediction Based on Space-Time Model
机译:
基于时空模型的CPI预测研究
作者:
Songyan Ji
;
Jian Dong
;
Ye Wang
;
Yanxin Liu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
autoregressive moving average processes;
forecasting theory;
macroeconomics;
pricing;
47.
Interpolation-Based Multi-core Bounded Model Checking of HSTM Designs
机译:
基于插值的HSTM设计的多核界限模型检查
作者:
Kun Liu
;
Xiaozhen Zhang
;
Weiqiang Kong
;
Gang Hou
;
Masahiko Watanabe
;
Akira Fukuda
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
interpolation;
matrix algebra;
program verification;
software reliability;
48.
A Survey on Blockchain for Enterprise Using Hyperledger Fabric and Composer
机译:
利用超载杂机结构和作曲家对企业区间的调查
作者:
Dongcheng Li
;
W. Eric Wong
;
Jincui Guo
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
business data processing;
contracts;
cryptocurrencies;
distributed databases;
49.
Numerical Simulation Analysis of Shot Peening Residual Stress on Aluminum Alloy Surface Based on Finite Element Method
机译:
基于有限元法的铝合金表面喷丸残余应力的数值模拟分析
作者:
Xiaodong Li
;
Chuanhai Jiang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
aluminium alloys;
elastic deformation;
finite element analysis;
hydrodynamics;
internal stresses;
mechanical strength;
mechanical testing;
shot peening;
thermal expansion;
thermoelasticity;
50.
Analysis of Software Requirements Change Priorities Based on Complex Networks
机译:
基于复杂网络的软件要求改变优先级的分析
作者:
Junmin Ren
;
Xuan Zhang
;
Zhaoyu Pan
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
complex networks;
formal specification;
management of change;
project management;
public domain software;
software maintenance;
51.
Detection Method of Low Voltage Cable Fault Point Based on SSTDR Technology
机译:
基于SSTDR技术的低压电缆故障点检测方法
作者:
Huan Zhao
;
Cheng Xian
;
Ying Yu
;
Faqiang Zhao
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
electricity supply industry;
fault diagnosis;
fault location;
power cables;
pseudonoise codes;
white noise;
52.
Ecotype City Landscape Pattern Rationality Planning Method Research
机译:
生态型市景观格局理性规划方法研究
作者:
Lanting Jiang
;
Yongbo Jiang
;
Bin Zhang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
ecology;
sustainable development;
town and country planning;
53.
Blind Identification of LDPC Code Based on Deep Learning
机译:
基于深度学习的LDPC码盲识别
作者:
Yanqin Ni
;
Shengliang Peng
;
Lin Zhou
;
Xi Yang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
computational complexity;
convolutional codes;
convolutional neural nets;
cyclic codes;
learning (artificial intelligence);
parity check codes;
telecommunication computing;
54.
Research on Man-Machine Conversation System Based on GRU seq2seq Model
机译:
基于GRU SEQ2SEQ模型的人机对话系统研究
作者:
Wei Huang
;
Xiao Dong
;
Wenqian Shang
;
Weiguo Lin
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
human-robot interaction;
intelligent robots;
learning (artificial intelligence);
natural language processing;
neural nets;
question answering (information retrieval);
text analysis;
55.
Quality Evaluation Method for Airport Emergency Plan by Virtual Drill Simulation
机译:
虚拟钻探模拟机场应急计划质量评价方法
作者:
Haiyao Xu
;
Shaojie Wang
;
Lan Wang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
airports;
analytic hierarchy process;
emergency management;
fuzzy set theory;
56.
Design of Embedded Vacuum Packaging System Based on Single-Chip Microcomputer Touch Screen
机译:
基于单芯片微型计算机触摸屏的嵌入式真空包装系统设计
作者:
Mingfei Qu
;
Dan Zhao
;
Nan Chen
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
intelligent control;
microcomputers;
packaging machines;
production control;
production engineering computing;
touch sensitive screens;
57.
Intelligent Monitoring System of Coal Conveyor Belt Based on Computer Vision Technology
机译:
基于计算机视觉技术的煤输送带智能监控系统
作者:
Zhongyi Li
;
Xiaoning Zhu
;
Jie Zhou
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
belts;
coal;
computer vision;
conveyors;
mining;
statistical analysis;
58.
Research on the Application of Big Data in Newspaper Industry
机译:
大数据在报纸行业中的应用研究
作者:
Liu Ruoxin
;
Wang Xuan
;
Song Kang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
Big Data;
cloud computing;
electronic publishing;
59.
Quantitative Evaluation Model of Network Security Situation Based on D-S Evidence Theory
机译:
基于D-S证据理论的网络安全局势定量评价模型
作者:
Zhongwei Zhao
;
Tingting Zhou
;
Huan Wang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
computer network security;
inference mechanisms;
principal component analysis;
sensor fusion;
uncertainty handling;
60.
Rational Design of the Appearance of Complex Industrial Products Based on Visual Communication
机译:
基于可视通信的复杂工业产品外观理性设计
作者:
Song Kang
;
Nanchang Cheng
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
data mining;
information retrieval;
Internet;
learning (artificial intelligence);
optimisation;
search engines;
visual communication;
61.
coisTable: An Individual-and-Spatial-Aware Tabletop System for Co-located Collaboration
机译:
Coistable:用于共同定位协作的个人和空间意识的桌面系统
作者:
Zanzhen Huang
;
Yaxin Zhu
;
Xiaofei Mao
;
Tianxin Su
;
Xinyi Fu
;
Guangzheng Fei
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
groupware;
software architecture;
user interfaces;
62.
VSkLCG A Method for Cross-Platform Vulnerability Search in Firmware
机译:
vsklcg在固件中跨平台漏洞搜索方法
作者:
Mushuai Han
;
Dongdong Zhao
;
Hong Lin
;
Dian Zhou
;
Jianwen Xiang
;
Zhongjin Liu
;
Yanzhen Xing
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
firmware;
graph theory;
nearest neighbour methods;
pattern matching;
source code (software);
63.
Research on Microwave Communication Design of a Tactical Command Communication Vehicle Based on Kano Model
机译:
基于KANO模型的战术沟通车辆微波通信设计研究
作者:
Ya Li
;
Wei Du
;
Meng Wang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
cooperative systems;
customer satisfaction;
data communication;
microwave propagation;
military communication;
military computing;
radiocommunication;
telecommunication computing;
64.
Analyzing of Personalized Recommendation Model of Social Network Users Based on Big Data
机译:
基于大数据的社交网络用户个性化推荐模式分析
作者:
Xiaoqing Li
;
Xiaomei Yan
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
Big Data;
data mining;
recommender systems;
social networking (online);
65.
Effective GasPrice Prediction for Carrying Out Economical Ethereum Transaction
机译:
用于执行经济性能的有效气体预测
作者:
Fangxiao Liu
;
Xingya Wang
;
Zixin Li
;
Jiehui Xu
;
Yubin Gao
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
learning (artificial intelligence);
pricing;
regression analysis;
transaction processing;
66.
LDA Model and Network Embedding-Based Collaborative Filtering Recommendation
机译:
LDA模型和基于网络嵌入的协同过滤推荐
作者:
Ziqi Tang
;
Xuan Zhang
;
Jiamei Niu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
collaborative filtering;
neural nets;
recommender systems;
67.
Study on Comprehensive Detection Technology of Insulation Defects in Cable Joints of Medium Voltage Distribution Network
机译:
中压配电网络电缆接头绝缘缺陷综合检测技术研究
作者:
Lu Chen
;
Xueyou Huang
;
Caigan Nie
;
Hui Liu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
cable jointing;
distribution networks;
equivalent circuits;
fault diagnosis;
power cable insulation;
transient analysis;
transportation;
68.
A Double Weighted KNN Algorithm and Its Application in the Music Genre Classification
机译:
双加权knn算法及其在音乐类型分类中的应用
作者:
Meimei Wu
;
Xingli Liu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
music;
nearest neighbour methods;
pattern classification;
69.
Research on Development Strategy of Test and Evaluation Assessment for Equipment Software
机译:
设备软件试验评估的发展战略研究
作者:
Yang Liu
;
Youchun Zhang
;
Yu Zhu
;
Yunfeng Lu
;
Tengfei Shi
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
software engineering;
70.
Research on Partition Management of General Resources in Internet of Things Based on Statistical Method
机译:
基于统计方法的互联网通用资源分区管理研究
作者:
Wenhua Jiang
;
Zhisheng Sun
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
computer network management;
fuzzy set theory;
Internet of Things;
resource allocation;
statistical analysis;
virtualisation;
71.
FLS-Based Collision Avoidance Cyber Physical System for Warehouse Robots using FPGA
机译:
基于FLS的碰撞避免网络机器人使用FPGA
作者:
Hossam O. Ahmed
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
artificial intelligence;
automatic guided vehicles;
collision avoidance;
control engineering computing;
cyber-physical systems;
field programmable gate arrays;
fuzzy control;
hardware description languages;
mobile robots;
multiprocessing systems;
72.
Research on Power Decoupling Method of Virtual Synchronous Generator in Islanded Microgrid
机译:
岛状微电网虚拟同步发电机功率去耦方法研究
作者:
Haoran Li
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
distributed power generation;
power distribution faults;
power distribution reliability;
power system stability;
reactive power;
synchronous generators;
73.
Pattern-Based Knowledge Graph Embedding for Non-functional Requirements
机译:
基于模式的知识图嵌入非功能性要求
作者:
Zhaoyu Pan
;
Xuan Zhuang
;
Junmin Ren
;
Xin Zhang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
Big Data;
graph theory;
learning (artificial intelligence);
pattern classification;
software engineering;
74.
Chinese Long Text Sentiment Analysis Based on the Combination of Title and Topic Sentences
机译:
基于标题和主题句子的结合的中国长文本情绪分析
作者:
Nanchang Cheng
;
Yuyin He
;
Peixi Zhong
;
Yujia Wang
;
Yonglin Teng
;
Min Hou
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
feature extraction;
sentiment analysis;
75.
Traffic Data Classification to Detect Man-in-the-Middle Attacks in Industrial Control System
机译:
交通数据分类以检测工业控制系统中的中间人攻击
作者:
Haiyan Lan
;
Xiaodong Zhu
;
Jianguo Sun
;
Sizhao Li
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
computer crime;
computer network security;
industrial control;
Internet;
pattern classification;
production engineering computing;
security of data;
telecommunication security;
telecommunication traffic;
76.
Video Subtitle Location and Recognition Based on Edge Features
机译:
视频字幕基于边缘功能的位置和识别
作者:
Liu Yongjiu
;
Li Chunfang
;
Shen Changxiang
;
Shi Minyong
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
edge detection;
feature extraction;
image colour analysis;
natural scenes;
optical character recognition;
text analysis;
video signal processing;
77.
Analysis of Social Media User Network Access Behavior Based on Web4.0
机译:
基于Web4.0的社交媒体用户网络访问行为分析
作者:
Qixiang Wu
;
Lin He
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
behavioural sciences computing;
data analysis;
social networking (online);
78.
Research on Anti-Noise Performance of New Chaos Criterion
机译:
新混沌标准的抗噪声性能研究
作者:
Jinwei Cai
;
Yilin Ning
;
Wenshi Li
;
Linhong Yao
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
chaos;
entropy;
mathematics computing;
79.
Mathematical Model Analysis of Network Traffic Data Detection Under the Background of Big Data
机译:
大数据背景下网络流量数据检测的数学模型分析
作者:
Gui-hua Li
;
Yun-xu Tong
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
Big Data;
feature extraction;
network theory (graphs);
telecommunication traffic;
80.
Application of Test Method Based on State Transition Diagram in Flight Control Software
机译:
基于状态转换图的试验方法在飞行控制软件中的应用
作者:
Dongmei Dong
;
Yunyu Fang
;
Ying Chen
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
aerospace control;
program testing;
81.
Study on Electricity Market Price Forecasting with Large-Scale wind Power Based on LSTM
机译:
基于LSTM的大型风力电力市场价格预测研究
作者:
Sangli Liu
;
Liang Zhang
;
Bin Zou
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
power generation economics;
power generation planning;
power markets;
pricing;
time series;
wind power;
wind power plants;
82.
Research on the Stability of Two Special Networks
机译:
两种特殊网络的稳定性研究
作者:
Jianxiang Cao
;
Wenqian Shang
;
Weiguo Lin
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
computational complexity;
graph theory;
83.
Research on the Design of Early Repurchase Clause of BOT Project in Local Colleges and Universities
机译:
地方高校机器人项目早期回购条款设计研究
作者:
Dan Zheng
;
Xianhong Xu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
construction industry;
educational institutions;
investment;
pricing;
project management;
purchasing;
84.
Research on Railway Intelligent Operation and Maintenance and Its System Architecture
机译:
铁路智能运行与维护及其系统架构研究
作者:
Mengqi He
;
Honghui Li
;
Yuhang Duan
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
cost reduction;
maintenance engineering;
railway engineering;
railway industry;
railway safety;
transportation;
85.
Wireless Transmitter Identification Using Multicore Path Network
机译:
使用多核路径网络的无线发射器识别
作者:
Hui Yu
;
Shanchuan Ying
;
Sai Huang
;
Fan Ning
;
Zhiyong Feng
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
feature extraction;
Internet;
multiprocessing systems;
power amplifiers;
radio networks;
radio transmitters;
Volterra series;
86.
Research on the Safety Prediction Method of Long Jump in Big Data
机译:
大数据跳跃安全预测方法研究
作者:
Hong-xia Zhang
;
Jian-dong Ji
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
Big Data;
sport;
87.
Based on Collaborative Filtering Personalized Recommendation for Online Learning
机译:
基于协作过滤的在线学习的个性化推荐
作者:
Yiwei Qian
;
Ying Li
;
Yongbin Wang
;
Tao Hu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
collaborative filtering;
computer aided instruction;
distance learning;
recommender systems;
88.
The Design of Automatic Correction System for Spoken English Pronunciation Errors Based on Phonemes
机译:
基于音素的英语语音发音错误自动校正系统的设计
作者:
Yang Xin
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
data acquisition;
demodulators;
error detection;
matched filters;
modulators;
natural languages;
speech recognition;
89.
A Method of Improved Automatic Light Tracing
机译:
一种改进自动光跟踪的方法
作者:
Yujian Jiang
;
Yanqiu Ren
;
Kai Song
;
Wei Jiang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
lighting;
power engineering computing;
tracking;
90.
Research on Interconnection and Mutual Control Technology of Power Transmission and Transformation Equipment Based on Internet of Things
机译:
基于互联网的电力传输和转换设备互联和互控制技术研究
作者:
Caiyun Di
;
Mingxing Li
;
Zhi Zhao
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
control engineering computing;
Internet of Things;
power engineering computing;
power system interconnection;
power transmission control;
power transmission reliability;
91.
Automatic Detection for Reused Open Source Codes Based on Similarity Identification of Software Networks
机译:
基于软件网络的相似性识别自动检测重复使用的开源代码
作者:
Tao Shi
;
Liang Yan
;
Haoran Guo
;
Jun Ai
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
complex networks;
feature extraction;
outsourcing;
public domain software;
software engineering;
92.
Synthesizing Secure Reactive Controller for Unmanned Aerial System
机译:
用于无人机系统的安全无功控制器
作者:
Wei Lu
;
Shaoxian Shu
;
Rao Shi
;
Rui Li
;
Wei Dong
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
autonomous aerial vehicles;
control engineering computing;
game theory;
multi-robot systems;
path planning;
security of data;
temporal logic;
93.
Peacekeeping Equipment Support Spare Parts Demand Forecast
机译:
维持设备支持备件需求预测
作者:
Guo Rui
;
Chen Zhong
;
Liu Jing
;
Kang Jingyu
;
Ding Guoru
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
backpropagation;
demand forecasting;
maintenance engineering;
military computing;
neural nets;
particle swarm optimisation;
94.
Research on Industrial Software Testing Knowledge Database Based on Ontology
机译:
基于本体论的工业软件测试知识库研究
作者:
Ping Chen
;
An Xi
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
database management systems;
knowledge based systems;
ontologies (artificial intelligence);
production engineering computing;
program testing;
95.
Node Location In Distributed Wireless Sensor Networks Based on Weighted Least Square Estimation
机译:
基于加权最小平方估计的分布式无线传感器网络中的节点位置
作者:
Chengzhao Chen
;
Zheng Chen
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
estimation theory;
least squares approximations;
radiowave propagation;
sensor placement;
wireless sensor networks;
96.
S Domain Communication System and Its Anti-Interference Performance Analysis
机译:
S域通信系统及其抗干扰性能分析
作者:
Cheng Chang
;
Xin Gu
;
Yue Gu
;
Zhijun Deng
;
Haihua Wu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
cognitive radio;
radio spectrum management;
radiofrequency interference;
signal processing;
transforms;
97.
Dynamic Algorithm Selection for Mobile Robots Motion Planning
机译:
移动机器人运动规划动态算法选择
作者:
Wenbing Tang
;
Libin Zheng
;
Mingyue Jiang
;
Zuohua Ding
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
collision avoidance;
mobile robots;
navigation;
98.
Learning Latest Private-Cluster-State to Improve the Performance of Sample-Based Cluster Scheduling
机译:
学习最新的私人群状态以提高基于样本的群集调度的性能
作者:
Yawen Wang
;
Qing Wang
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
learning (artificial intelligence);
processor scheduling;
99.
A Logic Pattern of Agents with Emotional Attitudes
机译:
具有情绪态度的代理人的逻辑模式
作者:
Chen Liu
;
Zhiyi Zhang
;
Yongming Yao
;
Yonghua Xu
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
artificial intelligence;
behavioural sciences;
game theory;
human factors;
program testing;
100.
Design of Stability Test System for Multimedia Courseware Assisted Teaching Software
机译:
多媒体课件辅助教学软件稳定性测试系统设计
作者:
Jichao Yan
会议名称:
《International Conference on Dependable Systems and Their Applications》
|
2020年
关键词:
computer science education;
courseware;
multimedia systems;
program testing;
shift registers;
teaching;
意见反馈
回到顶部
回到首页