This chapter examines Chomsky's influence on the modeling of linguistic variation, focusing specifically on the notion of parameter. It begins by examining the different conceptualizations of “parameter” in Chomsky's work, from the Government and Binding era, through early Minimalism to more recent approaches which locate variation in phonological form. The idea that grammatical variation should be modeled by abstract parameters is arguably one of Chomsky's most important contributions to linguistic theory, and one which has had significant influence. Two (...) domains of variation (word order and argument expression) are used as case studies to illustrate how Chomsky's ideas have given rise to different kinds of parametric models. Finally, the chapter discusses some of the potential objections to the concept of parameters before concluding. (shrink)

Climate has a strong influence on urban planning and also plays a fundamental role in soil composition affecting the character of plants and animals. The climate is a combination of different meteorological factors that characterized a specific region over a specific time. The movement of the Sun and Earth inclination toward it is the most important factors which determine the characteristics of the climate. The global movement of the air from equator toward poles and vice versa influences also drastically the (...) climate change. In this section are also included breezes. Also air relative humidity plays an important role shaping the climate. It plays a very important role in cloud formation. The built environment can influence the urban climate of the city through height, form, and applied building materials. Building form and shape, building materials, openings in the façade, and their orientation often are determined by climate parameters. Urban density, directions, and street network and their shape are related to the climate change, apart from topography. Density of urban structures produces important effects on the microclimatic conditions in external spaces. The bioclimatic behavior of each type of outdoor spaces depends on the relationship with its surrounding elements. The city of Tirana is included in Mediterranean climate characterized by hot dry summers and mild cold wet winters with high daily thermal excursions. All of the countries bordering the Mediterranean Sea benefit from the Mediterranean climate. Specifically spotted, Tirana is part of Mediterranean coastal zone (<22 °C in temperature) with an annual temperature of 15.3 °C. In the inner city can be found areas with high pollution, which normally contain a high percentage of business and industry, settlements, and traffic, so-called “sealed” areas. They constitute “hyperthermic areas” or “heat islands”. The term “heat island” describes built-up areas which are hotter than nearby rural areas. Heat islands can affect communities by increasing summertime peak energy demand, air-conditioning costs, air pollution, greenhouse gas emissions, heat-related illness and mortality, and water quality. The aim of the bioclimatic design is also the reduction of the heat-island phenomenon. The use of materials with different energy absorption capabilities and integration of green spaces into urban life is important. The vegetation effects on microclimate and in the built environment are present. Trees are necessary and indispensable to human life. They provide shelter for us, provide food, and their fibers cloth us. Implementation of the green belts in the city is one of the strategies in order to reduce heat-island effect. Vegetation also can provide a deep feeling of attachment to certain places and trees which are part of it. The use of trees avoids monotony and ensures diversification. They play a crucial role creating microclimates which influence the thermal comfort of people reducing heating or cooling loads. Vegetation also creates cooler microclimates around the building through evapotranspiration, reduces wind speed, regulates humidity, and reduces temperature. It is observed that tree species have a greater influence on humidity than on temperature. Trees can also absorb and reduce the reverberation time of the sound, behaving as sound buffers. The benefits of tree plantation in the inner city are enormous and they can’t be neglected. (shrink)

In [GK], Gurevich and Kokorin proved that any two non-trivial ordered abelian groups (o-groups, for short) satisfy the same existential sentences. Let nowG, H be non-trivialo-groups with a commono-subgroupG 0. We determine whetherG andH are existentially equivalent overG 0. As a corollary, we obtain algebraic criteria for deciding, whether ano-subgroupG is existentially closed in ano-groupH. Corresponding results are proved foro-groups in which congruences are regarded as atomic relations.

Important similarities exist between the dynamical concepts implicit in Feldman & Levin's extended λ model and those basic to a dynamical systems approach. We argue that careful application of the key concepts of control and order parameters, equilibria, and stability, can relate known facts of neuromuscular processes to the observables of functional, task-specific behavior.

Consider the following restriction of the polymorphically typed lambda calculus . All quantifications are parameter free. In other words, in every universal type α.τ, the quantified variable α is the only free variable in the scope τ of the quantification. This fragment can be locally proven terminating in a system of intuitionistic second-order arithmetic known to have strength of finitely iterated inductive definitions.

Load is the main external disturbance of a parallel robot manipulator. This disturbance will cause dynamic coupling among different degrees of freedom and make heaps of model-based control methods difficult to apply. In order to compensate this disturbance, it is crucial to obtain an accurate dynamic model of load. However, in practice, the load is always uncertain and its dynamic parameters are arduous to know a priori. To cope with this problem, this paper proposes a novel and simple approach (...) to identify the dynamic parameters of load. Firstly, the dynamic model of the parallel robot manipulator with uncertain load is established and the dynamic coupling caused by load is also analyzed. Then, according to the dynamic model, the excitation signal is designed and a weak nonlinear dynamic model is derived. Furthermore, the identification model is presented and the identification algorithm based on the extended Kalman filter is designed. Lastly, numerical simulation results, obtained using a six-degree-of-freedom Gough–Stewart parallel manipulator, demonstrate the good estimation performance of the proposed method. (shrink)

The gray prediction model, based on the GM method, is an important branch of gray theory with the most active research and the most fruitful results, and it is the most widely used because of its small sample size, simple modeling process, and easy to use. Such advantages have been successfully applied in many fields such as transportation, agriculture, energy, medicine, and environment and have been gradually developed into a mainstream predictive modeling method. This study combines the Three-parameter Whitenization (...) Grey Model ), which fits the inhomogeneous exponential law sequence, and the Particle Swarm Algorithm to optimize the order and background value coefficients under the condition of the minimum sum of squares of simulation errors, and hence, to solve the problem that the cumulative order is fixed to “1” and the background value coefficient value is fixed to “0.5.” As a result, a parameter-optimized gray system model with flexibility, adaptability, and dynamic adjustment is designed to simulate and predict China’s higher education gross enrollment rate. The application shows that the model has better overall simulation and prediction performance than others. On the one hand, the parametric optimization model significantly improves its own performance, and on the other hand, its intelligent and adjustable adaptivity improves the accuracy and further extends its application. (shrink)

Abstract.This paper is the second in a series of three culminating in an ordinal analysis of Π12-comprehension. Its objective is to present an ordinal analysis for the subsystem of second order arithmetic with Δ12-comprehension, bar induction and Π12-comprehension for formulae without set parameters. Couched in terms of Kripke-Platek set theory, KP, the latter system corresponds to KPi augmented by the assertion that there exists a stable ordinal, where KPi is KP with an additional axiom stating that every set is (...) contained in an admissible set. (shrink)

We characterize the sets of all Π2 and all equation image theorems of IΠ−1 in terms of restricted exponentiation, and use these characterizations to prove that both sets are not deductively equivalent. We also discuss how these results generalize to n > 0. As an application, we prove that a conservation theorem of Beklemishev stating that IΠ−n + 1 is conservative over IΣ−n with respect to equation image sentences cannot be extended to Πn + 2 sentences. © 2011 WILEY-VCH Verlag (...) GmbH & Co. KGaA, Weinheim. (shrink)

Question order effects are commonly observed in self-report measures of judgment and attitude. This article develops a quantum question order model (the QQ model) to account for four types of question order effects observed in literature. First, the postulates of the QQ model are presented. Second, an a priori, parameter-free, and precise prediction, called the QQ equality, is derived from these mathematical principles, and six empirical data sets are used to test the prediction. Third, a new (...) index is derived from the model to measure similarity between questions. Fourth, we show that in contrast to the QQ model, Bayesian and Markov models do not generally satisfy the QQ equality and thus cannot account for the reported empirical data that support this equality. Finally, we describe the conditions under which order effects are predicted to occur, and we review a broader range of findings that are encompassed by these very same quantum principles. We conclude that quantum probability theory, initially invented to explain order effects on measurements in physics, appears to be a powerful natural explanation for order effects of self-report measures in social and behavioral sciences, too. (shrink)

For several subsystems of second order arithmetic T we show that the proof-theoretic strength of T + (bar rule) can be characterized in terms of T + (bar induction) □ , where the latter scheme arises from the scheme of bar induction by restricting it to well-orderings with no parameters. In addition, we demonstrate that ACA + 0 , ACA 0 + (bar rule) and ACA 0 + (bar induction) □ prove the same Π 1 1 -sentences.

This paper proposes an adaptive formation tracking control algorithm optimized by Q-learning scheme for multiple mobile robots. In order to handle the model uncertainties and external disturbances, a desired linear extended state observer is designed to develop an adaptive formation tracking control strategy. Then an adaptive method of sliding mode control parameters optimized by Q-learning scheme is employed, which can avoid the complex parameter tuning process. Furthermore, the stability of the closed-loop control system is rigorously proved by means (...) of matrix properties of graph theory and Lyapunov theory, and the formation tracking errors can be guaranteed to be uniformly ultimately bounded. Finally, simulations are presented to show the proposed algorithm has the advantages of faster convergence rate, higher tracking accuracy, and better steady-state performance. (shrink)

We study reflection principles in Kelley-Morse set theory with urelements (KMU). We first show that First-Order Reflection Principle is not provable in KMU with Global Choice. We then show that KMU + Limitation of Size + Second-Order Reflection Principle is mutually interpretable with KM + Second-Order Reflection Principle. Furthermore, these two theories are also shown to be bi-interpretable with parameters. Finally, assuming the existence of a κ+-supercompact cardinal κ in KMU, we construct a model of KMU + (...) Second-Order Reflection Principle where Limitation of Size fails. (shrink)

We study elementary second order extensions of the theoryID 1 of non-iterated inductive definitions and the theoryPA Ω of Peano arithmetic with ordinals. We determine the exact proof-theoretic strength of those extensions and their natural subsystems, and we relate them to subsystems of analysis with arithmetic comprehension plusΠ 1 1 comprehension and bar induction without set parameters.

In order to obtain continuous stratum information during TBM tunneling, using TBM tunneling parameters, stratum recognition is carried out through the K-nearest neighbor model, and the model is improved by the entropy weight method to improve the stratum recognition rate. By analyzing the correlation between TBM tunneling characteristic parameters and stratum, the tunneling characteristic parameter vector which is most sensitive to the stratum is obtained by sensitivity analysis, and the stratum recognition model based on the K-nearest neighbor algorithm (...) is established. Aiming at the problem that the model has a large error in complex formation recognition, a formation recognition model based on the entropy weight K-nearest neighbor algorithm is established, and the wrong data of the K-nearest neighbor model is recalculated. The recognition rate of the stratum in the new model is increased from 90.95% to 98.55%. The results show that the K-nearest neighbor model has a better recognition effect for the interval with single stratum distribution, and the recognition rate of entropy weight K-nearest neighbor model for complex stratum is significantly improved, which provides an effective method to obtain stratum information by using tunneling characteristic parameters. (shrink)

Investigation of the 4 th order dynamic systems characteristic polynomials behavior in conditions of the interval parametric uncertainties is carried out on the basis of root locus portraits. The roots behavior regularities and corresponding diagrams for the root locus parameter distribution along the asymptotic stability bound are specified for the root locus portraits of the systems. On this basis the stability conditions are derived, graphic-analytical method is worked out for calculating intervals of variation for the polynomial family parameters (...) ensuring its robust stability. The discovered regularities of the system root locus portrait behavior allow to extract hurwitz sub-families from the non-hurwitz families of interval polynomials and to determine whether there exists at least one stable polynomial in the unstable polynomial family. (shrink)

BackgroundGenetic/genomic testing (GGT) are useful tools for improving health and preventing diseases. Still, since GGT deals with sensitive personal information that could significantly impact a patient’s life or that of their family, it becomes imperative to consider Ethical, Legal and Social Implications (ELSI). Thus, ELSI studies aim to identify and address concerns raised by genomic research that could affect individuals, their family, and society. However, there are quantitative and qualitative discrepancies in the literature to describe the elements that provide content (...) to the ELSI studies and such problems may result in patient misinformation and harmful choices.MethodsWe analyzed the major international documents published by international organizations to specify the parameters that define ELSI and the recognized criteria for GGT, which may prove useful for researchers, health professionals and policymakers. First, we defined the parameters of the ethical, legal and social fields in GGT to avoid ambiguities when using the acronym ELSI. Then, we selected nine documents from 44 relevant publications by international organizations related to genomic medicine.ResultsWe identified 29 ELSI sub-criteria concerning to GGT, which were organized and grouped within 10 minimum criteria: two from the ethical field, four from the legal field and four from the social field. An additional analysis of the number of appearances of these 29 sub-criteria in the analyzed documents allowed us to order them and to determine 7 priority criteria for starting to evaluate and propose national regulations for GGT.ConclusionsWe propose that the ELSI criteria identified herein could serve as a starting point to formulate national regulation on personalized genomic medicine, ensuring consistency with international bioethical requirements. (shrink)

Special groups [M. Dickmann, F. Miraglia, Special Groups : Boolean-Theoretic Methods in the Theory of Quadratic Forms, Memoirs Amer. Math. Soc., vol. 689, Amer. Math. Soc., Providence, RI, 2000] are a first-order axiomatization of the theory of quadratic forms. In Section 2 we investigate reduced special groups which are a lattice under their natural representation partial order ; we show that this lattice property is preserved under most of the standard constructions on RSGs; in particular finite RSGs and (...) RSGs of finite chain length are lattice ordered. We prove that the lattice property fails for the RSGs of function fields of real algebraic varieties over a uniquely ordered field dense in its real closure, unless their stability index is 1 . We show that Open Problem 1 has a positive answer for the RSG of the field Q . In the final section we explore the meaning of Open Problem 1 for formally real fields, in terms of their orders and real valuations; we introduce the notion of “parameter-rank” of a positive-primitive first-order formula of the language for special groups. (shrink)

Second-order uncertainty, also known as model uncertainty and Knightian uncertainty, arises when decision-makers can (partly) model the parameters of their decision problems. It is widely believed that subjective probability, and more generally Bayesian theory, are ill-suited to represent a number of interesting second-order uncertainty features, especially “ignorance” and “ambiguity”. This failure is sometimes taken as an argument for the rejection of the whole Bayesian approach, triggering a Bayes vs anti-Bayes debate which is in many ways analogous to what (...) the classical vs non-classical debate used to be in logic. This paper attempts to unfold this analogy and suggests that the development of non-standard logics offers very useful lessons on the contextualisation of justified norms of rationality. By putting those lessons to work I will flesh out an epistemological framework suitable for extending the expressive power of standard Bayesian norms of rationality to second- order uncertainty in a way which is both formally and foundationally conservative. Contents. (shrink)

The study of the chaotic dynamics in fractional-order discrete-time systems has received great attention over the last years. Some efforts have been also devoted to analyze fractional maps with special features. This paper makes a contribution to the topic by introducing a new fractional map that is characterized by both particular dynamic behaviors and specific properties related to the system equilibria. In particular, the conceived one dimensional map is algebraically simpler than all the proposed fractional maps in the literature. (...) Using numerical simulation, we investigate the dynamic and complexity of the fractional map. The results indicate that the new one-dimensional fractional map displays various types of coexisting attractors. The approximate entropy is used to observe the changes in the sequence sequence complexity when the fractional order and system parameter. Finally, the fractional map is applied to the problem of encrypting electrophysiological signals. For the encryption process, random numbers were generated using the values of the fractional map. Some statistical tests are given to show the performance of the encryption. (shrink)

The emergence of macroscopic variables can be effected through coarse graining. Despite practical and fundamental benefits conveyed by this partitioning of state space, the apparently subjective nature of the selection of coarse grains has been considered problematic. We provide objective selection methods, deriving from the existence of relatively slow dynamical time scales. Using a framework for nonequilibrium statistical mechanics developed by us, we show the emergence of both spatial variables and order parameters. Although significant objective criteria are introduced in (...) the coarse graining, we do not provide a unique prescription. Most significantly, the grains, and by implication entropy, are only defined modulo a characteristic time scale of observation. (shrink)

In the present paper, we introduce new models of pendulum motions for two cases: the first model consists of a pendulum with mass M moving at the end of a string with a suspended point moving on an ellipse and the second one consists of a pendulum with mass M moving at the end of a spring with a suspended point on an ellipse. In both models, we use the Lagrangian functions for deriving the equations of motions. The derived equations (...) are reduced to a quasilinear system of the second order. We use a new mathematical technique named a large parameter method for solving both models’ systems. The analytical solutions are obtained in terms of the generalized coordinates. We use the numerical techniques represented by the fourth-order Runge–Kutta method to solve the autonomous system for both cases. The stabilities of the obtained solutions are studied using the phase diagram procedure. The obtained numerical solutions and analytical ones are compared to examine the accuracy of the mathematical and numerical techniques. The large parameter technique gives us the advantage to obtain the solutions at infinity in opposite with the famous Poincare’s method which was used by many outstanding scientists in the last two centuries. (shrink)

The parameter-free part $$\textbf{PA}_2^*$$ of $$\textbf{PA}_2$$, second order Peano arithmetic, is considered. We make use of a product/iterated Sacks forcing to define an $$\omega $$ -model of $$\textbf{PA}_2^*+ \textbf{CA}(\Sigma ^1_2)$$, in which an example of the full Comprehension schema $$\textbf{CA}$$ fails. Using Cohen’s forcing, we also define an $$\omega $$ -model of $$\textbf{PA}_2^*$$, in which not every set has its complement, and hence the full $$\textbf{CA}$$ fails in a rather elementary way.

We consider fragments of uniform reflection for formulas in the analytic hierarchy over theories of second order arithmetic. The main result is that for any second order arithmetic theory $T_0$ extending $\mathsf {RCA}_0$ and axiomatizable by a $\Pi ^1_{k+2}$ sentence, and for any $n\geq k+1$, $$\begin{align*}T_0+ \mathrm{RFN}_{\varPi^1_{n+2}} \ = \ T_0 + \mathrm{TI}_{\varPi^1_n}, \end{align*}$$ $$\begin{align*}T_0+ \mathrm{RFN}_{\varSigma^1_{n+1}} \ = \ T_0+ \mathrm{TI}_{\varPi^1_n}^{-}, \end{align*}$$ where T is $T_0$ augmented with full induction, and $\mathrm {TI}_{\varPi ^1_n}^{-}$ denotes the schema of transfinite (...) induction up to $\varepsilon _0$ for $\varPi ^1_n$ formulas without set parameters. (shrink)

It is shown that if is an o-minimal structure such that is a dense total order and ≾ is a parameter-definable partial order on M, then ≾ has an extension to a definable total order.

We present a model for first-order belief revision that is characterized by an underlying relevance-like relation and a background proof system. The model is extremely general in order to allow for a wide variety in these characterizing parameters. It allows some weakenings of beliefs which were initially implicit to become explicit and survive the revision process. The effects of revision are localized to the part of the theory that is influenced by the the new information. Iterated revision in (...) this model is handled trivially since the revision operator is constructive by definition. The usage of deductively limited proof systems permits an inconsistency tolerant model. The notion of a part of a theory capable of being influenced by new information (designed to accomodate the specific character of first-order languages) is shown to satisfy some intuitive and desirable properties. We show that for particular parametrizations, standard revision schemes can be embedded into our paradigm. (shrink)

We study prefixed tableaux for first-order multi-modal logic, providing proofs for soundness and completeness theorems, a Herbrand theorem on deductions describing the use of Herbrand or Skolem terms in place of parameters in proofs, and a lifting theorem describing the use of variables and constraints to describe instantiation. The general development applies uniformly across a range of regimes for defining modal operators and relating them to one another; we also consider certain simplifications that are possible with restricted modal theories (...) and fragments. (shrink)

This paper presents decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. All necessary and sufficient conditions for the decomposition are deployed to investigate the commutativity, sensitivity, and the effect of disturbance on the fourth-order LTVS. Some systems are commutative, and some are not commutative, while some are commutative under certain conditions. Based on this fact, the commutativity of fourth-order Euler-type LTVS is investigated by introducing the commutative requirements, (...) theories, and conditions. The fourth-order Euler-type LTVSs are investigated into commutative pairs of twice Euler-type second-order linear time-varying systems. The decomposition theories and conditions are derived, proved, and solved to simplify the use of commutativity for practical and industrial uses. Some fourth-order systems are sensitive toward change in initial conditions or parameters while others are not, and the effect due to disturbance also varies within systems. Furthermore, the stability and robustness of systems have so many issues. But we consider fourth-order Euler-type LTVS to observe, investigate, and tackle these issues. Lastly, the realization of fourth-order LTVS from cascaded two second-order systems can be laboratory experimented which is an open problem for future engineers to investigate. However, the theoretical results show a good agreement with the simulation results is considered in this work. Perhaps it might have unlimited physical applications in science and engineering as well as theoretical contribution. But beyond any reasonable doubt, the novelty is guaranteed because this study is the first of its kind that introduces the decomposition of the fourth-order Euler-type linear time-varying system as a commutative pair of two second-order Euler-type systems. Illustrative examples are presented to support the results. (shrink)

This paper investigates the event-based consensus problem for the heterogeneous hybrid multiagent system. First, the heterogeneous hybrid MAS is proposed which contains continuous and discrete-time subsystems with second-order and first-order heterogeneous dynamics. Second, the event-triggered protocols are proposed, which mainly include the event-based control laws and event-triggered conditions for different kinds of agents. Then, the consensus conclusions of fixed topology and switching topologies are obtained based on graph theory and nonnegative matrix theory, which include the constraints on control (...) parameters, coupling gains, and sampling interval to guarantee consensus. Finally, a simulation example is given to verify the efficiency of the proposed protocols. (shrink)

Consensus of fractional-order multiagent systems with single integral has been wildly studied. However, the dynamics with multiple integral also exist in FOMASs, and they are rarely studied at present. In this paper, consensus problems for multi-integral fractional-order multiagent systems with nonuniform time-delays are addressed. The consensus conditions for MIFOMASs are obtained by a novel frequency-domain method which properly eliminates consensus problems of the systems associated with nonuniform time-delays. Besides, the method revealed in this paper is applicable to classical (...) high-order multiagent systems which is a special case of MIFOMASs. Finally, several numerical simulations with different parameters are performed to validate the correctness of the results. (shrink)

Consensus of fractional-order multiagent systems with single integral has been wildly studied. However, the dynamics with multiple integral also exist in FOMASs, and they are rarely studied at present. In this paper, consensus problems for multi-integral fractional-order multiagent systems with nonuniform time-delays are addressed. The consensus conditions for MIFOMASs are obtained by a novel frequency-domain method which properly eliminates consensus problems of the systems associated with nonuniform time-delays. Besides, the method revealed in this paper is applicable to classical (...) high-order multiagent systems which is a special case of MIFOMASs. Finally, several numerical simulations with different parameters are performed to validate the correctness of the results. (shrink)

We explore analogues of o-minimality and weak o-minimality for circularly ordered sets. Much of the theory goes through almost unchanged, since over a parameter the circular order yields a definable linear order. Working over ∅ there are differences. Our main result is a structure theory for ℵ0-categorical weakly circularly minimal structures. There is a 5-homogeneous example which is not 6-homogeneous, but any example which is k-homogeneous for some k ≥ 6 is k-homogeneous for all k.

Many clinical and psychological constructs are conceptualized to have multivariate higher-order constructs that give rise to multidimensional lower-order traits. Although recent measurement models and computing algorithms can accommodate item response data with a higher-order structure, there are few measurement models and computing techniques that can be employed in the context of complex research synthesis, such as meta-analysis of individual participant data or integrative data analysis. The current study was aimed at modeling complex item responses that can arise (...) when underlying domain-specific, lower-order traits are hierarchically related to multiple higher-order traits for individual participant data from multiple studies. We formulated a multi-group, multivariate higher-order item response theory (HO-IRT) model from a Bayesian perspective and developed a new Markov chain Monte Carlo (MCMC) algorithm to simultaneously estimate the (a) structural parameters of the first- and second-order latent traits across multiple groups and (b) item parameters of the model. Results from a simulation study support the feasibility of the MCMC algorithm. From the analysis of real data, we found that a bivariate HO-IRT model with different correlation/covariance structures for different studies fit the data best, compared to a univariate HO-IRT model or other alternate models with unreasonable assumptions (i.e., the same means and covariances across studies). Although more work is needed to further develop the method and to disseminate it, the multi-group multivariate HO-IRT model holds promise to derive a common metric for individual participant data from multiple studies in research synthesis studies for robust inference and for new discoveries. (shrink)

Hybrid energy storage system has been widely studied as an important technology for electric vehicles. Since the hybrid energy storage system is a nonlinear and complex system, the modeling of the system and the high-precision nonlinear control strategy are technical difficulties for research. The establishment of a high-precision mathematical model of the hybrid energy storage system is the basis for the study of high-quality nonlinear control algorithms. Fortunately, the theory of fractional calculus can help build accurate mathematical models of hybrid (...) energy storage systems. In order to obtain the high-quality nonlinear control strategy of this complex system, this paper, respectively, carried out fractional-order modeling and analysis on the three basic equivalent working states of the hybrid energy storage system of electric vehicles. Among them, the fractional-order average state space model is carried out for the equivalent Buck and Boost mode. Also, the steady-state analysis of the equivalent Dual-Boost mode is carried out by combining the fractional-order calculus theory with the equivalent small parameter variable method. Finally, the effectiveness and precision of the fractional-order model are proved by simulation and experiment. (shrink)

The proponents of strong lexicalism hold the view that “words” are formed in the lexicon and are opaque for the syntax ((Dowty 1979), (DiSciullo and Williams 1987), (Jackendoff 1990) and many others). Modular morphology, on the other hand, offers the possibility that at least some words are partially formed in the syntax ((Baker 1988), (Borer 1988), (Hale and Keyser 1994), (Chomsky 1995) and many others). In (Stechow 1995) and (Stechow 1996) it has been argued that facts observed with German wieder (...) “again” cannot be accounted for within the framework of strong lexicalism and therefore favour the second position. The authors of this paper want to check these claims by investigating the behaviour of the German adverb fast “ almost”, the other classical adverb to which the method of decomposition has been applied in the linguistic literature (cf. (McCawley 1971)). Most adverbs cannot look into lexical decomposition structures, but some can. In order to have a suitable name, let us call these D-adverbs. Again and almost are the prototypical representatives of this class. The method adopted is to investigate whether fast has access to different aspects of verbal meaning depending on its position. Following (Dowty 1979), resultative verbs and prepositions are decomposed into BECOME + XP, where XP is the result state. Agentive verbs contain an additional AGENT part. Other thematic relations connecting the subject and the event are HOLDER and cause. If the syntax tells us that an adverb like wieder or fast must have wide scope with respect to BECOME, then we expect other readings than in a configuration where fast can have narrow scope with respect to BECOME. In other words, the motivation for decomposition is syntactic and semantic. The idea is that certain function projections in the classical VP have a meaning and hence scopally interact with adverbs. (shrink)

The paper examines critically some recently published views by Ramsey on the contrast between ab initio and parametrized theories. I argue that, all things being equal, ab initio calculations are indeed regarded more highly in the physics and chemistry communities. A case study on density functional approaches in theoretical chemistry is presented in order to re‐examine the question of ab initio and parametrized approaches in a contemporary context.

The principle of compositionality (PC) claims that the meaning of a compound expression is determined by the meanings of its constituent expressions and the way they compose. Is it true or false? Does it apply to both natural and formalised languages? In order to answer, we must examine various formal versions of PC, the notion of meaning and the patterns of composition. Moreover, further principles are called for to determine its import and, in particular, its relationships with the Context (...) Principle, which seems to be inconsistent with PC. The paper deals with some aspects of the issues involved, by considering both empirical and model-theoretic results on compositionality obtained in recent years. The main thesis is that only if the parametric form of PC is acknowledged, the above questions can receive a definite answer. To this aim, the paper makes the conditions for the consistency of PC with context-dependence explicit. Such conditions allow for the stability of a schematic conceptual/epistemic core, in contrast with the slippery slope leading to holistic pragmatism. (shrink)

In 1798, the National Institute and the French minister of foreign relations invited European countries to send delegations of science practitioners to Paris to finalise the values of the metre and the kilogram. This article reads the event as part of a wider attempt to establish the political relevance of international scientific consensus and include scientific exchanges in the diplomatic culture of post-revolutionary Europe. At the end of the 18th century, the scope and methods of both the sciences and diplomacy (...) were being renegotiated. French academicians hoped that the new system of weights and measures would at once facilitate international scientific exchanges and advertise that new authority should be politically invested in savants. During the Directory, part of the political elite hoped to stabilise the Revolution and forge an international order where the Republic could coexist with old regime monarchies. This entailed focusing diplomatic negotiations on commercial development, something a shared metrological system could foster. The conference was the product of the alliance between the two groups. Foreign responses to the project reveal the novelty of the association between scientific discussions and diplomatic negotiations. Furthermore, European savants and governments did not agree that metrological reforms fell primarily under the expertise of science practitioners, rather than under that of trading actors or administrators. The conference did not produce consensus on the suitability of the metric system or on the feasibility of programmes for the unification of weights and measures. It was more successful at promoting precision and rationality as key parameters to assess metrological systems and science practitioners as main experts in the matter. (shrink)

Conventional particle theories such as the Standard Model have a number of freely adjustable coupling constants and mass parameters, depending on the symmetry algebra of the local gauge group and the representations chosen for the spinor and scalar fields. There seems to be no physical principle to determine these parameters as long as they stay within certain domains dictated by the renormalization group. Here however, reasons are given to demand that, when gravity is coupled to the system, local conformal invariance (...) should be a spontaneously broken exact symmetry. The argument has to do with the requirement that black holes obey a complementarity principle relating ingoing observers to outside observers, or equivalently, initial states to final states. This condition fixes all parameters, including masses and the cosmological constant. We suspect that only examples can be found where these are all of order one in Planck units, but the values depend on the algebra chosen. This paper combines findings reported in two previous preprints (G. ’t Hooft in arXiv:1009.0669 [gr-qc], 2010; arXiv:1011.0061 [gr-qc], 2010) and puts these in a clearer perspective by shifting the emphasis towards the implications for particle models. (shrink)

Based on the computation mode introduced in [13], we deal with the time complexity of computations over arbitrary first-order structures.The main emphasis is on parameter-free computations. Some transfer results for solutions of P versus NP problems as well as relationships to quantifier elimination are discussed. By computation tree analysis using first-order formulas, it follows that P versus NP solutions and other results of structural complexity theory are invariant under elementary equivalence of structures.

Recently, it has been argued that the phenomenon of direct transfer of intermediate metabolites between adjacent enzymes, also known as metabolic channelling, would not decrease the concentration of those intermediates in the bulk solution. However, this conclusion has been drawn by extrapolation from the results of simulations with a rather restricted set of parameters. We show that, for a number of kinetic cases, the existence of metabolic channelling can decrease the size of the soluble pool of intermediates. When the enzyme(s) (...) downstream of the channel have a catalytic capacity that is large relative to the enzymes upstream of the channel, the decrease of concentration can be substantial (3 orders of magnitude). (shrink)