Description:
Physicochemical characteristics of three type biodiesel feedstock and diesel engine parameters fuelled with graphene oxide (GO) nanoparticles addition in diesel/biodiesel blends have been investigated. Three types of oilseeds, namely Evening primrose (Oenothera lamarckiana), the fruit of Tree of heaven (Ailanthus altissima) and Camelina (Camelina sativa), were selected as suitable resources for Iran. The result showed that the Tree of heaven contains 38% oil which is higher than the Evening primrose (26%) and Camelina (29%). Physicochemical properties of the oils showed that the viscosity of the Camelina oilseeds was less than the Tree of heaven oilseeds and Evening primrose oilseeds. Therefore, in terms of viscosity, the Camelina oilseeds is preferable. Experimental results showed that the biodiesel from all three types of oilseeds are consistent with the ASTM biodiesel standards. However, Camelina biodiesel has better physicochemical properties than another feedstock. Therefore, biodiesel of Camelina oil can be an appropriate alternative to diesel fuels in Iran. Performance and emission parameters of diesel engine fuelled with graphene oxide (GO) nanoparticles addition in three biodiesel resources compared with diesel. A reduction in UHCs, CO, and BSFC with a penalty of increased NOx emissions was realized with all graphene oxide (GO) nanoparticles addition in diesel/biodiesel blends. Also, with Camelina biodiesel, the power increased.
Description:
Objective: Implementation of automated external defibrillators (AEDs) in community sports settings is an important component of emergency medical planning. This study aimed to understand motivations for why sports organizations participated in a government-funded program that provided AEDs and associated first-aid training. Design: Face-to-face interviews. Setting: Community sports organizations in Victoria, Australia. Participants: Representatives from 14 organizations who participated in a government-funded AED program. Main Outcome Measures: Motivations to participate in the AED program were explored using a qualitative descriptive approach. Results: Two overarching themes emerged: awareness of the program and decision to apply. Awareness was gained indirectly through grant advertising in newsletters/emails/web sites and directly through their sporting associations. For most organizations, there was no decision process per se, rather, the opportunity to apply was the key determinant for participating in the program. A duty of care also emerged as a key driving factor, with recognition of AEDs as a valuable asset to communities broadly, not just the participants' immediate sports setting. Reflecting on participation in the program, these participants identified that it was important to increase awareness about AED ownership and use. The program benefits were clearly summed up as being best prepared for a worst-case scenario. Discussion: This study provides new understanding of why community sports organizations apply for an AED and training. The strongest reason was simply the opportunity to acquire this at no cost. Therefore, for wider implementation of AEDs, additional funding opportunities, targeted awareness of these opportunities, and continued promotion of AED importance are recommended.
Description:
Background Though rare, rugby union carries a risk for serious injuries such as acute spinal cord injuries (ASCI), which may result in permanent disability. Various studies have investigated injury mechanisms, prevention programmes and immediate medical management of these injuries. However, relatively scant attention has been placed on the player's experience of such an injury and the importance of context. Aim The aim of this study was to explore the injury experience and its related context, as perceived by the catastrophically injured player. Methods A qualitative approach was followed to explore the immediate, postevent injury experience. Semi-structured interviews were conducted with 48 (n=48) players who had sustained a rugby-related ASCI. Results Four themes were derived from the data. Participants described the context around the injury incident, which may be valuable to help understand the mechanism of injury and potentially minimise risk. Participants also described certain contributing factors to their injury, which included descriptions of foul play and aggression, unaccustomed playing positions, pressure to perform and unpreparedness. The physical experience included signs and symptoms of ASCI that is important to recognise by first aiders, fellow teammates, coaches and referees. Lastly, participants described the emotional experience which has implications for all ASCI first responders. Significance All rugby stakeholders, including players, first responders, coaches and referees, may gain valuable information from the experiences of players who have sustained these injuries. This information is also relevant for rugby safety initiatives in shaping education and awareness interventions.
Description:
Background: Assisted dying remains an emotive topic globally with a number of countries initiating legislation to allow individuals access to assisted dying measures. Victoria will become the first Australian state in over 13 years to pass Assisted Dying Legislation, set to come into effect in 2019. Objectives: This article sought to evaluate the impact of Victorian Assisted Dying Legislation via narrative view and case study presentation. Research design: Narrative review and case study. Participants and research context: case study. Ethical considerations: This legislation will provide eligible Victorian residents with the option to request access to assisted dying measures as a viable alternative to a potentially painful, protracted death. Findings: This legislation, while conservative and inclusive of many safeguards at present, will form the basis for further discussion and debate on assisted dying across Australia in time to come. Discussion: The passing of this legislation by the Victorian parliament was prolonged, emotive and divided not only the parliament but Australian society. Conclusion: Many advocates for this legislation proclaimed it was well overdue and will finally meet the needs of contemporary society. Protagonists claim that medical treatment should not provide a means of ending life, despite palliative care reportedly often failing to relieve the pain and suffering of individuals living with a terminal illness.
Description:
In order for video replay to be an effective assessment and teaching tool, a number of steps need to be followed. This article provides some useful tips for physical educators to ensure they are implementing this video technology effectively when teaching the overarm throw.
Description:
Background: Injuries are common in rugby sevens, but studies to date have been limited to short, noncontinuous periods and reporting of match injuries only. Purpose: To report the injury incidence rate (IIR), severity, and burden of injuries sustained by men and women in the Australian rugby sevens program and to provide the first longitudinal investigation of subsequent injury occurrence in rugby sevens looking beyond tournament injuries only. Study Design: Descriptive epidemiology study. Methods: Ninety international rugby sevens players (55 men and 35 women) were prospectively followed over 2 consecutive seasons (2015-2016 and 2016-2017). All medical attention injuries were reported irrespective of time loss. Individual exposure in terms of minutes, distance, and high-speed distance was captured for each player for matches and on-field training, with the use of global positioning system devices. The IIR and injury burden (IIR × days lost to injury) were calculated per 1000 player-hours, and descriptive analyses were performed. Results: Seventy-three players (81.1%) sustained 365 injuries at an IIR of 43.2 per 1000 player-hours (95% CI, 43.0-43.3). As compared with male players, female players experienced a lower IIR (incidence rate ratio, 0.91; 95% CI, 0.90-0.91). Female players also sustained a higher proportion of injuries to the trunk region (relative risk, 1.75; 95% CI, 1.28-2.40) but a lower number to the head/neck region (relative risk, 0.58; 95% CI, 0.37-0.93; P =.011). The majority (80.7%) of subsequent injuries were of a different site and nature than previous injuries. A trend toward a reduced number of days, participation time, distance, and high-speed distance completed before the next injury was observed after successive injury occurrence. Conclusion: Female players have a lower IIR than male players, with variation of injury profiles observed between sexes. With a surveillance period of 2 years, subsequent injuries account for the majority of injuries sustained in rugby sevens, and they are typically different from previous types of sustained injuries. After each successive injury, the risk profile for future injury occurrence appears to be altered, which warrants further investigation to inform injury prevention strategies in rugby sevens.
Description:
Background and objectives: Recently, there have been calls for RFA to be implemented in the bipolar mode for cancer treatment due to the benefits it offers over the monopolar mode. These include the ability to prevent skin burns at the grounding pad and to avoid tumour track seeding. The usage of bipolar RFA in clinical practice remains uncommon however, as not many research studies have been carried out on bipolar RFA. As such, there is still uncertainty in understanding the effects of the different RF probe configurations on the treatment outcome of RFA. This paper demonstrates that the electrode lengths have a strong influence on the mechanics of bipolar RFA. The information obtained here may lead to further optimization of the system for subsequent uses in the hospitals. Methods: A 2D model in the axisymmetric coordinates was developed to simulate the electro-thermophysiological responses of the tissue during a single probe bipolar RFA. Two different probe configurations were considered, namely the configuration where the active electrode is longer than the ground and the configuration where the ground electrode is longer than the active. The mathematical model was first verified with an existing experimental study found in the literature. Results: Results from the simulations showed that heating is confined only to the region around the shorter electrode, regardless of whether the shorter electrode is the active or the ground. Consequently, thermal coagulation also occurs in the region surrounding the shorter electrode. This opened up the possibility for a better customized treatment through the development of RF probes with adjustable electrode lengths. Conclusions: The electrode length was found to play a significant role on the outcome of single probe bipolar RFA. In particular, the length of the shorter electrode becomes the limiting factor that influences the mechanics of single probe bipolar RFA. Results from this study can be used to further develop and optimize bipolar RFA as an effective and reliable cancer treatment technique. (C) 2019 Elsevier B.V. All rights reserved.
Description:
Sustainable manufacturing assessment is meant to ensure that products are manufactured such that negative environmental impacts are reduced by conserving energy and managing the use of natural resources as well as ensuring economical soundness for the process. The main objective of this work is to introduce sustainable development methodology/models for manufacturing processes. For this purpose, the paper utilizes background data, develops a computer model and presents detailed case studies. This paper will identify and adopt key performance indicators (KPIs) and utilize these to assess the sustainability of extrusion process and their designs. Different manufacturing parameters such as material types, product specifications and manufacturing tools are considered in the process of measuring sustainability. The proposed computer model is verified with data obtain from actual aluminium extrusion plants.
Description:
Sustainable manufacturing assessment is meant to ensure that products are manufactured such that negative environmental impacts are reduced by conserving energy and managing the use of natural resources as well as ensuring economical soundness for the process. The main objective of this work is to introduce sustainable development methodology/models for manufacturing processes. For this purpose, the paper utilizes background data, develops a computer model and presents detailed case studies. This paper will identify and adopt key performance indicators (KPIs) and utilize these to assess the sustainability of extrusion process and their designs. Different manufacturing parameters such as material types, product specifications and manufacturing tools are considered in the process of measuring sustainability. The proposed computer model is verified with data obtain from actual aluminium extrusion plants.
Description:
The importance of outbound markets to a host country has increased scholars' interest in understanding motivational factors. Motivation is a basic determinant of tourists' behaviour and has a fundamental role in tourism. The awareness of motivational differences among tourists from main generating markets is a prerequisite for effective and successful destination marketing programs. However, cross-cultural motivation comparisons of tourists from different cultural backgrounds has received relatively little research attention. In addition, there has not been a content analysis undertaken on this topic. Therefore, the aim of this research was to examine and synthesise previous studies on cross-cultural tourist motivation comparison, reveal the gaps in the literature and indicate the future research trends. A review of 71 publications covering a period of 30 years, from 1988 to 2017, was conducted. This study focuses on both subject areas and research methods used. The findings of this content analysis identified a recent growth in cross-cultural comparison studies. The analysis also revealed an increase in more advanced analysis including multiple variables such as motivations, satisfaction, segmentation of visitors, intention behaviours, and information search behaviour. The analysis of nationalities compared in the reviewed studies indicated the shift of research interest towards Asian countries. In the case of research methods, quantitative design is more common for cross-cultural motivation studies.
Description:
The problem of finding a continuous piecewise linear function approximating a regression function is considered. This problem is formulated as a nonconvex nonsmooth optimization problem where the objective function is represented as a difference of convex (DC) functions. Subdifferentials of DC components are computed and an algorithm is designed based on these subdifferentials to find piecewise linear functions. The algorithm is tested using some synthetic and real world data sets and compared with other regression algorithms.
Description:
Decentralized content sharing (DCS) is emerging as a suitable platform for smart mobile device users to generate and share contents seamlessly without the requirement of a centralized server. This feature is particularly important for places that lack Internet coverage such as tourist attractions where users can form an ad-hoc network and communicate opportunistically to share contents. Existing DCS approaches when applied for such type of places suffer from low delivery success rate and high latency. Although a handful of recent approaches have specifically targeted improvement of content delivery service in tourist spot like scenario, these and other DCS approaches do not focus on contents’ demand and supply which vary considerably due to visitor in-and-out flow and occurrence of influencing events. This is further compounded by the lack of any content distribution (replication) scheme. The content delivery service will be improved if contents can be proactively distributed in strategic positions based on dynamic demand and supply and medium access contention. In this paper, we propose a dynamic content distribution scheme (DCDS) considering these practical issues for sharing contents in tourist attractions. Simulation results show that the proposed approach significantly improves (7
Description:
The substation communication protocol used in smart grid allows the transmission of messages without integrity protection for applications that require very low communication latency. This leaves the real-time measurements taken by phasor measurement units (PMUs) vulnerable to man-in-the-middle attacks, and hence makes high voltage to medium voltage (HV/MV) substations vulnerable to cyber-attacks. In this paper, a lightweight and secure integrity protection algorithm has been proposed to maintain the integrity of PMU data, which fills the missing integrity protection in the IEC 61850-90-5 standard, when the MAC identifier is declared 0. The rigorous security analysis proves the security of the proposed integrity protection method against ciphertext-only attacks and known/chosen plaintext attacks. A comparison with existing integrity protection methods shows that our method is much faster, and is also the only integrity protection scheme that meets the strict timing requirement. Not only the proposed method can be used in power protection applications, but it also can be used in emerging anomaly detection scenarios, where a fast integrity check coupled with low latency communications is used for multiple rounds of message exchanges. This paper is an extension of work originally reported in Proceedings of 14th International Conference on Security and Cryptography (Jolfaei and Kant, 2017).
Description:
The substation communication protocol used in smart grid allows the transmission of messages without integrity protection for applications that require very low communication latency. This leaves the real-time measurements taken by phasor measurement units (PMUs) vulnerable to man-in-the-middle attacks, and hence makes high voltage to medium voltage (HV/MV) substations vulnerable to cyber-attacks. In this paper, a lightweight and secure integrity protection algorithm has been proposed to maintain the integrity of PMU data, which fills the missing integrity protection in the IEC 61850-90-5 standard, when the MAC identifier is declared 0. The rigorous security analysis proves the security of the proposed integrity protection method against ciphertext-only attacks and known/chosen plaintext attacks. A comparison with existing integrity protection methods shows that our method is much faster, and is also the only integrity protection scheme that meets the strict timing requirement. Not only the proposed method can be used in power protection applications, but it also can be used in emerging anomaly detection scenarios, where a fast integrity check coupled with low latency communications is used for multiple rounds of message exchanges. This paper is an extension of work originally reported in Proceedings of 14th International Conference on Security and Cryptography (Jolfaei and Kant, 2017).
A mixed-methods case study exploring the impact of participation in community activity groups for older adults on physical activity, health and wellbeing
Description:
Background Regular physical activity (PA) has many health benefits but declines with age. Community multi-activity groups offering volunteer-led socially-oriented activity programs could provide an opportunity for older people to maintain or increase PA levels and promote their health. The aim of this study was to examine the potential effect of becoming a member of an existing community activity group on PA levels, physical and mental health-related quality of life (HR QoL), comparing any impacts associated with participation in physical activity or social activity programs. Methods This mixed-methods case study, combining a longitudinal quantitative-survey with qualitative focus groups to contextualise the survey results, focused on an Australian community organisation called Life Activities Clubs (LACs). LACs provide various physical activities (e.g. walking, cycling, dancing) and social activities (e.g. book groups, dine-outs, craft). Data were collected using a self-report survey administered at baseline, six and twelve-months after joining and group differences between participants of PA programs (PA group) and social programs (social group) were analysed using linear mixed-models. Two focus groups with LAC members were held, one representing each activity type and analysed using content and thematic analysis. Results 35 people (mean age 67) completed the surveys and 11 people participated in the focus groups. PA levels and physical health-related QoL were maintained over 1 year in the PA group, and declined between baseline and 12-months in the social group. Focus groups suggested social aspects of PA programs increased motivation to maintain regular attendance and do more PA than participants would on their own and that physical activities provided health benefits. Mental HR QoL did not change in either group, focus groups suggested this was because the social aspects of both types of program provide benefits relating to mental health including stress relief, enjoyment and adapting to major life events, to prevent a decline in QoL. Conclusions Community PA programs appear to maintain PA levels and physical HR QoL in older adults, and both social and PA programs may maintain mental HR QoL. Incorporating both types of program into one organisation may also encourage less physically active members to try physical activities.
Description:
Background Regular physical activity (PA) has many health benefits but declines with age. Community multi-activity groups offering volunteer-led socially-oriented activity programs could provide an opportunity for older people to maintain or increase PA levels and promote their health. The aim of this study was to examine the potential effect of becoming a member of an existing community activity group on PA levels, physical and mental health-related quality of life (HR QoL), comparing any impacts associated with participation in physical activity or social activity programs. Methods This mixed-methods case study, combining a longitudinal quantitative-survey with qualitative focus groups to contextualise the survey results, focused on an Australian community organisation called Life Activities Clubs (LACs). LACs provide various physical activities (e.g. walking, cycling, dancing) and social activities (e.g. book groups, dine-outs, craft). Data were collected using a self-report survey administered at baseline, six and twelve-months after joining and group differences between participants of PA programs (PA group) and social programs (social group) were analysed using linear mixed-models. Two focus groups with LAC members were held, one representing each activity type and analysed using content and thematic analysis. Results 35 people (mean age 67) completed the surveys and 11 people participated in the focus groups. PA levels and physical health-related QoL were maintained over 1 year in the PA group, and declined between baseline and 12-months in the social group. Focus groups suggested social aspects of PA programs increased motivation to maintain regular attendance and do more PA than participants would on their own and that physical activities provided health benefits. Mental HR QoL did not change in either group, focus groups suggested this was because the social aspects of both types of program provide benefits relating to mental health including stress relief, enjoyment and adapting to major life events, to prevent a decline in QoL. Conclusions Community PA programs appear to maintain PA levels and physical HR QoL in older adults, and both social and PA programs may maintain mental HR QoL. Incorporating both types of program into one organisation may also encourage less physically active members to try physical activities.
Description:
A quadtree-polygon scaled boundary finite element-based approach for image-based modelling of concrete fracture at the mesoscale is developed. Digital images representing the two-phase mesostructure of concrete, which comprises of coarse aggregates and mortar are either generated using a take-and-place algorithm with a user-defined aggregate volume ratio or obtained from X-ray computed tomography as an input. The digital images are automatically discretised for analysis by applying a balanced quadtree decomposition in combination with a smoothing operation. The scaled boundary finite element method is applied to model the constituents in the concrete mesostructure. A quadtree formulation within the framework of the scaled boundary finite element method is advantageous in that the displacement compatibility between the cells are automatically preserved even in the presence of hanging nodes. Moreover, the geometric flexibility of the scaled boundary finite element method facilitates the use of arbitrary sided polygons, allowing better representation of the aggregate boundaries. The computational burden is significantly reduced as there are only finite number of cell types in a balanced quadtree mesh. The cells in the mesh are connected to each other using cohesive interface elements with appropriate softening laws to model the fracture of the mesostructure. Parametric studies are carried out on concrete specimens subjected to uniaxial tension to investigate the effects of various parameters e.g. aggregate size distribution, porosity and aggregate volume ratio on the fracture of concrete at the meso-scale. Mesoscale fracture of concrete specimens obtained from X-ray computed tomography scans are carried out to demonstrate its feasibility.
Description:
A quadtree-polygon scaled boundary finite element-based approach for image-based modelling of concrete fracture at the mesoscale is developed. Digital images representing the two-phase mesostructure of concrete, which comprises of coarse aggregates and mortar are either generated using a take-and-place algorithm with a user-defined aggregate volume ratio or obtained from X-ray computed tomography as an input. The digital images are automatically discretised for analysis by applying a balanced quadtree decomposition in combination with a smoothing operation. The scaled boundary finite element method is applied to model the constituents in the concrete mesostructure. A quadtree formulation within the framework of the scaled boundary finite element method is advantageous in that the displacement compatibility between the cells are automatically preserved even in the presence of hanging nodes. Moreover, the geometric flexibility of the scaled boundary finite element method facilitates the use of arbitrary sided polygons, allowing better representation of the aggregate boundaries. The computational burden is significantly reduced as there are only finite number of cell types in a balanced quadtree mesh. The cells in the mesh are connected to each other using cohesive interface elements with appropriate softening laws to model the fracture of the mesostructure. Parametric studies are carried out on concrete specimens subjected to uniaxial tension to investigate the effects of various parameters e.g. aggregate size distribution, porosity and aggregate volume ratio on the fracture of concrete at the meso-scale. Mesoscale fracture of concrete specimens obtained from X-ray computed tomography scans are carried out to demonstrate its feasibility.
Description:
Objectives MoodSwings 2.0 is an online self-guided intervention for bipolar disorder that includes educational modules, interactive tools, and discussion forums. The primary aim of the study was to determine if participation in MoodSwings 2.0 would result in decreased symptoms of depression and mania compared to the control condition. Secondary aims were to identify improvements in core depression symptoms, quality of life, medication adherence, functioning, and time to relapse. Methods This was a three-arm randomized controlled trial that compared two intervention arms against a peer support control group (forum). A total of 304 adults aged 21 to 65 years with a diagnosis of bipolar disorder were assigned to a forum-only control group (Group 1; n = 102), a forum plus modules treatment group (Group 2; n = 102), or a forum, modules, and tools treatment group (Group 3; n = 100), in addition to usual care. Results There was a significant intervention impact showing improvement on the primary outcome of depression for Group 2 compared to Group 1 (P = .05) with effect sizes (Cohen's d) ranging from 0.17 to 0.43. There was also a significant intervention impact showing improvement on the secondary outcome of core depression for Group 2 (P = .02) and Group 3 (P = .05), but worse physical functioning for Group 3 (P = .01), compared to Group 1. Conclusions This study provides evidence of the efficacy of internet-based psychoeducation interventions for bipolar disorder in reducing depressive symptoms. Further investigation is needed to assess effectiveness in a public program.
Description:
In this paper, a novel sharp Augmented Lagrangian-based global optimization method is developed for solving constrained non-convex optimization problems. The algorithm consists of outer and inner loops. At each inner iteration, the discrete gradient method is applied to minimize the sharp augmented Lagrangian function. Depending on the solution found the algorithm stops or updates the dual variables in the inner loop, or updates the upper or lower bounds by going to the outer loop. The convergence results for the proposed method are presented. The performance of the method is demonstrated using a wide range of nonlinear smooth and non-smooth constrained optimization test problems from the literature.
Description:
Maximum-margin clustering is an extension of the support vector machine (SVM) to clustering. It partitions a set of unlabeled data into multiple groups by finding hyperplanes with the largest margins. Although existing algorithms have shown promising results, there is no guarantee of convergence of these algorithms to global solutions due to the nonconvexity of the optimization problem. In this paper, we propose a simulated annealing-based algorithm that is able to mitigate the issue of local minima in the maximum-margin clustering problem. The novelty of our algorithm is twofold, ie, (i) it comprises a comprehensive cluster modification scheme based on simulated annealing, and (ii) it introduces a new approach based on the combination of k-means++ and SVM at each step of the annealing process. More precisely, k-means++ is initially applied to extract subsets of the data points. Then, an unsupervised SVM is applied to improve the clustering results. Experimental results on various benchmark data sets (of up to over a million points) give evidence that the proposed algorithm is more effective at solving the clustering problem than a number of popular clustering algorithms.
Description:
Maximum-margin clustering is an extension of the support vector machine (SVM) to clustering. It partitions a set of unlabeled data into multiple groups by finding hyperplanes with the largest margins. Although existing algorithms have shown promising results, there is no guarantee of convergence of these algorithms to global solutions due to the nonconvexity of the optimization problem. In this paper, we propose a simulated annealing-based algorithm that is able to mitigate the issue of local minima in the maximum-margin clustering problem. The novelty of our algorithm is twofold, ie, (i) it comprises a comprehensive cluster modification scheme based on simulated annealing, and (ii) it introduces a new approach based on the combination of k-means++ and SVM at each step of the annealing process. More precisely, k-means++ is initially applied to extract subsets of the data points. Then, an unsupervised SVM is applied to improve the clustering results. Experimental results on various benchmark data sets (of up to over a million points) give evidence that the proposed algorithm is more effective at solving the clustering problem than a number of popular clustering algorithms.
Description:
The Separable Quotient Problem of Banach and Mazur asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space. It has remained unsolved for 85 years but has been answered in the affirmative for special cases such as reflexive Banach spaces. An affirmative answer to the Separable Quotient Problem would obviously imply that every infinite-dimensional Banach space has a quotient topological group which is separable, metrizable, and infinite-dimensional in the sense of topology. In this paper it is proved that every infinite-dimensional Banach space has as a quotient group the separable metrizable infinite-dimensional topological group, T
Description:
The Separable Quotient Problem of Banach and Mazur asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient Banach space. It has remained unsolved for 85 years but has been answered in the affirmative for special cases such as reflexive Banach spaces. An affirmative answer to the Separable Quotient Problem would obviously imply that every infinite-dimensional Banach space has a quotient topological group which is separable, metrizable, and infinite-dimensional in the sense of topology. In this paper it is proved that every infinite-dimensional Banach space has as a quotient group the separable metrizable infinite-dimensional topological group, T