Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.526419
C. Lambiri, D. Ionescu
A new model for distributed systems based on a systemic point of view is studied. This model adopts an open view of the system thus allowing a modular specification of a system.
基于系统的观点,研究了一种新的分布式系统模型。该模型采用系统的开放视图,从而允许系统的模块化规范。
{"title":"Models for distributed systems specification","authors":"C. Lambiri, D. Ionescu","doi":"10.1109/CCECE.1995.526419","DOIUrl":"https://doi.org/10.1109/CCECE.1995.526419","url":null,"abstract":"A new model for distributed systems based on a systemic point of view is studied. This model adopts an open view of the system thus allowing a modular specification of a system.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133229500","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.528090
M. Olson, Xiaoling Sun
This paper describes the design of a built-in current sensor that is used to enhance the resistive bridging fault detectability of a static CMOS TSC two-rail checker. The design and operation of the sensor is discussed. The performance of the sensor-equipped checker is evaluated and compared to a previously designed checker.
{"title":"On the design of a resistive bridging fault testable two-rail checker","authors":"M. Olson, Xiaoling Sun","doi":"10.1109/CCECE.1995.528090","DOIUrl":"https://doi.org/10.1109/CCECE.1995.528090","url":null,"abstract":"This paper describes the design of a built-in current sensor that is used to enhance the resistive bridging fault detectability of a static CMOS TSC two-rail checker. The design and operation of the sensor is discussed. The performance of the sensor-equipped checker is evaluated and compared to a previously designed checker.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133251831","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.526606
Charles-Antoine Brunet, R. Gonzalez Rubio
The paper proposes how to integrate two languages, C++ and Prolog, into one. The resulting language is COP (C++ Or Prolog). The motivation behind this work was to offer in one language two programming styles in order to simplify program writing. For example, an application programmer can use the COP language when it is necessary to program in a procedural or object oriented way (C++) and also with rules (Prolog). Our feeling is that a programmer could benefit from our approach because he or she has the choice to use a programming style adapted to the application needs. We present the COP language. In COP, we try to respect the syntax, the semantics and the philosophies of C++ and Prolog. We define how the two languages can work together. Our approach is to add some features allowing C++ to call Prolog goals. We give all the details that a COP programmer must know in order to use the language; that was possible because we kept our design as simple as we could.
{"title":"COP: a simple way to integrate imperative programming and declarative programming","authors":"Charles-Antoine Brunet, R. Gonzalez Rubio","doi":"10.1109/CCECE.1995.526606","DOIUrl":"https://doi.org/10.1109/CCECE.1995.526606","url":null,"abstract":"The paper proposes how to integrate two languages, C++ and Prolog, into one. The resulting language is COP (C++ Or Prolog). The motivation behind this work was to offer in one language two programming styles in order to simplify program writing. For example, an application programmer can use the COP language when it is necessary to program in a procedural or object oriented way (C++) and also with rules (Prolog). Our feeling is that a programmer could benefit from our approach because he or she has the choice to use a programming style adapted to the application needs. We present the COP language. In COP, we try to respect the syntax, the semantics and the philosophies of C++ and Prolog. We define how the two languages can work together. Our approach is to add some features allowing C++ to call Prolog goals. We give all the details that a COP programmer must know in order to use the language; that was possible because we kept our design as simple as we could.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128843649","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.526297
D. Bouchard, M. Salama, A. Chikhani
This paper investigates the application of guided evolutionary simulated annealing to the problem of optimal substation size and placement, and the optimal routing of power distribution feeders. The principles of guided evolutionary simulated annealing are discussed and a model proposed for solution of the problem. The success of the method is demonstrated through computer simulations.
{"title":"Optimal feeder routing and optimal substation sizing and placement using guided evolutionary simulated annealing","authors":"D. Bouchard, M. Salama, A. Chikhani","doi":"10.1109/CCECE.1995.526297","DOIUrl":"https://doi.org/10.1109/CCECE.1995.526297","url":null,"abstract":"This paper investigates the application of guided evolutionary simulated annealing to the problem of optimal substation size and placement, and the optimal routing of power distribution feeders. The principles of guided evolutionary simulated annealing are discussed and a model proposed for solution of the problem. The success of the method is demonstrated through computer simulations.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115604978","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.526632
L. Hartman, P. Freedman, L. Briand, Jean-Yves Fiset, J. Lapointe
Concerns control of telescience systems in space by ground-based scientists, as in the Canadian Advanced Protein Crystallization Apparatus (CAPCA). We describe in this report how the formal modelling and analysis of the operator-system interaction makes it possible to evaluate the "error-proneness" of the operator interface in terms of the definition and measurement of metrics related to the complexity of the operator decisions since reduced complexity often means improved reliability. The intent is to be able to compare alternative interfaces to the very same telescience infrastructure in terms of cognitive complexity (and therefore error-proneness) by carefully evaluating the operator decision-making interactions with the system in meaningful ways. As a result, our report concludes by defining candidate complexity metrics and by discussing how they might be validated by experimental work.
{"title":"Measuring the interaction complexity of teleoperated systems","authors":"L. Hartman, P. Freedman, L. Briand, Jean-Yves Fiset, J. Lapointe","doi":"10.1109/CCECE.1995.526632","DOIUrl":"https://doi.org/10.1109/CCECE.1995.526632","url":null,"abstract":"Concerns control of telescience systems in space by ground-based scientists, as in the Canadian Advanced Protein Crystallization Apparatus (CAPCA). We describe in this report how the formal modelling and analysis of the operator-system interaction makes it possible to evaluate the \"error-proneness\" of the operator interface in terms of the definition and measurement of metrics related to the complexity of the operator decisions since reduced complexity often means improved reliability. The intent is to be able to compare alternative interfaces to the very same telescience infrastructure in terms of cognitive complexity (and therefore error-proneness) by carefully evaluating the operator decision-making interactions with the system in meaningful ways. As a result, our report concludes by defining candidate complexity metrics and by discussing how they might be validated by experimental work.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115758350","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.528075
P. Bigras, M. Saad, J. O'Shea
This article presents a control law which ensures the global asymptotic stability of the tracking error, and also a stability analysis based on the theorem of passivity and a semi-guardian application enabling the rate of convergence of the tracking error to be increased. A simulation is presented to validate the approach.
{"title":"Tracking of trajectories in the working space of a class of flexible manipulators: study of stability","authors":"P. Bigras, M. Saad, J. O'Shea","doi":"10.1109/CCECE.1995.528075","DOIUrl":"https://doi.org/10.1109/CCECE.1995.528075","url":null,"abstract":"This article presents a control law which ensures the global asymptotic stability of the tracking error, and also a stability analysis based on the theorem of passivity and a semi-guardian application enabling the rate of convergence of the tracking error to be increased. A simulation is presented to validate the approach.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117027777","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.528147
J. Abdulnour, C. Akyel, K. Wu
A new approach to measurement of the dielectric permittivity is proposed, using a discontinuity in a microstrip line or rectangular waveguide. A contour integral method is used in the first instance to calculate the S-parameters with knowledge of the permittivity (direct problem). Diagrams relating the dielectric constant to the S-parameter are obtained and a simple analytical expression is deduced for solution of the inverse problem.
{"title":"A new broadband method of characterisation of conductive polymers using discontinuities in microwave transmission lines","authors":"J. Abdulnour, C. Akyel, K. Wu","doi":"10.1109/CCECE.1995.528147","DOIUrl":"https://doi.org/10.1109/CCECE.1995.528147","url":null,"abstract":"A new approach to measurement of the dielectric permittivity is proposed, using a discontinuity in a microstrip line or rectangular waveguide. A contour integral method is used in the first instance to calculate the S-parameters with knowledge of the permittivity (direct problem). Diagrams relating the dielectric constant to the S-parameter are obtained and a simple analytical expression is deduced for solution of the inverse problem.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123422374","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.528137
S. Muthanna, V. Nandakumar, S. Jayaram
The paper presents a field oriented control scheme for an induction motor using a Motorola 56001 digital signal processor. A direct stator flux orientation (DSFO) scheme, pulse width modulation circuit and inverter power module have been implemented in this control system. The operating points which are helpful in setting up closed-loop operation of DSFO for the field oriented control of an induction motor have been identified based upon open loop test results.
{"title":"Identification of operating points for implementing DSP based field oriented control of induction motor","authors":"S. Muthanna, V. Nandakumar, S. Jayaram","doi":"10.1109/CCECE.1995.528137","DOIUrl":"https://doi.org/10.1109/CCECE.1995.528137","url":null,"abstract":"The paper presents a field oriented control scheme for an induction motor using a Motorola 56001 digital signal processor. A direct stator flux orientation (DSFO) scheme, pulse width modulation circuit and inverter power module have been implemented in this control system. The operating points which are helpful in setting up closed-loop operation of DSFO for the field oriented control of an induction motor have been identified based upon open loop test results.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122082578","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.528164
M. Kadoch
Asynchronous transfer mode is used as a transport mechanism for B-ISDN. Being a connection oriented link, a connection control mechanism must be established to set up virtual circuits. This is the outcome of the work performed in standard organisations of which the main issues are highlighted.
{"title":"ATM signalling: a tutorial","authors":"M. Kadoch","doi":"10.1109/CCECE.1995.528164","DOIUrl":"https://doi.org/10.1109/CCECE.1995.528164","url":null,"abstract":"Asynchronous transfer mode is used as a transport mechanism for B-ISDN. Being a connection oriented link, a connection control mechanism must be established to set up virtual circuits. This is the outcome of the work performed in standard organisations of which the main issues are highlighted.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"133 16","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120850347","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}
Pub Date : 1995-09-05DOI: 10.1109/CCECE.1995.528125
P. Laurent, B. Multon, E. Hoang, M. Gabsi
An original method of use of signals from the power convertor to determine the rotor position for self-regulation is proposed. These high-frequency (20 kHz) signals provide the carrier for the investigation and measurement of parameters of the phase model of the machine. Optimisation of synchronous demodulation of this carrier enables the influence of saturation on the value of these parameters to be reduced considerably, while increasing their relative variation with respect to the position of the rotor.
{"title":"Indirect analysis of the position of a doubly-salient variable-reluctance machine by optimal synchronous demodulation of PWM signals","authors":"P. Laurent, B. Multon, E. Hoang, M. Gabsi","doi":"10.1109/CCECE.1995.528125","DOIUrl":"https://doi.org/10.1109/CCECE.1995.528125","url":null,"abstract":"An original method of use of signals from the power convertor to determine the rotor position for self-regulation is proposed. These high-frequency (20 kHz) signals provide the carrier for the investigation and measurement of parameters of the phase model of the machine. Optimisation of synchronous demodulation of this carrier enables the influence of saturation on the value of these parameters to be reduced considerably, while increasing their relative variation with respect to the position of the rotor.","PeriodicalId":158581,"journal":{"name":"Proceedings 1995 Canadian Conference on Electrical and Computer Engineering","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124609191","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}