发布求助
文献互助 智能选刊 最新文献

Proceedings of the 41st SICE Annual Conference. SICE 2002.最新文献

筛选
英文 中文
A formalization of real-time system using modal logic 使用模态逻辑的实时系统形式化
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195345
T. Suzuki, T. Zanma, M. Ishida
{"title":"A formalization of real-time system using modal logic","authors":"T. Suzuki, T. Zanma, M. Ishida","doi":"10.1109/SICE.2002.1195345","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195345","url":null,"abstract":"Traffic control systems are typical examples of hybrid systems as both continuous and discrete variables, such as the number of cars, their speeds and traffic signals, are involved in the system. For the modeling of hybrid systems, there exist various approaches based on the discrete event system theory, which utilizes, for example, timed automaton, Petri net and so forth. The traffic control system can often be regarded as the system controlled by a logic-based controller. In addition, if the control specifications are also given by logical expressions, it may not be difficult to modify the existing logic-based controller. In this paper, the traffic control system consisting of two crossings is taken as an example, one of the modeling methods using modal logic is proposed, and its applicability to control is considered.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"263 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116486381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An identification method with direct acquisition of reduced order model from a step response 一种从阶跃响应直接获取降阶模型的辨识方法
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195362
M. Kosaka, H. Uda, H. Shibata
{"title":"An identification method with direct acquisition of reduced order model from a step response","authors":"M. Kosaka, H. Uda, H. Shibata","doi":"10.1109/SICE.2002.1195362","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195362","url":null,"abstract":"In this paper, we discuss the meaning of the intermediate parameters introduced by the deterministic off-line identification method, which is performed by using input and output data with a constant steady state output response. It is shown that the intermediate parameters are the coefficients of the polynomial that is derived by the Taylor expansion of the plant around s=0.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114741899","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Comparison measurement of water triple point cells for uncertainty evaluation 水三相点电池不确定度评定的比较测量
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195565
I. Kishimoto, K. Sato, K. Koizumi, M. Arai
{"title":"Comparison measurement of water triple point cells for uncertainty evaluation","authors":"I. Kishimoto, K. Sato, K. Koizumi, M. Arai","doi":"10.1109/SICE.2002.1195565","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195565","url":null,"abstract":"Comparison measurement was performed on some triple point of water (TPW) cells, including national standard TPW cells. The purpose is to reassess the uncertainty source of realized temperatures of the TPW cells. The results showed the largest difference among them is represented as 0.036 /spl plusmn/ 0.035 mK with the coverage factor k = 2.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124092306","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Development and evaluation of the tin point in the ITS-90 ITS-90中锡点的开发与评价
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195319
K. Sato, J. Tamba, I. Kishimoto, M. Arai
{"title":"Development and evaluation of the tin point in the ITS-90","authors":"K. Sato, J. Tamba, I. Kishimoto, M. Arai","doi":"10.1109/SICE.2002.1195319","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195319","url":null,"abstract":"The freezing point of tin, one of the temperature fixed-points defined in the ITS-90, is newly developed and evaluated. The temperature stability of the furnace is within /spl plusmn/1.5 mK for 24 hours and temperature distribution is within 2 mK over 20 cm. To realize a stable plateau after a large amount of supercooling, the air blow cooling method is introduced instead of the conventional method. The temperature during the plateaus decreases only 0.3 mK for 8 hours and a good repeatability within /spl plusmn/0.026 mK is obtained in ten measurements.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127877675","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Measuring and analysis system of liquid using multi-sensors 多传感器液体测量分析系统
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195329
Katsuhiro Jomatsu, K. Watanabe
{"title":"Measuring and analysis system of liquid using multi-sensors","authors":"Katsuhiro Jomatsu, K. Watanabe","doi":"10.1109/SICE.2002.1195329","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195329","url":null,"abstract":"Quality control has progressed remarkably in the processes of the food industry, and various analyzers are employed. This paper describes how to identify the liquid flowing in the pipeline by multisensor fusion method. Here, we present a method that employs three different sensors to identify and discriminate the various liquid and different densities.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126241307","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Ubiquitous information infrastructure for rescue 无处不在的救援信息基础设施
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195277
H. Asama, D. Kurabayashi, K. Noda
{"title":"Ubiquitous information infrastructure for rescue","authors":"H. Asama, D. Kurabayashi, K. Noda","doi":"10.1109/SICE.2002.1195277","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195277","url":null,"abstract":"In this paper, we propose an information infrastructure for the victim search system in rescue activity. We have developed an intelligent data carrier (IDC) system that enables one to provide the environment with information storage, sensing, and processing functionality. Each IDC unit has its own CPU, memory and radio communication module. We have incorporated the auditory functionality into IDC units and applied them to rescue activity support. IDC units attached in buildings are activated by broadcast of wake-up signal, and then they repeat calling to victims and recording their answers independently. Rescue parties perform effectively by seeking records of victims in IDC units.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126265988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Neuro stabilizing control based on Lyapunov method for power system 基于Lyapunov方法的电力系统神经稳定控制
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195616
N. Hirata, A. Ishigame, H. Nishigaito
{"title":"Neuro stabilizing control based on Lyapunov method for power system","authors":"N. Hirata, A. Ishigame, H. Nishigaito","doi":"10.1109/SICE.2002.1195616","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195616","url":null,"abstract":"This paper develops a nonlinear stabilizing method for power systems. As one such method, we consider neuro stabilizing control based on the Lyapunov method. In this method, we improve particle swarm optimization to reduce the probability of the population of solutions entrapped into local optima. We also reconstruct the Lyapunov function to satisfy Lyapunov stability conditions easily.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126320421","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Liquid distinction by capacitive measurement using non-contact simultaneous two-point measurement method 用电容性测量方法进行非接触同时两点测量的液体区分
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195472
T. Soejima, K. Shida
{"title":"Liquid distinction by capacitive measurement using non-contact simultaneous two-point measurement method","authors":"T. Soejima, K. Shida","doi":"10.1109/SICE.2002.1195472","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195472","url":null,"abstract":"We propose the noncontact liquid distinction by a capacitive measurement sensor with two-layer electrodes structure. Three kinds of liquids, distilled water, sulfuric acid and hydrochloric acid, are distinguished by the change rate of two data obtained with only one time simultaneous measurement of the propose sensor.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"PP 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126449772","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
System identification via data of finite wordlengths 通过有限字长数据进行系统识别
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1196534
A. Okao, M. Ikeda, R. Takahashi
{"title":"System identification via data of finite wordlengths","authors":"A. Okao, M. Ikeda, R. Takahashi","doi":"10.1109/SICE.2002.1196534","DOIUrl":"https://doi.org/10.1109/SICE.2002.1196534","url":null,"abstract":"For system identification of continuous-time plants, we commonly use digital data converted from analog signals. Since digital variables are of finite wordlengths, they contain quantization errors. Such errors may deteriorate identification accuracy significantly, especially in the case of mechanical systems where large movement and precise positioning are required. To overcome this problem, the present paper proposes to estimate the quantization errors and thus true analog sampled signals to improve identification accuracy. Estimation of quantization errors and system identification are carried out simultaneously.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128163850","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Intelligent buildings and intelligent agents - a human-centered framework for building controls 智能建筑和智能代理——以人为中心的建筑控制框架
Proceedings of the 41st SICE Annual Conference. SICE 2002. Pub Date : 2002-08-05 DOI: 10.1109/SICE.2002.1195613
Zhengchun Mo
{"title":"Intelligent buildings and intelligent agents - a human-centered framework for building controls","authors":"Zhengchun Mo","doi":"10.1109/SICE.2002.1195613","DOIUrl":"https://doi.org/10.1109/SICE.2002.1195613","url":null,"abstract":"There has been increasing interest in applying agent technology to intelligent building controls. Scenarios in current research do not fit commercial buildings, in which both building operators and occupants can participate in operation decisions. Although personal control systems have been available to commercial buildings, individual differences in comfort requirements have not been fully addressed in control strategies. For most commercial buildings, control decisions are still based on generalized human requirements. This paper presents an agent-based control framework that accounts for individual differences and mitigates potential requirement conflicts.","PeriodicalId":301855,"journal":{"name":"Proceedings of the 41st SICE Annual Conference. SICE 2002.","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125463033","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信