掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
World multiconference on systemics, cybernetics and informatics;SCI 2000
World multiconference on systemics, cybernetics and informatics;SCI 2000
召开年:
2000
召开地:
Orlando, FL(US);Orlando, FL(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
A Survey of Abstract BDDs
机译:
抽象BDD概述
作者:
Edmund Clarke
;
Yuan Lu
;
Helmut Veith
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
2.
Actuarial Analysis via Branching Processes
机译:
通过分支过程进行精算分析
作者:
Carlos Alberto
;
Braganca Pereira
;
Fabio Nakano
;
Julio Michael Stern
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
actuarial modeling;
branching processes;
defined benefit pension plans;
recursive functions;
3.
After The Valid Model Semantics
机译:
有效模型语义之后
作者:
Viet Phan Luong
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
nonmonolonic logics;
deductive databases;
Well-founded model;
stable models;
4.
Performance based object storage selection
机译:
基于性能的对象存储选择
作者:
Tomaz Domajnko
;
Ivan Rozman
;
Bostjan Brumen
;
Matjaz B. Juric
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
object persistence;
database systems;
performance;
persistence system selection;
5.
Performance Comparison of Database Access over the Internet - Java Servlets vs CGI
机译:
互联网上数据库访问的性能比较-Java Servlet与CGI
作者:
T. Andrew Yang
;
Ralph F. Grove
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
6.
Periodic Node Shutdown in a Fail-Silent Architecture Risk or Rescue?
机译:
在无故障的体系结构风险或救援中定期关闭节点?
作者:
Christoph SCHERRER
;
Andreas STEININGER
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
dormant faults;
fail-silent architecture;
on-line test;
fault accumulation;
reliability model;
7.
Predicting Irrigation Water Needs Using Soft Computing Techniques
机译:
使用软计算技术预测灌溉水需求
作者:
J. Botia
;
A. Gomez-Skarmeta
;
A. Padilla
;
G. Sanchez
;
M. Valdes
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
irrigation water optimization;
neuro-fuzzy systems;
evolutionary optimization;
soft computing;
multi-agent systems;
8.
Processor and I/O Scheduling in a Multiprogrammed Parallel System
机译:
多程序并行系统中的处理器和I / O调度
作者:
Helen D. Karatza
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
scheduling;
parallel systems;
computer performance;
discrete simulation;
9.
Prototyping HTMT Execution Model Using Petri Nets
机译:
使用Petri网对HTMT执行模型进行原型设计
作者:
Lilia V Yerosheva
;
Peter M Kogge
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
HTMT execution model;
petri nets;
parcels;
active messages;
multithreading;
10.
Quality in Conceptual Modeling
机译:
概念建模的质量
作者:
Marcela Genero
;
Mario Piattini
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
quality in conceptual modeling;
entity relationship diagram complexity;
software metrics;
11.
REAL-TIME SIMULATION FRAMEWORK BASED ON RT-DEVS FORMALISM
机译:
基于RT-DEVS格式的实时仿真框架
作者:
Seong Myun Cho
;
Tag Gon Kim
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
real-time simulation;
RT-DEVS formalism;
real-time scheduling;
12.
RECENT ADVANCES IN THE EVOLUTIONARY SIMULATION OPTIMIZATION OF SYSTEMS
机译:
系统进化仿真的最新进展
作者:
J.L. Paris
;
H. Pierreval
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
simulation-optimization;
evolutionary algorithms;
systems/sub-systems;
flexible manufacturing systems;
13.
Redefining TMN for WDM networking
机译:
重新定义WDM网络的TMN
作者:
Jorge L. Tellez
;
Tayeb Ben Meriem
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
network management;
TMN;
GDMO;
WDM;
ODP;
CORBA;
SNMP;
XML;
java;
mobile agents;
14.
Scalability Issues in Distributed Object System
机译:
分布式对象系统中的可伸缩性问题
作者:
Joshua Okuthe
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
CORBA;
RMI-IIOP;
performance assessment;
scalability;
multithreading;
15.
Scalable Distributed Linear Hashing LH*_(LH) Under Windows NT
机译:
Windows NT下的可伸缩分布式线性散列LH * _(LH)
作者:
Fethi Bennour Sahli
;
Aly Wane Diene
;
Yakham Ndiaye
;
Witold Litwin
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
scalable distributed linear hashing;
LH*;
multicomputer;
distributed data structures;
parallel systems;
16.
Semi-Formal Verification of Low-Level DSP Software
机译:
低级DSP软件的半形式验证
作者:
David W. Currie
;
Alan J. Hu
;
Sreeranga Rajan
;
Masahiro Fujita
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
software verification;
formal verification;
DSP software;
17.
Sequential ATPG techniques for Model Checking
机译:
用于模型检查的顺序ATPG技术
作者:
Vamsi Boppana
;
Sreeranga Rajan
;
Koichiro Takayama
;
Masahiro Fujita
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
18.
Simulation Techniques for Modeling Large System Desigi
机译:
大型系统设计建模的仿真技术
作者:
Karen A. Panetta
;
Jamie A. Heller
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
simulation;
behavioral modeling;
system testing;
19.
Solving the Load Unbalancing Problem on Multicomputers: Case Study on 3-D Thinning
机译:
解决多计算机上的负载不平衡问题:3-D细化的案例研究
作者:
M. G. Montoya
;
I. Garcia
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
skeleton;
thinning;
work load balance;
multicomputer;
data partition/distribution;
nearest-neighbor;
20.
State of the Art and Design of VOD Systems
机译:
VOD系统的最新技术和设计
作者:
Juan J. Sanchez
;
Victor M. Gulias
;
Alberto Valderruten
;
Javier Mosquera
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
21.
Tests for Poly-Random Function Collections
机译:
多随机函数集合测试
作者:
Borislav H. Simov
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
pseudorandom functions;
poly-random function collections;
adaptive oracle queries;
parallel oracle queries;
22.
The Distributed Clearance Project: A Case Study in Distributed Computing
机译:
分布式清除项目:以分布式计算为例
作者:
James E. Ries
;
Gordon K. Springer
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
distributed computing;
load balancing;
transactions;
performance;
partitioning;
23.
The Mathematical Analysis of The Semiotic View of Creative Process
机译:
创作过程符号观的数学分析
作者:
Shinichi Toyoda
;
Victor V. Kryssanov
;
Shinzo Kitamura
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
creativity;
emergence;
cesign process;
category;
semiotics;
24.
Tool Support for Model-Based Online Control of Manufacturing Systems
机译:
基于模型的制造系统在线控制的工具支持
作者:
Armin Zimmermann
;
Joern Freiheit
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
modelling;
manufacturing systems;
control;
petri nets;
software tool;
25.
Use Of Radix-r Recoding For The Realization Of Pipelined FIR Digital Filter
机译:
使用Radix-r编码实现流水线FIR数字滤波器
作者:
Dawoucd.S. Dawoud
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
FIR;
periodically time-varying systems;
radix-r recoding;
modified booth algorithm;
pipelined filter;
26.
Using Data Mining on Mandarin Prosodic Patterns
机译:
在普通话韵律模式上使用数据挖掘
作者:
Yiqiang Chen
;
Wen Gao
;
Tingshao Zhu
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
TTS;
prosodic patterns;
data mining;
decision tree;
neural network;
27.
Using Genetic Algorithm in Multiquery Optimization in Advanced Database Systems
机译:
在高级数据库系统中的多查询优化中使用遗传算法
作者:
Zbyszko Krolikowski
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
multiquery optimization;
advanced databases;
genetic algorithm;
28.
View-based Consistency for Distributed Shared Memory
机译:
分布式共享内存的基于视图的一致性
作者:
Z. Huang
;
C. Sun
;
M. Purvis
;
S. Cranefield
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
distributed shared memory;
sequential consistency;
weak sequential consistency;
view-based consistency;
29.
Modelling and Analysis of TCN Standard Message Transport Protocol by Net-Theoretical Methods
机译:
网络理论的TCN标准报文传输协议建模与分析
作者:
Teijo JK Kuoppala
;
Nisse Husberg
;
Teemu Tynjaelae
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
coloured petri nets (CPN);
modelling;
train communication network (TCN);
message transport protocol (MTP);
design/CPN;
30.
A Distributed Transaction Coordinator based on a Network Of Workstations with Distributed Shared Virtual Memory
机译:
基于具有分布式共享虚拟内存的工作站网络的分布式事务处理协调器
作者:
Taiyong JIN
;
Kunihiko KANEKO
;
Akifumi MAKINOUCHI
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
distributed shared virtual memory;
network of workstations;
parallel transaction process;
memory coherence;
object database system;
31.
A Heuristic Approach to Compute a Near Optimal Cyclic Schedule An Event Graph Approach
机译:
一种启发式方法,用于计算接近最优的循环调度程序;一种事件图方法
作者:
Fabrice Chauvet
;
Jeffrey W. Herrmann
;
Jean-Marie Proth
会议名称:
《》
|
2000年
关键词:
petri nets;
scheduling;
cyclic production systems;
event graphs;
WIP;
32.
Semantically Meaningful Data Exchange in Loosely Coupled Environments
机译:
松耦合环境中的语义有意义的数据交换
作者:
C. Bornhoevd
;
A. P. Buchmann
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
semantic metadata;
ontology;
data integration;
33.
Statistical processing of physiological data
机译:
生理数据的统计处理
作者:
L. Jirout
;
M. Sorf
;
U. Eck
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
34.
Theory and Simulation of Random Rough Surface Bistatic Scattering
机译:
随机粗糙表面双基地散射的理论与模拟
作者:
Ali KHENCHAF
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
35.
Fusing Marginal Reducts for HRR Target Identification
机译:
融合边际减少量来确定HRR目标
作者:
Dale E. Nelson
;
Janusz A. Starzyk
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
关键词:
rough sets;
automatic target recognition;
high range resolution radar;
fusion;
reduct;
36.
The Viable System Model for Software
机译:
可行的软件系统模型
作者:
Charles Herring
;
Simon Kaplan
会议名称:
《World multiconference on systemics, cybernetics and informatics;SCI 2000》
|
2000年
意见反馈
回到顶部
回到首页