Models of normal open induction (NOI) are those discretely ordered rings, integrally closed in their fraction field whose nonnegative part satisfy Peano's induction axioms for open formulas in the language of ordered semirings. Here we study the problem of representability of an element a of a model M of NOI (in some extension of M) by a quadratic form of the type X2 + bY2 where b is a nonzero integer. Using either a trigonometric or a hyperbolic parametrization we (...) prove that except in some trivial cases, M[ x, y] with x2 + by2 = a can be embedded in a model of NOI. We also study quadratic extensions of a model M of NOI; we first prove some properties of the ring of Gaussian integers of M. Then we study the group of solutions of a Pell equation in NOI; we construct a model in which the quotient group by the squares has size continuum. (shrink)

Acoustic emission technique is a common approach to identify the damage of the refractories; however, there is a complex problem since there are as many as fifteen involved parameters, which calls for effective data processing and classification algorithms to reduce the level of complexity. In this paper, experiments involving three-point bending tests of refractories were conducted and AE signals were collected. A new data processing method of merging the similar parameters in the description of the damage and reducing the dimension (...) was developed. By means of the principle component analysis for dimension reduction, the fifteen related parameters can be reduced to two parameters. The parameters were the linear combinations of the fifteen original parameters and taken as the indexes for damage classification. Based on the proposed approach, the Gaussian mixture model was integrated with the Bayesian information criterion to group the AE signals into two damage categories, which accounted for 99% of all damage. Electronic microscope scanning of the refractories verified the two types of damage. (shrink)

We summarize the essential ingredients, which enabled us to derive the path-integral for a system of harmonically interacting spin-polarized identical particles in a parabolic confining potential, including both the statistics (Bose–Einstein or Fermi–Dirac) and the harmonic interaction between the particles. This quadratic model, giving rise to repetitive Gaussian integrals, allows to derive an analytical expression for the generating function of the partition function. The calculation of this generating function circumvents the constraints on the summation over the cycles of (...) the permutation group. Moreover, it allows one to calculate the canonical partition function recursively for the system with harmonic two-body interactions. Also, static one-point and two-point correlation functions can be obtained using the same technique, which make the model a powerful trial system for further variational treatments of realistic interactions. (shrink)

In this paper, we give closed-form expressions of the $p$-Frobenius number for the triple of the numbers $a n(n-1)+r$ for an integer $a\ge 4$ and $r$ is odd. For the set of given positive integers $A:=\{a_{1},a_{2},\dots,a_{k}\}$, the $p$-Frobenius number is the largest integer whose nonnegative integral linear combinations of given positive integers in $A$ are expressed in at most $p$ ways. When $p=0$, the $0$-Frobenius number is the classical Frobenius number, which is the central topic of the famous (...) linear Diophantine problem of Frobenius. (shrink)

A fuzzy predictive fault-tolerant control scheme is proposed for a wide class of discrete-time nonlinear systems with uncertainties, interval time-varying delays, and partial actuator failures as well as unknown disturbances, in which the main opinions focus on the relevant theory of FPFTC based on Takagi-Sugeno fuzzy model description of these systems. The T-S fuzzy model represents the discrete-time nonlinear system in the form of the discrete uncertain time-varying delay state space, which is firstly constructed by a set of local (...) class='Hi'>linear models and the nonlinear membership functions. The novel improved state space model can be further obtained by extending the output tracking error to the constructed model. Then the fuzzy predictive fault-tolerant control law based on this extended model is designed, which can increase more control degrees of freedom. Utilizing Lyapunov-Krasovskill theory, less conservative delay-range-dependent stable conditions in terms of linear matrix inequality constraints are given to ensure the asymptotically robust stability of closed-loop system. Meanwhile, the optimized cost function and H-infinity performance index are introduced to the stable conditions to guarantee the robust performance and antidisturbance capability. The simulation results on the temperature control of a strong nonlinear continuous stirred tank reactor show that the proposed control scheme is feasible and effective. (shrink)

This simulation study is a fuzzy model-based neural network control method. The basic idea is to consider the application of a special type of neural networks based on radial basis function, which belongs to a class of associative memory neural networks. The novelty of this approach is the use of an RBF neural network controller in a model reference adaptive control architecture, based on a one-step-ahead Takagi–Sugeno fuzzy model. The objective is to control the concentration in a continuous stirred- (...) class='Hi'>tank reactor highly non-linear system and to assure its stability by limiting the temperature rise generated from the irreversible exothermic reaction. This contribution will help to reduce environmental impact of chemical waste. (shrink)

This paper implements the continuous Hindi Automatic Speech Recognition (ASR) system using the proposed integrated features vector with Recurrent Neural Network (RNN) based Language Modeling (LM). The proposed system also implements the speaker adaptation using Maximum-Likelihood Linear Regression (MLLR) and Constrained Maximum likelihood Linear Regression (C-MLLR). This system is discriminatively trained by Maximum Mutual Information (MMI) and Minimum Phone Error (MPE) techniques with 256 Gaussian mixture per Hidden Markov Model(HMM) state. The training of the baseline system has been (...) done using a phonetically rich Hindi dataset. The results show that discriminative training enhances the baseline system performance by up to 3%. Further improvement of ~7% has been recorded by applying RNN LM. The proposed Hindi ASR system shows significant performance improvement over other current state-of-the-art techniques. (shrink)

Unmanned aerial vehicles, particularly quadcopters, have several medical, agriculture, surveillance, and security applications. However, the use of this innovative technology for civilian applications is still very limited in low-income countries due to the high cost, whereas low-cost controllers available in the market are often tuned using the hit and trial approach and are limited for specific applications. This paper addresses this issue and presents a novel proof of concept low-cost quadcopter UAV design approach using a systematic Model-Based Design method for (...) mathematical modeling, simulation, real-time testing, and prototyping. The quadcopter dynamic model is developed, and controllers are designed using Proportional Integral, and Derivative, Pole Placement, and Linear Quadratic Regulator control strategies. The stability of the controllers is also checked using Lyapunov stability analysis. For verification and validation of the design, Software-in-the-Loop, Processor-in-the-Loop, Hardware-in-the-loop testing, and Rapid Control Prototyping have been performed. The V&V methods of the MBD approach showed practically valid results with a stable flight of the quadcopter prototype. The proposed low-cost POC quadcopter design approach can be easily modified to have enhanced features, and quadcopters with different design parameters can be assembled using this approach for a diverse range of applications. (shrink)

In this article, we propose a new method to learn the underlying acyclic mixed graph of a linear non-Gaussian structural equation model with given observational data. We build on an algorithm proposed by Wang and Drton, and we show that one can augment the hidden variable structure of the recovered model by learning multidirected edges rather than only directed and bidirected ones. Multidirected edges appear when more than two of the observed variables have a hidden common cause. We detect (...) the presence of such hidden causes by looking at higher order cumulants and exploiting the multi-trek rule. Our method recovers the correct structure when the underlying graph is a bow-free acyclic mixed graph with potential multidirected edges. (shrink)

Introduction -- The stirrings of modernity -- Rupture -- Non-affirmative painting -- Anti-platonism -- The cynical legacy.

This abstract presents a novel brain-computer interface (BCI) framework to control a prosthetic leg, for the rehabilitation of patients suffering from locomotive disorders, using functional near-infrared spectroscopy (fNIRS). fNIRS signals corresponding to walking intention and rest are used to initiate and stop the gait cycle and a nonlinear proportional derivative computed torque controller (PD-CTC) with gravity compensation is used to control torques of hip and knee joints for minimization of position error. The brain signals of walking intention and rest tasks (...) are acquired from primary motor cortex in the left hemisphere for nine subjects. After acquiring brain signals, in order to remove motion artifacts and physiological noises, the performance of six different filters i.e. Kalman, Wiener, Gaussian, hemodynamic response filter (hrf), Band-pass and finite impulse response, is evaluated. Afterwards, six different features are extracted from oxygenated hemoglobin signals and their different combinations were used for classification. The classification performance of five different classifiers i.e. artificial neural network, quadratic discriminant analysis, linear discriminant analysis (LDA), Naïve Bayes and support vector machine (SVM) is used. The classification accuracies obtained from SVM using hrf filter are significantly higher (p < 0.005) than the other combinations of classifier and filters. These accuracies are 77.5%, 72.5%, 68.3%, 74.2%, 73.3%, 80.8%, 65%, 76.7%, and 86.7% for all nine subjects. The control commands generated using classifier initiate and stop the gait cycle of the prosthetic leg whose knee and hip torques are controlled using PD-CTC to minimize position error. The proposed scheme can be effectively used for neurofeedback training and rehabilitation of lower limb amputation of paralyzed patients. (shrink)

The industrial product-service system is a kind of system engineering methodology, integration scheme, and business model to realize service value by adding intangible services in the whole life cycle. However, the design of the system involves many difficulties such as uncertain customer demands, strong subjectivity of the experience design, and long debugging times. Methods for solving upper problems are therefore essential. This paper presents a design model that integrates an improved affinity propagation clustering algorithm, quality function development, and axiomatic design. (...) The entire process of designing an iPSS can be split into three steps. First, uncertain customer demands is determined and standardized. Second, the functions of the product-service system are investigated. Finally, the structures of the system are determined. This paper examines the example of the control service of an iPSS for a water heater tank capping press. An improved AP clustering algorithm is used to determine standardized customer demands, the proposed QFD, and an AD integration model to initially establish a mapping between the customer demands domain and the function domain and clarify the design focus. Next, a QFD- and AD-integrated model is constructed to establish a mapping between the function domain and the structure domain and optimize the control scheme through the quality of its risk prediction. Finally the paper verifies that the upper process and methods can guide the design process effectively in production applications. (shrink)

Predictions about the health risks of low level radiation combine two sorts of measures. One estimates the amount and kinds of radiation released into the environment, and the other estimates the adverse health effects. A new field called health physics integrates and applies nuclear physics to cytology to supply both these estimates. It does so by first determining the kinds of effects different types of radiation produce in biological organisms, and second, by monitoring the extent of these effects produced by (...) given levels of exposure. This essay examines the interplay between evidential constraints and external, contextual interests and values in studying the biological hazards of radiation. By analyzing the debate over linear vs. quadratic dose response models, the essay focuses on problems of developing quantitative, rather than qualitative, estimates of the risks of increased cancer incidence in an exposed population. (shrink)

To improve the accuracy and timeliness of the trajectory tracking control of the driverless racing car during the race, this paper proposes a track tracking control method that integrates the rear wheel differential drive and the front wheel active steering based on optimal control theory and fuzzy logic method. The model of the lateral track tracking error of the racing car is established. The model is linearized and discretized, and the quadratic optimal steering control problem is constructed. Taking advantage (...) of the differential drive of dual-motor-driven racing car, the dual motors differential drive fuzzy controller is designed and integrated driving with active steering control. Simulation analysis and actual car verification show that this integrated control method can ensure that the car tracks different race tracks well and improve the track tracking control accuracy by nearly 30%. (shrink)

This paper investigates the nonlinear vehicle platoon control problems with external disturbances. The quadratic spacing policy is applied into the platoon control, in which the desired intervehicle distance is a quadratic function in terms of the vehicle’s velocities. Comparing with the general constant time headway policy, the QSP is more suitable to the human driving behaviors and can improve the traffic capacity. Then, a novel platoon control scheme is proposed based on the distributed integrated sliding mode. Since the (...) external disturbances are taken into consideration, the sliding mode method is employed to handle the disturbances. Moreover, the stability and string stability of the proposed platoon control system are strictly analyzed. In final, numerical simulations are provided to verify the proposed approaches. (shrink)

We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems, and nested deduction Frege systems, which augment Frege systems with variants of the deduction rule. We give upper bounds on the lengths of proofs in Frege proof systems compared to lengths in these new systems. As applications we give near-linear simulations of the propositional Gentzen sequent calculus and the natural deduction calculus by Frege proofs. The length of a proof is the number of (...) lines in the proof. A general deduction Frege proof system provides at most quadratic speedup over Frege proof systems. A nested deduction Frege proof system provides at most a nearly linear speedup over Frege system where by "nearly linear" is meant the ratio of proof lengths is O) where α is the inverse Ackermann function. A nested deduction Frege system can linearly simulate the propositional sequent calculus, the tree-like general deduction Frege calculus, and the natural deduction calculus. Hence a Frege proof system can simulate all those proof systems with proof lengths bounded by O). Also we show that a Frege proof of n lines can be transformed into a tree-like Frege proof of O lines and of height O. As a corollary of this fact we can prove that natural deduction and sequent calculus tree-like systems simulate Frege systems with proof lengths bounded by O. (shrink)

Multitrait-multimethod (MTMM) analysis is one of the most frequently employed methods to examine the validity of psychological measures. Confirmatory factor analysis (CFA) is a commonly used analytic tool for examining MTMM data through the specification of trait and method latent variables. Most contemporary CFA-MTMM models either do not allow estimating correlations between the trait and method factors or they are restricted to linear trait-method relationships. There is no theoretical reason why trait and method relationships should always be linear, (...) and quadratic relationships are frequently proposed in the social sciences. In this article, we present two approaches for examining quadratic relations between traits and methods through extended latent difference and latent means CFA-MTMM models (Pohl et al., 2008; Pohl and Steyer, 2010). An application of the new approaches to a multi-rater study of the nine inattention symptoms of attention-deficit/hyperactivity disorder in children (N = 752) and the results of a Monte Carlo study to test the applicability of the models under a variety of data conditions are described. (shrink)

In this article, we extend the Bayesian nonparametric regression method Gaussian Process Regression to the analysis of longitudinal panel data. We call this new approach Gaussian Process Panel Modeling (GPPM). GPPM provides great flexibility because of the large number of models it can represent. It allows classical statistical inference as well as machine learning inspired predictive modeling. GPPM offers frequentist and Bayesian inference without the need to resort to Markov chain Monte Carlo-based approximations, which makes the approach exact and fast. (...) GPPMs are defined using the kernel-language, which can express many traditional modeling approaches for longitudinal data, such as linear structural equation models, multilevel models, or state-space models but also various commonly used machine learning approaches. As a result, GPPM is uniquely able to represent hybrid models combining traditional parametric longitudinal models and nonparametric machine learning models. In the present paper, we introduce GPPM and illustrate its utility through theoretical arguments as well as simulated and empirical data. (shrink)

Einstein's linear Lagrangian is replaced by a Lagrangian which is quadratic in the curvature quantities (gauge invariance). The hypothesis is made that the basic metrical field is highly agitated (due to periodic boundary conditions) thus establishing a submicroscopic basic lattice structure of the space-time world which, however, is macroscopically isotropic. All consequences follow from these assumptions. The “free vector” of Einstein's theory (void of physical significance and used for the normalization of the reference system) is no longer free (...) but of physical significance. It becomes subject to the wave equation and the Lorentz condition. It can thus be identified with the electromagnetic vector potential. Although the present investigation does not go beyond the linear approximation, the contours of auniverse of maxium rationality emerge. (shrink)

The sports world has historically rejected the practice of tanking. I argue that this attitude is unwarranted. To do so, I introduce a concept called strategic suboptimal play (SSP), which is the practice of incurring the risk of a short-term competitive disadvantage to increase the chances of gaining a longer-term competitive advantage. Tanking is just an instance of SSP employed in higher-order games, i.e. games that are at least partially played by other games, like tournaments or seasons. Since SSP is (...) integral to every sport, there are currently no easy grounds for rejecting it outright. As such, the same is true of tanking. I will explore some possible reasons why tanking is wrongly thought objectionable, as well as some objections to and implications of my argument for competitive sports more broadly. (shrink)

After the seminal work of Kraus, Lehmann and Magidor (formally known as the KLM approach) on conditionals and preferential models, many aspects of defeasibility in more complex formalisms have been studied in recent years. Examples of these aspects are the notion of typicality in description logic and defeasible necessity in modal logic. We discuss a new aspect of defeasibility that can be expressed in the case of temporal logic, which is the normality in an execution. In this contribution, we take (...) Linear Temporal Logic (LTL) as case study for this defeasible aspect. LTL has found extensive applications in Computer Science and Artificial Intelligence, notably as a formal framework for representing and verifying computer systems that vary over time. However, some systems may presents exceptions at some innocuous time points where they can be tolerated, or conversely, exceptions at other crucial time points where they need to be addressed. In order to ensure the reliability of such systems, we study a preferential extension of LTL, called defeasible linear temporal logic (LTL ~ ). In the first part of this paper, we show how semantics of KLM's preferential models can be integrated with LTL. We also discuss the addition of non-monotonic temporal operators as a way to formalise defeasible properties of these systems. The second part of this paper is a study of the satisfiability problem of LTL ~ sentences. Based on Sistla and Clarke's work on the complexity of the classical LTL language, we show the bounded-model property of two fragments of LTL ~ language. Moreover, we provide a procedure to check the satisfiability of sentences in both of these fragments. (shrink)

This research calls for attention to complexity theory and the integration of complexity methodologies in policy research. A complexity approach in research practice requires a systems worldview and recognition of non-linearity, networks, self-organization, emergence, and feedback in policy. Simply, if a phenomenon is complex and can be explored from varied contexts and scales, the conceptual frame, and the methodical approach should be able to address the complexity. Complexity science has the capacity to account for complexity in varied contexts, on varied (...) scales, and with an interrelated and interdependent environment. Further, if policy systems are at times simple, complicated, complex, and chaotic, then complexity mythologies combined with traditional qualitative and quantitative methods can bring to light the workings of the elusive black box. Complexity allows for triangulation of both linear and non-linear methodologies integrating qualitative, quantitative, network analysis, and agent-based models, as well as other methodologies. Complexity science is not the panacea to solve all policy problems with perfection. But if you do not acknowledge the complexity you will be missing out on the opportunity to shape patterns of sustainability, to effectively manage complex policy problems to someday solve them. (shrink)

Linear regression and its variants have been widely used for classification problems. However, they usually predefine a strict binary label matrix which has no freedom to fit the samples. In addition, they cannot deal with complex real-world applications such as the case of face recognition where samples may not be linearly separable owing to varying poses, expressions, and illumination conditions. Therefore, in this paper, we propose the kernel negative ε dragging linear regression method for robust classification on noised (...) and nonlinear data. First, a technique called negative ε dragging is introduced for relaxing class labels and is integrated into the LR model for classification to properly treat the class margin of conventional linear regressions for obtaining robust result. Then, the data is implicitly mapped into a high dimensional kernel space by using the nonlinear mapping determined by a kernel function to make the data more linearly separable. Finally, our obtained KNDLR method is able to partially alleviate the problem of overfitting and can perform classification well for noised and deformable data. Experimental results show that the KNDLR classification algorithm obtains greater generalization performance and leads to better robust classification decision. (shrink)

The importance of organizational ambidexterity was stressed in different fields of management. This study was using a distinct method to measure the differences in the degree of ambidexterity to bridge the gap with the previous studies and to provide more insights in the successful management of exploitation and exploration. This study surveyed Taiwanese small and medium-sized enterprises to test the hypotheses. We issued 1000 questionnaires in total and received 234 valid ones. Results indicate exploitative and explorative capabilities exerting non-linear (...) effect on performance. Likewise, ambidexterity and its interaction with market orientation have positive influence on firm performance. This study used structural equation modeling to analyze data, as this approach is known to be particularly advantageous for the exploratory nature of this study. We also used hierarchical regression analysis to test interaction and moderating effects. The study contributes to the literature in two ways. First, we offer a clearer understanding of the complete concept of social capital, including inter-firm and intra-firm social capital, and how contributes to improving and extending existing exploitative capabilities. Second, this study outlines how market orientation can have different effects on an ambidextrous strategy that is adopted to improve Taiwanese SMEs performance. (shrink)

The post-truth condition is just as much about naming a meta-game as winning it. This condition can be tracked across Western intellectual history from the Homeric epics to popular culture. The common thread is that players are more likely to succeed in this meta-game if they have a certain consistency of character, which Thomas More called “integrity.” The presence of integrity means that the historical losers have often had an advantage in defining for subsequent generations the name of the game (...) because the steadfastness of their characters may make them be regarded as the agents of history, for better or worse. Further, naming the game tends to be stabilized by a variety of mental and material conditions, including “modal power”—control over what people think is and is not possible. Modal power is related to both Machiavellian politics and Kantian transcendentalism, and to the phenomenon of “truthiness.” The character of the post-truth player is epitomized by Thomas More, the “man for all seasons,” who remained consistent as he moved between multiple games, and ultimately to his execution. (shrink)

Science traditionally is taught as a linear process based on logic and carried out by objective researchers following the scientific method. Practice of science is a far more nuanced enterprise, one in which intuition and passion become just as important as objectivity and logic. Whether the activity is committing to study a particular research problem, drawing conclusions about a hypothesis under investigation, choosing whether to count results as data or experimental noise, or deciding what information to present in a (...) research paper, ethical challenges inevitably will arise because of the ambiguities inherent in practice. Unless these ambiguities are acknowledged and their sources understood explicitly, responsible conduct of science education will not adequately prepare the individuals receiving the training for the kinds of decisions essential to research integrity that they will have to make as scientists. (shrink)

The parameters governing our behavior are in constant flux. Accurately capturing these dynamics in cognitive models poses a challenge to modelers. Here, we demonstrate a mapping of ACT-R's declarative memory onto the linear ballistic accumulator (LBA), a mathematical model describing a competition between evidence accumulation processes. We show that this mapping provides a method for inferring individual ACT-R parameters without requiring the modeler to build and fit an entire ACT-R model. Existing parameter estimation methods for the LBA can be (...) used, instead of the computationally expensive parameter sweeps that are traditionally done. We conduct a parameter recovery study to confirm that the LBA can recover ACT-R parameters from simulated data. Then, as a proof of concept, we use the LBA to estimate ACT-R parameters from an empirical dataset. The resulting parameter estimates provide a cognitively meaningful explanation for observed differences in behavior over time and between individuals. In addition, we find that the mapping between ACT-R and LBA lends a more concrete interpretation to ACT-R's latency factor parameter, namely as a measure of response caution. This work contributes to a growing movement towards integrating formal modeling approaches in cognitive science. (shrink)

Asha Bhandary’s Freedom to Care represents an important challenge to the idea that care ethics and liberalism necessarily stand in tension, arguing instead that most of the commitments of care ethics can be integrated within a recognizably mainstream liberal contract theory. Although I am sympathetic to Bhandary’s project, I identify three ways in which it falls short: Bhandary’s thin moral premises fail to support decent care for all; her survival baseline principle of care does not support some important forms of (...) care; and her proceduralist approach offers little alternative other than coercion for assuring sufficient care for all. I argue a thicker set of moral assumptions based on the importance of decent care for all are necessary for reconciling liberalism and care ethics on more equal terms. (shrink)

In the past 2 decades latent variable modeling has become a standard tool in the social sciences. In the same time period, traditional linear structural equation models have been extended to include non-linear interaction and quadratic effects (e.g., Klein and Moosbrugger, 2000 ), and multilevel modeling (Rabe-Hesketh et al., 2004 ). We present a general non-linear multilevel structural equation mixture model (GNM-SEMM) that combines recent semiparametric non-linear structural equation models (Kelava and Nagengast, 2012 ; Kelava (...) et al., 2014 ) with multilevel structural equation mixture models (Muthén and Asparouhov, 2009 ) for clustered and non-normally distributed data. The proposed approach allows for semiparametric relationships at the within and at the between levels. We present examples from the educational science to illustrate different submodels from the general framework. (shrink)

This study aims to analyze the integrated construction and application of ideological and political education and innovation and entrepreneurship education in colleges based on the positive psychological quality of entrepreneurship. 549 college students are selected for a questionnaire survey. The correlations between entrepreneurial psychological quality of college students, IEE in colleges, IPE, and entrepreneurial self-efficacy are analyzed with the Spearman correlation and linear regression. The hierarchical regression analysis is used to analyze the intermediary role of entrepreneurial self-efficacy in IEE, (...) IPE in colleges, and entrepreneurial psychological quality of college students. The results show that the entrepreneurial psychological quality of college students is significantly different in gender, family location, and grade level ; the main channels of IPE and daily IPE have significant positive effects on the positive entrepreneurship psychological quality, and have extremely significant positive effects on the entrepreneurial self-efficacy ; innovation and entrepreneurship course, innovation and entrepreneurship practices, innovation and entrepreneurship environment, and total score of IEE have significant positive correlations with positive entrepreneurship psychological quality and entrepreneurial self-efficacy of college students ; and the intermediary effect of entrepreneurial self-efficacy accounts for 33.49% on the IPE and entrepreneurial psychological quality, and 41.85% on IEE and entrepreneurial psychological quality. In short, IPE and IEE can effectively improve the positive psychological quality and self-efficacy of college students, and the joint construction of the two can have a more significant effect. (shrink)

This paper presents an implementation of two radically different control schemes for a state-coupled two-tank liquid-level system. This is due to the purpose of transferring theoretical studies to industrial systems. The proposed schemes to be introduced and compared are the nonsingular terminal sliding mode control and the backstepping control. The performances of the developed methods are experimentally tested on a particular class of second-order nonlinear systems. The main purpose of the considered control schemes is to achieve a tracking trajectory (...) for a coupled-tank system. It is proved that the designed robust controllers guarantee the stability of the corresponding closed loop systems. The obtained results are verified with the same setup test to ensure a suitable basis for their comparison. During the experiments, we resorted to adding an integrator to the backstepping control so that we improve the results, leading to the appearance of the integrator backstepping control. To focus on the adequacy and applicability of the suggested control layout, theoretical comparisons as well as experimental results are afforded and debated. (shrink)

ObjectiveThere is little literature on the validity of kurtosis-adjusted noise energy metrics in human studies. Therefore, this study aimed to validate the application of cumulative noise exposure adjusted by kurtosis in evaluating occupational hearing loss associated with non-Gaussian noise among manufacturing workers.MethodsA cross-sectional survey was conducted on 1,558 manufacturing workers exposed to noise from five industries to collect noise exposure and hearing loss data. Both CNE and kurtosis-adjusted CNE were collapsed into 2-dB∙year bins, and the mean noise-induced permanent threshold shifts (...) at 3, 4, and 6 kHz in each bin were calculated. The contributions of CNE and CNE′ to noise-induced hearing loss were compared using the multiple linear regression. The degree of overlap of two linear regression equations was used to evaluate the validity of the CNE′ using a stratified analysis based on age and sex.ResultsMultiple linear regression models showed that after kurtosis adjustment, the standardized regression coefficient of CNE increased from 0.230 to 0.255, and R2 increased from 0.147 to 0.153. The linear relationship between NIPTS346 and CNE′ or CNE showed that the regression line of non-Gaussian noise was closer to that of Gaussian noise when using CNE′ than using CNE. The mean difference in NIPTS346 between the equations of non-Gaussian noise and Gaussian noise was significantly reduced from 4.32 to 1.63 dB HL after kurtosis adjustment. Through a stratified analysis, these significant decreases were observed in male and female workers, and workers aged ≥30 years old.ConclusionAs a noise exposure metric combining noise energy and temporal characteristics, the kurtosis-adjusted-CNE metric was more effective than CNE alone in assessing occupational hearing loss among manufacturing workers in non-Gaussian noise environment. However, more studies are needed to verify the validity of the kurtosis-adjusted-CNE metric. (shrink)

We investigate the theories of linear algebra, which were originally defined to study the question of whether commutativity of matrix inverses has polysize Frege proofs. We give sentences separating quantified versions of these theories, and define a fragment in which we can interpret a weak theory V 1 of bounded arithmetic and carry out polynomial time reasoning about matrices - for example, we can formalize the Gaussian elimination algorithm. We show that, even if we restrict our language, proves the (...) commutativity of inverses. (shrink)

This article aims to respond to the long-lived perceived incompatibility between care and compassion and justice in organizational literature. It is argued that principles of care and compassion and principles of justice are compatible with each other and can be integrated in organizations in such a way that both will supplement each other. Previous researches tend to view concepts of care and compassion and justice either as competing or inheriting some fundamental trade-offs. This article argues that the highlighted incompatibility between (...) care and compassion and justice is mainly due to the limited understanding about the nature of organizational justice. Care and compassion carry elements of subjectivity and are dynamic in nature, whereas literature on organizational justice has described justice as an objective, static and linear construct due to which an incompatibility between these two very important phenomena is prevailing. This incompatibility can be removed by changing the way of looking at organizational justice and by exploring its dynamic nature. (shrink)

The paper argues against the polarisation of the health economics literature into pro- and anti-QALY camps. In particular, we suggest that a crucial distinction should be made between the QALY measure as a metric of health, and QALY maximisation as an applied social choice rule. We argue against the rule but for the measure and that the appropriate conceptualisation of health-care rationing decisions should see the main task as the integration of competing and possibly incommensurable normative claim types. We identify (...) the main types as consequences, rights, social contracts, individual votes and community values and note situations in which the contribution of each claim type is limited. We go on to show that the integration of (at least some of) these claim types can be formalised within the mathematical framework provided by non-linear programming. (shrink)

This document describes the implementation of a conical tank control system using an adaptive neurofuzzy system. For implementation, an indirect approach is used where the controller is optimized using the model obtained during the plant identification carried out using data obtained during the system operation. Furthermore, implementation includes training of neuro fuzzy-systems and application to control a conical tank. Regarding plant identification, preliminary training takes place using data obtained for different input values. The controller configuration is established considering (...) the analogy with a discrete-time linear system. The simulation shows that the control system manages to approach the desired response given by the considered reference model. (shrink)

While translation competence assessment has been playing an increasingly facilitating role in translation teaching and learning, it still failed to offer fine-grained diagnostic feedback based on certain reliable translation competence standards. As such, this study attempted to investigate the feasibility of providing diagnostic information about students’ translation competence by integrating China’s Standards of English with cognitive diagnostic assessment approaches. Under the descriptive parameter framework of CSE translation scales, an attribute pool was established, from which seven attributes were identified based on (...) students’ and experts’ think-aloud protocols. A checklist comprising 20 descriptors was developed from CSE translation scales, with which 458 students’ translation responses were rated by five experts. In addition, a Q-matrix was established by seven experts. By comparing the diagnostic performance of four widely-used cognitive diagnostic models, linear logistic model was selected as the optimal model to generate fine-grained information about students’ translation strengths and weaknesses. Furthermore, relationships among translation competence attributes were discovered and diagnostic results were shown to differ across high and low proficiency groups. The findings can provide insights for translation teaching, learning and assessment. (shrink)

The proposal made 50 years ago by Schulman :1558–1569, 1968), Laidlaw and Morette-DeWitt :1375–1378, 1971) and Dowker to decompose the propagator according to the homotopy classes of paths was a major breakthrough: it showed how Feynman functional integrals opened a direct window on quantum properties of topological origin in the configuration space. This paper casts a critical look at the arguments brought by this series of papers and its numerous followers in an attempt to clarify the reason why the emergence (...) of the unitary linear representation of the first homotopy group is not only sufficient but also necessary. (shrink)

This paper presents a rectangular branch-and-reduction algorithm for globally solving indefinite quadratic programming problem, which has a wide application in engineering design and optimization. In this algorithm, first of all, we convert the IQPP into an equivalent bilinear optimization problem. Next, a novel linearizing technique is presented for deriving the linear relaxation programs problem of the EBOP, which can be used to obtain the lower bound of the global optimal value to the EBOP. To obtain a global optimal (...) solution of the EBOP, the main computational task of the proposed algorithm involves the solutions of a sequence of LRPP. Moreover, the global convergent property of the algorithm is proved, and numerical experiments demonstrate the higher computational performance of the algorithm. (shrink)

This work introduces a three-dimensional, highly nonlinear quadratic oscillator with no linear terms in its equations. Most of the quadratic ordinary differential equations such as Chen, Rossler, and Lorenz have at least one linear term in their equations. Very few quadratic systems have been introduced and all of their terms are nonlinear. Considering this point, a new quadratic system with no linear term is introduced. This oscillator is analyzed by mathematical tools such as (...) bifurcation and Lyapunov exponent diagrams. It is revealed that this system can generate different behaviors such as limit cycle, torus, and chaos for its different parameters’ sets. Besides, the basins of attractions for this system are investigated. As a result, it is revealed that this system’s attractor is self-excited. In addition, the analog circuit of this oscillator is designed and analyzed to assess the feasibility of the system’s chaotic solution. The PSpice simulations confirm the theoretical analysis. The oscillator’s time series complexity is also investigated using sample entropy. It is revealed that this system can generate dynamics with different sample entropies by changing parameters. Finally, impulsive control is applied to the system to represent a possible solution for stabilizing the system. (shrink)

We give a common mathematical characterization of relevant stochastic evolution schemes built up in the literatute to attack the quantum measurement problem. This characterization is based on two hypotheses, namely, (i) the trace conservation with probability one and (ii) the existence of a complex phase determining a linear support for the stochastic process driving the random evolution.

China is the world’s largest market for solar water heating systems, installing 13 million square meters of new systems in 2004, mostly in large cities. Municipal authorities, however, are sensitive to quality and visual impact issues created by this technology deployment. Therefore, there is currently a trend toward developing building integrated systems as well as upgrading building codes, establishing testing and certification programs, and educating building architects and developers. The use of photovoltaics for urban and grid-connected applications has lagged behind (...) the solar water-heating market; however, in 2003, a 1 MW photovoltaic-rooftop system was constructed in Shenzhen in southern China and several demonstration building integrated systems have since been installed. There is also an emerging interest in photovoltaics for distributed generation and grid support in China. Trends and requirements for developing solar urban applications in China will be presented in this article. (shrink)

In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {ℚ, }, {ℝ, } and {ℤ, }, respectively. In this paper we consider the subvariety [MATHEMATICAL SCRIPT CAPITAL V] generated by the finite members of Disc. We prove that V is locally finite and we determine its lattice of subvarieties. We also prove (...) that [MATHEMATICAL SCRIPT CAPITAL V] = Disc ∩ Dens = Disc ∩ Cont. (shrink)

My topic is the materialist appropriation of empiricism – as conveyed in the ‘minimal credo’ nihil est in intellectu quod non fuerit in sensu (which interestingly is not just a phrase repeated from Hobbes and Locke to Diderot, but is also a medical phrase, used by Harvey, Mandeville and others). That is, canonical empiricists like Locke go out of their way to state that their project to investigate and articulate the ‘logic of ideas’ is not a scientific project: “I shall (...) not at present meddle with the Physical consideration of the Mind” (Essay, I.i.2, in Locke 1975; which Kant gets exactly wrong in his reading of Locke, in the Preface to the A edition of the first Critique). Indeed, I have suggested elsewhere, contrary to a prevalent reading of Locke, that the Essay is not the extension to the study of the mind of the methods of natural philosophy; that he is actually not the “underlabourer” of Newton and Boyle he claims politely to be in the Epistle to the Reader (Wolfe and Salter 2009, Wolfe 2010). Rather, Locke says quite directly if we pay heed to such passages, “Our Business here is not to know all things, but those which concern our Conduct” (Essay, I.i.6). There would be more to say here about what this implies for our understanding of empiricism (see Norton 1981 and Gaukroger 2005), but instead I shall focus on a different aspect of this episode: how a non-naturalistic claim which falls under what we now call epistemology (a claim about the senses as the source of knowledge) becomes an ontology – materialism. That is, how an empiricist claim could shift from being about the sources of knowledge to being about the nature of reality (and/or the mind, in which case it needs, as David Hartley saw and Denis Diderot proclaimed more overtly, an account of the relation between mental processes and the brain). (David Armstrong, for one, denied that there could be an identification between empiricism and materialism on this point: eighteenth-century history of science seems to prove him wrong: see Armstrong 1968 and 1978.) Put differently, I want to examine the shift from the logic of ideas in the seventeenth century (Locke) to an eighteenth-century focus on what kind of ‘world’ the senses give us (Condillac), to an assertion that there is only one substance in the universe (Diderot, giving a materialist cast to Spinozism), and that we need an account of the material substrate of mental life. This is neither a ‘scientific empiricism’ nor a linear developmental process from philosophical empiricism to natural science, but something else again: the unpredictable emergence of an ontology on empiricist grounds. (shrink)

Rational drug design is a method for developing new pharmaceuticals that typically involves the elucidation of fundamental physiological mechanisms. It thus combines the quest for a scientific understanding of natural phenomena with the design of useful technology and hence integrates epistemic and practical aims of research and development. Case studies of the rational design of the cardiovascular drugs propranolol, captopril and losartan provide insights into characteristics and conditions of this integration. Rational drug design became possible in the 1950s when theoretical (...) knowledge of drug-target interaction and experimental drug testing could interlock in cycles of mutual advancement. The integration does not, however, diminish the importance of basic research for pharmaceutical development. Rather, it can be shown that still in the 1990s, linear processes of innovation and the close combination of practical and epistemic work were interdependent. (shrink)