掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Intelligent System Design and Engineering Applications
International Conference on Intelligent System Design and Engineering Applications
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Using Artificial Fish Swarm Algorithm to Optimize Service Satisfaction Performance and Characteristic Model for Mainland Tourist in Taiwan
机译:
使用人工鱼类群算法优化台湾大陆旅游的服务满意度和特色模型
作者:
Lin Su-Mei
;
Gang Liu
;
Pan Wen-Tsao
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Artificial Fish Swarm Algorithm;
General Regression Neural Network;
Grey Relational Analysis;
Self-Organizing Feature Maps;
2.
A Track-to-Track Association Approach with a 2-Dimensional Discrete Particle Quantum Swarm Optimization Algorithm for Radar Network
机译:
雷达网络二维离散粒子量子群优化算法的轨道跟踪关联方法
作者:
Xuefei Wang
;
Chaoxuan Shang
;
Changsheng Wang
;
Fang Zhang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Multi-sensor Multi-target Tracking;
Quantum Particle Swarm Optimization;
Track Association;
3.
Analysis to the Weaknesses and Safety in Cloud Computing
机译:
云计算中的弱点和安全性分析
作者:
Meiyan Wang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Cloud Computing;
Security Mechanism;
Weaknesses;
4.
MyClient: Towards Transfering the Web Traffic to the Marketing
机译:
MyClient:将网络流量转移到营销
作者:
Jiang Ying
;
Wang Junyue
;
Wan Lipeng
;
Dai Miaojuan
;
Wang Tong
;
Du Jing
;
He Guodong
;
Ding Yuanbo
;
Zhang Weijian
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Instant Messaging;
Live Help;
e-Commence;
5.
A Simple Method to Implement Complex Correlation in Visual C++
机译:
在Visual C ++中实现复杂相关性的简单方法
作者:
Xiaohua Song
;
Qiuju Zhang
;
Xiaoqing Cai
;
Xiaofang Chen
;
Yan Liu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Complex;
Printf ();
Scanf ();
Visual C + +6.0;
6.
Plant Growth Regulators and Nutrition Applied to Cotton after Waterlogging
机译:
植物生长调节剂和营养应用于灌木后灌木
作者:
Li Ming-Feng
;
Zhu Jian-Qiang
;
Jiang Zhen-Hui
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Cotton;
Nutrition Regulators Growth indexes;
Waterlogged stress;
7.
A Log Based Approach to Make Digital Forensics Easier on Cloud Computing
机译:
基于日志基于日志,在云计算上使数字取证更容易
作者:
Sang Ting
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
cloud computing;
digital forensic;
log;
security;
8.
Irrigation, Drainage and Ecological Engineering Approaches to Controlled Farmland Nonpoint Source Pollution
机译:
灌溉,排水和生态工程方法,控制农田非点源污染
作者:
Wang Xiu-Gui
;
Chen Zhuo-Wei
;
Mao Zhi
;
Yuan Yong-Kun
;
Bei Zhi-Gang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Controlled drainage;
Nonpoint source pollution control;
Water saving irrigation;
9.
Approach to Smart Scenic Management and Service of Jiuzhaigou Based on Grid Technology
机译:
基于电网技术的九寨沟智能景区管理与服务
作者:
Shu Guo
;
Zhenfeng Shao
;
Yuan Yao
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Grid Technology;
Smart Scenic;
management and service;
10.
A Method of Adjusting Visible-light Camera Oriented to Embedded Structures
机译:
一种调节面向嵌入式结构的可见光相机的方法
作者:
Yue Xu
;
Nong Sang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Camera Adjusting;
DSP+FPGA structures;
Embedded System;
11.
The Influences of Cloud Computing to the Traditional Software Project and Our Corresponding Strategies
机译:
云计算对传统软件项目的影响及对应策略
作者:
Shouliang Lai
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Cloud computing;
Migration Strategy;
Security Strategy;
Software Development;
12.
Reactive Oxygen Species, Ascorbic Acid and Glutathione to Ozone Stress in Soybean (Glycine max) Leave
机译:
在大豆(甘氨酸最大)留下反应性氧物种,抗坏血酸和谷胱甘肽对臭氧胁迫的影响
作者:
Yana Wang
;
Tianhong Zhao
;
Junli Wang
;
Yixin Zhao
;
Wei Guo
;
Minjian Cao
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Ascorbic acid;
Glutathione;
Ozone stress;
Reactive oxygen species;
Soybean;
13.
The Research of Small Current Single Phase to Earth Fault Selection Method Based on Wavelet Packet Decomposition Coefficient
机译:
小电流单阶段基于小波分组分解系数的接地故障选择方法研究
作者:
Peng Hu
;
Qinchun Hu
;
Bo Shao
;
Weipan Zhang
;
Zhichao Sang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Wavelet Package Analysis;
characteristic frequency band;
single-phase ground fault;
small current grounding system;
14.
A Case Study on Testing and Performance Evaluation of Electric Motorcycles to Discuss the Environmental Impact of Urban Area in Macao
机译:
电动摩托车测试与绩效评估探讨澳门市区城区环境影响的案例研究
作者:
Mou Tam Lam
;
Kin Wog Pak
;
Cheong Wong Hang
;
Hangyuan Lao
;
Zhengchao Xie
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Electric motorcycle;
Energy-saving;
GHG emission;
Performance evaluation;
15.
Exploration on Long-term Teaching Quality Monitoring System of Hospitals Affiliated to Medical Universities Based on the Theory of Crisis Management
机译:
基于危机管理理论的医学大学隶属于医院长期教学质量监测系统的探索
作者:
Zhaoquan Huang
;
Tongming Jiang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
affiliated hospital;
crisis management;
monitoring system;
teaching quality;
16.
Effects of Different Culture Conditions to Middle-season Rice #x0022;Feng-liang-you-xiang -1#x0022;
机译:
不同培养条件对季后稻的影响"冯良友翔-1"
作者:
Yuan Zhi-Hua
;
Zhang Yan-Xia
;
Li Peng-Fei
;
He Wen-Jing
;
Jin Ming-Zhu
;
Liu Huan
;
Du Bin
;
Zhu Wen-Jie
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Medium rice;
Nitrogen rate;
Planting density;
Sowing date;
Water;
Yield;
17.
Control of Direct-drive Permanent-magnet Wind Power System Grid-Connected Using Back-to-back PWM Converter
机译:
使用背面的PWM转换器控制直接驱动永磁风电系统网格连接
作者:
Xin Wang
;
Mingfeng Cao
;
Li Qiu
;
Lulu Chai
;
Bin Qin
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
PMSG;
back-to-back PWM converter;
direct-drive wind power system;
vector control;
18.
Reinforcement Learning for Image Understanding
机译:
钢筋学习图像理解
作者:
Xiang Fengtao
;
Wang Zhengzhi
;
Yuan Xingsheng
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Artificial Intelligence;
Image Understanding;
Machine Learning;
Reinforcement Learning;
19.
Dynamic Advance Reservation for Network Resource
机译:
网络资源动态提前预订
作者:
Meng Zhang
;
Chanle Wu
;
Gang Ye
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
QoS;
dynamic reservation;
resource reservation;
20.
Cloud Computing for Green Construction Management
机译:
绿色施工管理的云计算
作者:
Rawai Norshakila Muhamad
;
Fathi Mohamad Syazli
;
Abedi Mohammad
;
Rambat Shuib
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Cloud Computing;
Collaborations;
Construction Collaboration;
Green Construction;
Sustainable Project Management;
21.
Fuzzy Control for a Permeable Floating Structure
机译:
渗透浮动结构的模糊控制
作者:
Yeh K.
;
Chen C.W.
;
Hsieh C.M.
;
Cheng Y.C.
;
Hsu K.T.
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Flow Channel Structure;
Numerical Simulation;
Siphonic Bedpan;
22.
NetLogo Based Model for VANET Behaviors Dynamic Research
机译:
基于NetLogo的Vanet行为模型动态研究
作者:
Shanshan Wan
;
Chunxiao Zhao
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
AOC;
NetLogo;
Network Simulation;
VANET;
23.
Modeling for Piezoelectric Stacks in Series and Parallel
机译:
串联压电堆栈建模和平行
作者:
Sun Chunhua
;
Shang Guangqing
;
Zhu Xuechao
;
Tao Yiyi
;
Li Zhirong
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
electric serial and parallel connection;
energy harvesting;
piezoelectric harvester;
piezoelectric stack;
24.
Knowledge Granulation Based Roughness Measure for Neighborhood Rough Sets
机译:
基于知识造粒粗糙度粗糙度测量
作者:
Yang Chengdong
;
Qiu Jianlong
;
Zhang Wenyin
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
knowledge granulation;
neighborhood information system;
rough sets;
roughness;
u ncertainty measure;
25.
A Decentralized Information Flow Model for SaaS Applications Security
机译:
SaaS应用安全的分散信息流模型
作者:
Tingting Liu
;
Yong Zhao
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Cloud computing security;
Software as a Service;
decentralized privileges;
information flow control;
26.
Research of Dynamic Characteristics of Shafts for Hybrid Power System
机译:
混合动力系统轴动态特性研究
作者:
Yi Deng
;
Zhonghua Huang
;
Zhi Liu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
dynamic characteristics;
hybrid power;
shafting;
27.
Joint-probability Methods for Precipitation and Flood Frequencies Analysis
机译:
降水和洪水频率分析的关节概率方法
作者:
Xie Hua
;
Wang Kang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Bivariate joint probability distribution;
Copula;
Hydrological frequency analysis;
Precipitation and flood;
28.
The PLC-based Control System for Intelligent Garage
机译:
基于PLC的智能车库控制系统
作者:
Sheng-Wei Dai
;
Xin Wang
;
Yan-Lin Li
;
Zhen-Yu Hu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
HMI;
S7-300;
car in and out management;
29.
A Method for Noise Removal of LIDAR Point Clouds
机译:
激光脉冲云噪声噪声的方法
作者:
Zuowei Huang
;
Yuanjiang Huang
;
Jie Huang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
FEA;
LIDAR;
noise removal;
point clouds;
30.
ARMS: An Advanced Operational Risk Management System for Commercial Banks
机译:
武器:商业银行的先进运营风险管理系统
作者:
Hao Cao
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
advanced measurement approach;
data mining;
new Basel Capital Accord;
operational risk;
31.
An Algorithm Constrained by Complex Network's Structure for Solving TSP
机译:
由复杂网络求解TSP的结构约束的算法
作者:
Chen Yiying
;
Zhang Zexing
;
Li Wenbin
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Complex Network;
Generic Algorithm;
NP-Hard;
32.
A High Performance Frequency Offset Estimation Method for OFDM
机译:
OFDM高性能频率偏移估计方法
作者:
Zhang Donghua
;
Yu Lianrui
;
Zhou Peng
;
Huang Qiuyuan
;
Chen Wei
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
PN correlation;
carrier frequency offset estimation;
orthogonal frequency division multiplexing;
quartic;
33.
An Improved Genetic Algorithm of Vehicle Scheduling Problems for Military Logistic Distribution
机译:
军事物流分布的车辆调度问题改进遗传算法
作者:
Yancheng Gong
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Genetic Algorithm;
Military Logistics;
Physical Distribution;
Vehicle Scheduling Problem;
34.
Flame Image Pre-processing Research for Coal-fired Utility Boiler
机译:
火焰图像燃煤电锅炉预处理研究
作者:
Yejing Cai
;
Xiaofeng Huang
;
Xiaowei Long
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Coal-fired Utility Boiler;
Flame Detection;
Image Processing;
35.
Optimization for Hazardous Materials Road Transportation Based on Multi-objective Method
机译:
基于多目标法的危险材料公路运输优化
作者:
Li Xiang
;
Jiang Huiyuan
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Global Optimization Algorithm;
Hazardous Materials;
Multi-objective;
Route Optimization;
36.
Design About Limber Information Collection System for Vibrator Motorcade
机译:
关于振动器MOTCLCADE的LIMBER信息收集系统的设计
作者:
Shu-Qing Li
;
Li-Shu Fu
;
Jian-Liang Li
;
Chuan-Xu Zhai
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
DSP;
Information collection;
laser radar;
motorcade;
37.
Modeling for Optimization of Distribution Network Project Construction Scheduling
机译:
配电网项目施工调度优化建模
作者:
Yuan Li Shang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Composite genetic algorithm;
Distribution network project construction scheduling;
Genetic algorithm;
The lowest risk;
38.
Model Identification of the Continuous Casting Billet Induction Heating Process for Hot Rolling
机译:
热轧连铸坯感应加热过程的模型识别
作者:
Zhe Xu
;
Xulong Che
;
Bishi He
;
Yaguang Kong
;
Anke Xue
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Casting Billet;
Electromagnetic Induction Heating;
Model Identification;
39.
Implementation of Precision Force Control for an Electro-Hydraulic Servo Press System
机译:
电动液压伺服压力机系统精密力控制的实现
作者:
Chen Hong-Ming
;
Shen Chun-Sheng
;
Lee Ting-En
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Force control;
LabVIEW;
composite control;
electro-hydraulic servo press system;
flow servo valve;
relief valve;
40.
Process Component Composition for Dynamic Process Adaptation and Lazy Binding
机译:
用于动态过程适应和懒惰绑定的过程组件组成
作者:
Li Jing
;
Shen Beijun
;
Zhang Yu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Business Process Reuse;
Lazy binding;
Process Component Composition;
41.
Supervision and Management Information System for Rural Drinking Water Project Construction
机译:
农村饮用水项目建设监督管理信息系统
作者:
Zhenhua Liu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Rural drinking water;
construction quality;
inhabitant supervision;
management information system;
project implementation;
42.
System Power Model and Virtual Machine Power Metering for Cloud Computing Pricing
机译:
云计算定价的系统功率模型和虚拟机功率计量
作者:
Wen Chengjian
;
Long Xiong
;
Yang Yang
;
Ni Fan
;
Mu Yifen
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
cloud computing pricing;
performance counter;
power metering;
power model;
virtual machine;
43.
A Spectrum Handoff Strategy Based on Channel Reservation for Cognitive Radio Network
机译:
基于认知无线电网络信道预留的频谱切换策略
作者:
Liu Fengnian
;
Xu Yong
;
Guo Xin
;
Zhang Wenping
;
Zhang Di
;
Li Changyun
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
fuzzy logic;
handoff delay;
spectrum occupation rate;
44.
A Human-computer Interaction-based Neighborhood Search Heuristic for Disruption Management
机译:
基于人机互动的社区搜索启发式中断管理
作者:
Jingsong Gui
;
Chunxia Yang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
berth scheduling;
human-computer interaction;
neighborhood search;
45.
Semi-supervised Method for Extraction of Protein-Protein Interactions Using Hybrid Model
机译:
用杂种模型提取蛋白质 - 蛋白质相互作用的半监督方法
作者:
Qian Weizhong
;
Fu Chong
;
Cheng Hongrong
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
k-nearest neibours classifier;
machine learning;
pattern learning;
protein-protein interaction;
semi-supervised;
46.
Design and Research of Double Closed-Loop Control Strategy for Inverted Pendulum System
机译:
倒立摆系统双闭环控制策略的设计与研究
作者:
Feifei Ru
;
Lei Zhang
;
Le Tang
;
Yanhai Huang
;
Pengpeng Zhang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Classical control theory;
Closed-loop control;
Fuzzy control;
Inverted pendulum;
47.
Preliminary Evaluation of a Newly Isolated Microalga Scenedesmus sp. CHX1 for Treating Landfill Leachate
机译:
新孤立的微藻肌肌肌初步评价。 CHX1治疗垃圾填埋场渗滤液
作者:
Cheng Hai-Xiang
;
Tian Guang-Ming
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Growth;
Landfill leachate;
Nutrients removal;
Scenedesmus sp. CHX1;
48.
A New Localization Algorithm of Mobile Phone for Outdoor Emergency Rescue
机译:
一种新的户外应急救援手机本地化算法
作者:
Ma Xin
;
Huang Quan-Yi
;
Shu Xue-Ming
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Emergency rescue;
Localization algorithm;
Mobile phone;
Simulation;
49.
Improvement of Genetic Algorithm for Vehicle Routing Problems with Time Windows
机译:
时间窗口遗传算法的改进
作者:
Deng Yanfang
;
Xiang Jianling
;
Ou Zhuoling
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Genetic algorithm;
Optimized crossover;
Time windows;
Vehicle routing problem;
50.
A Novel Controller for Parallel Operation of Inverters Based on Active Disturbance Rejection Control Technique
机译:
基于主动干扰抑制控制技术的逆变器并联操作的新型控制器
作者:
Qianghui Xiao
;
Junming Liu
;
Yanlin Li
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Active Disturbance Rejection Control;
Current Sharing;
Parallel Operation;
51.
The Spectrum Analysis Optimization for Band-limited Discrete Spectrum Continuous Signal Based on PSO
机译:
基于PSO的带限量离散频谱连续信号的频谱分析优化
作者:
Yun Ling
;
Qionglin Peng
;
Shenping Xiao
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Band-limited Discrete Spectrum Continuous Signal;
DFT;
PSO;
Signal Spectrum;
52.
High-speed Recognition Algorithm Based on BRISK and Saliency Detection for Aerial Images
机译:
基于Brienk和Acial Image的显着性检测的高速识别算法
作者:
Tengjiao Xiao
;
Danpei Zhao
;
Jun Shi
;
Ming Lu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Aerial images;
BRISK matching;
Object recognition;
Saliency detection;
53.
Implementing of Heat-treating Temperature Monitoring and Management System for Roller
机译:
滚筒热处理温度监测管理系统的实施
作者:
Li-Li Xie
;
Peng Wang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
heat treatment;
roller;
temperature collection;
temperature curve;
54.
A Count Based Algorithm for Redundant Reader Elimination in RFID Application System
机译:
基于计数的RFID应用系统冗余读卡器算法
作者:
Pan Shuyuan
;
Yang Zhiying
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
CBA;
LEO;
RFID;
RRE;
Redundant Reader Elimination;
55.
Application of Phast in the Quantitative Consequence Analysis for the Boiler BLEVE
机译:
Phast在锅炉睑值定量后果分析中的应用
作者:
Fang Qu
;
Zhe Zuo
;
Qingmin Si
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
BLEVE;
Phast;
blast-wave overpressure;
boiler;
positive phase impulse;
quantitative assessment;
56.
Improved Conditions for Absolute Stability of Lur'e Systems with Time-Delay
机译:
随着延迟的情况下提高LUR'E系统绝对稳定性的条件
作者:
Zeng Hongbing
;
Xiao Shenping
;
Qin Bin
;
Xiao Huiqin
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Lur'e systems;
Lyapunov-Krasovskii functional;
absolute stability;
linear matrix inequalities (LMIs);
57.
Role of Media: Implication for Application of Urban Storm Water Runoff Bioretention Systems
机译:
媒体的作用:对城市风暴水径流生物生物系统的应用意义
作者:
Fahui Nie
;
Zhanmeng Liu
;
Luyan Min
;
Jie Liu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Bioretention System;
Heavy Metal;
Infiltration Rate;
Nitrogen;
Phosphorus;
Stormwater Runoff;
58.
Super-resolution and De-noising for Portrait Images Using Compressive Sensing
机译:
使用压缩传感的肖像图像的超分辨率和去噪
作者:
Qiuyu Zhu
;
Yichun Li
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Compressive Sensing;
De-noising;
OMP Algorithm;
Over-complete Dictionary;
Sparse Representation;
Super-resolution;
59.
A Very Fast Simulated Re-Annealing Algorithm for the Automotive Trim Industry
机译:
用于汽车修剪工业的非常快速的模拟再退火算法
作者:
Yuping Zhang
;
Zhaori Deng
;
Ruiqi Zhang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Weiler tuple;
nesting;
optimization;
simulated annealing;
two-dimentionally irregular;
60.
The Power Quality Conditioner Customization for Distribution Network with the High Permeability of Micro Grid
机译:
微电网具有高渗透性的配电网电能质量调节器定制
作者:
Shengqing Li
;
Yongan Li
;
Lilin Zeng
;
Zhengping He
;
Pei Yu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Customization;
Distribution Network;
Mechanism;
Power Quality;
61.
A Reduction Algorithm Based on Rough Set and Information Granulation Theory for Multi-radar Data
机译:
基于粗糙集的减少算法和多雷达数据的信息造粒理论
作者:
Fengxun Gong
;
Shaoxi Wang
;
Yanqiu Ma
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Data Reduction;
Multi-sensor;
Rough Set;
Universe Reduction;
62.
Comparison and Analysis Between Holt Exponential Smoothing and Brown Exponential Smoothing Used for Freight Turnover Forecasts
机译:
货运周转预测霍尔指数平滑与棕色指数平滑的比较与分析
作者:
Li Xiaochen
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Brown index smooth model;
Freight turnover forecasts;
Holt index smooth model;
63.
Stochastic Optimization Method Based on HSS Technique and Expert Knowledge for a Metallurgical Blending Process
机译:
基于HSS技术的随机优化方法和冶金混合过程的专家知识
作者:
Lingshuang Kong
;
Chunhua Yang
;
Shenping Xiao
;
Gang Chen
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Expert reasoning;
HSS;
Stochastic optimization;
blending process;
uncertainty;
64.
Analysis and Suggestions for Improving Waterfront Environment of Modern City - Taking Jingzhou Ancient City as an Example
机译:
改善现代城市滨水环境的分析与建议 - 以荆州古城为例
作者:
Long Ting
;
Wang Bao-Hua
;
Wang Yanan
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Ancient city protecting;
Culture;
History;
Water harnessing;
Waterfront;
Wetland;
65.
A Fair Hash Chain-based On-line Application Services Granting Scheme for Computing Environment
机译:
基于公平链链的基于线应用服务,授予计算环境方案
作者:
Lin Chia-Chen
;
Wu Chia-Chi
;
Chang Chin-Chen
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Cloud computing;
application service provider;
application services granting system;
hash chain;
66.
Compression Behavior on Precast Concrete Assembly Spread Foundation for Qinghai-Tibet AC/DC Grid Interconnection Project
机译:
青藏AC / DC电网互连项目预制混凝土组装扩散基础的压缩行为
作者:
Lu Xianlong
;
Qian Zengzhen
;
Tong Ruiming
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Qinghai-Tibet AC/DC grid interconnection project;
assembly foundation;
frozen soil;
67.
A Method for Customer Demands Groups Segmentation in Product Design Based on Fuzzy Clustering and Trigonometric Functions
机译:
基于模糊聚类和三角函数的产品设计中,客户要求分组分段
作者:
Ertian Hua
;
Huanhuan Lu
;
Daqiang Chen
;
Yulian Fei
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
clustering analysis;
customer demands segmentation;
fuzzy theory;
knowledge representation;
product design;
68.
The Situation of Wetland in the Middle Reaches of the Yangtze River and the Strategy for Agricultural Sustainable Development
机译:
长江中游湿地的情况及农业可持续发展战略
作者:
Liu Zai-Zhou
;
Wang Fa-Yuan
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
development strategy;
exploitation;
wetland agriculture;
69.
Analysis of the Status Quo and the Reasons for Students' Political Participation in the Period of the Social Transformation
机译:
社会转型期内学生政治参与的现状及原因分析
作者:
Xi Yang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Students' Political Participation;
reason;
social transformation;
the status quo;
70.
Calculation and Analysis for the Time-Dependency of Settlement of the Single-Driven Pile in Double-Layered Soft Clay
机译:
双层软粘土沉降时间依赖性的计算与分析
作者:
Chun-Yan Zhao
;
Wu-Ming Leng
;
Guo-Yong Zheng
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
double-layered soft clay;
excess pore water pressure;
single-driven pile;
three-dimensional consolidation;
time-dependency of settlement;
71.
CloudFTP: A Case Study of Migrating Traditional Applications to the Cloud
机译:
CloudFTP:迁移传统应用到云中的案例研究
作者:
Zhou Liang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
SaaS;
Windows Azure;
auto-scaling;
cloud computing;
cloud migration;
dynamic scalability;
72.
Approach to Grey Prediction Model of Structural State of Large Span Reinforced Concrete Continuous Beam Bridge
机译:
大跨度钢筋混凝土连续梁桥结构状态灰色预测模型方法
作者:
Ying-Ying Zhang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
grey model;
large span continuous beam bridge;
prediction;
real-time monitoring;
structural state;
73.
The Research of Intelligent Vision System for Smart Substation
机译:
智能变电站智能视觉系统的研究
作者:
Hongwei Li
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Feature Matching;
Image Fusion;
Machine Learning;
Smart Grid;
Smart Substation;
Visual Tracking;
74.
A Localization Algorithm for Mobile Wireless Sensor Networks
机译:
一种移动无线传感器网络的定位算法
作者:
Zhu Haiping
;
Zhong Xiaoyong
;
Yu Qianhong
;
Wan Yunlong
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Mobility;
Monte Carlo Localization;
RSSI;
Wireless sensor networks;
range based;
75.
A Code Generation Toolkit for C++ Web Services Development
机译:
用于C ++ Web服务开发的代码生成工具包
作者:
Ji Xiangye
;
Han Jun
;
Zhao Yongwang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Code Generation;
Service-oriented Architecture;
Web Services;
76.
An Improved Matrix Algorithm for Fault Location in Distribution Network
机译:
一种分布网络故障定位的改进矩阵算法
作者:
Yi Ma
;
Yi Mao
;
Huijiao Li
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Distribution Network;
Fault Location;
Information Distortion;
Lack Of Information;
Multiple Failures;
77.
Strategy-based Fault Handling Mechanism for Composite Service
机译:
基于策略的复合服务故障处理机制
作者:
Jiang Weihao
;
Ma Dianfu
;
Zhao Yongwang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
BPEL;
Composite Service;
Fault Handling;
Strategy;
78.
Effect of pH Control at the Cathode for the Electrokinetic Remediation Efficiency
机译:
pH控制在阴极处的效果电动修复效率
作者:
Fansheng Meng
;
Lingli Leng
;
Juling Wang
;
Yeyao Wang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Electrokinetic Remediation;
Ground Water;
Hexavalent Chromium;
Pollution;
Soils;
79.
A Possibilistic Data Association Based Algorithm for Multi-target Tracking
机译:
基于多目标跟踪的可能基于数据关联的算法
作者:
Hao Liang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
data association;
fuzzy C-mean clustering;
joint probability data association;
multi-target tracking;
possibilistic clustering;
80.
A Novel ALTO Scheme for BitTorrent-Like P2P File Sharing Systems
机译:
用于Bitorrent的P2P文件共享系统的新型ALTO计划
作者:
Guanxiu Liu
;
Suqi Ye
;
Xinli Huang
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
AS Hops;
BitTorrent;
File Sharing Systems;
Peer-to-Peer Networks;
Traffic Optimization;
81.
Characteristics and Evaluation for Nitrogen Pollution in Water and Surface Sediments of Xixi Wetland
机译:
西溪湿地水和表面沉积物氮污染的特征及评价
作者:
Jian-Li Shan
;
Zhu Wei-Qin
;
Pan Min
;
Zhou Ze-Ming
;
Li Shu-Ying
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Nitrogen pollution;
Surface sediment;
Water;
Xixi Wetland;
82.
Coordinated Optimization of Community Shuttle Timetable Joint for Metros Based on Genetic Algorithm
机译:
基于遗传算法的Metros社区穿梭时间表联合协调优化
作者:
Jie Xiong
;
Wei Guan
;
Bin Zheng
;
Shuyan He
;
Tingting Yin
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
coordinated timetable;
cost;
headway;
shuttle;
83.
A Method for Fish Diseases Diagnosis Based on Rough Set and FCM Clustering Algorithm
机译:
基于粗糙集和FCM聚类算法的鱼类疾病诊断方法
作者:
Miao-Jun Xu
;
Jian-Ke Zhang
;
Hui Li
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
attributive condition;
fish disease diagnosis;
fuzzy c-means clustering algorithm;
rough set;
symptoms set;
84.
A Location-inventory Model with Echelon Stock Policy for Four-echelon Supply Chain Network Design
机译:
具有四梯队供应链网络设计的梯队股票政策的位置库存模型
作者:
Wenbing Shui
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Echelon Stock Policy;
Four Echelons;
Location-inventory Model;
Supply Chain Network Design;
85.
Research of the Case Retrieval Model Based on CBR
机译:
基于CBR的案例检索模型研究
作者:
Chen Youfen
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Case-Based Reasoning(CBR);
fuzzy synthesis evaluation;
multi-concept-learning decision tree algorithm;
multi-dimension weighted similar degree;
86.
Modeling of a Large-scale Photovoltaic Generation and Analysis of its Security and Stability Operation in West-Qinghai Grid
机译:
大型光伏发电和西青海网格安全与稳定运行的建模与分析
作者:
Bin He
;
Dichen Liu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Haixi Grid;
equivalent;
modeling;
photovoltaic;
security;
stability;
87.
Heavy Metal Pollution in Different Types of Land Use in Baiyangdian Lake
机译:
白阳湖不同类型土地利用的重金属污染
作者:
Li Feng-Ju
;
Cui Bao-Shan
;
Lan Yan
;
Lin Wen-Ting
;
Liu Yongyan
;
Tong Ya-Li
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Baiyangdian Lake;
Heavy metal;
Land use type;
88.
A Study on the Features of Eye Movement Based on Different Types of Poetry Reading
机译:
基于不同类型诗歌阅读的眼运动特征研究
作者:
Yu Hongzhi
;
Chen Guiping
;
Liu Sisi
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
eye movement signal;
poetry theme;
reading comprehension;
89.
Design of TETRA-based Dedicated Radio Dispatching System of Urban Rail Transit
机译:
城市轨道交通的TETRA基专用无线电调度系统设计
作者:
Qi Wei
;
Xin Yu
;
Dechun Xia
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Dedicated Radio Communication;
Dispatching System;
Terrestrial Trunked Radio (TETRA);
Urban Rail Transit;
90.
Fitting Soil Water Retention Curve of Coastal Saline Soil with Genetic Algorithm in Jiangsu Province
机译:
江苏省遗传算法拟合沿海盐渍土壤水保留曲线
作者:
Yanran Wang
;
Gang Chen
;
Guoping Ding
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Brooks-Corey model;
Van Genuchten model;
coastal saline soil;
genetic Algorithm;
soil water retention curve;
91.
Control Method and Controller Design of Hydraulic Pile Driver Fuselage Leveling
机译:
液压桩驾驶员机身水平控制方法和控制器设计
作者:
Shuo Li
;
Shuichang Liu
;
Weike Chen
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
automotive leveling;
control strategy;
controller design;
pile driver;
92.
Emergy Evaluation and Economic Performance of Agriculture Circulation System in Beijing Miyun Water Protective Area
机译:
北京宫云水保护区农业流通系统的可素质评价与经济绩效
作者:
Yanxia Hu
;
Liandi Zhou
;
Zhi Wangya
;
Haijing Xie
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
93.
Comprehensive Influence of Salinity and Organic Load on Anaerobic Sequencing Batch Biofilm Reactor (ASBBR) Treating Mustard Tuber Wastewater
机译:
盐度和有机载荷对厌氧测序分批生物膜反应器(ASBBR)治疗芥末块茎废水的综合影响
作者:
Hongxiang Chai
;
Gaijuan Hou
;
Qiang He
;
Jian Zhou
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
ASBBR;
Muster Tuber Wastewater;
Organic Load;
Saline wastewater;
Salinity;
94.
Effect of Low-lying Land Environment on Abundance of Cotton Spider Mites and Total Phenolic Content of Leaves and their Relationship
机译:
低洼地区环境对棉花螨丰富和叶片总酚类含量的影响及其关系
作者:
Pei Yan-Fang
;
Gui Lian-You
;
Wang Wen-Kai
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Gossypium hirsutum;
Low-lying land;
Tetranychus cinnabarinus;
Total phenolics content;
95.
The Study of Intelligent Vehicle Anti-collision Forewarning Technology by Multi-Information Detection
机译:
多信息检测智能车辆防碰撞预警技术研究
作者:
Peng Wsng
;
Zhiqiang Liu
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Anti-Collision Technology;
Intelligent Vehicle;
Machine Vision;
Multi-Information Detection;
Safety Machinery;
96.
Economic Analysis of Building Distributed Energy System (BDES) in the Chinese Different Cities
机译:
中国不同城市建设分布式能源系统(BDES)的经济分析
作者:
Yina Yuan
;
Yingjun Ruan
;
Qingrong Liu
;
Weiguo Zhou
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Building Distributed Energy System;
Energy tariffs;
Running economy;
97.
Study on Influence Factors of Crossing Railway Tunnel Excavation
机译:
交叉路铁路隧道挖掘影响因素研究
作者:
Li-Peng Kang
;
Cheng-Hua Shi
;
Ming-Feng Lei
;
Li-Min Peng
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
cross angle;
crossing tunnel;
rock grade;
rock pillar height;
98.
Research of Greenhouse Gases (CH4 and CO2) Emission Flux in Baiyangdian Wetland
机译:
白阳湿地温室气体(CH4和CO2)排放通量研究
作者:
Wan Xiao-Hong
;
Wang Yu-Chun
;
Zhou Huai-Dong
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Baiyangdian wetland;
emission fluxes;
emission load;
greenhouse gases;
99.
Fold Catastrophe Characteristics of Pitch Supercavitating Vehicle at Certain Depth
机译:
在某种深度折叠俯仰超级扫描车辆的灾难特征
作者:
Xinhua Zhao
;
Yao Sun
;
Zengkun Qi
;
Tao Bai
;
Yuntao Han
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
Fold Catastrophe;
Hamilton system;
Multi-scale Method;
Supercavitating Vehicle;
100.
Design and Verification of a MAC Controller Based on AXI Bus
机译:
基于AXI总线的MAC控制器的设计与验证
作者:
Guoteng Pan
;
Li Luo
;
Guodong Ou
;
Qingchao Fu
;
Han Bai
会议名称:
《International Conference on Intelligent System Design and Engineering Applications》
|
2013年
关键词:
AXI bus;
Media Access Control;
SystemVerilog Assertion;
Verification Methodology Manual;
意见反馈
回到顶部
回到首页