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

AFRICON 2007最新文献

筛选
英文 中文
Validation within safety critical systems engineering from a computational semiotics point of view 从计算符号学的角度验证安全关键系统工程
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401588
G. Doeben-Henisch, M.F. Wagner
{"title":"Validation within safety critical systems engineering from a computational semiotics point of view","authors":"G. Doeben-Henisch, M.F. Wagner","doi":"10.1109/AFRCON.2007.4401588","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401588","url":null,"abstract":"Software controlled Safety Critical Systems are increasing in importance in all areas of application. Combining efficient agile development processes with powerful but complex modeling and formal methods imposes grand challenges on software designing organizations. Especially the semiotic dimension which relates stakeholders and engineers in an engineering process is evoking such challenges. Focusing on these processes as basis for domain modeling and as point of reference for validation the authors outline a simulation based approach to overcome the semantic gap. But they know, that this still can only be a preparatory step for much more detailed semiotic analyses.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125798079","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
Generalized analysis of electrical circuits by using hypernion matrixes 利用超离子矩阵对电路进行广义分析
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1142/S0218126609005629
Y. Berkovich, A. Shenkman, S. Tapuchi
{"title":"Generalized analysis of electrical circuits by using hypernion matrixes","authors":"Y. Berkovich, A. Shenkman, S. Tapuchi","doi":"10.1142/S0218126609005629","DOIUrl":"https://doi.org/10.1142/S0218126609005629","url":null,"abstract":"In this paper a novel method for circuit analysis is proposed. It is based on using symbolic analysis in matrix form, which is especially appropriate for repetitive similar calculations of the same circuit. The method, which applies hyper-complex numbers (hypernions), was first developed by the authors for analyzing the non-sinusoidal operation of electrical circuits. Now, the method has been extended to the analysis of electronic/switching circuits in which the sources and/or the parameters are step-wisely changed as a result of switching. Such circuits are common in different kinds of DC-DC converters (such as Buck, Boost, Cuk, etc. converters). The proposed method gives a new approach to the analysis of the above circuits by opening the possibility of treating them in a general-analytical form, just like in regular electrical circuits having a constant configuration and constant parameters. The computation of such kinds of circuits by using the proposed method becomes very simple, since the circuit does not have to be analyzed many times, each time for a different configuration, but at once by performing a parallel computation. The theoretical presentation is accompanied by numerical examples.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125910614","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
On low density parity check codes for combined reliability and security 对低密度奇偶校验码的组合可靠性和安全性
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401585
A. Fezal, S. Sunjiv
{"title":"On low density parity check codes for combined reliability and security","authors":"A. Fezal, S. Sunjiv","doi":"10.1109/AFRCON.2007.4401585","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401585","url":null,"abstract":"In this manuscript we examine the possibility of using Low Density Parity-Check (LDPC) codes as cryptographic primitive in a Public-Key Cryptosystem (PKC). The designed cryptosystem is based on a modified McEliece scheme and provides for combined reliability and security within one combined algorithm. A model for evaluating its security is then presented. Result shows that our new cryptosystem is at least theoretically more secure than the original McEliece PKC.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125327472","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 of electronics from tubes to IC today possibilities for IC designers FPGA a great opportunity for projects 电子技术从电子管发展到集成电路的今天，为集成电路设计者提供了FPGA项目的巨大机遇
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401642
B. Zajc
{"title":"Development of electronics from tubes to IC today possibilities for IC designers FPGA a great opportunity for projects","authors":"B. Zajc","doi":"10.1109/AFRCON.2007.4401642","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401642","url":null,"abstract":"The paper is concerned with important events such as the invention of bipolar transistor, realization of unipolar MOS transistor and announcement of integrated circuits. Also further development of integrated circuits (IC) and state of the art and today possibilities in the IC design, also advantage of programmable arrays, are discussed.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121986148","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
Effects of glucose in blood and skin impedance spectroscopy 葡萄糖对血液和皮肤阻抗谱的影响
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401489
C.E.F. Amaral, B. Wolf
{"title":"Effects of glucose in blood and skin impedance spectroscopy","authors":"C.E.F. Amaral, B. Wolf","doi":"10.1109/AFRCON.2007.4401489","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401489","url":null,"abstract":"Painless control of blood glycemic levels could improve life quality of diabetes patients, enabling a better regulation of hyper- and hypoglycaemia episodes and thereby avoiding physiological complications. The aim of this work is to investigate complex impedance detection of glucose levels in aqueous solutions, blood samples and non-invasive assays. Besides the results of such topology, baseline correction is also presented as an alternative to improve the system performance. First, D-glucose is analyzed with interdigital electrodes in aqueous solutions, showing correlations higher than 0.9 for phase and resistance components, both between 150 kHz and 650 kHz. Blood samples also confirm the importance of complex measurements in similar frequencies, with angle correlating 0.7 with glucose (150 kHz). Finally, skin impedance is obtained with tetrapolar electrodes, resulting in a maximal correlation of 0.62 for the same parameter and range as in blood. Analysis of the transcutaneous prediction with time indicates that the noninvasive precision of 16.47 mg/dL may reflect trends in arterial glucose changes faster than standard methods, appealing for the monitoring of all complex components of impedance.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"280 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122196712","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}
引用次数: 19
Global space integration from tactile representations: an experimental evaluation 触觉表征的整体空间整合:一个实验评估
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401474
E. Fontaine, R. Velázquez, E. Pissaloux
{"title":"Global space integration from tactile representations: an experimental evaluation","authors":"E. Fontaine, R. Velázquez, E. Pissaloux","doi":"10.1109/AFRCON.2007.4401474","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401474","url":null,"abstract":"This paper introduces (1) the paradigm of global space integration from its tactile \"snapshots\", (2) different metrics for its experimental evaluation and (3) the experimental results of this paradigm using tactile representations generated via a touch stimulating interface (a Braille surface). The collected results involving healthy blindfolded subjects show that 60% of the subjects can successfully integrate the global space from tactile representations and can recognize the geometry of the investigated space.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116814890","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
Sensitivity of chromatic dispersion to geometrical imperfections in photonic crystal fibers 光子晶体光纤中色散对几何缺陷的敏感性
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401468
R. Chérif, M. Zghal
{"title":"Sensitivity of chromatic dispersion to geometrical imperfections in photonic crystal fibers","authors":"R. Chérif, M. Zghal","doi":"10.1109/AFRCON.2007.4401468","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401468","url":null,"abstract":"Small geometrical imperfections to the ideal cross section of index-guiding photonic crystal fibers (PCFs) are introduced in order to investigate their impact on the chromatic dispersion properties. Moreover, to validate our numerical analysis, the impact of real photonic crystal fiber's profile perturbations on chromatic dispersion is pointed out. This study is performed along 60 m fiber length. The analysis has been performed using the finite element method which assures high solution accuracy.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128311560","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
Stability of the line-start permanent magnet synchronous motor sensorless drive 线路起动永磁同步电机无传感器驱动的稳定性
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401552
D. Stoia, D. Ilea, M. Cernat, A. Dezsi, A. Jimoh
{"title":"Stability of the line-start permanent magnet synchronous motor sensorless drive","authors":"D. Stoia, D. Ilea, M. Cernat, A. Dezsi, A. Jimoh","doi":"10.1109/AFRCON.2007.4401552","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401552","url":null,"abstract":"An analysis and experimental verification of the operating point stability of the line-start permanent synchronous machine (LSPMSM) supplied from a current source provided with power factor control is presented. The control system acts to inject the stator currents at a controlled angle related to the stator voltages. The machine parameters are varying because of magnetic saturation and as a result the control performances are affected by saturation. The effects of magnetic saturation and inverter imperfections are included.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128463850","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
Proposal for high accuracy linearity test of triangular waveform generators 高精度三角波形发生器线性度测试方案
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401583
F. Alegria
{"title":"Proposal for high accuracy linearity test of triangular waveform generators","authors":"F. Alegria","doi":"10.1109/AFRCON.2007.4401583","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401583","url":null,"abstract":"This paper addresses the possibility of testing, with high accuracy, triangular waveform generators using a procedure inspired on the ramp Vernier test of analog to digital converters. This allows the use of a low cost data acquisition board to efficiently measure the nonlinearity of a triangular waveform. The idea is to use the waveform generator under test to produce the stimulus signal for the testing of the data acquisition system and then use the results of that test to correct its nonlinearity. This removes the influence of the acquisition system's nonlinearity on the estimation of nonlinearity of the waveform generator.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124967405","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
Some considerations regarding mathematical Semiosis 关于数学符号学的一些考虑
AFRICON 2007 Pub Date : 2007-12-12 DOI: 10.1109/AFRCON.2007.4401602
Ricardo Ribeiro Gudwin, J. Queiroz
{"title":"Some considerations regarding mathematical Semiosis","authors":"Ricardo Ribeiro Gudwin, J. Queiroz","doi":"10.1109/AFRCON.2007.4401602","DOIUrl":"https://doi.org/10.1109/AFRCON.2007.4401602","url":null,"abstract":"The discussion on the possibility of machines to achieve semiosis (meaning process) is a very controversial debate within artificial intelligence and cognitive science. In this work, we define meaning process in an entirely mathematical framework. We call the \"transposition\" of the Peircean theory to an abstract mathematical model as \"mathematical semiosis\". By doing this, we aim at growing a more understandable theory for explaining what is to mean, in a strictly mathematical sense, avoiding complications related to the connection of signs to a real world. The main application of such a theory would be in order to develop machines with these capabilities. In such a regard, what we are calling here \"mathematical semiosis\" would be a kind of purely mathematical abstraction for what is \"semiosis\" in the real world.","PeriodicalId":112129,"journal":{"name":"AFRICON 2007","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124009996","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
下一页 尾页
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学术官方微信