Browse ORBilu by Open Access
- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?
ORBilu is a project developed by
   A verification framework for stateful security protocols; ; Pang, Jun  et alin Proceedings of the 19th International Conference on Formal Engineering Methods (2017) Detailed reference viewed: 137 (1 UL)Proceedings 4th International Workshop on Engineering Safety and Security SystemsPang, Jun ; ; Mauw, Sjouke Book published by EPTCS - 184 (2015) Detailed reference viewed: 112 (4 UL)Symbolic analysis of an electric vehicle charging protocol.; Pang, Jun ; et alin Proceedings of 19th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) (2014) Detailed reference viewed: 113 (0 UL)Proceedings Third International Workshop on Engineering Safety and Security SystemsPang, Jun ; Book published by EPTCS (2014) Detailed reference viewed: 113 (1 UL)Model Checking with Fairness Assumptions using PAT; ; et al in Frontiers of Computer Science (2014), 8(1), 1-16 Detailed reference viewed: 144 (5 UL)Prediction of giant elastocaloric strength and stress-mediated electrocaloric effect in BaTiO3 single crystals; ; et al in Physical Review. B (2014), 90(10), An applied stress field σ3 can reversibly change the temperature of an elastocaloric material under adiabatic conditions, and the temperature change Tσ3 is usually maximized near phase transitions.Using a ... [more ▼] An applied stress field σ3 can reversibly change the temperature of an elastocaloric material under adiabatic conditions, and the temperature change Tσ3 is usually maximized near phase transitions.Using a thermodynamic approach, we demonstrate that an elastocaloric strength α = | Tσ3 |/|σ3| of 0.016 K/MPa can be achieved benefiting from the full first-order phase transition in BaTiO3 single crystals, which is comparable with typical elastocaloric materials reported in the literature. The elastocaloric temperature change is found to be giant (3.2 K) under a stress of 200 MPa with a temperature span of over 50 K, which can be significantly larger than its electrocaloric counterpart (∼1 K). Moreover, it is found that the elastocaloric strength can be remarkably enhanced (2.32 K/MPa) as long as the phase transition is triggered even by a modest stress near the sharp first-order phase transition, which is two orders of magnitude larger than those accomplished by full transition. Therefore, even a low stress (<30 MPa) can induce a modest elastocaloric effect (1.3 K) comparable with the electrocaloric counterpart, which is accompanied by a reduction of the working temperature span. In addition, it is found that the electrocaloric peak under tensile stresses moves towards higher temperatures with its magnitude slightly enhanced. Hopefully, our study will stimulate further investigations on elastocaloric and stress-mediated electrocaloric effects in ferroelectrics. [less ▲] Detailed reference viewed: 94 (4 UL)Message from ESSS 2013 Workshop Co-chairsPang, Jun ; ; Mauw, Sjouke in 6th IEEE International Conference on Software Testing, Verification and Validation Workshops Proceedings (2013) Detailed reference viewed: 126 (1 UL)Verification of functional and non-functional requirements of web service composition; ; et al in Proceedings of 15th Conference on Formal Engineering Methods (ICFEM'13) (2013) Detailed reference viewed: 123 (0 UL)On combining state space reductions with global fairness assumptions; ; Pang, Jun et alin Proc. 17th International Symposium on Formal Methods (2011) Detailed reference viewed: 114 (2 UL) |
||
