Ion beam, focused ion beam, and plasma discharge machining

Non-conventional methods of machining are used for many engineering applications where the traditional processes fail to be cost-effective. Such processes include Ion Beam Machining (IBM), focused ion beam (FIB) machining and plasma discharge machining. The mechanisms of material removal and associated hardware and software developed for industrial applications of these fascinating electro-physical and chemical machining processes are reviewed together with the latest research findings. © 2009 CIRP.

保安湖扁担塘螺类生产力的研究 Ⅲ.长角涵螺的周年生产量

采用三种方法对扁担塘长角涵螺的周年生产量进行了测算 ,结果表明 ,三种方法得到的生产量及P/B系数吻合较好。生产量的带壳湿重和去壳干重分别是 :体长频率法 ,2 .0 88g·m 2 ·a 1 ,0 .1 0 3g·m 2 ·a 1 ;Allen曲线法 ,2 .1 2 2g·m 2 ·a 1 ,0 .1 0 6g·m 2 ·a 1 ;瞬时生长率法 ,2 .2 73g·m 2 ·a 1 ,0 .1 1 4g·m 2 ·a 1 。对应的P/B系数为 4.3 ,4.3 ,4.0。

Anxiety reduction through detachment: subjective, physiological, and neural effects.

The ability to volitionally regulate emotions helps to adapt behavior to changing environmental demands and can alleviate subjective distress. We show that a cognitive strategy of detachment attenuates subjective and physiological measures of anticipatory anxiety for pain and reduces reactivity to receipt of pain itself. Using functional magnetic resonance imaging, we locate the potential site and source of this modulation of anticipatory anxiety in the medial prefrontal/anterior cingulate and anterolateral prefrontal cortex, respectively.

扁担塘螺类生产力的研究Ⅱ.纹沼螺的周年生产量

采用四种方法对扁担塘纹沼螺的周年生产量进行了测算 ,结果表明 ,四种方法得到的生产量吻合极好。生产量的去壳干重和带壳湿重分别是 :体长频度法 ,1 78.0 7mg·m- 2 ·a- 1 ,4998.40mg·m- 2 ·a- 1 ;减员累计法 ,1 74.50mg·m- 2 ·a- 1 ,4898.2 0mg·m- 2 ·a- 1 ;Allen曲线法 ,1 74 50mg·m- 2 ·a- 1 ,4898.2 0m- 2 ·a- 1 ;瞬时生长率法 ,1 78.1 4mg·m- 2 ·a- 1 ,50

中国轮藻新植物和新记录

本文报道了轮藻科1新种、2新变种及4个中国新记录:不等丽藻 Nitella inaequabilis sP.nov,分叉丽藻齿网变种N.furcata var.dentireticulata var.nov.;普生轮藻等苞变种 Chara vulgaris var.aequibracteata var.nov.;裂顶丽藻 Nitella partita Nordst.;过渡丽藻N.transilis T.F.Allen;布洛丽藻 N.blowiana J.Grove;娇小丽藻 N.pulchella T.

An automata theoretic decision procedure for the propositional mu-calculus

The propositional mu-calculus is a propositional logic of programs which incorporates a least fixpoint operator and subsumes the propositional dynamic logic of Fischer and Ladner, the infinite looping construct of Streett, and the game logic of Parikh. We give an elementary time decision procedure, using a reduction to the emptiness problem for automata on infinite trees. A small model theorem is obtained as a corollary.

Miscibility and crystallization of poly(beta-hydroxybutyrate)/poly(vinyl acetate-co-vinyl alcohol) blends

Poly(vinyl acetate-co-vinyl alcohol) copolymers (P(VAc-co-VA)) were synthesized by hydrolysis-alcoholysis of PVAc. The miscibility, crystallization, and morphology of poly(P-hydroxybutyrate) (PHB) and P(VAc-co-VA) blends were studied by differential scanning calorimetry, optical microscopy (OM), and SAXS. It is found that the P(VAc-co-VA)s with vinyl alcohol content of 9, 15, and 22 mol % will form a miscible phase with the amorphous part of PHB in the solution-cast samples. The melting-quenched samples of PHB/P(VAc-co-VA) blends with different vinyl alcohol content show different phase behavior. PHB and P(VAc-co-VA9) with low vinyl alcohol content (9% mel) will form a miscible blend in the melt state. PHB and P(VAc-co-VA15) with 15 mol % vinyl alcohol will not form miscible blends while PHB/P(VAc-co-VA15) blend with 20/80 composition will form a partially miscible blend in the melt state. PHB and P(VAc-co-VA22) with 22 mol % vinyl alcohol are not miscible in the whole composition range. The single glass transition temperature of the blends within the whole composition range suggests that PHB and P(VAc-co-VA9) are totally miscible in the melt. The crystallization kinetics was studied from the whole crystallization and spherulite growth for the miscible blends. The equilibrium melting point of PHB in the PHB/P(VAc-co-VA9) blends, which was obtained from DSC results using the Hoffman-Weeks equation, decreases with the increase in P(VAc-co-VA9) content. The negative value of the interaction parameter determined from the equilibrium melting point depression supports the miscibility between the components. The kinetics of spherulitic crystallization of PHB in the blends was analyzed according to nucleation theory in the temperature range studied in this work. The best fit of the data to the kinetic theory is obtained by employing WLF parameters and the equilibrium melting points obtained by DSC. The addition of P(VAc-co-VA) did not affect the crystalline structure of PHB, as shown by the WAXD results. The long periods of blends obtained from SAXS increase with the increase in P(VAc-co-VA) content. It indicates that the amorphous P(VAc-co-VA) was rejected to interlamellar phase corporating with the amorphous part of PHB.

Chromosome segregation in fertilized eggs from triploid Pacific oysters, Crassostrea gigas (Thunberg), following inhibition of polar body 1

Chromosome segregation in fertilized eggs from triploid Pacific oysters, following inhibition of the first polar body (PB1), was studied with acetic orcein staining techniques. To block the release of PB1, fertilized eggs were treated with 0.5 mg/l of cytochalasin B (CB). Four types of segregation were observed, namely, ''tripolar segregation'' (54.5%), ''united bipolar segregation'' (12%), ''separated bipolar segregation'' (2.5%), and ''incomplete united bipolar segregation'' (4%). The remaining 23% could not be classified because of chromosome disorganization, but appeared to be variants of the above. It seemed clear that the predominant pattern that gave rise to tetraploids was united bipolar segregation, although certain separated bipolar segregations might also lead to the formation of tetraploids. The sequential events of meioses observed in CB-treated eggs are described. The asynchrony of meiotic events and possible mechanisms for the various types of chromosome segregation are discussed.

中国企业员工组织承诺研究

The research objectives were to investigate the psychological structure of employees' organizational commitments(OCs), and its antecedents, and to examine the relative effects of employees' OCs to their performances. In order to deeply uncover the nature of OCs, some standard methods, such as in-depth interview, focus-group, semi-open questionnaire, standard questionnaire etc., were employed. In data analysis, not only some common statistical methods, such as multivariate analysis of variance, cross-table analysis, factor analysis, but also some forefront ones, such as confirmatory factor analysis and path analysis of SEM, were used. The paper covers six chapters: 1) In the first chapter, Firstly some previous empirical studies, which examined structures, antecedents, correlates, and/or consequences of organizational commitment in China and Western countries, were summarized. This summary covers most of the respectable researchers' works of this field, such as H.S.Becker, B.Buchanan, L.W.Porter, G. Ritzer, H.M.Trice, J.A.Alutto, L.G.Hrebiniak, R.T.Mowday, J.P.Meyer, N.J.Allen, G.W.McGee, R.C.Ford, R.Eisenberger, etc. Then three theoretical hypothesis were put forward as following: ① In China, OCs should be multidimensional psychological structures, which means there should exist more than one type of OCs; ② There should be some different antecedents to different OCs; ③ Employees with different types of OC should perform differently in their works. Finally the theoretical and practical significance were discussed. 2) In the second chapter, great efforts were made to investigate the OC types. Firstly, in-depth interview with managers and employees, semi-open questionnaire, and some other methods were used in the pilot research to gather much qualitative material. Then OC questionnaire was designed to get quantitative data in about 20 enterprises, including state-owned, collective-owned, wholly foreign-funded, and joint-ventures. During revising of this questionnaire, there were about 5000 samples surveyed. after factor analysis, the data shows that there should be 5 types of OCs in China, which were respectively named as Affective Commitment, Normative commitment, Ideal Commitment, Economic Commitment, Choice Commitment. Thirdly, confirmatory factor analysis method was used to successfully confirm this 5-factor model. Finally, Cronbach a and test-retest correlate indicate that this questionnaire is reliable. Since factor analysis result has show its construct validity, a simple criterion-related validity research was conducted. 3) In order to investigate the correlation between different OC and employee performance and different antecedents of OC, 5 other questionnaires, such as Employee Satisfaction Questionnaire, Perceived Organizational Support Questionnaire, Social Exchange Questionnaire, Altruism Scale, and Leader Confidence Scale were revised in the third chapter. 4)In the fourth chapter, a lot of correlates, cross-table analysis were conducted to show the correlation between different OCs and 10 performances, which indicate employees with different OCs will show different performance in 10 variables, such as altruism, etc. 5) In the fifth chapter, correlate analysis, multivariate of analysis, and path analysis of SEM were used to investigate the antecedents of OC. A satisfactory model showing the correlation between OC and their antecedents was confirmed. 6) In the last chapter, all researches about OC, and its limitations were summarized.

Quantitative Inference in a Mechanical Design Compiler

This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from predefined catalogs for the optimal selection of components implementing the design. It thus provides the designer with a high level "language" in which to compose new designs, then performs some of the detailed design process for him. The program is based on a formalization of quantitative inferences about hierarchically organized sets of artifacts and operating conditions, which allows design compilation without the exhaustive enumeration of alternatives.

Tense, Aspect and the Cognitive Representation of Time

This paper explores the relationships between a computation theory of temporal representation (as developed by James Allen) and a formal linguistic theory of tense (as developed by Norbert Hornstein) and aspect. It aims to provide explicit answers to four fundamental questions: (1) what is the computational justification for the primitive of a linguistic theory; (2) what is the computational explanation of the formal grammatical constraints; (3) what are the processing constraints imposed on the learnability and markedness of these theoretical constructs; and (4) what are the constraints that a linguistic theory imposes on representations. We show that one can effectively exploit the interface between the language faculty and the cognitive faculties by using linguistic constraints to determine restrictions on the cognitive representation and vice versa. Three main results are obtained: (1) We derive an explanation of an observed grammatical constraint on tense?? Linear Order Constraint??m the information monotonicity property of the constraint propagation algorithm of Allen's temporal system: (2) We formulate a principle of markedness for the basic tense structures based on the computational efficiency of the temporal representations; and (3) We show Allen's interval-based temporal system is not arbitrary, but it can be used to explain independently motivated linguistic constraints on tense and aspect interpretations. We also claim that the methodology of research developed in this study??oss-level" investigation of independently motivated formal grammatical theory and computational models??a powerful paradigm with which to attack representational problems in basic cognitive domains, e.g., space, time, causality, etc.

Syntax-Based Analytic Reading of Musical Scores

As part of a larger research project in musical structure, a program has been written which "reads" scores encoded in an input language isomorphic to music notation. The program is believed to be the first of its kind. From a small number of parsing rules the program derives complex configurations, each of which is associated with a set of reference points in a numerical representation of a time-continuum. The logical structure of the program is such that all and only the defined classes of events are represented in the output. Because the basis of the program is syntactic (in the sense that parsing operations are performed on formal structures in the input string), many extensions and refinements can be made without excessive difficulty. The program can be applied to any music which can be represented in the input language. At present, however, it constitutes the first stage in the development of a set of analytic tools for the study of so-called atonal music, the revolutionary and little understood music which has exerted a decisive influence upon contemporary practice of the art. The program and the approach to automatic data-structuring may be of interest to linguists and scholars in other fields concerned with basic studies of complex structures produced by human beings.