计算神经科学

计算神经科学是近三十年来出现的一个新兴交叉学科,它强调采用数学定量的方法,如数学建模、理论分析和数值模拟等来研究和解决神经科学中的重要科学问题,一方面神经科学实验现象为发展新的数学模型、理论和算法提供了基础,另一方面通过数学定量,能反过来揭示神经科学实验现象背后的数理机制,发现新的科学规律.随着欧盟、美国、日本和我国脑计划的陆续推出,对大脑的探索已成为重要的前沿科学领域,同时随着数据科学、机器学习等领域的兴起,研究如何借鉴大脑的工作原理来实现类脑计算以及人工智能也成为了世界大国科技竞争的战略制高点.鉴于此,计算神经科学作为连接大脑神经科学与类脑人工智能两大研究领域的桥梁,在前沿科学领域和国家战略需求中的地位变得越来越重要.计算神经科学研究领域的发展,对于推动神经科学与数学、物理、统计、计算机、人工智能等其他自然科学学科及工程应用学科之间的共进发展,以及综合利用不同学科的优势互补来取得从零到一的重要科学突破有着重大意义.     

信息与计算科学专业课程体系的改革

随着信息与计算科学专业的迅猛发展，其课程体系与专业发展的不适应性日益突出，课程体系的改革已势在必行。本文通过对信息与计算科学专业课程体系改革应遵循的基本原则的分析，提出了改革课程体系的具体方案，以加强对信息与计算科学专业建设的指导。     

符号和数值混合计算

符号计算和数值计算是两种不同的解决科学和技术发展中问题的计算方法.符号计算可以得到问题精确的完备解,但是计算量大且表达形式往往十分庞大;数值计算可以快速地处理很多实际应用中的问题,但是一般只能得到近似的局部解.特别地,数值计算处理病态问题时,收敛往往较慢且容易出错.着重介绍了符号计算和数值计算之间的密切联系,以及如何运用这两大领域的最新研究成果,探索和开发符号和数值混合计算算法和软件,使之兼备符号计算的完备化和数值计算的高效性.     

有限元近似可计算的误差界

本文研究了有限元近似可计算的误差界，利用“二次插值过渡”方法，获得二维线性、双线性有限元和三维三线性有限元的新的插值常数估计值．理论分析和数值实验表明该结果是有效的，发展了P．Arbenz等人的工作．     

地球物理正问题计算的小波方法

本将小波分析方法用于一类奇异积分方程的计算，建立了小波展开的非标准形式与标准形式转换关系，根据Mallat小波快速算法，设计了此类积分的计算算法，并通过实际例子验证了方法的有效性，计算具有速度快，运算量少的特点。     

特征向量计算的神经网络方法

矩阵特征向量计算在实际问题中有着广泛应用，本文采用神经网络计算方法来研究主元分析（ＰＣＡ）和次元分析（ＭＣＡ）问题．我们首先考虑神经元的情况（ｐ＝１），给出了求矩阵最大特征元和最小特征元的算法。然后对多神经元性形（ｐ〉１），给出了抽取矩阵主元和次元的算法．和目前许多元知的算法不一样，在我们ＰＣＡ的算法中发迹矩阵的负号就能够得到ＭＣＡ问题的解。     

浅谈平方数计算

笔者最近发现，平方数的计算，就是要看底数为几就用几个从1起按顺序排列的奇数相加之和。     

百分数的计算

在日常生活和工作中，百分数的应用是很广泛的，诸如储蓄利率、材料利用率、合格率、折旧率等，学会百分数的计算是十分必要的。     

关于复利率的连续计算方法——析国内外经管类数学教材中普遍存在的一种方法错误

高俊科．关于复利率的连续计算方法．数理统计与管理，１９９８，１７（２），３３～３４．本文分析了连续复利公式的形成背景，指出国内外经济、管理类数学教材中普遍存在的所谓复利率的连续计算的推导是错误的     

多边形重心计算释疑

多边形重心计算释疑张文忠（四川工业学院６１１７４４）求重心是一类常见的数学应用问题，但不只一次地见到一些资料上由于对多边形重心概念的误解而引出错误的结论．最近，本刊１９９５年第５期文［１］提出去年第６期文［２］求四边形重心的初等方法有误，笔者对比两文...     

Using box indices in supporting comparison in multiobjective optimization

Because of the conflicting nature of criteria or objectives, solving a multiobjective optimization problem typically requires interaction with a decision maker who can specify preference information related to the objectives in the problem in question. Due to the difficulties of dealing with multiple objectives, the way information is presented plays a very important role. Questions posed to the decision maker must be simple enough and information shown must be easy to understand. For this purpose, visualization and graphical representations can be useful and constitute one of the main tools used in the literature. In this paper, we propose to use box indices to represent information related to different solution alternatives of multiobjective optimization problems involving at least three objectives. Box indices are an intelligible and easy to handle way to represent data. They are based on evaluating the solutions in a natural and rough enough scale in order to let the decision maker easily recognize the main characteristics of a solution at a glance and to facilitate comparison of two or more solutions in an easily understandable way.     

Shifts of mathematical thinking in adolescence

This theoretical paper relates key features of the mathematics adolescents are expected to learn in school to other aspects of adolescent development. Difficulties in mathematical learning at that age include changes in perspective and in the actions that are mathematically productive. Commonly-recommended methods of trying to engage adolescents in mathematics do not necessarily enable students to shift to new perceptions and new ways of constructing mathematical understandings, yet the shifts students need to make are in accord with other aspects of adolescent development.     

Development of generalized Iwan model to simulate frictional contacts with variable normal loads

Most friction models are originally proposed to predict restoring forces in mechanical contacts with constant normal load. In practice the contact interface kinematics may involve normal motion in addition to the tangential displacements, leading to variation of the contact normal load. This phenomenon is observed most strongly in contacts with high lateral vibration amplitudes and is known as slap. The current study establishes a general friction model to account for variation in the normal load and enables one to predict the behavior of a contact more precisely. Iwan model (1966) [5] is a suitable candidate for contact interface modeling and is able to represent the stick-micro/macro slip behavior involved in a friction contact. This physical based model is employed in the current work and its physical parameters are generalized to include the normal load variation effects. The model is characterized by a slippage distribution density function and a linear stiffness at stick state. Both these parameters, defined in presence of constant normal load in the original model, are derived considering normal load variation leading to generalization of the contact model. Conventional models with constant normal loads produce symmetric contact interface hysteresis loops, but the developed generalized Iwan model is capable of generating asymmetric hysteresis loops similar to those frequently seen in experiments. The generalized contact model is employed to simulate the measured behavior of a beam with frictional support observed in an experimental test set-up. The contact slippage distribution function is first identified in a constant normal load condition. Next in low levels of contact preloads where variation of the normal load is significant, the identified distribution function in generalized form is employed to predict the experimental observations.     

Domestic petroleum-related expertise utilization and Nigeria's oil industry survival: A multicriteria decision analysis

Despite Nigeria's current economic crisis and the need to remove control structures which were originally designed to protect national interest so as to attract foreign investment in upstream activities of its oil sector, the notion of an indigenously controlled oil sector is still alive in the country. The current paper utilizes a multiperiod goal programming model to examine the effect the enforcement of Nigeria's Petroleum Decree on the utilization of domestic petroleum-related expertise would have on the survival of the multinational oil companies and, therefore, of the oil industry. The results indicate that there are some benefits to the nation in enforcing the Decree, but that to do so now will trigger a chain of events that will culminate in the demise of the oil industry. The results also highlight the danger in using legislation to regulate strategic industries and the role operational researchers can play in public policy design and decisions in the future.     

The use of the fractal model to complex resistivity in the interpretation of induced polarization data

Several researchers demonstrated that spectral parameters in induced polarization can be applied to discriminate different IP sources. In this paper it was applied an inversion procedure using the Gauss–Newton method to recover the spectral parameters of fractal model to complex resistivity. The finite element method was applied to carry out the forward modeling. The procedure was applied in synthetic data and simulations were carried out in five different frequencies. The inversion of the data were carried out in each frequency, further the inversion was applied also to each cell of the finite element mesh to recover the fractal parameter in order to analyze the possibility of using the fractal model parameters in the interpretation of the induced polarization response to this geological geometry. The results showed that the anomalies are well detected by the image of the fractal model parameters.     

Orlicz–Young Structures of Young Measures

The paper examines the integration of Young functions applied to Young measures and identifies Orlicz-like structures in the space of Young measures. In particular, a convergence intermediate between the weak convergence of measures and the variational norm is determined; it serves in the completion of the Orlicz space of functions when interpreted as degenerate Young measures. Partial linear operations are defined on Young measures with respect to which the linear operations in the Orlicz space of functions are continuously embedded in the space of Young measures. This leads to a definition of convexity-type structures in the space of Young measures via a limiting procedure. These structures enable applications of Young functions arguments to Young measures. Applications to optimal control and to well posedness of minimization in function spaces with respect to convex functions are provided.     

Generalized geometric programming applied to problems of optimal control: I. Theory

The interest in convexity in optimal control and the calculus of variations has gone through a revival in the past decade. In this paper, we extend the theory of generalized geometric programming to infinite dimensions in order to derive a dual problem for the convex optimal control problem. This approach transfers explicit constraints in the primal problem to the dual objective functional.The authors are indebted to the referees for suggestions leading to improvement of the paper.     

从反证法的渊源透视反证法教学难问题

反证法是数学中,尤其是高等数学中常用的一种证明方法.它是与直接证法相对的间接证法的一种.由于逻辑学中也存在同样的相关概念,所以分清反证法、归谬法以及反驳和证明之间的细微差别和联系很有必要.本文试图讲清这些概念,并指出反证法不但是最重要的证明方法,而且同其它的证明方法一样也是进行知识积累和科学发现的源泉.     

Academics’ perceptions of the use and relevance of software in quantitative and financial disciplines

Software may be used in university teaching both to enhance student learning of discipline-content knowledge and skills, and to equip students with capabilities that will be useful in their future careers. Although research has indicated that software may be used as an effective way of engaging students and enhancing learning in certain scenarios, relatively little is known about academic practices with regard to the use of software more generally or about the extent to which this software is subsequently used by graduates in the workplace. This article reports on the results of a survey of academics in quantitative and financial disciplines, which is part of a broader study also encompassing recent graduates and employers. Results indicate that a variety of software packages are in widespread use in university programmes in quantitative and financial disciplines. Most surveyed academics believe that the use of software enhances learning and enables students to solve otherwise intractable problems. A majority also rate spreadsheet skills in particular as very important for the employability of graduates. A better understanding of the use of software in university teaching points the way to how curricula can be revised to enhance learning and prepare graduates for professional work.     

The Effectiveness of Process‐Oriented Guided Inquiry Learning to Reduce Alternative Conceptions in Secondary Chemistry

A nonequivalent, control group design was used to investigate student achievement in secondary chemistry. This study investigated the effect of process‐oriented guided inquiry learning (POGIL) in high school chemistry to reduce alternate conceptions related to the particulate nature of matter versus traditional lecture pedagogy. Data were collected from chemistry students in four large high schools and were analyzed using analysis of covariance. The results show that POGIL pedagogy, as opposed to traditional lecture pedagogy, resulted in fewer alternate conceptions related to the particulate nature of matter. Male and female students in the POGIL group posted better posttest scores than their traditional group peers. African‐American and Hispanic students in the POGIL group exhibited achievement gains consistent with Caucasian and Asian students. Further studies are needed to determine the value of POGIL to address achievement gap concerns in chemistry.