The function of graphs and gestures in algorithmatization

The purpose of this paper is to present evidence supporting the conjecture that graphs and gestures may function in different capacities depending on whether they are used to develop an algorithm or whether they extend or apply a previously developed algorithm in a new context. I illustrate these ideas using an example from undergraduate differential equations in which students move through a sequence of Realistic Mathematics Education (RME)-inspired instructional materials to create the Euler method algorithm for approximating solutions to differential equations. The function of graphs and gestures in the creation and subsequent use of the Euler method algorithm is explored. If students’ primary goal was algorithmatizing ‘from scratch’, they used imagery of graphing and gesturing as a tool for reasoning. However if students’ primary goal was to make predictions in a new context, they used their previously developed Euler algorithm to reason and used graphs and gestures to clarify their ideas.     

On the validity of the amphoteric-defect model in gallium arsenide and a criterion for Fermi-level pinning by defects

Using the theoretically calculated point-defect total-energy values of Baraff and Schlüter in GaAs, anamphoteric-defect model has been proposed by Walukiewicz to explain a large number of experimental results. The suggested amphoteric-defect system consists of two point-defect species capable of transforming into each other: the doubly negatively charged Ga vacancyV _Ga ^2– and the triply positively charged defect complex (AS_Ga+V _As)³⁺, with As_Ga being the antisite defect of an As atom occupying a Ga site andV _As being an As vacancy. When present in sufficiently high concentrations, the amphoteric defect systemV _Ga ^2– /(As_Ga+V _As)³⁺ is supposed to be able to pin the GaAs Fermi level at approximately theE _v +0.6 eV level position, which requires that the net free energy of theV _Ga/(As_Ga+V _As) defect system to be minimum at the same Fermi-level position. We have carried out a quantitative study of the net energy of this defect system in accordance with the individual point-defect total-energy results of Baraff and Schlüter, and found that the minimum net defect-system-energy position is located at about theE _v +1.2 eV level position instead of the neededE _v +0.6 eV position. Therefore, the validity of the amphoteric-defect model is in doubt. We have proposed a simple criterion for determining the Fermi-level pinning position in the deeper part of the GaAs band gap due to two oppositely charged point-defect species, which should be useful in the future.     

产生特殊聚焦图形的二元光学元件

通过面积编码将伽博（Gabor)波带片的透过率函数的余弦分布等效为二元分布，研制了能产生各种特殊聚焦图形的二元光学元件。根据透镜聚焦的物理原理制作的二元振幅型波带片可以方便地产生多种聚焦线，给出了相应的实验结果，并讨论了改善聚焦效果的优化条件。     

Whodunit? Exploring Proportional Reasoning Through the Footprint Problem

This paper describes a proportional reasoning problem set within a real‐life context and a complete analysis of one small group discussion of this problem over the course of a 90‐minute block. The seventh‐grade students' discourse is described to provide insights into typical mathematical interpretations of this problem, as well as some generalizations for other problems of this type. The interpretations provided reveal the gradual development of proportional reasoning in a local context from additive to multiplicative understandings.     

反向驱动的异质结有机薄膜电致发光

成功制备了结构为ITO／PDDOPV／PPQ／Al的异质结聚合物发光二极管。该器件在正反向偏压下均可发光。在正向偏压下的光发射主要来自PDDOPV，但在反向偏压下的光发射则包括来自PPQ的蓝光发射和PDDOPV的黄光发射。蓝光强度与黄光强度的比值随着反向偏压的增加而增加，当反向直流电压分别为22V、24V、26V、28V时，其电致发光光谱中PPQ与PDDOPV的峰高比IPPQ／IPDDOPV分别为1．092、1．329、1．605、2．046。换句话说，该器件的发光颜色是压控可调的，这对实现彩色显示是极为有利的。分析了在反向偏压下的发光机理以及IPPQ／IPDDOPV受电压控制的原因。     

Improved modeling and solution methods for the multi-resource routing problem

This paper presents modeling and solution method improvements for the Multi-Resource Routing Problem (MRRP) with flexible tasks. The MRRP with flexible tasks is used to model routing and scheduling problems for intermodal drayage operations in which two resources (tractors and trailers) perform tasks to transport loaded and empty equipment. Tasks may be either well defined, in which both the origin and the destination of a movement are given, or flexible, in which the origin or the destination is chosen by the model. This paper proposes methods to effectively manage the number of options considered for flexible tasks (either feasible origins for a known destination or feasible destinations for a known origin). This modeling change generates sufficient options to allow for low-cost solutions while maintaining reasonable computational effort. We also propose a new solution method that uses randomized route generation. Computational results from test cases show that these changes improve the quality of solutions by at least 5% in the test cases as compared to methods from previous studies.     

Horizontal Connection and Horizontal Mean Curvature in Carnot Groups

In this paper we give a geometric interpretation of the notion of the horizontal mean curvature which is introduced by Danielli Garofalo-Nhieu and Pauls who recently introduced sub- Riemannian minimal surfaces in Carnot groups. This will be done by introducing a natural nonholonomic connection which is the restriction （projection） of the natural Riemannian connection on the horizontal bundle. For this nonholonomic connection and （intrinsic） regular hypersurfaces we introduce the notions of the horizontal second fundamental form and the horizontal shape operator. It turns out that the horizontal mean curvature is the trace of the horizontal shape operator.     

A MINI MULTI-GAS DETECTION SYSTEM BASED ON INFRARED PRINCIPLE

To counter the problems of gas accidents in coal mines, family safety resulted from using gas, a new infrared detection system with integration and miniaturization has been developed. The infrared detection optics principle used in developing this system is mainly analyzed. The idea that multi gas detection is introduced and guided through analyzing single gas detection is got across. Through researching the design of cell structure, the cell with integration and miniaturization has been devised. The way of data transmission on Controller Area Network (CAN) bus is explained. By taking Single-Chip Microcomputer (SCM) as intelligence handling, the functional block diagram of gas detection system is designed with its hardware and software system analyzed and devised. This system designed has reached the technology requirement of lower power consumption, mini-volume, big measure range, and able to realize multi-gas detection.