122,457 research outputs found
Wernya hamigigantea Xue, Yang & Han 2012
No full textWernya hamigigantea Xue, Yang & Han, 2012 Wernya hamigigantea Xue, Yang & Han, 2012: 350, 353, figs 1, 2, 7, 8. Type-locality: China, Hainan, Ledong. Holotype ♂ (IZCAS). Distribution. China (Hainan).Published as part of Jiang, Nan, Yang, Chao, Xue, Dayong & Han, Hongxiang, 2015, An updated checklist of Thyatirinae (Lepidoptera, Drepanidae) from China, with descriptions of one new species, pp. 1-48 in Zootaxa 3941 (1) on page 31, DOI: 10.11646/zootaxa.3941.1.1, http://zenodo.org/record/28820
Wernya cyrtoma Xue, Yang & Han 2012
No full textWernya cyrtoma Xue, Yang & Han, 2012 Wernya cyrtoma Xue, Yang & Han, 2012: 350, 355, figs 5, 6, 11, 12, 14. Type-locality: China, Fujian, Mt. Wuyi. Holotype ♂ (IZCAS). Distribution. China (Jiangxi, Fujian).Published as part of Jiang, Nan, Yang, Chao, Xue, Dayong & Han, Hongxiang, 2015, An updated checklist of Thyatirinae (Lepidoptera, Drepanidae) from China, with descriptions of one new species, pp. 1-48 in Zootaxa 3941 (1) on page 31, DOI: 10.11646/zootaxa.3941.1.1, http://zenodo.org/record/28820
DIETARY CONDITIONS AND DIFFERENTIAL ACCESS TO FOOD RESOURCES AMONG THE VARIOUS CLASSES DURING THE HAN PERIOD
Full text linkIn this thesis, I study how food resources and dietary conditions were determined by social and economic status during the Han period in China, B.C. 206~A.D.220. Even though earlier scholars have published research concerning the Chinese food culture of this period, these studies were limited in that they only illustrated the dietary culture of the upper class or the available food resources in one geographic area. Also, without any persuasive data, it has been assumed by these earlier scholars that there were big differences in food resources and food consumption between the upper and lower classes. In this thesis, for comparison among the classes, I divide the social and economic classes into five stratified groups: nobles, officials, peasants, soldiers and convicts. After a brief introduction of the nature of each social class, I examine the food resources and nutritional condition of each group using information such as the wealth and income of each group, the market price of food resources, the agricultural products of peasants, and the amount of food distribution to soldiers and convicts. I found these data from archaeological remains, received historical records and pictorial data, and excavated texts. This research shows a broader view of Chinese dietary condition focusing not only on the variety of food resources of nobles, but also on the different food accessibilities among the officials, and the food deficiencies of peasants. It also deals with the situations of food supply for soldiers and convicts in an effort to reveal the true dietary consumption and nutritional conditions for all Chinese. This research proves that the various classes during the Han period in China had different food resources and dietary conditions
Repairing CAD model errors based on the design history
No full textFor users of CAD data, few things are as frustrating as receiving unusable, poor quality data. Users often waste time fixing or rebuilding such data from scratch on the basis of paper drawings. While previous studies use the boundary representation (B-Rep) of CAD models, we propose an approach to repairing CAD model errors that is based on the design history. CAD model errors can be corrected by an interdependency analysis of the feature commands or of the parametric data of each feature command, as well as by a reconstruction of the feature commands through rule-based reasoning of an expert system. Unlike other correction methods based on B-Rep models, our method repairs parametric feature models without translating them to a B-Rep shape, and it also preserves parametric information. (c) 2006 Elsevier Ltd. All rights reserved.by the Korea Research Foundation Gran
Goal−directed Weakening of Abstract Interpretation Results
No full textOne proposal for automatic construction of proofs about programs is to combine Hoare logic and abstract interpretation. Constructing proofs is in Hoare logic. Discovering programs' invariants is done by abstract interpreters. One problem of this approach is that abstract interpreters often compute invariants that are not needed for the proof goal. The reason is that the abstract interpreter does not know what the proof goal is, so it simply tries to find as strong invariants as possible. These unnecessary invariants increase the size of the constructed proofs. Unless the proof-construction phase is notified which invariants are not needed, it blindly proves all the computed invariants. In this article, we present a framework for designing algorithms, called abstract-value slicers, that slice out unnecessary invariants from the results of forward abstract interpretation. The framework provides a generic abstract-value slicer that can be instantiated into a slicer for a particular abstract interpretation. Such an instantiated abstract-value slicer works as a postprocessor to an abstract interpretation in the whole proof-construction process, and notifies to the next proof-construction phase which invariants it does not have to prove. Using the framework, we designed an abstract-value slicer for an existing relational analysis and applied it on programs. In this experiment, the slicer identified 62%-81% of the computed invariants as unnecessary, and resulted in 52%-84% reduction in the size of constructed proofs.S. Seo and T. Han were supported by Korea Ministry of Information and Communication under the Information Technology Research Center support program, supervised by the Institute of Information Technology Assessment (IITA-2005-C1090-0502-0031). H. Yang was supported by EPSRC and the Basic Research Program of the Korea-Science & Engineering Foundation (grant No. R08-2003-000-10370-0). K. Yi was supported by Brain Korea 21 Project of Korea Ministry of Education and Human Resources, by IT Leading R&D Support Project of Korea Ministry of Information and Communication, by Korea Research Foundation grant KRF-2003-041-D00528, and by National Security Research Institute of Korea.
Callilanguria helleri Huang & Han & Yang 2018, sp. nov
No full textCallilanguria helleri Huang & Yang, sp. nov Fig. 6 Type material. Holotype: female (SNHCD ), “Pannay Capiz Jamindan coll. W. Schultze \ ♀ \ Callilanguria humeridens HK 1939 Typus \ Museum fur Tierkunde Dresden (MTD)”. Paratypes: 1 female and 2 males (SNHCD), with the same data as the holotype. Diagnosis. This new species resembles C. luzonica by the body size and color but can be distinguished easily by having a protrusion on each elytral humerus in both sexes. Description. Body length: 20.1–25.3 mm. Head black, pronotum red, legs black, and elytra dark green with metallic luster. Head large, finely punctured; eyes finely faceted; club composed of the last four antennomeres. Clypeus much broader than long. The left mandible of the female longer than the right, acute at apex. In the male, mandibles large but symmetric. Pronotum longer than broad, finely punctured; from dorsal view, lateral pronotal carina invisible at middle; basal margin of pronotum black; basal fovea of pronotum distinct, slightly extended; punctation near the base of pronotum a little coarser than that in the middle. Elytra long, tapering from base to apex; with a distinct tubercle near each elytral shoulder; apex of elytra truncated, with small denticles; sutural and outer angles acute, a little produced. Etymology. This species is named after Dr. Karl M. Heller due to his contribution to the genus Callilanguria. Distribution. Philippines: Jamindan. Remarks. The holotype has a red label with a handwritten name “ Callilanguria humeridens ” by Karl M. Heller, but we could not find it in the Zoological Record nor in any publication. Therefore, we are treating it as an unpublished manuscript name. There are four specimens deposited in SNHCD, including the holotype and three paratypes. Unfortunately, they are more or less damaged by pests and not amenable to dissection.Published as part of Huang, Zheng-Zhong, Han, Xin-Yu & Yang, Xing-Ke, 2018, A taxonomic review of the genus Callilanguria Crotch, 1876 (Coleoptera: Erotylidae: Languriinae), pp. 97-110 in Zootaxa 4446 (1) on page 101, DOI: 10.11646/zootaxa.4446.1.7, http://zenodo.org/record/143741
Characteristics of sense of cultural alienation for minority students living in Han nationality district
No full textThis study tests 678 minority students who living in the Han nationality district through the formal questionnaire “sense of cultural alienation”. Results showed that: (1) The main effects of the district are significant in the cultural alienation with its four dimensions. The main effects of the gender are significant in the sense of apart from culture and the sense of disharmonious. (2) The age by district interaction is significant, and the age by district and gender interaction is significant in cultural alienation. (3) The factor influencing the sense of cultural alienation is the variable of distric
FURTHER INVESTIGATION INTO EXTRUSION OF TROCOIDAL GEAR SECTIONS CONSIDERING 3-DIMENSIONAL PLASTIC-FLOW
No full textStatistical calibration and exact one-sided simultaneous tolerance intervals for polynomial regression
Full text linkStatistical calibration using linear regression is a useful statistical tool having many applications. Calibration for infinitely many future yy-values requires the construction of simultaneous tolerance intervals (STI’s). As calibration often involves only two variables xx and yy and polynomial regression is probably the most frequently used model for relating yy with xx, construction of STI’s for polynomial regression plays a key role in statistical calibration for infinitely many future yy-values. The only exact STI’s published in the statistical literature are provided by Mee et al. (1991) and Odeh and Mee (1990). But they are for a multiple linear regression model, in which the covariates are assumed to have no functional relationships. When applied to polynomial regression, the resultant STI’s are conservative. In this paper, one-sided exact STI’s have been constructed for a polynomial regression model over any given interval. The available computer program allows the exact methods developed in this paper to be implemented easily. Real examples are given for illustration
- …
