違約機率校準檢定 - global test 由兩部分組成：第一部分為 level，探討真實的平均違約機率是否被高估；第二部分 shape，探討高低違約機率的表現情形。但 global test 與相關違約事件下的 level test 檢定尺度皆遠高於顯著水準 $\alpha$。本文先是針對相關違約事件，利用截斷分配使 level test 犯型一誤差機率更接近顯著水準，並提出虛無假設及對立假設為 $H_0: \theta \in \cup_{i=1}^2 \Theta_{i0}$ vs. $H_1: \theta \in \cap_{i=1}^2 \Theta_{i1}$ 的形式，引用交聯集檢定。更進一步透過 Liu \& Berger (1995, \textit{The Annals of Statistics}, 23, 1, 55-72) 建構齊一較強檢力檢定，改善檢定力。模擬結果顯示交聯集檢定與齊一較強檢力檢定的檢定尺度皆為 $\alpha$，且齊一較強檢力檢定的檢定力皆高於交聯集檢定。 / The calibration test of the PDs (probabilities of default) --- global test is twofold, the first part is the level test, which is about the mean of calibrated PDs. Second, the shape test is about whether a calibrated PD model differentiates correctly between low and high default probability events. In simulation results, we found that the type I error of global test is much greater than significant level $\alpha$, so is level test in correlation default events. In this study, firstly, we use the truncated level test to control previous error and suggest the hypothesis $H_0: \theta \in \cup_{i=1}^2 \Theta_{i0}$ vs. $H_1: \theta \in \cap_{i=1}^2 \Theta_{i1}$. Secondly, we introduce the intersection union test (IUT). Moreover, we construct an uniformly more powerful test (UMP test) by Liu \& Berger (1995, \textit{The Annals of Statistics}, 23, 1, 55-72). Simulation results show that the IUT and UMP test are size $\alpha$ tests, and the power of UMP test is greater than IUT.

Submitted by Alessandro Ribeiro de Carvalho Casalecchi (alercc@gmail.com) on 2017-07-03T21:17:55Z No. of bitstreams: 1 Tese_Alessandro_Casalecchi.pdf: 2174297 bytes, checksum: 27298549cf220c58b7eb52f7323446d7 (MD5) / Approved for entry into archive by Suzinei Teles Garcia Garcia (suzinei.garcia@fgv.br) on 2017-07-04T11:10:20Z (GMT) No. of bitstreams: 1 Tese_Alessandro_Casalecchi.pdf: 2174297 bytes, checksum: 27298549cf220c58b7eb52f7323446d7 (MD5) / Made available in DSpace on 2017-07-05T13:46:08Z (GMT). No. of bitstreams: 1 Tese_Alessandro_Casalecchi.pdf: 2174297 bytes, checksum: 27298549cf220c58b7eb52f7323446d7 (MD5) Previous issue date: 2017-05-25 / Os dois artigos desta tese, os capítulos 2 e 3, referem-se a testes de hipótese mas têm focos diferentes. O capítulo 2, intitulado "Improvements for external validity tests in fuzzy regression discontinuity designs," apresenta condições --- hipóteses de continuidade, monotonicidade estrita e convergência pontual --- sob as quais testes de qualidade de ajuste para duas amostras podem ser usados para testes de validade externa em modelos de tratamento-controle que sofrem de "compliance" imperfeito. Modelos com "compliance" imperfeito permitem a estimação de efeitos de tratamento apenas para a subpopulação de "compliers", sendo que tais estimativas não são necessariamente válidas para outras subpopulações ("always-takers" e "never-takers"). Sob as condições do capítulo 2, o uso do teste de qualidade de ajuste no lugar do teste de diferença de médias representa um avanço para testes de validade externa, uma vez que mais hipóteses alternativas são detectáveis pelo primeiro teste. Sugerimos combinar duas estatísticas de teste de qualidade de ajuste (uma para tratados e outra para não tratados) na forma de um teste múltiplo ao invés de um teste conjunto. O capítulo 3, intitulado "Higher-order UMP tests", sugere uma estratégia para se escolher, dentro de um conjunto de estatísticas de teste disponíveis, aquela que fornece o teste mais poderoso quando as funções de poder dos testes em questão não podem ser diferenciadas através de métodos assintóticos usuais, como análise de poder local ("local power analysis"). Propomos o uso de aproximações assintóticas de ordem mais alta, como expansões de Edgeworth, para se aproximar as densidades amostrais das estatísticas disponíveis e, com isso, verificar-se quais delas possuem a propriedade da razão monotônica de verossimilhança. Tal propriedade implica, pelo Teorema de Karlin-Rubin, que o teste é uniformemente mais poderoso (UMP) --- ao menos até certa ordem de aproximação --- se a estatística for suficiente para o parâmetro relevante. Para o caso em que as estatísticas sendo comparadas não são suficientes, argumentamos que frequentemente elas podem se tornar suficientes para uma família paramétrica de interesse após reparametrizações apropriadas. Para fins de ilustração, nós aplicamos o método proposto para determinar o valor ótimo, em termos de poder, do parâmetro de suavização do estimador de densidade por kernel em bases de dados simuladas e concluímos que a ordem de aproximação usada nesta aplicação (segunda ordem) não é alta o suficiente para permitir a diferenciação das funções de poder associadas aos diferentes valores do parâmetro de suavização. / The two papers in this work, chapters 2 and 3, regard hypothesis testing but address different issues. Chapter 2, entitled "Improvements for external validity tests in fuzzy regression discontinuity designs", shows conditions --- assumptions of continuity, strict monotonicity and pointwise convergence --- under which two-sample goodness-of-fit (GOF) tests can be used to test for external validity in treatment-control models that suffer from imperfect compliance of units with respect to the assigned treatment. Imperfect compliance allows researchers to estimate only treatment effects for the subpopulation of compliers, and the validity of these estimates for other subpopulations (always-takers and never-takers) remains an open problem. Under the conditions in Chapter 2, the use of GOF tests in place of mean difference tests represents an improvement over other external validity tests in the literature, since more alternative hypotheses are detectable by the test statistic. We suggested to combine two GOF test statistics (one for the treated and one for the untreated) in a multiple test instead of a joint test. Chapter 3, entitled "Higher-order UMP tests", suggests a strategy to choose among candidate test statistics, according to a power criterion, when their power performances are not distinguishable by usual methods of asymptotic comparison like local power analysis. We propose the use of higher-order asymptotic expansions, like Edgeworth expansions, to approximate the sample densities of the candidate test statistics and verify which of them has the monotone likelihood ratio property. This property implies, by the Karlin-Rubin Theorem, that the test is uniformly most powerful (UMP) --- at least to an order of approximation --- if the statistic is sufficient for the relevant parameter. When the statistics under study are not sufficient, we argue that they can often be made sufficient for a desired parametric family after appropriate reparameterization. We applied the method to search for the power-optimal bandwidth for the kernel density estimator in simulated data sets, and concluded that the order of approximation that we used (second order) is still too low to allow us to distinguish among bandwidths.

Baarda’s outlier test is one of the best established theories in geodetic practice. The optimal test statistic of the local model test for a single outlier is known as the normalized residual. Also other model disturbances can be detected and identified with this test. It enjoys the property of being a uniformly most powerful invariant (UMPI) test, but is not a uniformly most powerful (UMP) test. In this contribution we will prove that in the class of test statistics following a common central or non-central chi2 distribution, Baarda’s solution is also uniformly most powerful, i.e. UMPchi2 for short. It turns out that UMPchi2 is identical to UMPI, such that this proof can be seen as another proof of the UMPI property of the test. We demonstrate by an example that by means of the Monte Carlo method it is even possible to construct test statistics, which are regionally more powerful than Baarda’s solution. They follow a socalled generalized chi2 distribution. Due to high computational costs we do not yet propose this as a ”new outlier detection method”, but only as a proof that it is in principle possible to outperform the statistical power of Baarda’s test. / Der Ausreißertest nach Baarda ist eine der am besten etablierten Theorien in der geodätischen Praxis. Die optimale Teststatistik des lokalen Modelltests für einen einzelnen Ausreißer wird als normierte Verbesserung bezeichnet. Auch andere Modellabweichungen können mit diesem Test aufgedeckt und identifiziert werden. Er hat die Eigenschaft, der gleichmäßig stärkste invariante (uniformly most powerful invariant, UMPI) Test zu sein, aber er ist kein gleichmäßig stärkster (uniformly most powerful, UMP) Test. In diesem Beitrag werden wir beweisen, dass in der Klasse der Teststatistiken mit einer gewöhnlichen zentralen oder nichtzentralen chi2 Verteilung die Baardaschen Lösung auch gleichmäßig stärkster Test ist, abgekürzt UMPchi2. Es stellt sich heraus, dass UMPchi2 gleichwertig mit UMPI ist, so dass dieser Beweis als ein weiterer Beweis der UMPI-Eigenschaft des Testes angesehen werden kann. Wir zeigen an einem Beispiel, dass es mittels der Monte Carlo Methode sogar möglich ist, Teststatistiken zu konstruieren, die regional stärker ist, als die Baardasche Lösung. Diese weisen eine sogenannte verallgemeinerte chi2 Verteilung auf. Wegen der hohen Rechenkosten schlagen wir das noch nicht als neue Ausreißererkennungsmethode vor, sondern nur als Beweis, dass es im Prinzip möglich ist, die Teststärke des Ausreißertests nach Baarda zu übertreffen.

The purpose of this study is to focus on constructing a modelling-based learning environment to improve learner performance in grade 6 mathematics classrooms. The purpose emanates from the continued poor performance of learners in mathematics at different school levels, especially grade 6. The teaching and learning of mathematics is explained from an ontological point of departure, focussing on constructivist paradigms. Different types of constructivism are discussed with special attention to the school mathematics domain. The learning, problem based learning, problem solving and learning environment are key components in the discussion. A theoretical perspective on the design of modelling as a powerful learning environment in primary schools mathematics classrooms is provided. Focus is placed on the applicability of the modelling-based learning environment on the South African mathematics curriculum and on study orientation as a key component to help develop an understanding of why learners perform or do not perform in mathematics. A mixed method research design, in which quantitative and qualitative are combined to achieve the outcomes of the research problem, is chosen for this research study project to provide a purposeful research framework. The findings of the research include not only learners’ improvement in dealing with non-routine, mathematical word problems but also in general-routine, mathematical word problems. A second finding shows that the overall SOM pre/post/retention showed good reliability, acceptable construct validity, good practical significance, and large effect but had low to medium effect in individual fields. The univariate analysis for the Crossover design used indicated that the problem solving field had statistical significance and practical significance, and the study milieu and mathematical confidence field might have statistical significance and practical significance. The third finding provided evidence concerning teacher administration, teacher and learner interaction, assessment and homework. The findings from the quantitative and qualitative data-analysis and interpretations, and literature review, guided the researcher in proposing a construct for a modelling-based learning environment as a means to improve learners’ mathematics performance in grade 6 mathematics classes in the John Toalo Gaetswe (JTG) District. The contribution that this study makes is to propose a construct for a modelling-based learning environment to improve learner performance in grade 6 mathematics. / PhD (Mathematics Education), North-West University, Potchefstroom Campus, 2014

The purpose of this study is to focus on constructing a modelling-based learning environment to improve learner performance in grade 6 mathematics classrooms. The purpose emanates from the continued poor performance of learners in mathematics at different school levels, especially grade 6. The teaching and learning of mathematics is explained from an ontological point of departure, focussing on constructivist paradigms. Different types of constructivism are discussed with special attention to the school mathematics domain. The learning, problem based learning, problem solving and learning environment are key components in the discussion. A theoretical perspective on the design of modelling as a powerful learning environment in primary schools mathematics classrooms is provided. Focus is placed on the applicability of the modelling-based learning environment on the South African mathematics curriculum and on study orientation as a key component to help develop an understanding of why learners perform or do not perform in mathematics. A mixed method research design, in which quantitative and qualitative are combined to achieve the outcomes of the research problem, is chosen for this research study project to provide a purposeful research framework. The findings of the research include not only learners’ improvement in dealing with non-routine, mathematical word problems but also in general-routine, mathematical word problems. A second finding shows that the overall SOM pre/post/retention showed good reliability, acceptable construct validity, good practical significance, and large effect but had low to medium effect in individual fields. The univariate analysis for the Crossover design used indicated that the problem solving field had statistical significance and practical significance, and the study milieu and mathematical confidence field might have statistical significance and practical significance. The third finding provided evidence concerning teacher administration, teacher and learner interaction, assessment and homework. The findings from the quantitative and qualitative data-analysis and interpretations, and literature review, guided the researcher in proposing a construct for a modelling-based learning environment as a means to improve learners’ mathematics performance in grade 6 mathematics classes in the John Toalo Gaetswe (JTG) District. The contribution that this study makes is to propose a construct for a modelling-based learning environment to improve learner performance in grade 6 mathematics. / PhD (Mathematics Education), North-West University, Potchefstroom Campus, 2014

Ideal prostheses are defined as artificial limbs that would permit physically impaired individuals freedom of movement and independence rather than a life of disability and dependence. Current lower limb prostheses range from a single mechanical revolute joint to advanced microprocessor controlled mechanisms. Despite the advancement in technology and medicine, current lower limb prostheses are still lacking an actuation element, which prohibits patients from regaining their original mobility and improving their quality of life. This thesis aims to design and test a Pneumatic Artificial Muscle that would actuate lower limb prostheses. This would offer patients the ability to ascend and descend stairs as well as standing up from a sitting position. A comprehensive study of knee biomechanics is first accomplished to characterize the actuation requirement, and subsequently a Pneumatic Artificial Muscle design is proposed. A novel design of muscle end fixtures is presented which would allow the muscle to operate at a gage pressure surpassing 2.76 MPa (i.e. 400 psi) and yield a muscle force that is at least 3 times greater than that produced by any existing equivalent Pneumatic Artificial Muscle. Finally, the proposed Pneumatic Artificial Muscle is tested and validated to verify that it meets the size, weight, kinetic and kinematic requirements of human knee articulation.

波松分配（Poisson Distribution）常用在單位時間或是區間內，計算對有興趣之某隨機事件次數（或是已知事件之頻率），例如：速食餐廳的單位時間來客數，又或是每段期間內，某天然災害的發生次數，可以表示為某一特定事件X服從波松分配，若lambda為單位事件發生次數或是平均次數，我們稱lambda為此波松分配之母數，記作Poisson(lambda)，其中lambda屬於實數。 今天我們若想要探討由兩個服從不同波松分配抽取的隨機變數，如下列所述：令X={(X1,X2)}為一集合，其中Xi為X(i,1),X(i,2),...,X(i,ni)~Poisson(lambda(i)),i=1,2。欲探討兩波松分配之均數是否相同或相差小於某個常數d時，考慮以下檢定:H0:lambda2-lambda1<=d與H0:lambda2-lambda1>d，對於此問題可以使用的檢定方法有Przyborwski和Wilenski(1940)提出的條件檢定（Conditional test,C-test）或K.Krishnamoorthy與Jessica Thomson(2002)提出的精確性檢定（Exact test,E-test），其中的精確性檢定為一個非條件檢定（Unconditional Test）；K.Krishnamoorthy與Jessica Thomson比較條件檢定與精確性檢定的p-value皆小於顯著水準(apha)，而精確性檢定的檢定力不亞於條件檢定，因此精確性檢定比條件檢定更適合上面所述之假設問題。 Roger L.Berger（1996）提出一個以信賴區間的p-value所建立的較強力檢定，而目前只用於檢定兩二項分配（Binomial Distribution）的機率參數p是否相同為例，然而Berger在文中提到，較強力檢定比非條件檢定有更好的檢定力，而且要求的計算時間較少，可以提升檢定的效率。 本篇論文我們希望在固定apha與d時檢定的問題，建立一個兩波松分配均數顯著水準為apha的較強力檢定。 利用Roger L.Berger與Dennis D.Boos(1994)提出以信賴區間的p-value方法，建立波松分配兩兩母均數差的較強力檢定；研究發現此較強力檢定與精確性檢定的p-value皆小於apha，然而我們的檢定的檢定力皆不亞於精確性檢定所計算得出的檢定力，然而其apha及虛無假設皆需要善加考慮以本篇研究來看，當檢定為單尾檢定時，若apha<0.01，我們的較強力檢定沒有辦法找到比精確性檢定更好地拒絕域，換言之，此時較強力檢定與精確性檢定的檢定力將會相等。 / Poisson Distribution is used to calculate the probability of a certain phenomenon which attracted by researcher. If we want to test two random variable in an experiment .Therefore ,let X={(X1,X2)} be independent samples ,respectively ,from Poisson distribution ,also X(i,1),X(i,2),...,X(i,ni)~Poisson(lambda(i)),i=1,2. The problem of interest here is to test: H0:lambda2-lambda1<=d and H0:lambda2-lambda1>d, where 0<apha<1/2 ,and let Y1 equals sum of X1 and Y2 equals sum of X2, where apha ,lambda,d be fixed. In this problem of hypothesis testing about two Poisson means is addressed by the conditional test.However ,the exact method of testing based on the test statistic considered in K.Krishnamoorthy,Jessica Thomson(2002) also commonly used. Roger L.Berger ,Dennis D.Boos(1994) give a new way to calculate p-value,which replace the old method ,called it a valid p-value .In 1996, Roger L.Berger used the new way to propose a new test for two parameter of binomial distribution which is more powerful than exact test. In the other hand, Roger L.Berger also explain the unconditional test is more suitable than the conditional test. In this paper,we propose a new method for two parameter of Poisson distribution which revise from Roger L.Berger’s method. The result we obtain that our new test is really get a much bigger rejection region.We found when the fixed increasing ,the set of more powerful test increasing, and when the fixed power increasing ,the required sample size decreasing.

Ideal prostheses are defined as artificial limbs that would permit physically impaired individuals freedom of movement and independence rather than a life of disability and dependence. Current lower limb prostheses range from a single mechanical revolute joint to advanced microprocessor controlled mechanisms. Despite the advancement in technology and medicine, current lower limb prostheses are still lacking an actuation element, which prohibits patients from regaining their original mobility and improving their quality of life. This thesis aims to design and test a Pneumatic Artificial Muscle that would actuate lower limb prostheses. This would offer patients the ability to ascend and descend stairs as well as standing up from a sitting position. A comprehensive study of knee biomechanics is first accomplished to characterize the actuation requirement, and subsequently a Pneumatic Artificial Muscle design is proposed. A novel design of muscle end fixtures is presented which would allow the muscle to operate at a gage pressure surpassing 2.76 MPa (i.e. 400 psi) and yield a muscle force that is at least 3 times greater than that produced by any existing equivalent Pneumatic Artificial Muscle. Finally, the proposed Pneumatic Artificial Muscle is tested and validated to verify that it meets the size, weight, kinetic and kinematic requirements of human knee articulation.

In this paper, we will investigate the important properties of three major parts of statistical inference: point estimation, interval estimation and hypothesis testing. For point estimation, we consider the two methods of finding estimators: moment estimators and maximum likelihood estimators, and three methods of evaluating estimators: mean squared error, best unbiased estimators and sufficiency and unbiasedness. For interval estimation, we consider the the general confidence interval, confidence interval in one sample, confidence interval in two samples, sample sizes and finite population correction factors. In hypothesis testing, we consider the theory of testing of hypotheses, testing in one sample, testing in two samples, and the three methods of finding tests: uniformly most powerful test, likelihood ratio test and goodness of fit test. Many examples are used to illustrate their applications.