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

CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings最新文献

筛选
英文 中文
Safety analysis in real-time system using constraint logic programming 基于约束逻辑编程的实时系统安全分析
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.608242
F. Jin, P. Girodias, E. Cerny
{"title":"Safety analysis in real-time system using constraint logic programming","authors":"F. Jin, P. Girodias, E. Cerny","doi":"10.1109/CCECE.1997.608242","DOIUrl":"https://doi.org/10.1109/CCECE.1997.608242","url":null,"abstract":"The paper is concerned with the verification of the timing safety properties of real time systems. Using CLP (BNR) Prolog, we show how constraint logic programming based on relational interval arithmetic can provide a much simpler analysis technique than some previous graph theoretic approaches to the problem of verifying a timing property with respect to a system specification. Both the property and the system to verify are specified by formulas in subsets of real time logic. In particular, our new approach will allow more complex timing behaviours, such as delay correlation, to be considered in the timing models.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126120776","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
User-interface for relative performance evaluation of compression techniques 用户界面的相对性能评估的压缩技术
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.614869
S. Padhy, O. Hage, S. Panchanathan
{"title":"User-interface for relative performance evaluation of compression techniques","authors":"S. Padhy, O. Hage, S. Panchanathan","doi":"10.1109/CCECE.1997.614869","DOIUrl":"https://doi.org/10.1109/CCECE.1997.614869","url":null,"abstract":"Several techniques for video compression have appeared in literature namely JPEG, MPEG, H.263, wavelet, vector quantization, sub-bands, etc. In this paper, we present a user interface design which allows subjective comparison by simultaneous display of the encoded sequences (along with the original) at a variety of compression ratios in a synchronized manner. The proposed interface is extremely useful for relative performance evaluation of various compression techniques and can be easily extended to incorporate evaluation of new compression techniques.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127468682","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
Techniques to facilitate development of safety critical software systems 促进安全关键软件系统开发的技术
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.614836
S. Madan
{"title":"Techniques to facilitate development of safety critical software systems","authors":"S. Madan","doi":"10.1109/CCECE.1997.614836","DOIUrl":"https://doi.org/10.1109/CCECE.1997.614836","url":null,"abstract":"Safety critical systems must perform as desired and should never fail. The need for dependability arises from the fact that the consequences of failure are extremely high, usually a threat to human life. To build software with these features is a hard task. Formal methods and software process models have been deployed to make them safe but they are not foolproof. The paper suggests how a combination of techniques may facilitate safety critical software system development.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129052210","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
A method for optimal pricing of electric supply including transmission system considerations 考虑输电系统因素的电力供应最优定价方法
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.614847
M. Muchayi, M. El-Hawary
{"title":"A method for optimal pricing of electric supply including transmission system considerations","authors":"M. Muchayi, M. El-Hawary","doi":"10.1109/CCECE.1997.614847","DOIUrl":"https://doi.org/10.1109/CCECE.1997.614847","url":null,"abstract":"Determining real-time electricity rate structures is currently receiving a great deal of attention. In this paper, a strategy for pricing electricity supply is formulated and evaluated. Unlike other methods, which use only the variation of fuel cost for generation to estimate the rate structures, the proposed pricing algorithm incorporates the optimal allocation of transmission system operating costs based on time-of-use pricing. The transmission costs are obtained by assigning a price to each unit of power flow in the network. The assignment does not discriminate between participants located at differing parts of the network. The real-time pricing reflects the instantaneous cost of production and functions as a load management tool because this interacts with consumer behavior. The demand for power flows and transmission on an electricity supply system, like the demand for any bundle of economic goods, depends upon the assigned transmission prices, together with the economic benefit to the consumer. It is assumed that there are no privately owned generating plants and that all plants and transmission lines are operated by the utility. The modeling scheme is applied to the IEEE standard 5, 14, 30 and 57 bus power systems and involves solving a modified optimal power flow problem iteratively using the MINOS package. It is concluded that the method has wide potential application in electricity supply pricing.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"353 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132305264","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}
引用次数: 7
Rate control of foveated MPEG video 注视点MPEG视频的速率控制
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.614868
T. H. Reeves, J. Robinson
{"title":"Rate control of foveated MPEG video","authors":"T. H. Reeves, J. Robinson","doi":"10.1109/CCECE.1997.614868","DOIUrl":"https://doi.org/10.1109/CCECE.1997.614868","url":null,"abstract":"Adaptive foveated coding provides user-adjustable video quality at very flexible bit rates by prioritizing image regions. While viewing the video, the user can adjust the relative image fidelity in the high priority fovea region compared to the low priority periphery. We present a bit rate adaption system that reacts to user input to tradeoff foveal spatial resolution against peripheral spatial resolution appropriately, while controlling the output video's bit rate. The rate adaptor relies on a mathematical model of the bit rates required to support the different foveal spatial resolution/peripheral spatial resolution combinations.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130480292","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}
引用次数: 2
An efficient algorithm to solve the E-TSP 求解E-TSP的一种有效算法
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.614841
M. Al-Mulhem, T. Al-Maghrabi
{"title":"An efficient algorithm to solve the E-TSP","authors":"M. Al-Mulhem, T. Al-Maghrabi","doi":"10.1109/CCECE.1997.614841","DOIUrl":"https://doi.org/10.1109/CCECE.1997.614841","url":null,"abstract":"The paper describes a hybrid algorithm that combines an adaptive type neural network algorithm and a non deterministic iterative algorithm to solve the Euclidean Traveling Salesman Problem (E-TSP). It begins with a brief introduction to TSP and E-TSP. Then, it presents the proposed algorithm with its two major components: the convex elastic net (CEN) algorithm and the non deterministic iterative improvement (NII) algorithm. These two algorithms are combined into an algorithm called Efficient Convex-Elastic Net (ECEN) algorithm. Experimental results are given to show that the proposed algorithm can find the nearly optimal solution for the E-TSP that outperform many similar algorithms reported in the literature. The paper concludes with the advantages of the new algorithm and possible extensions.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116925012","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
Link design and capacity comparison of burst transmission methods for ATM cells and AAL PDUs over broadband satellites 宽带卫星上ATM小区与AAL pdu突发传输方式的链路设计与容量比较
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.608327
Brian Lo, V. Leung
{"title":"Link design and capacity comparison of burst transmission methods for ATM cells and AAL PDUs over broadband satellites","authors":"Brian Lo, V. Leung","doi":"10.1109/CCECE.1997.608327","DOIUrl":"https://doi.org/10.1109/CCECE.1997.608327","url":null,"abstract":"This paper evaluates coding methods to meet the quality of service requirements of various services to be offered over broadband satellite networks, transported by ATM cells or AAL PDUs. A partially-concatenated coding method is proposed for ATM cell transport to optimize bandwidth. Analyses and comparisons of channel capacities for services under different alternatives are presented.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131081564","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
Evaluation of various FFT methods for single tone detection and frequency estimation 评估各种FFT方法的单音检测和频率估计
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.614827
Y. Chan, Q. Ma, H. C. So, R. Inkol
{"title":"Evaluation of various FFT methods for single tone detection and frequency estimation","authors":"Y. Chan, Q. Ma, H. C. So, R. Inkol","doi":"10.1109/CCECE.1997.614827","DOIUrl":"https://doi.org/10.1109/CCECE.1997.614827","url":null,"abstract":"The periodogram, implemented using the fast Fourier transform (FFT), is widely used for the detection and frequency measurement of single tones. This paper evaluates the detection and frequency estimation performance of the periodogram and its variants, such as the Welch and Bartlett methods and the polyphase-FFT. Performance results for the detection and frequency estimation performance of the periodogram and its variants are presented and compared. The standard periodogram generally gives the best detection performance and the minimum mean square frequency error for a fixed length of signal data. However, if the FFT length is fixed the Welch method gives the best performance.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131180116","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}
引用次数: 18
Designing distributed multimedia applications over ATM networks 在ATM网络上设计分布式多媒体应用
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.614806
V. Groza, D. Ionescu, N. Georganas
{"title":"Designing distributed multimedia applications over ATM networks","authors":"V. Groza, D. Ionescu, N. Georganas","doi":"10.1109/CCECE.1997.614806","DOIUrl":"https://doi.org/10.1109/CCECE.1997.614806","url":null,"abstract":"Based on developments in the domain of distributed object oriented software, several experiments on distributed multimedia over ATM networks have been conducted at the Department of Electrical and Computer Engineering of the University of Ottawa. The design of a distributed CORBA like-architecture for a multimedia application is presented. The implementations of two mechanisms for communication over the ATM networks are discussed: first a multimedia application using IP protocols (TCP and UDP), then a communication mechanism using the ATM adaptation layer.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132099890","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
Low cost broadband ultrasonic transducers 低成本宽带超声换能器
CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings Pub Date : 1997-05-25 DOI: 10.1109/CCECE.1997.608323
D. Anspach, J. E. Salt
{"title":"Low cost broadband ultrasonic transducers","authors":"D. Anspach, J. E. Salt","doi":"10.1109/CCECE.1997.608323","DOIUrl":"https://doi.org/10.1109/CCECE.1997.608323","url":null,"abstract":"The design of a broadband wetted transducer involves stacking a piezoelectric device in layers of adhesives, electrodes and protective coatings. The frequency response of the transducer is heavily influenced by the electrodes, adhesives and protective coatings. A relatively new piezoelectric material, polyvinylidene fluoride, has a very flat linear phase response over a broad frequency band. This paper suggests specific materials for the backing and protective coating to maintain a flat response. Results of modeling, construction, and testing of transducers are reported. The transducer is designed to be used in a water flow meter.","PeriodicalId":359446,"journal":{"name":"CCECE '97. Canadian Conference on Electrical and Computer Engineering. Engineering Innovation: Voyage of Discovery. Conference Proceedings","volume":"11 17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134245830","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
首页 上一页 下一页 尾页
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学术官方微信