ORIGINAL_ARTICLE
From Object-Z Specification to Groovy Implementation
So far, valuable researches have been conducted on mapping object-oriented specification notations, such as Object-Z, to different object-oriented programming languages, such as C++. However, the results of selecting JVM-based programming languages for mapping have not covered most of basic Object-Z structures. In this paper, the Groovy language, as a dynamic JVM-based language, is selected to overcome some of the existing limitations. As the main contribution, the rules required for mapping Object-Z specifications to executable Groovy code are introduced. The proposed rules cover notions such as multiple inheritance, inverse specification of functions, functions defined on generic definitions, and free type constructors. These notions have not been covered in previous methods for formal program development from object-oriented specifications, regardless of the selected formal specification language and target programming language. In addition, in this paper, the parallel composition construct is mapped to a parallel, executable code to improve the faithfulness of the final code to the initial specification. We also introduce a mapping rule for the class union construct, which has not yet been provided for any JVM-based language. Unlike previous works, instead of presenting the mapping rules in terms of natural languages, we present them in terms of some formal mapping rules.
https://scientiairanica.sharif.edu/article_20798_085d4c579555c471e8ddeebb4ea714e5.pdf
2018-12-01
3415
3441
10.24200/sci.2018.20798
Formal program development
Object oriented programming
Animation
Object-Z
Groovy
JVM
Farzin
Zaker
1
Faculty of Computer Science and Engineering, Shahid Beheshti University G.C., Tehran, 1983969411, Iran
AUTHOR
Hassan
Haghighi
h_haghighi@sbu.ac.ir
2
Faculty of Computer Science and Engineering, Shahid Beheshti University G.C., Tehran, 1983969411, Iran
LEAD_AUTHOR
Eslam
Nazemi
nazemi@sbu.ac.ir
3
Faculty of Computer Science and Engineering, Shahid Beheshti University G.C., Tehran, 1983969411, Iran
AUTHOR
References
1
1. Woodcock, J., Larsen, PG., Bicarregui, J., et al.
2
\Formal methods: Practice and experience", ACM
3
Computing Surveys (CSUR), 41(4), p. 19 (2009).
4
2. Fitzgerald, J., Bicarregui, J., Larsen, P.G., et al.
5
\Industrial Deployment of Formal Methods: Trends
6
and Challenges", In Industrial Deployment of System
7
Engineering Methods, pp. 123-143, Springer (2013).
8
3. Naja, M., Haghighi, H., and Zohdi Nasab, T. \A survey
9
on formal, object-oriented program development
10
approaches", Scientia Iranica, 22(3), pp. 1001-1007
11
4. Smith, G., The Object-Z Specication Language,
12
Springer Science & Business Media (2012).
13
5. Rose, G., Formal Object-Oriented Specication Using
14
Object-Z, Macmillan, United Kingdom (2000).
15
6. Woodcock, J. and Davies, J., Using Z: Specication,
16
Renement and Proof, Prentice Hall, NJ (1996).
17
7. Ramkarthik, S. and Zhang, C. \Generating Java
18
skeletal code with design contracts from specications
19
in a subset of object-Z", Computer and Information
20
Science, 2006 and 2006 1st IEEE/ACIS International
21
Workshop on Component-Based Software Engineering,
22
Software Architecture and Reuse. ICIS-COMSAR
23
2006. 5th IEEE/ACIS International Conference on,
24
Honolulu, HI, pp. 405-411, IEEE Computer Society
25
Press (2006).
26
8. Naja, M. and Haghighi, H. \An animation approach
27
to develop c++ code from object-z specications",
28
Computer Science and Software Engineering (CSSE),
29
2011 CSI International Symposium on, pp. 9-16, IEEE
30
9. Naja, M. and Haghighi, H. \An approach to animate
31
Object-Z specications using C++", Scientia Iranica,
32
19(6), pp. 1699-1721 (2012).
33
10. Naja, M. and Haghighi, H. \An approach to develop
34
C++ code from object-Z specications", 2nd World
35
Conference on Information Technology (2011).
36
11. Ni, X. and Zhang, C. \Converting specications in a
37
subset of Object-Z to skeletal spec# code for both
38
static and dynamic analysis", Journal of Object Technology,
39
7(8), pp. 165-185 (2008).
40
3438 F. Zaker et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3415{3441
41
12. Naja, M. and Haghighi, H. \A formal mapping from
42
Object-Z specication to C++ code", Scientia Iranica.
43
Transaction D, Computer Science & Engineering,
44
Electrical Engineering, 20(6), p. 1953 (2013).
45
13. Rafsanjani, G.B. and Colwill, S.J. \From Object-Z
46
to C++: A structural mapping", Z User Workshop,
47
London 1992, pp. 166-179, Springer (1993).
48
14. Griths, A. \From Object-Z to Eiel: a rigorous
49
development method", Technology of Object-Oriented
50
Languages and Systems (TOOLS 18), pp. 293-308
51
15. Ramkarthik, S. and Zhang, C. \Generating Java
52
skeletal code with design contracts from specications
53
in a subset of object Z", Computer and Information
54
Science, 2006 and 2006 1st IEEE/ACIS International
55
Workshop on Component-Based Software Engineering,
56
Software Architecture and Reuse. ICIS-COMSAR
57
2006. 5th IEEE/ACIS International Conference on,
58
pp. 405-411, IEEE (2006).
59
16. Johnston, W. and Rose, G. \Guidelines for the manual
60
conversion of Object-Z to C++", SVRC Technical
61
Report, pp. 93-14 (1993).
62
17. Fukagawa, M., Hikita, T. and Yamazaki, H. \A
63
mapping system from Object-Z to C++", Software Engineering
64
Conference, 1994. Proceedings., 1994 First
65
Asia-Pacic, pp. 220-228, IEEE (1994).
66
18. Wang, Z., Xie, M., and Zhao, Y. \Transform mechanisms
67
of object-z based formal specication to Java",
68
Computational Intelligence and Software Engineering,
69
2009. CiSE 2009. International Conference on, pp. 1-
70
4, IEEE (2009).
71
19. Jackson, M. \Developing Ada programs using the
72
Vienna development method (VDM)", Software: Practice
73
and Experience, 15(3), pp. 305-318 (1985).
74
20. Van Katwijk, J., Durr, E., and Goldsack, S. \Hybrid
75
object-oriented real-time software development with
76
VDM++", Formal Engineering Methods., 1997. Proceedings.,
77
First IEEE International Conference on, pp.
78
17-26, IEEE (1997).
79
21. Albalooshi, F. and Long, F. \Multiple view environment
80
supporting VDM and Ada", IEE Proceedings-
81
Software, 146(4), pp. 203-219 (1999).
82
22. Moulding, M. and Newton, A. \Rapid prototyping
83
from VDM specications using Ada", Automating
84
Formal Methods for Computer Assisted Prototying,
85
IEE Colloquium on, pp. 11-21, IET (1992).
86
23. Chedgey, C., Kearney, S., and Kugler, H.-J. \Using
87
VDM in an object-oriented development method for
88
Ada software", VDM'87 VDM-A Formal Method at
89
Work, pp. 63-76 (1987).
90
24. O'Neill, D. \VDM development with Ada as the target
91
language", VDM'88 VDM-The Way Ahead, pp. 116-
92
123 (1988).
93
25. Lou, Y. \VDM/C++: a design and implementation
94
framework", Thesis, Concordia University (1994).
95
26. Liu, H. and Zhu, B. \Refactoring formal specications
96
in object-Z", Computer Science and Software Engineering,
97
2008 International Conference on, pp. 342-
98
345, IEEE (2008).
99
27. McComb, T. \Refactoring object-z specications",
100
FASE, Berlin, Germany, pp. 69-83, Springer (2004).
101
28. McComb, T. and Smith, G. \Architectural design
102
in Object-Z", Software Engineering Conference, 2004.
103
Proceedings. 2004 Australian, pp. 77-86, IEEE (2004).
104
29. McComb, T. and Smith, G. \Compositional class
105
renement in Object-Z", FM 2006: Formal Methods,
106
pp. 205-220 (2006).
107
30. McComb, T. and Smith, G. \A minimal set of refactoring
108
rules for Object-Z", Lecture Notes in Computer
109
Science, 5051, pp. 170-184 (2008).
110
31. McComb, T. and Smith, G. \Introducing objects
111
through renement", FM 2008: Formal Methods, pp.
112
358-373 (2008).
113
32. Rasoolzadegan, A. and Barforoush, A.A. \A new
114
approach to software development process with formal
115
modeling of behavior based on visualization", The
116
Sixth International Conference on Software Engineering
117
Advances (2011).
118
33. Rasoolzadegan, A. and Barforoush, A.A. \Reliable yet
119
exible software through formal model transformation
120
(rule denition)", Knowledge and Information Systems,
121
40(1), pp. 79-126 (2014).
122
34. Ruhroth, T. \Refactoring Object-Z specications",
123
18th Nordic Workshop on Programming Theory (2006).
124
35. Smith, G. \Introducing reference semantics via renement",
125
ICFEM, pp. 588-599, Springer (2002).
126
36. Goldsack, S. and Lano, K. \Annealing and data
127
decomposition in VDM", ACM Sigplan Notices, 31(4),
128
pp. 32-38 (1996).
129
37. Lu, J. \Introducing data decomposition into VDM
130
for tractable development of programs", ACM Sigplan
131
Notices, 30(9), pp. 41-50 (1995).
132
38. Goldsack, S., Durr, E., and Plat, N. \Object reication
133
in VDM++", ICSE-17: Workshop on Formal Methods
134
Application in Software Engineering Practice, pp. 194-
135
201 (1995).
136
39. Lano, K. and Goldsack, S. \Renement of distributed
137
object systems", Proc. of Workshop on Formal
138
Methods for Open Object-Based Distributed Systems,
139
Boston, MA, pp. 99-114, Springer (1997).
140
40. Lano, K. and Goldsack, S. \Renement, subtyping and
141
subclassing in VDM++", Theory and Formal Methods,
142
95, pp. 1-446 (1994).
143
41. Butler, M., Abrial, J.R., Damchoom, K., et al. \Applying
144
Event-B and Rodin to the lestore........
145
ORIGINAL_ARTICLE
Practical Provably-Secure Authenticated Encryption Schemes Using Lattice-based Pseudorandom Function SPRING
Lattice-based cryptography has received significant attention from security practitioners in the past decade. It exhibits attractive properties, including being a major post-quantum cryptography candidate, enjoying worst-case to average-case security reductions, and being supported by efficient implementations. In this paper, we propose three practical lattice-based authenticated encryption (AE) schemes. These schemes are provably secure assuming hardness of basic lattice problems. The proposed schemes have remarkable motivationsand advantages over widely-used AEs as follows. These schemes are alternatives to current conventional and post-quantum AE schemes in the post-quantum era. Moreover, composing the proposed AEs with a lattice-based asymmetric key distribution scheme results to a hybrid encryption which depends only on one (type of) security assumption. The implementation of such hybrid encryption can make use of specific optimizations regarding, e.g., code size in software, and gate equivalent or FPGA area usage in hardware. That is because the symmetric and asymmetric algorithms have some common primitive computations. To evaluate the performance of the proposed AEs, we implement them on current Intel CPUs and benchmark them to encrypt messages of various sizes. The most efficient proposed scheme is only 12% slower than AES-256-GCM for 40-byte messages on Sandy Bridge, and 34% faster for 1500-byte messages.
https://scientiairanica.sharif.edu/article_21044_0bae5fe2e12764b95354633886c6d2cd.pdf
2018-12-01
3442
3460
10.24200/sci.2018.21044
Authenticated Encryption
Lattice-based Cryptography
Post-quantum Cryptography
Provable Security
Ahmad
Boorghany
1
Data and Network Security Lab (DNSL), Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
AUTHOR
Siavash
Bayat-Sarmadi
2
Hardware Security and Trust (HST) Lab, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
AUTHOR
Rasool
Jalili
jalili@sharif.ir
3
Hardware Security and Trust (HST) Lab, Department of Computer Engineering, Sharif University of Technology, Tehran, Iran
LEAD_AUTHOR
References
1
1. Bernstein, D.J. \Introduction to post-quantum cryptography",
2
Post-Quantum Cryptography, Springer
3
Berlin Heidelberg, pp. 1-14 (2009).
4
2. Peikert, C. \A decade of lattice cryptography", Technical
5
Report 939, ePrint IACR (2015).
6
3. Shor, P.W. \Algorithms for quantum computation:
7
Discrete logarithms and factoring", Foundations of
8
Computer Science, 35th Annual Symposium on, IEEE,
9
pp. 124-134 (1994).
10
4. Proos, J. and Zalka, C. \Shor's discrete logarithm
11
quantum algorithm for elliptic curves", Quantum Info.
12
Comput., 3(4), pp. 317-344 (2003).
13
5. Lindner, R. and Peikert, C. \Better Key Sizes (and
14
Attacks) for LWE-Based Encryption", Topics in Cryptology
15
- CT-RSA 2011, LNCS, 6558, Springer, pp.
16
319-339 (2011).
17
A. Boorghany et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3442{3460 3459
18
6. Micciancio, D. and Peikert, C. \Trapdoors for lattices:
19
Simpler, tighter, faster, smaller", EUROCRYPT 2012,
20
LNCS, 7237, Springer, pp. 700-718 (2012).
21
7. Ducas, L., Durmus, A., Lepoint, T., and Lyubashevsky,
22
V. \Lattice signatures and bimodal gaussians",
23
CRYPTO 2013, LNCS, 8042, Springer, pp.
24
40-56 (2013).
25
8. Gottert, N., Feller, T., Schneider, M., Buchmann, J.,
26
and Huss, S. \On the design of hardware building
27
blocks for modern lattice-based encryption schemes",
28
Cryptographic Hardware and Embedded Systems -
29
CHES, 2012, LNCS, 7428, Springer, pp. 512-529
30
9. Oder, T., Poppelmann, T., and Guneysu, T. \Beyond
31
ECDSA and RSA: lattice-based digital signatures on
32
constrained devices", 51st Annual Design Automation
33
Conference, USA DAC'14, ACM, pp. 110:1-110:6
34
10. Boorghany, A. and Jalili, R. \Implementation and
35
comparison of lattice-based identication protocols on
36
smart cards and microcontrollers", Technical Report
37
078, ePrint IACR (2014).
38
11. Boorghany, A., Bayat Sarmadi, S., and Jalili, R.
39
\On constrained implementation of lattice-based cryptographic
40
primitives and schemes on smart cards",
41
ACM Transactions on Embedded Computing Systems
42
(TECS), 14(3), ACM, pp. 42:1-42:25 (2014).
43
12. Azarderakhsh, R., Liu, Z., Seo, H., and Kim, H.
44
\NEON PQCryto: Fast and Parallel Ring-LWE Encryption
45
on ARM NEON Architecture", Technical
46
Report 1081, ePrint IACR (2015).
47
13. CAESAR: Competition for Authenticated Encryption:
48
Security, Applicability, and Robustness. http://
49
competitions.cr.yp.to/caesar-call.html (2013).
50
14. McGrew, D. and Homan, P., Cryptographic Algorithm
51
Implementation Requirements and Usage Guidance
52
for Encapsulating Security Payload (ESP) and
53
Authentication Header (AH), RFC 7321, IETF (2014).
54
15. McGrew, D.A. and Viega, J. \The security and Performance
55
of the galois/counter mode (GCM) of operation",
56
INDOCRYPT 2004, LNCS, 3348, Springer, pp.
57
343-355 (2005).
58
16. Whiting, D., Ferguson, N., and Housley, R. \Counter
59
with CBC-MAC (CCM)", RFC 3610, IETF (2003).
60
17. Namprempre, C., Rogaway, P., and Shrimpton, T.
61
\Reconsidering generic composition", EUROCRYPT
62
2014, LNCS, 8441, Springer Berlin Heidelberg, pp.
63
257-274 (2014).
64
18. Kurosawa, K. and Iwata, T. \TMAC: two-key CBC
65
MAC", Topics in Cryptology { CT-RSA 2003, LNCS,
66
2612, Springer Berlin Heidelberg, pp. 33-49 (2003).
67
19. Iwata, T. and Kurosawa, K. \OMAC: One-Key
68
CBC MAC", Fast Software Encryption, LNCS, 2887,
69
Springer Berlin Heidelberg, pp. 129-153 (2003).
70
20. Black, J. and Rogaway, P. \A block-cipher mode of
71
operation for parallelizable message authentication",
72
EUROCRYPT 2002, LNCS, 2332, Springer Berlin
73
Heidelberg, pp. 384-397 (2002).
74
21. Jutla, C.S. \Encryption modes with almost free message
75
integrity", EUROCRYPT 2001, LNCS, 2045,
76
Springer Berlin Heidelberg, pp. 529-544 (2001).
77
22. Rogaway, P., Bellare, M., and Black, J. \OCB: A
78
blockcipher mode of operation for ecient authenticated
79
encryption", ACM Trans. Inf. Syst. Secur., 6(3),
80
ACM, pp. 365-403 (2003).
81
23. Rogaway, P. \Ecient instantiations of tweakable
82
blockciphers and renements to modes OCB and
83
PMAC", ASIACRYPT 2004, LNCS, 3329, Springer,
84
pp. 16-31 (2004).
85
24. Krovetz, T. and Rogaway, P. \The software performance
86
of authenticated-encryption modes", Fast
87
Software Encryption, LNCS, 6733, Springer, pp. 306-
88
327 (2011).
89
25. Minematsu, K. \Parallelizable rate-1 authenticated
90
encryption from pseudorandom functions", EUROCRYPT
91
2014, LNCS, 8441, Springer Berlin Heidelberg,
92
pp. 275-292 (2014).
93
26. Banerjee, A., Peikert, C., and Rosen, A. \Pseudorandom
94
functions and lattices", EUROCRYPT 2012,
95
LNCS, 7237, Springer, pp. 719-737 (2012).
96
27. Banerjee, A., Brenner, H., Leurent, G., Peikert, C.,
97
and Rosen, A. \SPRING: fast pseudorandom functions
98
from rounded ring products", Fast Software Encryption,
99
LNCS, 8540, Springer Berlin Heidelberg, pp. 38-
100
57 (2014).
101
28. Bellare, M. and Rogaway, P. \Entity authentication
102
and key distribution", CRYPTO 1993, pp. 232-249.
103
Springer (1993).
104
29. Bellare, M., Kilian, J., and Rogaway, P. \The security
105
of cipher block chaining", CRYPTO 1994, Springer-
106
Verlag, pp. 341-358 (1994).
107
30. Bellare, M., Guerin, R., and Rogaway, P. \XOR
108
MACs: New methods for message authentication using
109
nite pseudorandom functions", CRYPTO 1995,
110
Springer Berlin Heidelberg, pp. 15-28 (1995).
111
31. Grover, L.K. \A fast quantum mechanical algorithm
112
for database search", Twenty-Eighth Annual ACM
113
Symposium on Theory of Computing, USA STOC '96,
114
New York, NY, ACM, pp. 212-219 (1996).
115
32. Kaplan, M., Leurent, G., Leverrier, A., and Naya-
116
Plasencia, M. \Breaking symmetric cryptosystems using
117
quantum period nding", CRYPTO 2016, LNCS,
118
9815, Springer Berlin Heidelberg, pp. 207-237 (2016).
119
33. Kuwakado, H. and Morii, M. \Security on the
120
quantum-type even-mansour cipher", International
121
Symposium on Information Theory and Its Applications
122
(ISITA), pp. 312-316 (2012).
123
34. Peikert, C. \Lattice cryptography for the internet",
124
Post-Quantum Cryptography, LNCS, 8772, Springer
125
International Publishing, pp. 197-219 (2014).
126
35. Lyubashevsky, V., Peikert, C., and Regev, O. \On
127
ideal lattices and learning with errors over rings", J.
128
ACM, 60(6), pp. 43:1-43:35 (2013).
129
3460 A. Boorghany et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3442{3460
130
36. Black, J. and Rogaway, P. \CBC MACs for arbitrarylength
131
messages: The three-key constructions", Journal
132
of Cryptology, 18(2), pp. 111-131 (2005).
133
37. Luby, M. and Racko, C. \How to construct pseudorandom
134
permutations from pseudorandom functions",
135
SIAM J. Comput., 17(2), pp. 373-386 (1988).
136
38. Gligor, V.D. and Donescu, P. \Fast encryption and
137
authentication: XCBC encryption and XECB authentication
138
modes", Fast Software Encryption, LNCS,
139
2355, Springer Berlin Heidelberg, pp. 92-108 (2001).
140
39. Rogaway, P. \Authenticated-encryption with associated-
141
data", 9th ACM Conference on Computer and
142
Communications Security, USA CCS'02, New York,
143
NY, ACM, pp. 98-107 (2002).
144
40. Rogaway, P. and Shrimpton, T. \A provable-security
145
treatment of the key-wrap problem", EUROCRYPT
146
2006, LNCS, 4004, Springer Berlin Heidelberg, pp.
147
373-390 (2006).
148
41. Bellare, M., Kilian, J., and Rogaway, P. \The security
149
of the cipher block chaining message authentication
150
code", Journal of Computer and System Sciences,
151
61(3), pp. 362-399 (2000).
152
42. Iwata, T. and Kurosawa, K. \Stronger security bounds
153
for OMAC, TMAC, and XCBC", INDOCRYPT 2003,
154
LNCS, 2904, Springer Berlin Heidelberg, pp. 402-415
155
43. Bellare, M. and Namprempre, C. \Authenticated encryption:
156
Relations among notions and analysis of the
157
generic composition paradigm", Journal of Cryptology,
158
21(4), pp. 469-491 (2008).
159
44. Bellare, M., Desai, A., Jokipii, E., and Rogaway, P. \A
160
concrete security treatment of symmetric encryption",
161
38th Annual Symposium on Foundations of Computer
162
Science, pp. 394-403 (1997).
163
45. Wegman, M.N. and Carter, J.L. \New hash functions
164
and their use in authentication and set equality",
165
Journal of Computer and System Sciences, 22(3), pp.
166
265-279 (1981).
167
46. Damgard, I., Pedersen, T.B., and Salvail, L. \A
168
quantum cipher with near optimal key-recycling",
169
CRYPTO 2005, Springer Berlin Heidelberg, pp. 494-
170
510 (2005).
171
47. Shoup, V. \Sequences of games: A tool for taming
172
complexity in security proofs", Technical Report 332,
173
ePrint IACR (2004).
174
48. Bellare, M. and Rogaway, P. \The security of triple
175
encryption and a framework for code-based gameplaying
176
proofs", EUROCRYPT 2006, LNCS, 4004,
177
Springer Berlin Heidelberg, pp. 409-426 (2006).
178
ORIGINAL_ARTICLE
Massive Parallel Digital Micro fluidic Biochip Architecture for Automating Large-Scale Biochemistry Assays
Micro/Nano fluidic biochips are used to automate the clinical diagnosis, DNA sequencing, automated drug discovery and real time bio-molecular recognition. One of attractive usages of biochips is Lab-on-chip (LOC). Lab-on-Chip technology is a promising replacement for biomedical and chemical apparatus. Two main types of micro fluidic based biochips are used: continuous-flow based and digital micro fluidic biochips (DMFB). In DMFBs, liquids, in the form of droplets, are controlled independently and concurrently over a two dimensional array of cells (or electrodes).Digital micro fluidic biochips provide high ability to congure and fault tolerance.In this paper, a new architecture for DMFB with purpose of balancing among the parameters of flexibility, efficiency, cost, and completion time of biological experiments, is presented. In the new architecture, a FPGA-based structure is used, which increase flexibility and paralellizing assay operations. Experiments showthat, the execution time of scheduling, routing, and simulation are improved in comparison with FPPC architecture about 2.54%, 18.76% and 12.52%, respectively in cost of 21% overhead in the number of controlling pins.
https://scientiairanica.sharif.edu/article_20797_f021dcd3ec742f9b3a41de1b03b7f153.pdf
2018-12-01
3461
3474
10.24200/sci.2018.20797
Micro fluidic Biochip
Physical Design
Architecture
Abbas
Haddad
1
Department of Computer Science and Engineering, Shahid Beheshti University, G.C., Tehran 1982963113, Iran
AUTHOR
Maryam
Taajobian
taajobian@msh-iau.ac.ir
2
Department of Computer Engineering, Mahdishahr Branch, Islamic Azad University, Mahdishahr, Iran
AUTHOR
Ali
Jahanian
jahanian@sbu.ac.ir
3
Department of Computer Science and Engineering, Shahid Beheshti University, G.C., Tehran 1982963113, Iran
LEAD_AUTHOR
References
1
1. Iliescu, C., Taylor, H., Avram, M., Miao, J., and
2
Franssila, S. \A practical guide for the fabrication of
3
uidic devices using glass and silicon", Journal
4
of Biomicro
5
uidics, 6(2), pp. 16505-16516 (2012).
6
2. Zeng J. \Design automation methods and tools for
7
uidics-based biochips", In Electronics and Electrical
8
Engineering, Springer, Netherlands (2006).
9
3. Srinivasan, V., Pamula, V., and Fair, R. \An integrated
10
digital micro
11
uidic lab-on-a-chip for clinical
12
diagnostics on human physiological
13
uids", Lab on a
14
Chip Journal, 4(5), pp. 310-315 (2004).
15
4. Sista, R., Hua, Z., Thwar, P., Sudarsan, A., Srinivasan,
16
V., Eckhardt, A., Pollack, M., and Pamula, V. \Development
17
of a digital micro
18
uidic platform for point of
19
care testing", Lab on a Chip Journal, 8(12), pp. 2091-
20
2104 (2008).
21
5. Su, F. and Chakrabarty, K. \High-level synthesis
22
of digital micro
23
uidic biochips", ACM Journal on
24
Emerging Technologies in Computing Systems, 3(4),
25
pp. 16-48 (2008).
26
3474 A. Haddad et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3461{3474
27
6. Grissom, D. and Brisk, P. \A eld-programmable pinconstrained
28
digital micro
29
uidic biochip", ACM/IEEE
30
Design Automation Conference, pp. 1-9 (2013).
31
7. Xu, T. and Chakrabarty, K. \Broadcast electrodeaddressing
32
for pin-constrained multi-functional digital
33
uidic biochips",Proceedings of Design Automation
34
Conference, pp. 173-178 (2008).
35
8. Grith, E.J. and Akella, S. \Coordinating multiple
36
droplets in planar array digital micro
37
uidic system",
38
International Journal of Robotics Research, 4(11), pp.
39
933-949 (2005).
40
9. Dhar, S., Drezdon, S., and Maftei, E. \Digital micro
41
biochip for malaria detection", Technical Report,
42
Duke University (2008).
43
10. Maftei, E., Pop, P., and Madsen, J. \Tabu searchbased
44
synthesis of dynamically recongurable digital
45
uidic biochips", Proceedings of the International
46
Conference on Compilers, Architecture, and Synthesis
47
for Embedded Systems, pp. 195-204 (2009).
48
11. Xu, T. and Chakrabarty, K. \Droplet-trace-based
49
array partitioning and a pin assignment algorithm for
50
the automated design of digital micro
51
uidic biochips",
52
Proceedings of IEEE/ACM CODES+ISSS, pp. 112-117
53
12. Gupta, M.N. \Multi-Board digital micro
54
uidic biochip
55
synthesis with droplet crossover optimization", MSc
56
Thesis, University of Cincinnati (2014).
57
13. Su, F., Chakrabarty, K., and Fair, R.B. \Micro
58
uidicsbased
59
biochips technology, issues, implementation
60
platforms, and design-automation challenges", IEEE
61
Transactions on Computer-Aided Design of Integrated
62
Circuits and Systems, 25(2), pp. 211-223 (2006).
63
14. Jones, T.B. \Dielectrophoretic liquid actuation and
64
nanodroplet formation", Application Physicl Journal,
65
89(2), pp. 1441-1448 (2001).
66
15. Pollack, M.G. \Electrowetting-based microactuation of
67
droplets for digital micro
68
uidics", PhD. Thesis, Duke
69
University (2001).
70
16. Chakrabarty, K. \Digital micro
71
uidic biochips: A
72
vision for functional diversity and more than moore",
73
International Conference on VLSI Design, pp. 452-457
74
17. Grissom, D. and Brisk, P. \Fast online synthesis of
75
generally programmable digital micro
76
uidic biochips",
77
In Proceedings of CODES+ISSS, pp. 413-422 (2012).
78
18. Taajobian, M. and Jahanian, A. \Higher
79
exibility of
80
recongurable digital micro/nano
81
uidic biochips using
82
an FPGA-inspired architecture", Scientia Iranica.
83
Transactions F, Nanotechnology, 23(3), pp. 1554-156
84
19. Maftei, E. \Synthesis of digital micro
85
uidic biochips
86
with recongurable operation execution", PhD Thesis,
87
Technical University of Denmark (2011).
88
20. Grissom, D. \Design of topologies for interpreting
89
assays on digital micro
90
uidic biochips", PhD. Thesis,
91
Riverside: University of California (2014).
92
21. Grissom, D. and Brisk, P. \A high-performance online
93
assay interpreter for digital micro
94
uidic biochips", In
95
The Proceedings of Great Lakes Symposium on VLSI,
96
pp. 103-106 (2012).
97
ORIGINAL_ARTICLE
Corrigendum to: “Making problem: A new approach to reachability assurance in digraphs”[Scientia Iranica 25(3) (2018) 1441-1455]
Let G be a weighted digraph and s and t be two vertices of G. The reachability assurance (RA) problem is how to label the edges of G such that every path starting at s finally reaches t and the sum of the weights of the labeled edges, called the RA cost, is minimal. The common approach to the RA problem is pathfinding, in which a path is sought from s to t and then the edges of the path are labeled. This paper introduces a new approach, the marking problem (MP), to the RA problem. Compared to the common pathfinding approach, the proposed MP approach has a lower RA cost. It is shown that the MP is NP-complete, even when the underlying digraph is an unweighted directed acyclic graph (DAG) or a weighted DAG with an out-degree of two. An appropriate heuristic algorithm to solve the MP in polynomial time is provided. To mitigate the RA problem as a serious challenge in this area, application of the MP in software testing is also presented. By evaluating the datasets from various program flow graphs, it is shown that the MP is superior to the pathfinding in the context of test case generation.
https://scientiairanica.sharif.edu/article_21196_77cdd0fb250541c1ed0e50a2613335e7.pdf
2018-12-01
3475
3475
10.24200/sci.2018.21196
Marking problem
Reachability assurance
Pathfinding
Software testing
M.
Valizadeh
1
--------
AUTHOR
Corrigendum to: “Making problem: A new approach to reachability assurance in digraphs”[Scientia Iranica 25(3) (2018) 1441-1455]
1
Design of Alternating Magnetic Field Generator for Magnetic Fluid Hyperthermia Research ApplicatioN
2
1. Krokhmal, P. and Uryasev, S. \Portfolio optimization
3
with conditional value-at-risk objective and constraints",
4
J. Risk, 4, pp. 11-27 (2001).
5
2. Artzner, P., Delbaen, F., Eber, J.M., Heath, D., and
6
Ku, H. Multiperiod Risk and Coherent Multi-period
7
Risk Measurement, E.T.H.Zurich, Preprint (2002).
8
3. Bodie, Z., Kane, A., and Marcus, A.J., Investment,
9
Chicago, Irwin/McGraw-Hill, 4th Edn. (1999).
10
4. Ni, E., Luh, P.B., and Rourke, S. \Optimal integrated
11
generation bidding & scheduling with risk management
12
under a deregulated power market", IEEE Transactions
13
on Power Systems, 19, pp. 600-609 (2004).
14
5. Yamin, H.Y. and Shahidehpour, S.M. \Risk and prot
15
in self-scheduling for gencos", IEEE Transactions on
16
Power Systems, 19, pp. 2104-2106 (2004).
17
6. Liu, M. and Wu, F.F. \Managing price risk in a multimarket
18
environment", IEEE Transactions on Power
19
Systems, 21, pp. 1512-1519 (2006).
20
7. Jain, A.K., Srivastava, S.C., Sing, S.N., and Srivastava,
21
L. \Strategic bidding in transmission constrained
22
electricity markets using articial bee colony algorithm",
23
Electric Power Components and Systems, 40,
24
pp. 1768-1788 (2012).
25
8. Luo, X., Chung, C., Yang, H., and Tong, X. \Optimal
26
bidding strategy for generation companies under CVaR
27
constraint", International Transactions on Electrical
28
Energy Systems, 24, pp. 1369-1384 (2014).
29
9. Garces, L.P. and Conejo, A.J. \Weekly self-scheduling,
30
forward contracting, and oering strategy for a producer",
31
IEEE Transactions on Power Systems, 25, pp.
32
657-666 (2010).
33
10. Liu, H. and Hou, Y. \The mean-wcvar based model
34
for ldc's optimal portfolio in multi-energy markets",
35
International Transactions on Electrical Energy Systems,
36
22, pp. 367-377 (2012)
37
11. Conejo, A.J., Garca-Bertrand, R., Carrion, M., Caballero,
38
A., and de Andres, A.\Optimal involvement
39
in futures markets of a power producer", IEEE Transactions
40
on Power Systems, 23, pp. 703-711 (2008).
41
12. Xu, Z., Hu, Z., Song, Y., and Wang, J. "Risk-averse
42
optimal bidding strategy for demandside resource
43
ORIGINAL_ARTICLE
Quadrature oscillator based on novel low-voltage ultra-low-power quasi-floating-gate DVCC
In this work, a new realization topology of the low-voltage ultra-low-power quadrature oscillator is presented. This quadrature oscillator utilizes only two active elements, namely differential voltage current conveyor (DVCC), and five passive ones, all of them are grounded, which is recommended for the integrated circuit implementation. The DVCC is based on quasi-floating-gate MOS transistor, which is a distinct technique from the conventional one, featuring with operation at low-voltage and ultra-low-power conditions; hence the proposed DVCC works with low supply voltage of ± 400 mV and consumes power of merely 6.6 µW. Thanks to these features the total power dissipation of the oscillator is only 0.28 mW. The simulation results using 0.18 µm TSMC CMOS technology are included in order to prove the design correctness.
https://scientiairanica.sharif.edu/article_4377_c0dc127568ca2f503274199d5047e4ee.pdf
2018-12-01
3477
3489
10.24200/sci.2017.4377
Quadrature oscillator
Quasi-floating-gate MOST
Low-voltage ultra-low-power analog circuit design
DVCC
Fabian
KHATEB
1
Faculty of Biomedical Engineering, Czech Technical University in Prague, nám. Sítná 3105, Kladno, Czech Republic
LEAD_AUTHOR
Nabhan
KHATIB
2
Department of Microelectronics, Brno University of Technology, Technicka 10, Brno, Czech Republic
AUTHOR
Jaroslav
KOTON
3
Department of Telecommunications, Brno University of Technology, Purkynova 118, Brno, Czech Republic
AUTHOR
Norbert
HERENCSAR
4
Department of Telecommunications, Brno University of Technology, Purkynova 118, Brno, Czech Republic
AUTHOR
References
1
1. Lasane, K. Integrated Analogue CMOS Circuits and
2
Structures for Heart Rate Detectors and Other Low-
3
Voltage, Low-Power Applications, University of Oulu,
4
pp. 1-118, Finland (2011).
5
2. Rajput, S.S. and Jamuar, S.S. \Low voltage analog
6
circuit design techniques", IEEE Circuits and Systems
7
Magazine, 2(1), pp. 24-42 (2002).
8
3. Hsu, C., Ho, M., Wu, Y., and Chen, T. \Design of
9
low-frequency low-pass lters for biomedical applications",
10
IEEE Asia Pacic Conference on Circuits and
11
Systems, pp. 690-695 (2006).
12
4. Rodriguez-Villegasa, E., Corbishley, P., Martinez,
13
C.L., and Rodriguez, T.S. \An ultra-low-power precision
14
rectier for biomedical sensors interfacing", Sensors
15
and Actuators A: Physical, 153(2), pp. 222-229
16
5. Veeravalli, A., Sanchez-Sinencio, E., and Silva-
17
Martinez, J. \A CMOS transconductance amplier
18
architecture with wide tuning range for very low
19
frequency applications", IEEE Journal of Solid-State
20
Circuits, 37(6), pp. 776-781 (2002).
21
6. Wong, L.S.Y., Hossain, S., Ta, A., Edvinsson, J.,
22
Rivas, D.H., and Naas, H. \A very low-power CMOS
23
mixed-signal IC for implantable pacemaker applications",
24
IEEE Journal of Solid-State Circuits, 39(12),
25
pp. 2446-2456 (2004).
26
7. Martinez, J.S. and Suner, J.S. \IC voltage to current
27
transducers with very small transconductance", AnaF.
28
Khateb et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3477{3489 3487
29
log Integrated Circuits and Signal Processing, 13(3),
30
pp. 285-293 (1997).
31
8. Rodriguez-Villegas, E., Low Power and Low Voltage
32
Circuit Design with the FGMOS Transistor, The Institution
33
of Engineering and Technology, UK, pp. 1-304
34
9. Aggarwal, B. and Gupta, M. \Low-voltage bulkdriven
35
class AB four quadrant CMOS current multiplier",
36
Analog Integrated Circuits and Signal Processing,
37
65(1), pp. 163-169 (2010).
38
10. Raikos, G. and Vlassis, S. \0.8 V bulk-driven operational
39
amplier", Analog Integrated Circuits and Signal
40
Processing, 63(3), pp. 425-432 (2010).
41
11. Khateb, F., Khatib, N., and Kubanek, D. \Novel lowvoltage
42
low-power high-precision CCII based on bulkdriven
43
folded cascode OTA", Microelectronics Journal,
44
42(5), pp. 622-631 (2011).
45
12. Carrillo, J.M., Torelli, G., Perrez-Aloe, R., Valverde,
46
J.M., and Duque-Carrillo, J.F. \Single-pair bulkdriven
47
CMOS input stage: a compact low-voltage
48
analog cell for scaled technologies", Integration, The
49
VLSI Journal, 43(3), pp. 251-257 (2010).
50
13. Urban, C., Moon, J.E., and Mukund, P.R. \Scaling
51
the bulk-driven MOSFET into deca-nanometer bulk
52
CMOS processes", Microelectronics Reliability, 51(4),
53
pp. 727-732 (2011).
54
14. Carrillo, J.M., Perez-Aloe, R., Valverde, J.M., and
55
Duque-Carrillo, J.F. \Compact low-voltage rail-to-rail
56
bulk-driven CMOS opamp for scaled technologies",
57
European Conference on Circuit Theory and Design,
58
pp. 263-266 (2009).
59
15. Carrillo, J.M., Torelli, G., Perez-Aloe, R., and Duque-
60
Carrillo, J.F. \1-V rail-to-rail CMOS OpAmp with
61
improved bulk-driven input stage", IEEE Journal of
62
Solid-State Circuits, 42(3), pp. 508-517 (2007).
63
16. Raikos, G. and Vlassis, S. \Low-voltage bulk-driven
64
input stage with improved transconductance", International
65
Journal of Circuit Theory and Applications,
66
39(3), pp. 327-339 (2011).
67
17. Gupta, M. and Pandey, R. \Low-voltage FGMOS
68
based analog building blocks", Microelectronics Journal,
69
42(6), pp. 903-991 (2011).
70
18. Gupta, M. and Pandey, R. \FGMOS based voltagecontrolled
71
resistor and its applications", Microelectronics
72
Journal, 41(1), pp. 25-32 (2010).
73
19. Pandey, R. and Gupta, M. \FGMOS based tunable
74
grounded resistor", Analog Integrated Circuits and
75
Signal Processing, 65(3), pp. 437-443 (2010).
76
20. Madhushankara, M. and Kumar Shetty, P. \Floating
77
gate Wilson current mirror for low power applications",
78
Communications in Computer and Information
79
Science, Springer, Berlin, 197, pp. 500-507 (2011).
80
21. Khateb, F., Khatib, N., and Koton, J. \Novel lowvoltage
81
ultra-low-power DVCC based on
82
oating-gate
83
folded cascode OTA", Microelectronics Journal, 42(8),
84
pp. 1010-1017 (2010).
85
22. Berg, Y., Nss, ?, H?vin, M.E., and Gundersen, H.
86
\Ultra low-voltage
87
oating-gate (FGUVMOS) ampli-
88
ers", Analog Integrated Circuits and Signal Processing,
89
26(1), pp. 63-73 (2001).
90
23. Khateb, F., Khatib, N., and Kubanek, D. \Novel
91
ultra-low-power class AB CCII+ based on
92
oatinggate
93
folded cascode OTA", Circuits Systems and Signal
94
Processing, 31(2), pp. 447-464 (2012).
95
24. Thongleam, T., Suadet, A., and Kasemsuwan, V. \A
96
0.8 V quasi-
97
oating-gate fully dierential CMOS opamp
98
with positive feedback", 8th International Conference
99
on Electrical Engineering/Electronics, Computer,
100
Telecommunications and Information Technology
101
(ECTI-CON), pp. 98-101 (2011).
102
25. Moradzadeh, H. and Azhari, S.J. \High performance
103
low-voltage QFG-based DVCC and a novel fully dierential
104
SC integrator based on it", IEICE Electronics
105
Express, 5(23), pp. 1017-1023 (2008).
106
26. Khateb, F., Bay Abo Dabbous, S., and Vlassis, S. \A
107
survey of non-conventional techniques for low-voltage
108
low-power analog circuit design", Radioengineering J.,
109
22(2), pp. 415-427 (2013).
110
27. Lopez-Martin, A.J., Angulo, J.R., Carvajal, R.G., and
111
Acosta, L., \Micropower high current-drive class AB
112
CMOS current-feedback operational amplier", International
113
Journal of Circuit Theory and Applications,
114
39(9), pp. 893-903 (2010).
115
28. Lopez-Martin, A.J., Acosta, L., Alberdi, C.G., Carvajal,
116
R.G., and Angulo, J.R. \Power-ecient analog
117
design based on the class AB super source follower",
118
International Journal of Circuit Theory and Applications,
119
40(11), pp. 1143-1163 (2011).
120
29. Torralba, A., Lujan-Martinez, C., Carvajal, R.G.,
121
Galan, J., Pennisi, M., Angulo-Ramirez, J., and
122
Lopez-Martin, A. \Tunable linear MOS resistors using
123
oating-gate techniques", IEEE Transactions on
124
Circuits and Systems II, 56(1), pp. 41-45 (2009).
125
30. Zhang, B.J., Yang, Y.T., and Zhang, H.J. \A fully
126
balanced fth-order low-pass Chebyshev lter based
127
oating gate transistors", IEEE Conference
128
on Electron Devices and Solid-State Circuits, pp. 537-
129
540 (2005).
130
31. Gupta, R., Sharma, S., and Jamuar, S.S. \A low
131
voltage current mirror based on quasi-
132
oating gate
133
MOSFETs", IEEE Asia Pacic Conference on Circuits
134
and Systems, pp. 580-583 (2010).
135
32. Safari, L. and Azhari, S.J. \An ultra low power, low
136
voltage tailless QFG based dierential amplier with
137
high CMRR, rail to rail operation and enhanced slew
138
rate", Analog Integrated Circuits and Signal Processing,
139
67(2), pp. 241-252 (2011).
140
33. Alberdi, C.G., Lopez-Martin,, A.J., Acosta, L., Carva3488
141
F. Khateb et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3477{3489
142
jal, R.G., and Ramirez-Angulo, J. \Class AB CMOS
143
tunable transconductor", 53rd IEEE International
144
Midwest Symposium on Circuits and Systems, pp. 596-
145
599 (2010).
146
34. Algueta Miguel, J.M., De La Cruz Blas, C.A. and
147
Lopez-Martin, A.J. \CMOS triode transconductor
148
based on quasi-
149
oating-gate transistors", Electronics
150
Letters, 46(17), pp. 1190-1191 (2010).
151
35. Miguel, J.M.A., Lopez-Martin, A.J., Acosta, L.,
152
Ramirez-Angulo, J., and Carvajal, R.G. \Using
153
gate and quasi-
154
oating gate techniques for railto-
155
rail tunable CMOS transconductor design", IEEE
156
Transactions on Circuits and Systems I, 58(7), pp.
157
1604-1614 (2011).
158
36. Calvo, B., Lopez-Martin, A.J., Balasubramanian, S.,
159
Ramirez-Angulo, J., and Carvajal, R.G. \Linearenhanced
160
V to I converters based on MOS resistive
161
source degeneration", IEEE International Symposium
162
on Circuits and Systems, pp. 3118-3121 (2008).
163
37. Hassan, T.M. and Mahmoud, S.A. \New CMOS
164
DVCC realization and applications to instrumentation
165
amplier and active-RC lters", AEU - International
166
Journal of Electronics and Communications, 64(1),
167
pp. 47-55 (2010).
168
38. Khan, I.A. and Beg, P. \Fully dierential sinusoidal
169
quadrature oscillator using CMOS DVCC", International
170
Conference on Communication, Computer and
171
Power, pp. 196-198 (2009).
172
39. Ibrahim, M.A., Minaei, S., and Kuntman, H. \DVCC
173
based dierential-mode all-pass and notch lters with
174
high CMRR", International Journal of Electronics,
175
93(4), pp. 231-240 (2006).
176
40. Soliman, A.M. \Low voltage wide range CMOS dierential
177
voltage current conveyor and its applications",
178
Contemporary Engineering Sciences, 1(3), pp. 105-126
179
41. Naik, A.P. and Devashrayee, N.M. \Characterization
180
of a CMOS dierential current conveyor using 0.25
181
micron technology", International Journal of Advanced
182
Engineering & Applications, 23, pp. 177-182 (2010).
183
42. Chen, H.P. \Tunable versatile current-mode universal
184
lter based on plus-type DVCCs", AEU - International
185
Journal of Electronics and Communications, 66(4),
186
pp. 332-339 (2012).
187
43. Chen, H.P. and Shen, S.S. \A versatile universal
188
capacitor-grounded voltage-mode lter using DVCCs",
189
ETRI Journal, 29(4), pp. 470-476 (2009).
190
44. Khateb, F., Khatib, N., and Kubanek, D. \Lowvoltage
191
ultra-low-power current conveyor based on
192
oating gate transistors", Radioengineering J.,
193
21(2), pp. 725-735 (2012).
194
45. Minaei, S., Ibrahim, M.A., and Kuntman, H. \DVCC
195
based current-mode rst-order all-pass lter and its
196
application", 10th IEEE International Conference on
197
Electronics, Circuits and Systems, pp. 276-279 (2003).
198
46. Horowitz, P. and Hill, W. The Art of Electronics,
199
Cambridge University Press, U.K., pp. 1-291 (1991).
200
47. Tietze, U. and Schenk, C.K., Electronic Circuits:
201
Design and Applications, Springer, pp. 795-796 (1991).
202
48. Holzel, R. \A simple wide-band sine wave quadrature
203
oscillator", IEEE Transactions on Instrumentation
204
and Measurement, 42(3), pp. 758-760 (1993).
205
49. Khan, I.A. and Khwaja, S. \An Integrable gm-C
206
quadrature oscillator", International Journal of Electronics,
207
87(11), pp. 1353-1357 (2000).
208
ORIGINAL_ARTICLE
Symbiotic Organisms Search algorithm for economic load dispatch problem with valve-point effect
Symbiotic Organisms Search (SOS) is a brand new and effective metaheuristic optimization algorithm. This paper proposes the SOS algorithm to solve the Economic Load Dispatch (ELD) problem with valve-point effect, which is one of the essential optimization problems in modern power systems. The proposed algorithm is tested on five different test cases consisting 3-machines 6-bus, IEEE 5-machines 14-bus, IEEE 6-machines 30-bus, 13 and 40 unit test systems including both transmission loss and without transmission loss. These test cases show that SOS is able to converge to the global optima successfully. Moreover results obtained from proposed algorithm are compared through different methods used in solving the ELD problem existing in the literature. According to these results, SOS produces better values than all.
https://scientiairanica.sharif.edu/article_4378_04a36b9110cf7586942e28772a78fb8e.pdf
2018-12-01
3490
3506
10.24200/sci.2017.4378
Symbiotic Organisms Search
Economic Load Dispatch
power systems
optimization
Ugur
Guvenc
ugurguvenc@duzce.edu.tr
1
Department of Electrical and Electronics Engineering, Technology Faculty, Duzce University, Duzce, Turkey
AUTHOR
Serhat
Duman
serhatduman@duzce.edu.tr
2
Department of Electrical and Electronics Engineering, Technology Faculty, Duzce University, Duzce, Turkey
LEAD_AUTHOR
Yusuf
Sonmez
ysonmez@gazi.edu.tr
3
Department of Electrical Technology, Gazi Vocational College, Gazi University, Ankara, Turkey
AUTHOR
H.
Tolga Kahraman
4
Department of Software Engineering, Faculty of Technology, Karadeniz Technical University, Trabzon, Turkey
AUTHOR
M.
Kenan Dosoglu
5
Department of Electrical and Electronics Engineering, Technology Faculty, Duzce University, Duzce, Turkey
AUTHOR
References
1
1. Farag, A., Al-Baiyat, S., and Cheng, T.C. \Economic
2
load dispatch multiobjective optimization procedures
3
using linear programming techniques", IEEE Trans
4
Power Syst, 10(2), pp. 731-738 (1995).
5
2. Vargas, L.S., Quintana, V.H., and Vannelli, A. \A
6
tutorial description of an interior point method and
7
its applications to security-constrained economic dispatch",
8
Power Systems, IEEE Transactions on , 8(3),
9
pp. 1315-1324 (1993).
10
3. Irisarri, G., Kimball, L.M., Clements, K.A., Bagchi,
11
A., and Davis, P.W. \Economic dispatch with network
12
and ramping constraints via interior point methods",
13
Power Systems, IEEE Transactions on , 13(1), pp.
14
236-242 (1998).
15
4. Liang, Z.-X. and Duncan Glover, J. \A zoom feature
16
for a dynamic programming solution to economic dispatch
17
including transmission losses", Power Systems,
18
IEEE Transactions on, 7(2), pp. 544-550 (1992).
19
5. Wong, K.P. and Fung, C.C. \Simulated annealing
20
based economic dispatch algorithm", IEE Proceedings
21
C (Generation, Transmission and Distribution), IEE,
22
140(6), pp. 509-515 (1993).
23
6. Walters, D.C. and Sheble, G.B. \Genetic algorithm solution
24
of economic dispatch with valve point loading",
25
Power Systems, IEEE Transactions on, 8(3), pp. 1325-
26
1332 (1993).
27
7. Chiang, C.L. \Improved genetic algorithm for power
28
economic dispatch of units with valve-point eects and
29
multiple fuels", Power Systems, IEEE Transactions
30
on, 20(4), pp. 1690-1699 (2005).
31
8. Lin, W.H., Cheng, F.S., and Tsay, M.T. \An improved
32
tabu search for economic dispatch with multiple minima",
33
Power Systems, IEEE Transactions on, 17(1),
34
pp. 108-112 (2002).
35
9. Gaing, Z.L. \Particle swarm optimization to solving
36
the economic dispatch considering the generator
37
constraints", Power Systems, IEEE Transactions on,
38
18(3), pp. 1187-1195 (2003).
39
10. Park, J.B., Lee, K.S., Shin, J.R., and Lee, K.Y. \A particle
40
swarm optimization for economic dispatch with
41
nonsmooth cost functions", Power Systems, IEEE
42
Transactions on, 20(1), pp. 34-42 (2005).
43
11. Noman, N. and Iba, H. \Dierential evolution for
44
economic load dispatch problems", Electric Power
45
Systems Research, 78(8), pp. 1322-1331 (2008).
46
12. Hou, Y.H., Wu, Y.W., Lu, L.J., and Xiong, X.Y.
47
\Generalized ant colony optimization for economic dispatch
48
of power systems", In International Conference
49
on Power System Technology, pp. 225-229 (2002).
50
13. Pothiya, S., Ngamroo, I., and Kongprawechnon, W.
51
\Ant colony optimisation for economic dispatch problem
52
with non-smooth cost functions", International
53
Journal of Electrical Power & Energy Systems, 32(5),
54
pp. 478-487 (2010).
55
14. Panigrahi, B.K. and Pandi, V.R. \Bacterial foraging
56
optimisation: Nelder-Mead hybrid algorithm for economic
57
load dispatch", IET Generation, Transmission
58
& Distribution, 2(4), pp. 556-565 (2008).
59
15. Hemamalini, S. and Simon, S.P. \Articial bee colony
60
algorithm for economic load dispatch problem with
61
non-smooth cost functions", Electric Power Components
62
and Systems, 38(7), pp. 786-803 (2010).
63
16. Duman, S., Guvenc, U., and Yorukeren, N. \Gravitational
64
search algorithm for economic dispatch with
65
valve-point eects", International Review of Electrical
66
Engineering, 5(6), pp. 2890-2895 (2010).
67
17. Bhattacharya, A. and Chattopadhyay, P.K. \Biogeography-
68
based optimization for dierent economic
69
load dispatch problems", Power Systems, IEEE Transactions
70
on, 25(2), pp. 1064-1077 (2010).
71
18. Han, F. and Lu, Q.S. \An improved chaos optimization
72
algorithm and its application in the economic load
73
dispatch problem", International Journal of Computer
74
Mathematics, 85(6), pp. 969-982 (2008).
75
19. Al-Sumait, J.S., Al-Othman, A.K., and Sykulski, J.K.
76
\Application of pattern search method to power system
77
valve-point economic load dispatch", International
78
Journal of Electrical Power & Energy Systems, 29(10),
79
pp. 720-730 (2007).
80
20. Shaw, B., Mukherjee, V., and Ghoshal, S.P. \Seeker
81
optimisation algorithm: application to the solution of
82
economic load dispatch problems", IET Generation,
83
Transmission & Distribution, 5(1), pp. 81-91 (2011).
84
21. Liu, D. and Cai, Y. \Taguchi method for solving
85
the economic dispatch problem with nonsmooth cost
86
functions", Power Systems, IEEE Transactions on,
87
20(4), pp. 2006-2014 (2005).
88
22. Narimani, M.R. \A new modied shue frog leaping
89
algorithm for non-smooth economic dispatch", World
90
Applied Sciences Journal, 12(6), pp. 803-814 (2011).
91
23. Yang, X.S., Sadat Hosseini, S.S., and Gandomi, A.H.
92
y algorithm for solving non-convex economic
93
dispatch problems with valve loading eect", Applied
94
Soft Computing, 12(3), pp. 1180-1186 (2012).
95
24. Coelho, L.D.S. and Mariani, V.C. \An ecient cultural
96
self-organizing migrating strategy for economic
97
dispatch optimization with valve-point eect", Energy
98
Conversion and Management, 51(12), pp. 2580-2587
99
U. Guvenc et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3490{3506 3503
100
25. Coelho, L.D.S. and Mariani, V.C. \Combining of
101
chaotic dierential evolution and quadratic programming
102
for economic dispatch optimization with valvepoint
103
eect", Power Systems, IEEE Transactions on,
104
21(2), pp. 989-996 (2006).
105
26. Niknam, T. \A new fuzzy adaptive hybrid particle
106
swarm optimization algorithm for non-linear, nonsmooth
107
and non-convex economic dispatch problem",
108
Applied Energy, 87(1), pp. 327-339 (2010).
109
27. He, D., Wang, F., and Mao, Z. \A hybrid genetic
110
algorithm approach based on dierential evolution for
111
economic dispatch with valve-point eect", International
112
Journal of Electrical Power & Energy Systems,
113
30(1), pp. 31-38 (2008).
114
28. Mirjalili, S. and Hashim, S.Z.M. \A new hybrid
115
PSOGSA algorithm for function optimization", In International
116
Conference on Computer and Information
117
Application (ICCIA 2010), pp. 374-377 (2010).
118
29. Malik, T.N., ul Asar, A., Wyne, M.F., and Akhtar, S.
119
\A new hybrid approach for the solution of nonconvex
120
economic dispatch problem with valve-point eects",
121
Electr Power Syst Res, 80, pp. 1128-1136 (2010).
122
30. Yasar, C. and Ozyon, S. \A new hybrid approach
123
for nonconvex economic dispatch problem with valvepoint
124
eect", Energy, 35, pp. 5838-5845 (2011).
125
31. Reddy, A.S. and Vaisakh, K. \Shued dierential
126
evolution for large scale economic dispatch", Electr
127
Power Syst Res, 96, pp. 237-245 (2013).
128
32. Reddy, A.S. and Vaisakh, K. \Shued dierential evolution
129
for economic dispatch with valve point loading
130
eects", Int J Electr Power Energy Syst, 46, pp. 342-
131
352 (2013).
132
33. Vlachogiannis, J.G. and Lee, K.Y. \Economic load dispatch
133
- A comparative study on heuristic optimization
134
techniques with an improved coordinated aggregation
135
based PSO", IEEE Trans Power Syst, 24(2), pp. 991-
136
1001 (2009).
137
34. Victoire, T.A.A. and Jeyakumar, A.E. \Hybrid PSOSQP
138
for economic dispatch with valve-point eect",
139
Electr Power Syst Res, 71(1), pp. 51-59 (2004).
140
35. Duman, S., Yorukeren, N., and Altas, I.H. \A novel
141
modied hybrid PSOGSA based on fuzzy logic for nonconvex
142
economic dispatch problem with valve-point
143
eect", International Journal of Electrical Power &
144
Energy Systems, 64, pp. 121-135 (2015).
145
36. Babu, G.S.S., Das, D.B., and Patvardhan, C. \Real parameter
146
quantum evolutionary algorithm for economic
147
load dispatch", IET Gener Transm Distrib, 2(1), pp.
148
22-31 (2008).
149
37. Meng, K., Wang, H.G., Dong, Z., and Wong, K.P.
150
\Quantum-inspired particle swarm optimization for
151
valve-point economic load dispatch", Power Systems,
152
IEEE Transactions on, 25(1), pp. 215-222 (2010).
153
38. Cheng, M.Y. and Prayogo, D. \Symbiotic Organisms
154
Search: A new metaheuristic optimization algorithm",
155
Computers & Structures, 139, pp. 98-112 (2014).
156
39. Sinha, N., Chakrabarti, R., and Chattopadhyay, P.K.
157
\Evolutionary programming techniques for economic
158
load dispatch", IEEE Trans Evol Comput, 7(1), pp.
159
83-94 (2003).
160
40. Ling, S.H., Lu, H.H.C., Chan, K.Y., Lam, H.K.,
161
Yeung, B.C.W., and Leung, F.H. \Hybrid particle
162
swarm optimization with wavelet mutation and its
163
industrial applications", IEEE Trans Syst Man Cybern
164
Part B: Cybern, 38(3), pp. 743-763 (2008).
165
41. Pereira-Neto, A., Unsihuay, C., and Saavedra, O.R.
166
\Ecient evolutionary strategy optimization procedure
167
to solve the nonconvex economic dispatch problem
168
with generator constraints", IEE Proc Gener
169
Transm Distrib, 152(5), pp. 653-660 (2005).
170
42. Chiang, C.L. \Genetic-based algorithm for economic
171
load dispatch", IET Gener Transm Distrib, 1(2), pp.
172
261-269 (2007).
173
43. Ling, S.H. and Leung, F.H.F. \An improved genetic
174
algorithm with average-bound crossover and wavelet
175
mutation operation", Soft Comput, 11(1), pp. 7-31
176
44. Wang, S.K., Chiou, J.P., and Liu, C.W. \Nonsmooth/
177
non-convex economic dispatch by a novel
178
hybrid dierential evolution algorithm", IET Gener
179
Transm Distrib, 1(5), pp. 793-803 (2007).
180
45. Selvakumar, A.I. and Thanushkodi, K. \Antipredatory
181
particle swarm optimization: Solution to
182
nonconvex economic dispatch problems", Electr Power
183
Syst Res, 78, pp. 2-10 (2008).
184
46. Selvakumar, L. and Thanushkodi, K. \A new particle
185
swarm optimization solution to nonconvex economic
186
dispatch problems", IEEE Trans Power Syst, 22(1),
187
pp. 42-51 (2007).
188
47. Sa-ngiamvibool, W., Pothiya, S., and Ngamro, I.
189
\Multiple tabu search algorithm for economic dispatch
190
problem considering valve-point eects", Electr Power
191
Energy Syst, 33, pp. 846-854 (2011).
192
48. Chaturvedi, K.T., Pandit, M., and Srivastava, L. \Selforganizing
193
hierarchical particle swarm optimization for
194
nonconvex economic dispatch", IEEE Trans Power
195
Syst, 23(3), pp. 1079-1087 (2008).
196
49. Cai, J., Li, Q., Li, L., Peng, H., and Yang, Y. \A hybrid
197
CPSO-SQP method for economic dispatch considering
198
the valve-point eects", Energy Convers Manage, 53,
199
pp. 175-81 (2012).
200
50. Alsumait, J.S., Sykulski, J.K., and Al-Othman, A.K.
201
\A hybrid GA-PS-SQP method to solve power system
202
valve-point economic dispatch problems", Appl
203
Energy, 87, pp. 1773-1781 (2010).
204
3504 U. Guvenc et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3490{3506
205
51. Subbaraj, P., Rengaraj, R., Salivahanan, S., and
206
Senthilkumar, T.R. \Parallel particle swarm optimization
207
with modied stochastic acceleration factors for
208
solving large scale economic dispatch problem", Electr
209
Power Energy Syst, 32, pp. 1014-1023 (2010).
210
52. Bhattacharya, A. and Chattopadhyay, P.K. \Hybrid
211
dierential evolution with biogeography-based optimization
212
for solution of economic load dispatch", IEEE
213
Trans Power Syst, 25(4), pp. 1955-1964 (2010).
214
53. Dakuo, H., Fuli, W., and Zhizhong, M. \A hybrid
215
genetic algorithm approach based on dierential evolution
216
for economic dispatch with valve-point eect",
217
Electr Power Energy Syst, 30, pp. 31-38 (2008).
218
54. Amjady, N. and Sharifzadeh, H. \Solution of nonconvex
219
economic dispatch problem considering valve
220
loading eect by a new modied dierential evolution
221
algorithm", Electr Power Energy Syst, 32, pp. 893-903
222
55. Mohammadi-Ivatloo, B., Rabiee, A., Soroudi, A., and
223
Ehsan, M. \Iteration PSO with time varying acceleration
224
coecients for solving non-convex economic
225
dispatch problems", Int J Electr Power Energy Syst,
226
42, pp. 508-516 (2012).
227
ORIGINAL_ARTICLE
Design of Alternating Magnetic Field Generator for Magnetic Fluid Hyperthermia Research Application
Hyperthermia utilizing nanoparticles is a novel cancer therapy which relies on the heat released when nanoparticles inside a tumor are exposed to an alternating magnetic field. The field strength and frequency are the main variants affect performance of nanoparticles for heat generation. Besides the characteristics of nanoparticle, which is the main criteria for tuning amplitude and frequency of magnetic field generated by an alternating magnetic field generator (AMFG), several parameters should be considered for an optimum design, which is related to AMFG design. These parameters are input voltage range, copper tube resistance used for solenoid coil, coil number of turns, and etc. According to these criteria, design procedure of AMFG for research applications is performed to maximize the heat released by nanoparticles. In order to validate the design, an experimental set up of AMFG is prepared which is used for in vivo hyperthermia tests. The experimental results are shown and compared to the simulations.
https://scientiairanica.sharif.edu/article_4380_b08f840230e86740f06f69de07e6d2c3.pdf
2018-12-01
3507
3516
10.24200/sci.2017.4380
AC magnetic field
hyperthermia
resonant converter
magnetic nanoparticles
solenoid coil
Mahdi
Mohseni
1
Electrical and Electronics Engineering Department, Shiraz University of Technology, Modares blvd., Shiraz
AUTHOR
Amirhossein
Rajaei
a.rajaei@sutech.ac.ir
2
Electrical and Electronics Engineering Department, Shiraz University of Technology, Modares blvd., Shiraz
LEAD_AUTHOR
References
1
1. Kunisaki, J., Saito, T., Morita, M., Yamada, T.,
2
and Takemura, Y. \Temperature rise of resonant
3
circuits for hyperthermia excited by weak RF magnetic
4
eld", IEEE Int. Magnetics Conf. INTERMAG'06.,
5
San Diego, California, USA (2006).
6
2. Wust, P., Hildebrandt, B., and Sreenivasa, G. \Hyperthermia
7
in combined treatment of cancer", The Lancet
8
Oncology, 3(8), pp. 487-497 (2002).
9
3. Falk, M. and Issels, R. \Hyperthermia in oncology",
10
Int. Jour. of Hyperthermia, 17(1), pp. 1-18 (2001).
11
4. Chang, E., Alexander, H., and Libutti, S. \Laparoscopic
12
continuous hyperthermic peritoneal perfusion",
13
J. of the American College of Surgeons, 193(2), pp.
14
225-229 (2001).
15
5. Tasci, T., Vargel, I., Arat, A., Guzel, E., Korkusuz,
16
P., and Atalar, E. \Focused RF hyperthermia using
17
uids", Med. Phys., 36(5), pp. 1906-1912
18
6. Glockl, G., Hergt, R., Zeisberger, M., Dutz, S., Nagel,
19
S., and Weitschies, W. \The eect of eld parameters,
20
nanoparticle properties and immobilization on the speci
21
c heating power in magnetic particle hyperthermia",
22
J. Phys.: Condens. Matter, 18(38), pp. 2935-2949
23
7. Natividad, E., Castro, M., and Mediano, A. \Accurate
24
measurement of the specic absorption rate using a
25
suitable adiabatic magnetothermal setup", Appl. Phys.
26
Lett., 92(9), pp. 093116-093116-3 (2008).
27
8. Natividad, E., Castro, M., and Mediano, A. \Adiabatic
28
vs. non-adiabatic determination of specic absorbtion
29
rate of ferro
30
uids", J. Magn. Magn. Mater., 321(10),
31
pp. 1497-1500 (2009).
32
9. Atsumi, T., Jeyadevan, B., Sato, Y., and Tohji, K.
33
\Heating eciency of magnetite particles exposed to
34
AC magnetic eld", J. Magn. Magn. Mater., 310(2),
35
pp. 2841-2843 (2007).
36
10. Eggeman, A., Majetich, S., Farrell, D., and Pankhurst,
37
Q. \Size and concentration eects on high frequency
38
hysteresis of iron oxide nanoparticles", IEEE Trans.
39
Magn., 43(6), pp. 2451-2453 (2007).
40
11. Rosensweig, R. \Heating magnetic
41
uid with alternating
42
magnetic eld", J. Magn. Magn. Mater., 252, pp.
43
370-374 (2002).
44
12. Kuznetsov, A., Shlyakhtin, O., Brusentsov, N., and
45
Kuznetsov, O. \Smart mediators for self-controlled
46
inductive heating", European Cells and Materials,
47
3(2), pp. 75-77 (2002).
48
13. Nedelcu, G. \The heating study of two types of colloids
49
with magnetite nanoparticles for tumours therapy",
50
Digest J. of Nanomaterials and Biostructures, 3(2),
51
pp. 99-102 (2008).
52
14. Zhao, M., Hun, J., Zou, J., Zhao, B., and Li. Y. \Characteristics
53
of a magnetic
54
uid under an orthogonal
55
alternating magnetic eld", J. Magn. Magn. Mater.,
56
409, pp. 66-70 (2016).
57
15. Branquinho, L., Carri, M., Costa, A., Zufelato, N.,
58
Sousa, M., Sousa, R., Miotto, R., Ivkov, A., and
59
Bakuzis, A. \Eect of magnetic dipolar interactions on
60
nanoparticle heating eciency: Implications for cancer
61
hyperthermia", Scientic Reports, 3, pp. 1-10 (2013).
62
16. Khandhar, A., Ferguson, R., Simon, J., and Krishnan,
63
K. \Enhancing cancer therapeutics using sizeoptimized
64
uid hyperthermia", J. Appl.
65
Phys., 111(7), pp. 7B306-7B3063 (2012).
66
3516 M. Mohseni and A. Rajaei/Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3507{3516
67
17. Skumiel, A., Leszczynski, B., Molcan, M., and Timko,
68
M. \The comparison of magnetic circuits used in
69
magnetic hyperthermia", J. Magn. Magn. Mater., 420,
70
pp. 177-184 (2016).
71
18. Bekovic, M. and Hamler, A. \Determination of the
72
heating eect of magnetic
73
uid in alternating magnetic
74
eld", IEEE Trans. on Magnetics, 46(2), pp. 552-555
75
19. Rosensweig, R. \Heating magnetic
76
uid with alternating
77
magnetic eld", J. Magn. Magn. Mater., 252, pp.
78
370-374 (2002).
79
20. Carrey, J., Mehdaoui, B., and Respaud, M. \Simple
80
models for dynamic hysteresis loop calculations of
81
magnetic single-domain nanoparticles: application to
82
magnetic hyperthermia optimization", J. Appl. Phys.,
83
109(8), pp. 083921-17 (2011).
84
21. Wang, X., Chen, Y., Huang, C., Wang, X., Zhao,
85
L., Zhang, X., and Tang, J. \Contribution of a 300
86
kHz alternating magnetic eld on magnetic hyperthermia
87
treatment of HepG2 cells", Bio Electromagnetics,
88
34(2), pp. 95-103 (2013).
89
22. Wu, J., Cai, D., Cao, X., and Tang, J. \A novel
90
alternating magnetic eld measuring device for magnetic
91
induction hyperthermia", Int. Conf. on Complex
92
Medical Engineering, Beijing, China (2013).
93
23. Boekelheide, Z., Hussein, Z., and Hartzell, S. \Electronic
94
measurements in an alternating magnetic eld
95
(AMF) for studying magnetic nanoparticle hyperthermia:
96
Minimizing eddy current heating", IEEE Trans.
97
on Magnetics, 52(7), pp. 1-4 (2016).
98
24. Kastnera, E., Reevesb, R., Bennetta, W., Misraa, A.,
99
Petrykb, J., Petryka, A., and Hoopesb, P. \Alternating
100
magnetic eld optimization for IONP hyperthermia
101
cancer treatment", Proc. of SPIE Conf., San Francisco,
102
California, USA (2015).
103
25. Nemkov, V., Runi, R., Goldstein, R., Jackowski, J.,
104
DeWeese, T., and Ivkov, R. \Magnetic eld generating
105
inductor for cancer hyperthermia research", The Int.
106
J. for Computation and Mathematics in Elec. and
107
Electronic Eng., 30(5), pp. 1626-1636 (2011).
108
26. Bordelon, D., Goldstein, R., Nemkov, V., Kumar, A.,
109
Jackowski, J., DeWeese, T., and Ivkov, R. \Modied
110
solenoid coil that eciently produces high amplitude
111
AC magnetic elds with enhanced uniformity
112
for biomedical applications", IEEE Trans. Magnetics,
113
48(1), pp. 47-52 (2012).
114
27. Kazimierczuk, M. and Czarkowski, D., Resonant
115
Power Converters, 2nd Edn., Wiley-IEEE Press
116
28. Salehinia, A., Haghifam, M., Shahabi, M., and Mahdloo,
117
F. \Energy loss reduction in distribution systems
118
using GA-based optimal allocation of xed and
119
switched capacitors", 2010 IEEE International Energy
120
Conference, Manama, pp. 835-840 (2010).
121
29. International Rectier IR, IR1404 Datasheet, IR Corporation,
122
CA (2003).
123
30. IXYS Low-Side Ultrafast MOSFET Driver, IXDD414
124
datasheet, IXYS Corporation, CA (2004).
125
31. Raikher, Y. and Stepanov, V. \Linear and cubic
126
dynamic susceptibilities of superparamagnetic ne particles",
127
Phys. Rev. B, 55(22), pp. 15005-15017 (1997).
128
ORIGINAL_ARTICLE
Shannon Entropy And Tracking Dynamic Systems Over Noisy Channels
This paper is concerned with the estimation of state trajectory of linear discrete timedynamic systems subject to parametric uncertainty over the compound erasure channelthat uses feedback channel intermittently. For this combined system and channel,using the data processing inequality and a robust version of the Shannon lower bound,a necessary condition on channel capacity for estimation of state trajectory at thereceiver giving almost sure asymptotically zero estimation error is presented. Then,an estimation technique over the compound erasure channel that includes an encoder,decoder and a sucient condition under which the estimation error at the receiveris asymptotically zero almost surely is presented. This leads to the conclusion thatover the compound erasure channel, a condition on Shannon capacity in terms ofthe rate of expansion of the Shannon entropy is a necessary and sucient conditionfor estimation with uniform almost sure asymptotically zero estimation error. Thesatisfactory performance of the proposed technique is illustrated using simulation.
https://scientiairanica.sharif.edu/article_4375_275fd393b37d7911832fe4900437f3ff.pdf
2018-12-01
3517
3531
10.24200/sci.2017.4375
Estimation
Networked control system
Shannon entropy
Alireza
Farhadi
afarhadi@sharif.edu
1
Department of Electrical Engineering at Sharif University of Technology
LEAD_AUTHOR
References
1
1. Brinon Arranz, L., Seuret, A., and Canudas de Wit,
2
C. \Translation control of a
3
eet circular formation
4
of AUVs under nite communication range", In Proc.
5
48th IEEE Conference on Decision and Control, pp.
6
8345-8350 (2009).
7
2. Brinon Arranz, L., Seuret, A., and Canudas de Wit,
8
C. \Collaborative estimation of gradient direction by a
9
formation of AUVs under communication constraints",
10
In Proceedings of the 50th IEEE Conference on Decision
11
and Control, pp. 5583-5588 (2011).
12
3. Elia, N. \When bode meets Shannon: control-oriented
13
feedback communication schemes", IEEE Trans. Automat.
14
Contr., 49(9), pp. 1477-1488 (2004).
15
4. Elia, N. and Eisenbeis, J.N. \Limitations of linear
16
control over packet drop networks", IEEE Trans.
17
Automat. Contr., 56(4), pp. 826-841 (2011).
18
5. Martins, N.C., Dahleh, A., and Elia, N. \Feedback
19
stabilization of uncertain systems in the presence of
20
a direct link", IEEE Trans. Automat. Contr., 51(3),
21
pp. 438-447 (2006).
22
6. Minero, P., Franceschetti, M., Dey, S., and Nair, N.
23
\Data rate theorem for stabilization over time-varying
24
feedback channels", IEEE Trans. Automat. Contr.,
25
54(2), pp. 243-255 (Feb., 2009).
26
7. Minero, P., Coviello, L., and Franceschetti, M. \Stabilization
27
over Markov feedback channels: the general
28
case", IEEE Trans. Automat. Contr., 58(2), pp. 349-
29
362 (2013).
30
8. Nair, G.N., Evans, R.J., Mareels, I.M.Y., and Moran,
31
W. \Topological feedback entropy and nonlinear stabilization",
32
IEEE Trans. Automat. Contr., 49(9), pp.
33
1585-1597 (2004).
34
9. Nair, G.N. and Evans, R.J. \Stabilizability of stochastic
35
linear systems with nite feedback data rates",
36
SIAM J. Control Optimization, 43(3), pp. 413-436
37
10. Canudas de Wit, C., Gomez-Estern, F., and Rodrigues
38
Rubio, F. \Delta-modulation coding redesign
39
for feedback-controlled systems", IEEE Transactions
40
on Industrial Electronics, 56(7), pp. 2684-2696 (2009).
41
11. Farhadi, A. and Ahmed, N.U. \Tracking nonlinear
42
noisy dynamic systems over noisy communication
43
channels", IEEE Transactions on Communications,
44
59(4), pp. 955-961 (2011).
45
12. Charalambous, C.D. and Farhadi, A. \A mathematical
46
framework for robust control over uncertain communication
47
channels", Proceedings of the 44th IEEE
48
Conference on Decision and Control, Seville, Spain,
49
pp. 2530-2535 (2005).
50
13. Charalambous, C.D. and Farhadi, A. \Control of
51
feedback systems subject to the nite rate constraints
52
via Shannon lower bound", Proceedings of the 5th International
53
Symposium on Modeling and Optimization
54
in Mobile, Ad Hoc, and Wireless Networks, Cyprus,
55
pp. 1-7 (2007).
56
14. Farhadi, A., Domun, J., and Canudas de Wit, C. \A
57
supervisory control policy over an acoustic communication
58
network", International Journal of Control, 88(5),
59
pp. 946-958 (2015).
60
A. Farhadi/Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3517{3531 3527
61
15. Farhadi, A. \Feedback channel in linear noiseless
62
dynamic systems controlled over the packet erasure
63
network", International Journal of Control, 88(8), pp.
64
1490-1503 (2015).
65
16. Farhadi, A. \Stability of linear dynamic systems over
66
the packet erasure channel: a co-design approach",
67
International Journal of Control, 88(12), pp. 2488-
68
2498 (2015).
69
17. Farhadi, A. \Stability of nonlinear uncertain Lipschitz
70
systems over the digital noiseless channel", Scientia
71
Iranica, Transactions on Computer Science and Engineering
72
and Electrical Engineering, 25(3), pp. 1523 -
73
1532 (2018).
74
18. Tatikonda, S. and Mitter, S. \Control over noisy
75
channels", IEEE Transactions on Automatic Control,
76
49(7), pp. 1196-1201 (2004).
77
19. Jiang, X.W., Guan, Z.H., Feng, G., Wu, Y., and Yuan,
78
F.S. \Optimal tracking performance of networked control
79
systems with channel input power constraint",
80
IET Control Theory and Applications, 6(11), pp. 1690-
81
1698 (2012).
82
20. Zhan, X.S., Wu, J., Jiang, T., and Jiang, X.W.
83
\Optimal performance of networked control systems
84
under the packet dropouts and channel noise", ISA
85
Transactions, 58, pp. 214-221 (2015).
86
21. Jiang, X.W., Hu, B., Guan, Z.H., Zhang, X.H.,
87
and Yu, L. \Best achievable tracking performance
88
for networked control systems with encoder-decoder",
89
Information Sciences, 305, pp. 184-195 (2015).
90
22. Matveev, A.S. and Savkin, A.V. \Shannon zero error
91
capacity in the problems of state estimation and
92
stabilization via noisy communication channels", International
93
Journal of Control, 80, pp. 241-255 (2007).
94
23. Cover, T.M. and Thomas, J.A., Elements of Information
95
Theory, John Wiley and Sons, USA (1991).
96
24. Geromel, J.C. \Optimal linear ltering under parameter
97
uncertainty", IEEE Transactions on Signal
98
Processing, 47(1), pp. 168-175 (1999).
99
25. Xu, S., Dooren, P.V., Stefan, R., and Lam, J. \Robust
100
stability and stabilization for singular systems with
101
state delay and parameter uncertainty", IEEE Transactions
102
on Automatic Control, 47(7), pp. 1122-1128
103
26. Gao, H., Meng, X., and Chen, T. \A parameterdependent
104
approach to robust H1 ltering for timedelay
105
systems", IEEE Transactions on Automatic
106
Control, 53(10), pp. 2420-2425 (2008).
107
27. El Ghaoui, L. and Calaore, G. \Robust ltering for
108
discrete-time systems with bounded noise and parametric
109
uncertainty", IEEE Transactions on Automatic
110
Control, 46(7), pp. 1084-1089 (2001).
111
28. Wolfowitz, J. \Simultaneous channels", Archive for
112
Rational Mechanics and Analysis, 4, pp. 371-386
113
29. Lapidoth, A. and Narayan, P. \Reliable communication
114
under channel uncertainty", IEEE Transactions
115
on Information Theory, 44(6), pp. 2148-2177 (1998).
116
30. Shrader, B. and Permuter, H. \Feedback capacity
117
of the compound channel", IEEE Transactions on
118
Information Theory, 55(8), pp. 3629-3644 (2009).
119
31. Sakrison, D.J. \The rate distortion function for a class
120
of sources", Information and Control, 15, pp. 165-195
121
32. Linder, T. and Zamir, R. \On the asymptotic tightness
122
of the Shannon lower bound", IEEE Transactions on
123
Information Theory, 40(6), pp. 2026-2031 (1994).
124
33. Charalambous, C.D. and Farhadi, A. \LQG optimality
125
and separation principle for general discrete time partially
126
observed stochastic systems over nite capacity
127
communication channels", Automatica, 44(12), pp.
128
3181-3188 (2008).
129
34. Billingsley, P. Probability and Measure, John Wiley
130
and Sons, USA (1995).
131
ORIGINAL_ARTICLE
DTC-SVPWM of an Energy Storage Flywheel Associated with a Wind Turbine Based on the DFIM
In this article we will control the energy storage inertial noted inertial energy storage system to partner with a wind energy conversion system that aims to improve the power quality transit network. Inertial storage is considered a flywheel coupled to an induction motor and controlled by a voltage inverter type power converter. First step, a model of inertial energy storage system (flywheel + asynchronous machine) is presented, then two control methods are proposed: the direct torque control (DTC and DTC-conventional SVPWM) (space vector pulse with modulation). The two control methods give similar performance, but the DTC-SVPWM requires less computation time. The two regulators and the proportional integrator SVPWM technique were used to determine the switching frequency. Using direct control with vector modulation strategy has enabled the inertial energy storage system of demonstrating good continuation even under rather severe operating conditions, and the torque ripples are significantly reduced compared to the case of conventional DTC. Then we come to the presentation of simulation results obtained.
https://scientiairanica.sharif.edu/article_4379_84b52685e5fad89c255b0f3f95530161.pdf
2018-12-01
3532
3541
10.24200/sci.2017.4379
Asynchronous machine
energy storage
Wind Turbine
DTC-SPWM
direct torque control
wind energy conversion
Abdelhafidh
Moualdia
amoualdia1@yahoo.fr
1
Research laboratory of Electrical Engineering and Automatic (LREA), Department of Electrical engineering, university of Medea, Algeria
LEAD_AUTHOR
Ahmed
Medjber
2
Research laboratory of Electrical Engineering and Automatic (LREA), Department of Electrical engineering, university of Medea, Algeria
AUTHOR
A.
Kouzou
3
Department of Electrical engineering University of Djelfa, Algeria
AUTHOR
O.
Bouchhida
4
Research laboratory of Electrical Engineering and Automatic (LREA), Department of Electrical engineering, university of Medea, Algeria
AUTHOR
References
1
1. Hu, J. and He, Y. \DFIG wind generation systems
2
operating with limited converter rating considered
3
under unbalanced network conditions analysis and
4
control design", Renew Energy, 36(2), pp. 829-847
5
2. Susperregu, A., Tapia, G., Zubia, I., and Ostolaza,
6
J.X. \Sliding-mode control of doubly-fed generator for
7
optimum power curve tracking", Int. J. of Electron
8
Lett., 46(2), pp. 126-127 (2010).
9
3. Hu, J., Nian, H., Xu, H., and He, Y. \Dynamic modeling
10
and improved control of DFIG under distorted
11
grid voltage conditions", IEEE Trans. Energy Convers,
12
26(1), pp. 163-175 (2011).
13
4. Kairous, D., Wamkeue, R., and Belmadani, B. \Sliding
14
mode control of DFIG based variable speed WECS
15
ywheel energy storage", Int. Conf. on Electrical
16
Machines - IEEE, Rome (2010).
17
5. Pena, R., Cardenas, J., Proboste, G., and Clare, J.
18
\Sensorless control of doubly-fed induction generators
19
using a rotor-current-based MRAS observer", IEEE
20
Trans. Ind. Electron., 55(1), pp. 330-339 (2008).
21
6. Martinez, M.I.G., Tapia, Susperregui, A., and Camblong,
22
H. \DFIG power generation capability and
23
feasibility regions under unbalanced grid voltage conditions",
24
IEEE Trans. Energy Convers., 26(4), pp. 1051-
25
1062 (2011).
26
7. Poitiers, F., Bouaouiche, T., and Machmoum, M.
27
\Advanced control of a doubly-fed induction generator
28
for wind energy conversion", Int. J. of Electric Power
29
Systems Research, 79(7), pp. 1085-1096 (2009).
30
8. Lin, H., Yan, W., Wang, J., Yao, Y., and Gao,
31
B. \Robust nonlinear speed control for a brushless
32
DC motor using model reference adaptive backstepping
33
approach", Int Conf on Mech. and Automation,
34
Changchun, China, pp. 335-340 (2009).
35
9. Kiani, M. and Lee, W.J. \Eects of voltage unbalance
36
and system harmonics on the performance of doublyfed
37
induction wind generators", IEEE Trans. Ind.
38
Appl., 46(2), pp. 562-568 (2010).
39
10. Khaterchi, M., Belhadj, J., and Elleuch, M. \Participation
40
of direct drive wind turbine to the grid ancillary
41
services using a
42
ywheel energy Storage system", 7th
43
Int Multi-Conf on Sys., Signals. and Devices, IEEE
44
11. Zhou, P., He, J., and Sun, D. \Improved direct power
45
control of a DFIG based wind turbine during network
46
unbalance", IEEE Trans. Power Electron, 24(11), pp.
47
2465-2474 (2009).
48
12. Belfedhal, S. and Berkouk, M. \Modeling and control
49
of wind power conversion system with a
50
energy storage system", Int. J. of Renewable Energy
51
Research, 1(3), pp. 43-52 (2011).
52
13. Chau, K.T. and Chen, J.H. \Modeling, analysis, and
53
experimentation of chaos in a switched reluctance drive
54
system", IEEE Trans. on Circuit. and Systems-I: Fund
55
Theory. and Appl, 50(5), pp. 712-716 (2003).
56
14. Wang, Z. and Chau, K.T. \Anti-control of chaos of
57
a permanent magnet DC motor system for vibratory
58
compactors", Int. J. of Chaos, Soli. and Fractals,
59
36(3), pp. 694-708 (2008).
60
15. Devon, M., Richard, P., and Nicholus, M. \The role of
61
energy storage in the grid", IEEE Power and Energy
62
Magazine, 18 June (2012).
63
16. Liserre, M., Cardenas, R., Molinas, M., and Rodrguez,
64
J. \Overview of multi-MW wind turbines and wind
65
parks", IEEE Trans on Industrial Electronics, 58(4),
66
pp. 1081-1095 (2011).
67
17. Torben, K., Thomas, B., and Mohsen, S. \Prediction
68
models for wind speed at turbine locations in a wind
69
farm", In........
70
ORIGINAL_ARTICLE
Design of prototype dual axis tracker solar panel controlled by geared dc servo motors
Sunlight sensing for maximum illumination, providing initial position and delays of PV panel, design of an adequate control unit for minimal consuming servo motors are the main challenges of solar tracking systems. That is the objective of this paper to design and implement an automatic control for directing maximum solar illumination to a photovoltaic (PV) panel. The proposed prototype dual axis solar tracker panel is used to optimize the conversion of solar energy into electricity by orienting the panel toward the real position of the sun, at a cost of mechanical complexity and maintenance need, for the best efficiency. In hardware development, two geared DC servo motors are pulse width modulation (PWM) controlled by a drive unit moving the panel using four light dependant resistors (LDR) to provide analog signals processed by a simple and low energy ATMEGA328P microcontroller with Arduino. For the software part, after data processing, a C++ programming controls two DC servo motors to position light sensors in the most favorable direction, where solar panel and sensors will be perpendicular to the sunlight
https://scientiairanica.sharif.edu/article_20045_9cc703fa700a58988a562b278cce9555.pdf
2018-12-01
3542
3558
10.24200/sci.2018.20045
Arduino uno
dual axis
light dependant resistor
low cost solar tracker PWM control
A.
Mansouri
1
Laboratory of Power Electronics and Industrial Control (LEPCI) Department of Electronics, Faculty of Technology, University Ferhat Abbas of SETIF1 El Maabouda, Route de Béjaia, Sétif 19000, Algeria
LEAD_AUTHOR
F.
Krim
2
Laboratory of Power Electronics and Industrial Control (LEPCI) Department of Electronics, Faculty of Technology, University Ferhat Abbas of SETIF1 El Maabouda, Route de Béjaia, Sétif 19000, Algeria
AUTHOR
Z.
Khouni
3
Laboratory of Power Electronics and Industrial Control (LEPCI) Department of Electronics, Faculty of Technology, University Ferhat Abbas of SETIF1 El Maabouda, Route de Béjaia, Sétif 19000, Algeria
AUTHOR
References
1
1. Kunisaki, J., Saito, T., Morita, M., Yamada, T.,
2
and Takemura, Y. \Temperature rise of resonant
3
circuits for hyperthermia excited by weak RF magnetic
4
eld", IEEE Int. Magnetics Conf. INTERMAG'06.,
5
San Diego, California, USA (2006).
6
2. Wust, P., Hildebrandt, B., and Sreenivasa, G. \Hyperthermia
7
in combined treatment of cancer", The Lancet
8
Oncology, 3(8), pp. 487-497 (2002).
9
3. Falk, M. and Issels, R. \Hyperthermia in oncology",
10
Int. Jour. of Hyperthermia, 17(1), pp. 1-18 (2001).
11
4. Chang, E., Alexander, H., and Libutti, S. \Laparoscopic
12
continuous hyperthermic peritoneal perfusion",
13
J. of the American College of Surgeons, 193(2), pp.
14
225-229 (2001).
15
5. Tasci, T., Vargel, I., Arat, A., Guzel, E., Korkusuz,
16
P., and Atalar, E. \Focused RF hyperthermia using
17
uids", Med. Phys., 36(5), pp. 1906-1912
18
6. Glockl, G., Hergt, R., Zeisberger, M., Dutz, S., Nagel,
19
S., and Weitschies, W. \The eect of eld parameters,
20
nanoparticle properties and immobilization on the speci
21
c heating power in magnetic particle hyperthermia",
22
J. Phys.: Condens. Matter, 18(38), pp. 2935-2949
23
7. Natividad, E., Castro, M., and Mediano, A. \Accurate
24
measurement of the specic absorption rate using a
25
suitable adiabatic magnetothermal setup", Appl. Phys.
26
Lett., 92(9), pp. 093116-093116-3 (2008).
27
8. Natividad, E., Castro, M., and Mediano, A. \Adiabatic
28
vs. non-adiabatic determination of specic absorbtion
29
rate of ferro
30
uids", J. Magn. Magn. Mater., 321(10),
31
pp. 1497-1500 (2009).
32
9. Atsumi, T., Jeyadevan, B., Sato, Y., and Tohji, K.
33
\Heating eciency of magnetite particles exposed to
34
AC magnetic eld", J. Magn. Magn. Mater., 310(2),
35
pp. 2841-2843 (2007).
36
10. Eggeman, A., Majetich, S., Farrell, D., and Pankhurst,
37
Q. \Size and concentration eects on high frequency
38
hysteresis of iron oxide nanoparticles", IEEE Trans.
39
Magn., 43(6), pp. 2451-2453 (2007).
40
11. Rosensweig, R. \Heating magnetic
41
uid with alternating
42
magnetic eld", J. Magn. Magn. Mater., 252, pp.
43
370-374 (2002).
44
12. Kuznetsov, A., Shlyakhtin, O., Brusentsov, N., and
45
Kuznetsov, O. \Smart mediators for self-controlled
46
inductive heating", European Cells and Materials,
47
3(2), pp. 75-77 (2002).
48
13. Nedelcu, G. \The heating study of two types of colloids
49
with magnetite nanoparticles for tumours therapy",
50
Digest J. of Nanomaterials and Biostructures, 3(2),
51
pp. 99-102 (2008).
52
14. Zhao, M., Hun, J., Zou, J., Zhao, B., and Li. Y. \Characteristics
53
of a magnetic
54
uid under an orthogonal
55
alternating magnetic eld", J. Magn. Magn. Mater.,
56
409, pp. 66-70 (2016).
57
15. Branquinho, L., Carri, M., Costa, A., Zufelato, N.,
58
Sousa, M., Sousa, R., Miotto, R., Ivkov, A., and
59
Bakuzis, A. \Eect of magnetic dipolar interactions on
60
nanoparticle heating eciency: Implications for cancer
61
hyperthermia", Scientic Reports, 3, pp. 1-10 (2013).
62
16. Khandhar, A., Ferguson, R., Simon, J., and Krishnan,
63
K. \Enhancing cancer therapeutics using sizeoptimized
64
uid hyperthermia", J. Appl.
65
Phys., 111(7), pp. 7B306-7B3063 (2012).
66
3516 M. Mohseni and A. Rajaei/Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3507{3516
67
17. Skumiel, A., Leszczynski, B., Molcan, M., and Timko,
68
M. \The comparison of magnetic circuits used in
69
magnetic hyperthermia", J. Magn. Magn. Mater., 420,
70
pp. 177-184 (2016).
71
18. Bekovic, M. and Hamler, A. \Determination of the
72
heating eect of magnetic
73
uid in alternating magnetic
74
eld", IEEE Trans. on Magnetics, 46(2), pp. 552-555
75
19. Rosensweig, R. \Heating magnetic
76
uid with alternating
77
magnetic eld", J. Magn. Magn. Mater., 252, pp.
78
370-374 (2002).
79
20. Carrey, J., Mehdaoui, B., and Respaud, M. \Simple
80
models for dynamic hysteresis loop calculations of
81
magnetic single-domain nanoparticles: application to
82
magnetic hyperthermia optimization", J. Appl. Phys.,
83
109(8), pp. 083921-17 (2011).
84
21. Wang, X., Chen, Y., Huang, C., Wang, X., Zhao,
85
L., Zhang, X., and Tang, J. \Contribution of a 300
86
kHz alternating magnetic eld on magnetic hyperthermia
87
treatment of HepG2 cells", Bio Electromagnetics,
88
34(2), pp. 95-103 (2013).
89
22. Wu, J., Cai, D., Cao, X., and Tang, J. \A novel
90
alternating magnetic eld measuring device for magnetic
91
induction hyperthermia", Int. Conf. on Complex
92
Medical Engineering, Beijing, China (2013).
93
23. Boekelheide, Z., Hussein, Z., and Hartzell, S. \Electronic
94
measurements in an alternating magnetic eld
95
(AMF) for studying magnetic nanoparticle hyperthermia:
96
Minimizing eddy current heating", IEEE Trans.
97
on Magnetics, 52(7), pp. 1-4 (2016).
98
24. Kastnera, E., Reevesb, R., Bennetta, W., Misraa, A.,
99
Petrykb, J., Petryka, A., and Hoopesb, P. \Alternating
100
magnetic eld optimization for IONP hyperthermia
101
cancer treatment", Proc. of SPIE Conf., San Francisco,
102
California, USA (2015).
103
25. Nemkov, V., Runi, R., Goldstein, R., Jackowski, J.,
104
DeWeese, T., and Ivkov, R. \Magnetic eld generating
105
inductor for cancer hyperthermia research", The Int.
106
J. for Computation and Mathematics in Elec. and
107
Electronic Eng., 30(5), pp. 1626-1636 (2011).
108
26. Bordelon, D., Goldstein, R., Nemkov, V., Kumar, A.,
109
Jackowski, J., DeWeese, T., and Ivkov, R. \Modied
110
solenoid coil that eciently produces high amplitude
111
AC magnetic elds with enhanced uniformity
112
for biomedical applications", IEEE Trans. Magnetics,
113
48(1), pp. 47-52 (2012).
114
27. Kazimierczuk, M. and Czarkowski, D., Resonant
115
Power Converters, 2nd Edn., Wiley-IEEE Press
116
28. Salehinia, A., Haghifam, M., Shahabi, M., and Mahdloo,
117
F. \Energy loss reduction in distribution systems
118
using GA-based optimal allocation of xed and
119
switched capacitors", 2010 IEEE International Energy
120
Conference, Manama, pp. 835-840 (2010).
121
29. International Rectier IR, IR1404 Datasheet, IR Corporation,
122
CA (2003).
123
30. IXYS Low-Side Ultrafast MOSFET Driver, IXDD414
124
datasheet, IXYS Corporation, CA (2004).
125
31. Raikher, Y. and Stepanov, V. \Linear and cubic
126
dynamic susceptibilities of superparamagnetic ne particles",
127
Phys. Rev. B, 55(22), pp. 15005-15017 (1997).
128
ORIGINAL_ARTICLE
Power System Thévenin Equivalent Estimation Based on Phasor Measurements
This paper presents a novel algorithm based on phasor measurements to online estimation of power system Thévenin Equivalent (TE) from a generator terminal. Three consecutive phasor measurements of generator terminal voltage and current are used to estimate the system TE. In a real network, system frequency deviation from its nominal value will produce some phase drift in consecutive phasors reported by Phasor Measurements Units (PMUs). To correct the phase drift and synchronizing the reported phasors to the same reference, an improved triangulation method is developed. The improved method uses a virtual vector in its structure. Using this vector alleviates the negative impacts of improper data resulting from noise or disturbances which make the simple triangulation method to be useless. The algorithm is tested on standard NE-39 network and is implemented in Shahid Beheshti University (SBU) protection laboratory to verify the results in a practical area. The obtained results show that the new method can efficiently estimate the in online mode in steady-state and transient conditions.
https://scientiairanica.sharif.edu/article_4373_7bebdd06b0cdd78d655a8a4100f0d652.pdf
2018-12-01
3559
3568
10.24200/sci.2017.4373
Thévenin equivalent
Phasor Measurement Units (PMU)
Triangulation method
Phase drift
Slip frequency
Bahman
Alinejad Osbouei
1
Faculty of Electrical and Computer Engineering, Shahid Beheshti University (SBU), Tehran, Iran
LEAD_AUTHOR
Hossein
Kazemi Karegar
h_kazemi@sbu.ac.ir
2
Faculty of Electrical and Computer Engineering, Shahid Beheshti University (SBU), Tehran, Iran
AUTHOR
References
1
1. Alinezhad, B., Akbari, M., and Kazemi, H. \PMUbased
2
distribution network load modelling using harmony
3
search algorithm", 17th Conf. on Electrical
4
Power Distribution Networks (EPDC), Tehran, Iran,
5
pp. 1-6 (2012).
6
2. Safdarian, A., Aminifar, F., Fotuhi-Firuzabad, M., and
7
Shahidehpour, M. \A Multi-Objective Framework for
8
Enhancing the Reliability and Minimizing the Cost
9
of PMU Deployment in Power Systems", Scientia
10
Iranica, 23(6), pp. 2917-2927 (2016).
11
3. Soni, S., Bhil, S., and Mehta, D. \Linear state estimation
12
model using phasor measurement unit (PMU)
13
technology", 9th Int. Conf. on Elect. Engin., Computing
14
Science and Automatic Control (CCE), Mexico,
15
pp. 1-6 (2012).
16
4. Chebbo, A., Irving, M.R., and Sterling, M.J.H. \Voltage
17
collapse proximity indicator, behavior and implications",
18
IEE Gen. Trans. and Dist., 139(3), pp. 241-252
19
5. Elkateb, M., Abdelkader, M.S., and Kandil, M.S.
20
\Linear indicator for voltage collapse in power systems",
21
IEE Gen. Trans. and Dist., 144(2), pp. 139-146
22
6. Abdelkader, M.S. and Flynn, D. \Graphical determination
23
of network limits for wind power integration",
24
IET Gen. Trans. Dist., 3(9), pp. 841-849 (2009).
25
7. Abdelkader, M.S. and Fox, B. \Voltage stability assessment
26
for system with large wind power generation",
27
44th Int. Universities Power Engineering Conf., Glasgow,
28
United Kingdom, pp. 1-6 (2009).
29
8. Al-Mohammed, A.H. and Abido, M.A. \A fully adaptive
30
PMU-based fault location algorithm for seriescompensated
31
lines", IEEE Trans. on Power Syst.,
32
29(5), pp. 2129-2137 (2014).
33
9. Fusco, G. and Russo, M. \Adaptive voltage regulator
34
design for synchronous generator", IEEE Trans. on
35
Energy Conv., 23(3), pp. 946-956 (2008).
36
10. Corsi, S. and Taranto, G. \A real time voltage instability
37
identication algorithm based on local phasor
38
measurements", IEEE Trans. on Power Syst., 23(3),
39
pp. 1271-1279 (2008).
40
11. Smon, I., Verbic, G., and Gubina, F. \Local voltage
41
stability index using Tellegen's theorem", IEEE Trans.
42
on Power Syst., 21(3), pp. 1267-1275 (2006).
43
12. Munan, W., Baozhu, L., and Zhelin, D. \An improved
44
recursive assessment method of Thevenin equivalent
45
parameters based on PMU measurement", Power Eng.
46
and Auto. Conf. (PEAM), Wuhan, China, pp. 372-375
47
13. Abdelkader, M.S. \Online Thevenin's equivalent using
48
local PMU measurements", Int. Conf. on Renewable
49
Energy and Power Quality (ICREPQ 11), Las Palmas,
50
Spain, pp. 1-4 (2010).
51
14. Abdelkader, M.S. and Morrow, D. \Online tracking
52
of Thevenin equivalent parameters using PMU measurements",
53
IEEE Trans. on Power Syst., 27(2), pp.
54
975-983 (2012).
55
15. Tsai, S. andWong, K. \On-line estimation of Thevenin
56
equivalent with varying system states", IEEE Power
57
and Energy Society General Meeting-Conv. and Delivery
58
of Elect. Energy in the 21st Century, Pittsburgh,
59
USA, pp. 1-7 (2008).
60
16. Corsi, S. and Taranto, G.N. \Voltage instability alarm
61
by real-time predictive indicators", IEEE Power and
62
Energy Society General Meeting, pp. 1-10 (2012)
63
17. Alinezhad, B. and Karegar, H.K. \On-line Thevenin
64
impedance estimation based on PMU data and phase
65
drift correction", IEEE Trans. on Smart Grid, to be
66
published (2016).
67
18. Abdelkader, S.M. and Morrow, D.J. \Online Thevenin
68
equivalent determination considering system side
69
changes and measurement errors", IEEE Trans. on
70
Power Syst., 30(5), pp. 2716-2725 (2015)
71
19. Vanouni, M. \Discussion of \Online Tracking of
72
Thevenin Equivalent Parameters Using PMU Measurements",
73
IEEE Trans. on Power Syst., 28(2), p. 1899
74
ORIGINAL_ARTICLE
Portfolio Optimization in Electricity Market Using a Novel Risk Based Decision Making Approach
This paper provides generation companies (GENCOs) with a novel decision-making tool that accounts for both long term and short term risk aversion preferences and devises optimal strategies to participate in energy, ancillary services markets and forward contracts where possibility of involvement in arbitrage opportunities is also considered. Because of the imprecise nature of the decision maker’s judgment, appropriate modelling of risk aversion attitude of the GENCO is another challenge. This paper uses fuzzy satisfaction theory to express decision maker’s attitude toward risk. Conditional value at risk methodology (CVaR) is utilized as the measure of risk and uncertainty sources include prices for the day-ahead energy market, automatic generation control (AGC) and reserve markets. By applying the proposed method, not only trading loss over the whole scheduling horizon can be controlled, but also the amount of imposed loss during every time period can be reduced. An illustrative case study is provided for further analysis.
https://scientiairanica.sharif.edu/article_4381_3f50488968772586f3a0fcbf73b76fd7.pdf
2018-12-01
3569
3583
10.24200/sci.2017.4381
Decision making approach
fuzzy satisfaction theorem
portfolio optimization
Risk Management
stochastic programming
Somayyeh
Bazmohammadi
s.bazmohammadi@semnan.ac.ir
1
Faculty of Electrical & Computer Engineering, Semnan University, Semnan, Iran
AUTHOR
Asghar
Akbari Foroud
aakbari@semnan.ac.ir
2
Faculty of Electrical & Computer Engineering, Semnan University, Semnan, Iran
LEAD_AUTHOR
Najmeh
Bazmohammadi
3
Faculty of Electrical & Computer Engineering, Semnan University, Semnan, Iran
AUTHOR
References
1
1. Krokhmal, P. and Uryasev, S. \Portfolio optimization
2
with conditional value-at-risk objective and constraints",
3
J. Risk, 4, pp. 11-27 (2001).
4
2. Artzner, P., Delbaen, F., Eber, J.M., Heath, D., and
5
Ku, H. Multiperiod Risk and Coherent Multi-period
6
Risk Measurement, E.T.H.Zurich, Preprint (2002).
7
3. Bodie, Z., Kane, A., and Marcus, A.J., Investment,
8
Chicago, Irwin/McGraw-Hill, 4th Edn. (1999).
9
4. Ni, E., Luh, P.B., and Rourke, S. \Optimal integrated
10
generation bidding & scheduling with risk management
11
under a deregulated power market", IEEE Transactions
12
on Power Systems, 19, pp. 600-609 (2004).
13
5. Yamin, H.Y. and Shahidehpour, S.M. \Risk and prot
14
in self-scheduling for gencos", IEEE Transactions on
15
Power Systems, 19, pp. 2104-2106 (2004).
16
6. Liu, M. and Wu, F.F. \Managing price risk in a multimarket
17
environment", IEEE Transactions on Power
18
Systems, 21, pp. 1512-1519 (2006).
19
7. Jain, A.K., Srivastava, S.C., Sing, S.N., and Srivastava,
20
L. \Strategic bidding in transmission constrained
21
electricity markets using articial bee colony algorithm",
22
Electric Power Components and Systems, 40,
23
pp. 1768-1788 (2012).
24
8. Luo, X., Chung, C., Yang, H., and Tong, X. \Optimal
25
bidding strategy for generation companies under CVaR
26
constraint", International Transactions on Electrical
27
Energy Systems, 24, pp. 1369-1384 (2014).
28
9. Garces, L.P. and Conejo, A.J. \Weekly self-scheduling,
29
forward contracting, and oering strategy for a producer",
30
IEEE Transactions on Power Systems, 25, pp.
31
657-666 (2010).
32
10. Liu, H. and Hou, Y. \The mean-wcvar based model
33
for ldc's optimal portfolio in multi-energy markets",
34
International Transactions on Electrical Energy Systems,
35
22, pp. 367-377 (2012)
36
11. Conejo, A.J., Garca-Bertrand, R., Carrion, M., Caballero,
37
A., and de Andres, A.\Optimal involvement
38
in futures markets of a power producer", IEEE Transactions
39
on Power Systems, 23, pp. 703-711 (2008).
40
12. Xu, Z., Hu, Z., Song, Y., and Wang, J. "Risk-averse
41
optimal bidding strategy for demandside resource
42
aggregators in day-ahead electricity markets under
43
uncertainty", IEEE Transactions on Smart Grid, 8,
44
pp. 96-105 (2017).
45
13. Rahmani Dabbagh, S. and Sheikh-El-Eslami, M.K.
46
\Risk assessment of virtual power plants oering in
47
energy and reserve markets", IEEE Transactions on
48
Power Systems, 31, pp. 3572-3582 (2016).
49
14. Artzner, P., Delbaen, F., Eber, J.M., Heath, D.,
50
and Ku, H. \Coherent multi-period risk adjusted
51
values and Bellman's principle", Annals of Operation
52
Research, 152, pp. 5-22 (2007).
53
15. Growe-Kuska, J.N., Heitsch, H., and Romisch, W.
54
\Scenario reduction and scenario tree construction
55
for power management problems", Proc, IEEE Power
56
Technology Conference, 3, pp. 23-26 (2003).
57
16. Birge, R. and Louveaux, F., Introduction to Stochastic
58
Programming, New York: Springer (1997).
59
17. Xi, L., Yu, T., Yang, B., and Zhang, X. \A novel
60
multi-agent decentralized win or learn fast policy hillclimbing
61
with eligibility trace algorithm for smart
62
generation control of interconnected complex power
63
grids", Energy Conversion and Management, 103, pp.
64
82-93 (2015).
65
18. Xi, L., Yu, T., Yang, B., Zhang, X., and Qiu, X.
66
\A wolf pack hunting strategy based virtual tribes
67
control for automatic generation control of smart grid",
68
Applied Energy, 178, pp. 198-211 (2016).
69
19. Xi, L., Zhang, Z., Yang, B., Huang, L., and Yu, T.
70
\Wolf pack hunting strategy for automatic generation
71
control of an islanding smart distribution network",
72
Energy Conversion and Management, 122, pp. 10-24
73
20. Li, Z. and Shahidehpour, S.M. \Security-constrained
74
unit commitment for simultaneous clearing of energy
75
and ancillary services markets", IEEE Trans. Power
76
Syst., 20(2), pp. 1079-1088 (2005).
77
21. \European energy exchange", [Online], Available:
78
http://www.eex.com (2007)
79
22. \Iberian electricity market operator", [Online], Available:
80
http://www.omip.pt
81
23. Li, T. and Shahidehpour, S.M. \Price-based unit
82
commitment: a case of Lagrangian relaxation versus
83
mixed integer programming", IEEE Transactions on
84
Power Systems, 20, pp. 2015-2025 (2005).
85
24. Arroyo, J.M. and Conejo, A.J. \Optimal response of
86
a thermal unit to an electricity spot market", IEEE
87
Trans. Power Syst., 15(3), pp. 1098-1104 (2000).
88
25. Karimi, M., Shayanfar, H.A., Aghaei, J., and Ahmadi,
89
A. \Mixed integer programming of Security-
90
Constrained Daily Hydrothermal Generation Scheduling
91
(SCDHGS)", Scientia Iranica, Transactions D.,
92
20(6), pp. 2036-2050 (2013).
93
26. Friend, I. and Blume, M.E. \The demand for risky
94
assets", American Economics Review, 65, pp. 900-922
95
S. Bazmohammadi et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3569{3583 3583
96
ORIGINAL_ARTICLE
INVESTIGATION OF DISPERSION ORDER ON CHIRP MICROWAVE GENERATION USING MICROWAVE PHOTONIC LINK WITHOUT OPTICAL FILTER
In this work, we investigate the influence of the second order-(2OD) and third order-(3OD) dispersion terms on chirp signal generation and transmission through RF photonic link without optical filter. Dispersion equations are formalised using Taylor series and Bessel function to study the link performance. Our result (Eye diagrams) shows that the 2OD+3OD have significant impact on chirp mm-wave propagating through fiber of different lengths. In this paper chirp mm signal is controlled at photo detector by individual phase term of external modulators. Moreover, we also demonstrated experimentally that the chirp rate can be significantly controlled by properly choosing the type of fiber in the experiments. We discussed the RF photonic link performance in terms of Optical Sideband Suppression Ratio (OPSSR), Radio Frequency Spurious Suppression Ratio (RFSSR), Bit Error Rate (BER). Theoretical results are verified using MATLAB Software.
https://scientiairanica.sharif.edu/article_4376_75695053d7fcce53b26c2994d979a690.pdf
2018-12-01
3584
3590
10.24200/sci.2017.4376
RF Photonics
Triple Parallel-Intensity Modulators (TP-IM)
Fiber Dispersion
RoF
Optical Sideband Suppression Ratio (OPSSR)
Radio Frequency Spurious Suppression Ratio (RFSSR)
Mandeep
Singh
mandeepism@gmail.com
1
Department of Electronics & Communication Engineering, Photonic Research Laboratory (PRL), Indian Institute of Technology, Roorkee 247667, Uttarakhand, India
LEAD_AUTHOR
Sanjeev
Kumar Raghuwanshi
2
Department of Electronics Engineering, Indian Institute of Technology (ISM), Dhanbad 826004, Jharkhand, India
AUTHOR
References
1
1. Yao, J.P. \Microwave photonics: Arbitrary waveform
2
generation", Nature Photonics, 4, pp. 79-80 (2010).
3
2. Li, W. and Yao, J. \Generation of linearly chirped microwave
4
waveform with an increased time-bandwidth
5
product based on a tunable optoelectronic oscillator
6
and a recirculating phase modulation loop", IEEE J.
7
Lightwave Technol., 32(20), pp. 3573-3579 (2014).
8
3. Capmany, J. and Novak, D. \Microwave photonics
9
combines two worlds", Nature Photon., 1, pp. 319-330
10
4. Supradeepa, V.R., Long, Ch.M., Wu, R., Ferdous, F.,
11
Hamidi, E., Leaird, D.E., and Weiner, A.M. \Combbased
12
radiofrequency photonic lters with rapid tunability
13
and high selectivity", Nature Photonics, 6, pp.
14
186-194 (2012).
15
5. Goldberg, L., Taylor, H.F., Weller, J.F., and Bloom,
16
D.M. \Microwave signal generation with injectionlocked
17
laser diodes", IEEE Electron. Lett., 19, pp. 491-
18
493 (1983).
19
6. Jung, T., Shen, J.-L., Tong, D.T.K., Murthy, S., Wu,
20
M.C., Tanbun-Ek, T., Wang, W., Lodenkamper, R.,
21
Davis, R., Lembo, L.J. and Brock, J.C. \CW injection
22
locking of a mode-locked semiconductor laser as a
23
local oscillator comb for channelizing broad-band RF
24
signals", IEEE Trans. Microwe. Theory Tech., 47, pp.
25
1225-1232 (1999).
26
7. Ramos, T. and Seeds, A.J. \Fast heterodyne optical
27
phase-lock loop using double quantum well laser
28
diodes", IEEE Electron. Lett., 28, p. 1 (1992).
29
8. Li, W. and Yao, J. \Investigation of photonically
30
assisted microwave frequency multiplication based on
31
external modulation", IEEE Trans. Microw. Theory
32
Techn., 58, pp. 3259-3268 (2010).
33
9. Gao, Y., Wen, A., Yu, Q., Li, N., Lin, G., Xiang,
34
Sh., and Shang, L. \Microwave generation with photonic
35
frequency sextupling based on cascaded modulators",
36
IEEE Photon. Technol. Lett., 26, pp. 1199-1202
37
10. Zhang, J., Chen, H., Chen, M., Wang, T. and Xie,
38
S. \A photonic microwave frequency quadrupler using
39
two cascaded intensity modulators with repetitious
40
optical carrier suppression", IEEE Photon. Technol.
41
Lett., 19, p. 1057 (2007).
42
11. Mohamed, M., Zhang, X., Hraimel, B. and Wu, K.
43
\Frequency sixupler for millimeter-wave over ber
44
systems", Opt. Express, 16, p. 10141 (2008).
45
12. Shi, P., Yu, S., Li, Z., Song, J., Shen, J., Qiao, Y., and
46
Gu, W. \A novel frequency sextupling scheme for optical
47
mm-wave generation utilizing an integrated dualparallel
48
Mach-Zehnder modulator", Opt. Commun.,
49
283, p. 3667 (2010)
50
13. Ma, J., Xin, X., Yu, J., Yu, Ch., Wang, K., Huang,
51
H., and Rao, L. \Optical millimeter wave generated
52
by octupling the frequency of the local oscillator", J.
53
Opt. Netw., 7, pp. 837-845 (2008).
54
14. Guemri, R., Lucarz, F., Bourreau, D., KamfeIt, C., de
55
Bougrenet de la Tocnaye, J.-L., and Hall, T. \Filterless
56
millimetre-wave optical generation using optical phase
57
modulators without DC bias" Proc. IEEE 10th Conf.
58
Ph.D. Res. Microelectron. Electron. (PRIME), pp. 1-4
59
15. Gao, Y., Wen, A., Jiang, W., Liang, D., Liu, W.,
60
and Xiang, Sh. \Photonic microwave generation with
61
frequency octupling based on a DP-QPSK modulator",
62
IEEE Photon. Technol. Lett., 27, pp. 2260-2263
63
16. Kumar Raghuwanshi, S., Srivastav, A., and Singh
64
Athokpam, B. \Review on photonic generation of chirp
65
arbitrary microwave waveforms for remote sensing
66
application", Journal of Optical Communications, 38,
67
pp.1-15 (2016).
68
17. Opti System-user's manual, OPTIWAVE Inc (Version
69
18. Singh, M. and Kumar Raghuwanshi, S. \Eect
70
of higher order dispersion parameters on optical
71
millimeter-wave generation using three parallel external
72
optical modulators", J. Appl. Phys., 117, p. 023116
73
19. Singh, M. and Raghuwanshi, S.K. \Impact of higher
74
order dispersion on photonically assisted optical
75
millimeter-wave generated using dual parallel electrooptic
76
modulators,", Curr. Appl. Phys., 14(12), pp.
77
1837-1844 (2014).
78
20. Singh, M. and Raghuwanshi, S.K. \Microwave generation
79
analysis with higher order dispersion parameters
80
in two cascaded Mach-Zehnder modulators", Opt. Int.
81
J. Light Electron. Opt., 125, pp. 761-771 (2014).
82
21. Raghuwanshi, S.K. and Singh, M. \Eect of higher
83
order dispersion terms on microwave generation due
84
to single mode ber, dispersion shifted ber and nonzero
85
dispersion shifted ber on lithium niobate machzehnder
86
modulator", Int. J. Electr. Electron. Eng.
87
Res., 3(1), pp. 189-208 (2013).
88
22. Singh, M. and Kumar Raghuwanshi, S. \Impact of
89
dispersion order on optical millimetre-wave generation
90
based on series optical external modulators without
91
an optical lter", Optica Applicata, 45(2), pp. 215-226
92
23. ITU-T, Rec. G.655, Characteristics of Non Zero Dispersion
93
Shifted Single Mode Optical Fiber Cable, pp.
94
13-15 (2009).
95
3590 M. Singh and S. Kumar Raghuwanshi/Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3584{3590
96
ORIGINAL_ARTICLE
GAIT GENERATION AND TRANSITION FOR BIPEDAL LOCOMOTION SYSTEM USING MORRIS-LECAR MODEL OF CENTRAL PATTERN GENERATOR
In this paper, we intend to improve the CPG network presented by Pinto et al. based on 4-cell model for bipedal locomotion systems. This model is composed of four coupled identical cells which internal dynamics of each one is described by the Morris-Lecar nonlinear differential equation and the couplings between the cells follow the synaptic type. We exploit an elitist non-dominated sorting genetic algorithm (NSGA II) to find the best set of coupling weights by which the phase differences become optimally close to the ones required for a primary bipedal gait. Thus, we achieve the rhythmic signals associated with four primary bipedal gaits of walk, run, two-legged jump, and two-legged hop. Also, we successfully obtain all secondary gaits corresponding to the bipedal locomotion identified by Pinto et al. from the 4-cell model, by symmetry breaking bifurcations of primary gaits. Particularly, we are able to produce the secondary gait called “hesitation walk” through transition from primary gaits of run and two-legged jump.
https://scientiairanica.sharif.edu/article_4404_2536bc447019a17f3ef4f57333236f33.pdf
2018-12-01
3591
3603
10.24200/sci.2017.4404
Central Pattern Generator (CPG)
Gait Transition
Bipedal Locomotion
Morris-Lecar Non-linear Oscillator
Genetic Algorithm
MOHAMMAD-REZA
SAYYED NOORANI
1
Rehabilitation Robotics Research Lab., Department of Mechatronics Engineering, University of Tabriz, P.O. Box 5166614761, Tabriz, Iran
LEAD_AUTHOR
SAHAR
FARSHBAF RASHIDI
2
Department of Mechatronics Engineering, University of Tabriz, P.O. Box 5166614761, Tabriz, Iran
AUTHOR
MARYAM
SHOARAN
3
Department of Mechatronics Engineering, University of Tabriz, P.O. Box 5166614761, Tabriz, Iran
AUTHOR
References
1
1. Semwal, V.B., Kumar, C., Mishra, P.K., and Nandi,
2
G.C., IEEE Transactions on Automation Science and
3
Engineering, 15(1), pp. 104-110 (Jan. 2018).
4
Semwal, V.B., Kumar, C., Mishra, P.K., and Nandi,
5
G.C. \Design of vector eld for dierent subphases of
6
gait and regeneration of gait pattern", IEEE Transactions
7
on Automation Science and Engineering, 15(1),
8
pp. 104-110 (Jan. 2018).
9
2. Semwal, V.B., Mondal, K., and Nandi, G.C. \Robust
10
and accurate feature selection for humanoid push
11
recovery and classication: deep learning approach",
12
Neural Computing and Applications, pp. 1-10 (2015).
13
3. Semwal, V.B., Katiyar, S.A., Chakraborty, R., and
14
Nandi, G.C. \Biologically-inspired push recovery capable
15
bipedal locomotion modeling through hybrid
16
automata", Robotics and Autonomous Systems, 70,
17
pp. 181-190 (2015).
18
4. Semwal, V.B. and Nandi, G.C. \Generation of joint
19
trajectories using hybrid automate-based model: A
20
rocking block-based approach", IEEE Sensors Journal,
21
16(14), pp. 5805-5816 (2016).
22
5. Ijspeert, A.J. \Central pattern generators for locomotion
23
control in animals and robots: A review", Neural
24
Networks, 21, pp. 642-653 (2008).
25
6. Wu, Q., Liu, Ch., Zhang, J., and Chen, Q. \Survey of
26
locomotion control of legged robots inspired by biological
27
concept", Sci. China. Ser. F-Inf. Sci., 52(10), pp.
28
1715-1729 (2009).
29
7. Wilson, D.M. \The central nervous control of
30
a locust", J. Exp. Biol., 38(47), pp. 47l-490 (1961).
31
8. Marder, E. and Bucher, D. \Central pattern generators
32
and the control of rhythmic movements", Current.
33
Biology., 11, pp. 986-996 (2001).
34
9. Guertin, P.A. \The mammalian central pattern generator
35
for locomotion", Brain research reviews, 62, pp.
36
45-56 (2009).
37
10. Aoi, S., Egi, Y., Sugimoto, R., Yamashita, T., Fujiki,
38
S., and Tsuchiya, K. \Functional roles of phase
39
resetting in the gait transition of a biped robot from
40
quadrupedal to bipedal locomotion", IEEE Transactions
41
on Robotics, 28(6), pp. 1244-1259 (2012).
42
11. Aguirre-Ollinger, G. \Exoskeleton control for lowerextremity
43
assistance based on adaptive frequency oscillators:
44
Adaptation of muscle activation and movement
45
frequency", Proc. IMechE. Part H: J. Engineering in
46
Medicine, 229(1), pp. 52-68 (2015).
47
3602 M.R. Sayyed Noorani et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3591{3603
48
12. Zhang, X. and Hashimoto, M. \Evaluation on interaction
49
ability of a walking robotic suit with synchronization
50
based control", IEEE Int. Conf. Robotics and
51
Biomimetics, Tianjin, China, pp. 265-27 (2010).
52
13. Taga, G. \A model of the neuro-musculo-skeletal
53
system for human locomotion; I. Emergence of basic
54
gait", Biological Cybernetics, 73, pp. 97-111 (1995).
55
14. Endo, G., Morimoto, J., Matsubara, T., Nakanishi,
56
J., and Cheng, G. \Learning CPG-based biped locomotion
57
with a policy gradient method: application
58
to a humanoid robot", The International Journal of
59
Robotics Research, 27(2), pp. 213-228 (2008).
60
15. Collins, J.J. and Richmond, S.A. \Hard-wired central
61
pattern generators for quadrupedal locomotion", Biological
62
Cybernetics, 71, pp. 375-385 (1994).
63
16. Fukuoka, Y., Kimura, H., and Cohen, A.H. \Adaptive
64
dynamic walking of a quadruped robot on irregular
65
terrain based on biological concepts", The International
66
Journal of Robotics Research, 22(3-4), pp. 187-
67
202 (2003).
68
17. Buchli, J. and Ijspeert, A.J. \Self-organized adaptive
69
legged locomotion in a compliant quadruped robot",
70
Autonomous Robots, 25, pp. 331-347 (2008).
71
18. Crespi, A., Lachat, D., Pasquier, A., and Ijspeert,
72
A.J. \Controlling swimming and crawling in a sh
73
robot using a central pattern generator", Autonomous
74
Robots, 25, pp. 3-13 (2008).
75
19. Wua, X. and Ma, S. \CPG-based control of serpentine
76
locomotion of a snake-like robot", Mechatronics, 20,
77
pp. 326-334 (2010).
78
20. Ryu, J-K., Chong, N.Y., You, B.J., and Christensen,
79
H.I. \Locomotion of snake-like robots using adaptive
80
neural oscillators", Intelligent Service Robotics, 3, pp.
81
1-10 (2010).
82
21. Wu, X., Teng, L., Chen, W., Ren, G., Jin, Y.
83
and Li, H. \CPGs with continuous adjustment of
84
phase dierence for locomotion control", International
85
Journal of Advanced Robotic Systems, 10, pp. 269-28
86
22. Zhang, J., Gao, F., Han, X., Chen, X., and Han, X.
87
\Trot Gait Design and CPG Method for a Quadruped
88
Robot", Journal of Bionic Engineering, 11, pp. 18-25
89
23. Liu, C., Chen, Q., and Wang, D. \CPG-inspired
90
workspace trajectory generation and adaptive locomotion
91
control for quadruped robots", IEEE Transactions
92
on Systems, Man, and Cybernetics-Cybernetics, 41(3),
93
pp. 867-880 (2011).
94
24. Liu, C., Chen, Q., and Wang, D. \Central Pattern
95
Generator inspired control for adaptive walking of
96
biped robots", IEEE Transactions on Systems, Man,
97
and Cybernetics-Systems, 43(5), pp. 1206-1215 (2013).
98
25. Cristiano, J., Puig, D., and Garca, M.A. \Locomotion
99
control of a biped robot through a feedback
100
cpg network", in First Iberian Robotics Conference
101
on Advances in Intelligent Systems and Computing,
102
Springer International Publishing, Switzerland, pp.
103
527-540 (2014).
104
26. Cristiano, J., Puig, D., and Garcia, M.A. \Ecient
105
locomotion control of biped robots on unknown sloped
106
surfaces with central pattern generators", Electronics
107
Letters, 51(3), pp. 220-229 (2015).
108
27. Chen, W., Ren, G., Zhang, J., and Wang, J. \Smooth
109
transition between dierent gaits of a hexapod robot
110
via a central pattern generators algorithm", J. Intell.
111
Robot. Syst., 67, pp. 255-270 (2012).
112
28. Liu, C. and Chen, Q. \Methods synthesis of central
113
pattern generator inspired biped walking control",
114
in the 2015 Chinese Intelligent Automation Conference,
115
Springer-Verlag, Berlin Heidelberg, pp. 371-379
116
29. Kim, J.-J., Lee, J-W., and Lee, J.-J. \Central pattern
117
generator parameter search for a biped walking robot
118
using nonparametric estimation based particle swarm
119
optimization", International Journal of Control, Automation,
120
and Systems, 7(3), pp. 447-457 (2009).
121
30. Oliveira, M., Matos, V., Santos, C.P., and Costa,
122
L. \Multi-objective parameter CPG optimization for
123
gait generation of a biped robot", in IEEE Int. Conf.
124
Robotics and Automation, Karlsruhe, Germany, pp.
125
3130-3135 (2013).
126
31. Golubitsky, M., Stewart, I., Buono, P.L. and Collins,
127
J.J. \A modular network for legged locomotion", Physica
128
D, 115, pp. 56-72 (1998).
129
32. Buono, P.L., and Golubitsky, M. \Models of central
130
pattern generators for quadruped locomotion. I: Primary
131
gaits", Journal of Mathematical Biology, 42, pp.
132
291-326 (2001).
133
33. Pinto, M. and Golubitsky, M. \Central pattern generators
134
for bipedal locomotion", Journal of Mathematical
135
Biology, 53(3), pp. 474-489 (2006).
136
34. Pinto, M. and Santos, A.P. \Modelling gait transition
137
in two-legged animals", Communications in Nonlinear
138
Science and Numerical Simulation, 16(12), pp. 4625-
139
4631 (2011).
140
35. Deb, K., Agrawal, S., Pratap, A., and Meyarivan, T.
141
\A fast elitist non-dominated sorting genetic algorithm
142
for multi-objective optimization: NSGA-II", Lecture
143
Notes in Computer Science, 1917, pp. 849-858 (2000).
144
36. Konaka, A.D., Coitb, W., and Smith, A.E. \Multiobjective
145
optimization using genetic algorithms: A
146
tutorial", Reliability Engineering and System Safety,
147
91, pp. 992-1007 (2006).
148
37. Farshbaf Rashidi, S., Sayyed Noorani, M.-R., and
149
Shoaran, M. \Optimization of coupling weights in a
150
4-cell central pattern generator network for bipedal
151
locomotion gait generation", Modares Mechanical Engineering,
152
16(12), pp. 144-152 (2016) (in Persian).
153
ORIGINAL_ARTICLE
Optimal design of fractional-order digital integrators:An evolutionary approach
This paper presents an optimal approach to design Fractional-Order Digital Integrators (FODIs) using a metaheuristic technique, called Hybrid Flower Pollination Algorithm (HFPA). HFPA is a hybrid approach which combines the exploitation and exploration capabilities of two dierent evolutionary optimization algorithms, namely, Particle Swarm Optimization (PSO) and Flower Pollination Algorithm (FPA). The proposed HFPA based designs are compared with the designs based on Real Coded Genetic Algorithm (RGA), PSO, Dierential Evolution (DE), and FPA. Simulation results demonstrate that HFPA based FODIs of all the dierent orders consistently achieve the best magnitude responses. The proposed technique yields FODIs which surpass all the designs based on both classical and evolutionary optimization approaches reported in recent literature.
https://scientiairanica.sharif.edu/article_21197_dca0b1cdfcc2b3d78cbb08caf03acfe9.pdf
2018-12-01
3604
3627
10.24200/sci.2018.21197
Fractional-order integrators
Hybrid flower pollination algorithm
Metaheuristics
optimization
S.
Mahata
1
Department of Electronics and Communication Engineering, National Institute of Technology, Durgapur, India
AUTHOR
S.
Kumar Saha
2
Department of Electronics and Telecomm Engineering, National Institute of Technology, Raipur, Chhattisgarh, India
AUTHOR
R.
Kar
rajibkarece@gmail.com
3
Department of Electronics and Communication Engineering, National Institute of Technology, Durgapur, India
LEAD_AUTHOR
D.
Mandal
4
Department of Electronics and Communication Engineering, National Institute of Technology, Durgapur, India
AUTHOR
References
1
1. Oldham, K.B. and Spanier, J. The Fractional Calculus,
2
Academic Press, New York (1974).
3
2. West, B.J., Bologna, M., and Grigolini, P. Physics of
4
Fractal Operators, Springer Verlag, New York (2003).
5
3. Wang, F. and Ma, X. \Fractional order buck-boost
6
converter in CCM: modelling, analysis and simulations",
7
Int. J. Electron., 101, pp. 1671-1682 (2014).
8
4. Sharma, R., Gaur, P., and Mittal, A.P. \Performance
9
analysis of two-degree of freedom fractional order PID
10
controllers for robotic manipulator with payload", ISA
11
Trans., 58, pp. 279-291 (2015).
12
5. Ferdi, Y. \Computation of fractional order derivative
13
and integral via power series expansion and signal
14
modelling", Nonlinear Dyn., 46(1-2), pp. 1-15 (2006).
15
6. Chen, Y.Q., Vinagre, B.M., and Podlubny, I. \Continued
16
fraction expansion approaches to discretizing fractional
17
order derivatives-an expository review", Nonlinear
18
Dyn., 38(1-4), pp. 155-170 (2004).
19
7. Visweswaran, G.S., Varshney, P., and Gupta, M. \New
20
approach to realize fractional power in z-domain at low
21
frequency", IEEE Trans. Circuits Syst. II, 58(3), pp.
22
179-183 (2011).
23
8. Gupta, M., Varshney, P., and Visweswaran, G.S.
24
\Digital fractional-order dierentiator and integrator
25
models based on rst-order and higher order operators",
26
Int. J. Circuit Theor. Appl., 39(5), pp. 461-474
27
9. Valerio, D. and Costa, J.S. \Time-domain implementation
28
of fractional order controllers", IEE Proc. Control
29
Theor. Appl., 152(5), pp. 539-552 (2005).
30
10. Vinagre, B.M., Podlubny, I., and Hernandez, A. \Some
31
approximations of fractional order operators used in
32
control theory and applications", Fract. Calculus Appl.
33
Anal., 3(3), pp. 231-248 (2000).
34
11. Vinagre, B.M., Chen, Y.Q., and Petras, I. \Two direct
35
tustin discretization methods for fractional-order
36
dierentiator/integrator", J. Frankl. Inst., 340(5), pp.
37
349-362 (2003).
38
12. Tseng, C.C. \Design of FIR and IIR fractional order
39
Simpson digital integrators", Signal Process., 87(5),
40
pp. 1045-1057 (2007).
41
13. Chen, Y.Q. and Moore, K.L. \Discretization schemes
42
for fractional-order dierentiators and integrators",
43
IEEE Trans. Circuits Syst. I: Fundam. Theor. Appl.,
44
49(3), pp. 363-367 (2002).
45
14. Chen, Y.Q. and Vinagre, B.M., \A new IIR-type
46
digital fractional order dierentiator", Signal Process.,
47
83(11), pp. 2359-2365 (2003).
48
15. Barbosa, R.S., Machado, J.A.T., and Silva, M.F.
49
\Time domain design of fractional dierintegrators
50
using least-squares", Signal Process., 86(10), pp. 2567-
51
2581 (2006).
52
16. Maione, G. \Thiele's continued fractions in digital implementation
53
of noninteger dierintegrators", Signal,
54
Image Video Process., 6(3), pp. 401-410 (2012).
55
17. Romero, M., de Madrid, A.P., Manoso, C., and
56
Vinagre, B.M. \IIR approximations to the fractional
57
dierentiator/integrator using Chebyshev polynomials
58
theory", ISA Trans., 52(4), pp. 461-468 (2013).
59
18. Krishna, B.T. \Studies of fractional order dierentiators
60
and integrators: a survey", Signal Process., 91(3),
61
pp. 386-426 (2011).
62
19. Gupta, M. and Yadav, R. \Design of improved fractional
63
order integrators using indirect discretization
64
method", Int. J. Comput. Appl., 59(14), pp. 19-24
65
20. Yadav, R. and Gupta, M. \Approximations of higherorder
66
fractional dierentiators and integrators using indirect
67
discretization", Turkish J. Electr. Eng. Comput.
68
Sci., 23, pp. 666-680 (2015).
69
21. Gupta, M. and Yadav, R. \Optimization of integerorder
70
integrators for deriving improved models of
71
their fractional counterparts", J. Optim., 2013, article
72
ID. 142390, pp. 1-11 (2013).
73
3626 S. Mahata et al./Scientia Iranica, Transactions D: Computer Science & ... 25 (2018) 3604{3627
74
22. Yadav, R. and Gupta, M. \New improved fractional
75
order integrators using PSO optimization", Int. J.
76
Electron., 102(3), pp. 490-499 (2015).
77
23. Yang, X.S. Engineering Optimization an Introduction
78
with Metaheuristic Applications, In John Wiley &
79
Sons, Inc., Hoboken, New Jersey (2010).
80
24. Kalinli, A. and Karaboga, N. \Articial immune algorithm
81
for IIR lter design", J. Eng. Appl. Artif. Intell.,
82
18(5), pp. 919-929 (2005).
83
25. Karaboga, N. \Digital IIR lter design using dierential
84
evolution algorithm", EURASIP J. Appl. Signal
85
Process., (8), pp. 1269-1276 (2005).
86
26. Ling, S.H., Iu, H.H.C., Leung, F.H.F., and Chan, K.Y.
87
\Improved hybrid particle swarm optimized wavelet
88
neural network for modeling the development of
89
dispensing for electronic packaging", IEEE Trans. Ind.
90
Electron., 55(9), pp. 3447-3460 (2008).
91
27. Biswal, B., Dash, P.K., and Panigrahi, B.K. \Power
92
quality disturbance classication using fuzzy C-means
93
algorithm and adaptive particle swarm optimization",
94
IEEE Trans. Ind. Electron., 56(1), pp. 212-220 (2009).
95
28. Fan, Z., Liu, J., Sorensen, T., and Wang, P. \Improved
96
dierential evolution based on stochastic ranking for
97
robust layout synthesis of MEMS components", IEEE
98
Trans. Ind. Electron., 56(4), pp. 937-948 (2009).
99
29. Abdel-Raouf, O., Abdel-Baset, M., and El-henawy, I.
100
\A new hybrid
101
ower pollination algorithm for solving
102
constrained global optimization problems", Int. J.
103
Appl. Op. Res., 4(2), pp. 1-13 (2014).
104
30. Yang, X.S. \Flower pollination algorithm for global
105
optimization", In: Unconventional Comput. Natural
106
Comput., Lecture Notes in Computer Science, 7445,
107
pp. 240-249 (2012).
108
31. Kennedy, J. and Eberhart, R. \Particle swarm optimization",
109
4th IEEE Int. Conf. Neural Netw., Perth,
110
Australia, 4, pp. 1942-1948 (1995).
111
32. Holland, J.H. Adaptation in Natural and Articial
112
Systems, MIT Press, Cambridge (1992).
113
33. Storn, R. and Price, K. \Dierential evolution-a simple
114
and ecient heuristic for global optimization over
115
continuous spaces", J. Glob. Optim., 11(4), pp. 341-
116
359 (1997).
117
34. Nguyen, T.T. and Vo, D.N. \Improved particle swarm
118
optimization for combined heat and power economic
119
dispatch", Scientia Iranica, 23(3), pp. 1318-1334
120
35. Kaveh, A. and Nasrollahi, A. \Charged system search
121
and particle swarm optimization hybridized for optimal
122
design of engineering structures", Scientia Iranica,
123
21(2), pp. 295-305 (2014).
124
36. Kaveh, A. and Ahmadi, B. \Simultaneous analysis,
125
design and optimization of structures using the force
126
method and supervised charged system search algorithm",
127
Scientia Iranica, 20(1), pp. 65-76 (2013).
128
37. Ghaari-Nasab, N., Ahari, S.G., and Ghazanfari, M.
129
\A hybrid simulated annealing based heuristic for solving
130
the location-routing problem with fuzzy demands",
131
Scientia Iranica, 20(3), pp. 919-930 (2013).
132
38. Kaveh, A. and Behnam, A.F. \Design optimization
133
of reinforced concrete 3D structures considering frequency
134
constraints via a charged system search",
135
Scientia Iranica, 20(3), pp. 387-396 (2013).
136
39. Kaveh, A., Bakhshpoori, T., and Kalateh-Ahani, M.
137
\Optimum plastic analysis of planar frames using ant
138
colony system and charged system search algorithms",
139
Scientia Iranica, 20(3), pp. 414-421 (2013).
140
40. Mahata, S., Saha, S.K., Kar, R., and Mandal, D.
141
\Optimal design of wideband digital integrators and
142
dierentiators using harmony search algorithm", Int.
143
J. Numer. Model. (2016). doi: 10.1002/jnm.2203
144
41. Mahata, S., Saha, S.K., Kar, R., and Mandal, D.
145
\Optimal design of wideband innite impulse response
146
fractional order digital integrators using colliding
147
bodies optimisation algorithm", IET Signal Process.,
148
10(9), pp. 1135-1156 (2016).
149
42. Mahata, S., Saha, S.K., Kar, R., and Mandal, D. \Optimal
150
and accurate design of fractional order digital
151
dierentiator - an evolutionary approach", IET Signal
152
Process., 11(2), pp. 181-196 (2017).
153
43. Chiroma, H., Shuib, N.L.M., Muaz, S.A., Abubakar,
154
A.I., Ila, L.B., and Maitama, J.Z. \A review of the applications
155
of bio-inspired
156
ower pollination algorithm",
157
Procedia Computer Science, 62, pp. 435-441 (2015).
158
44. Chiroma, H., Khan, A., Abubakar, A.I., Saadi, Y.,
159
Hamza, M.F., Shuib, L., Gital, A.Y., and Herawan,
160
T. \A new approach for forecasting OPEC petroleum
161
consumption based on neural network train by using
162
ower pollination algorithm", Applied Soft Comput.,
163
48, pp. 50-58 (2016).
164
45. Abd-Elaziz, A.Y., Ali, E.S., and Abd-Elazim, S.M.
165
\Combined economic and emission dispatch solution
166
ower pollination algorithm", Int. J. Electrical
167
Power Energy Syst., 80C, pp. 264-274 (2016).
168
46. Abd-Elaziz, A.Y., Ali, E.S., and Abd-Elazim, S.M.
169
\Flower pollination algorithm and loss sensitivity factors.........
170
ORIGINAL_ARTICLE
Bayesian Hypothesis Testing for One Bit Compressed Sensing with Sensing Matrix Perturbation
This paper proposes a low-computational Bayesian algorithm for noisy sparse recovery in the context of one bit compressed sensing with sensing matrix perturbation. The proposed algorithm which is called BHT-MLE comprises a sparse support detector and an amplitude estimator. The support detector utilizes Bayesian hypothesis test, while the amplitude estimator uses an ML estimator which is obtained by solving a convex optimization problem. Simulation results show that Bayesian hypothesis testing in combination with the ML estimator has more reconstruction accuracy than that of only an ML estimator and also has less computational complexity.
https://scientiairanica.sharif.edu/article_4374_dd5ab11abdebdf11d3ff770a00e61405.pdf
2018-12-01
3628
3633
10.24200/sci.2017.4374
Compressed sensing
One bit measurements
Bayesian hypothesis test
ML estimator
H.
Zayyani
1
Department of Electrical and Computer engineering, Qom university of technology, Qom, Iran.
LEAD_AUTHOR
M.
Korki
2
School of Software and Electrical Engineering, Swinburne University of Technology, Hawthorn, 3122 Australia
AUTHOR
F.
Marvasti
rkzuqslt@scientiaunknown.non
3
Department of Electrical Engineering, Sharif University of Technology, Tehran, Iran
AUTHOR
References
1
1. Zymnis, A., Boyd, S., and Candes, E. \Compressed
2
sensing with quantized measurements", IEEE Signal
3
Processing Letters, 17(2), pp. 149-152 (2010).
4
2. BouFounos, P. and Baraniuk, R. \1-bit compressive
5
sensing", Proceeding 42nd Annu. Conf. Inf. Sci. Sys.
6
3. BouFounos, P. \Greedy sparse signal reconstruction
7
from sign measurements", Proceeding 43rd Asilomar.
8
Conf. Signals, Syst., Comput. (Asilomar'09) (2009).
9
4. Laska, J.N., Wen, Z., Yin, W., and Baraniuk, R.
10
\Trust, but verify: fast and accurate signal recovery
11
from 1-bit compressive measurements", IEEE Trans
12
Signal Processing, 59(11), pp. 5289-5301 (2011).
13
5. Jacques, L., Laska, J., Boufounos, P., and Baraniuk,
14
R. \Robust 1-bit compressive sensing via binary stable
15
embeddings of sparse vectors", IEEE Trans Inf. Theory,
16
59(4), pp. 2082-2102 (2013).
17
6. Yan, M., Yang, Y., and Osher, S. \Robust 1-bit
18
compressive sensing using adaptive outlier pursuit",
19
IEEE Trans Signal Processing, 60(7), pp. 3868-3875
20
7. Movahed, A., Panahi, A. and Durisi, G. \A robust
21
RFPI-based 1-bit compressive sensing reconstruction
22
algorithm", Proceeding IEEE ITW (2012).
23
8. Plan, Y. and Vershynin, R. \Robust 1-bit compressed
24
sensing and sparse logistic regression: A convex programming
25
approach", IEEE Trans Inf. Theory, 59(1),
26
pp. 482-494 (2013).
27
9. Zayyani, H., Korki, M., and Marvasti, F. \Dictionary
28
learning for blind one bit compressed sensing", IEEE
29
Signal Processing Letters, 23(2), pp. 187-191 (2016).
30
10. Zayyani, H., Haddadi, F., and Korki, M. \Double
31
detector for sparse signal detection from one-bit compressed
32
sensing measurements", IEEE Signal Processing
33
Letters, 23(11), pp. 1637-1641 (2016).
34
11. Zayyani, H., Korki, M., and Marvasti, F. \A distributed
35
1-bit compressed sensing algorithm robust
36
to impulsive noise", IEEE Communications Letters,
37
20(6), pp. 1132-1135 (2016).
38
12. Candes, E.J. and Tao, T. \Near-optimal signal recovery
39
from random projections: universal encoding
40
strategies?", IEEE Trans Inf. Theory, 52(12), pp.
41
5406-5425 (2006).
42
13. Donoho, D.L. \Compressed sensing", IEEE Trans Inf.
43
Theory, 52(4), pp. 1289-1306 (2006).
44
14. Li, F., Fang, J., Li, H., and Huang, L. \Robust onebit
45
Bayesian compressed sensing with sign-
46
ip errors",
47
IEEE Signal Processing Letters, 22(7), pp. 857-861
48
15. Dong, X. and Zhang, Y. \A MAP approach for 1-bit
49
compressive sensing in synthetic aperture radar imaging",
50
IEEE Geoscience and Remote Sensing Letters,
51
12(6), pp. 1237-1241 (2015).
52
16. Zhu, J., Wang, X., Lin, X., and Ju, Y. \Maximum likelihood
53
estimation from sign measurements with sensing
54
matrix perturbation", IEEE Trans Signal Processing,
55
62(15), pp. 3741-3753 (2014).
56
17. Zayyani, H., Babaie-zadeh, M., and Jutten, C. \An
57
iterative Bayesian algorithm for sparse component
58
analysis (SCA) in presence of noise", IEEE Trans
59
Signal Processing, 57(11), pp. 4378-4390 (2009).
60
18. Zayyani, H., Babaie-zadeh, M., and Jutten, C.
61
\Bayesian pursuit algorithm for sparse representation",
62
Proceeding ICASSP2009 (2009).
63
19. Zayyani, H. and Babaie-zadeh, M. \Thresholded
64
smoothed L0 (SL0) dictionary learning for sparse
65
representations", Proceeding ICASSP2009 (2009).
66