定积分公式及其应用

列举定积分计算的一些常用公式,实例说明它们在一此特殊函数求定积分计算方面的应用.     

浅谈对称性在积分计算中的应用

本文讨论对称性在积分计算中的一些灵活运用.     

Maple数学软件包中的积分问题

本文指出了 Maple数学软件包在一些积分计算上的错误 ,并从数学的角度分析了产生这种错误的原因 ,阐述了数学知识在正确使用数学软件包方面的重要性     

谈微积分在物理学中的应用

本文通过几个典型物理习题，着重说明在应用微积分原理和方法计算物理问题时应注意的一些问题．     

关于积分不等式的几种证明方法

通过实例分别介绍利用函数单调性、最值、微分中值定理、凸函数、定积分的性质、基本不等式、幂级数展开式来证明积分不等式的一些方法．     

泛函积分方程的正解与应用

运用锥拉伸与压缩不动点定理,研究一类泛函积分方程的正解．把所得结果应用于研究常微分方程积分边值问题正解的存在性,所得结果推广和本质上改进了马如云等作者最近的一些结果．     

通量与环量在曲面和曲线积分计算中的应用

利用通量与环量“矢量内积”形式的定义,探讨了它们在曲面和曲线积分计算中的一些应用     

Banach空间中非线性Volterra积分方程及其应用

本文以非紧致测度为工具研究了Banach空间中的非线性Volterra积分方程,我们得到一些存在性定理,其实质是取消了核函数的一致连续性。我们也得到解集对参数的上半连续依赖性的结果。最后,利用所得结果我们给出了一个半线性发展方程的mild解的存在性。     

关于用定积分求解实际问题的方法讨论

本文给出了将部分重积分问题转化为定积分求解的一些推论，讨论了应用中运用“微元法”解决实际问题的方法。     

定积分的简化计算

通过改变被积函数形式实现定积分计算简化。即通过变量代换,将对被积函数为f（x）的定积分转化为对被积函数为f（x）＋f（a＋b-x）的定积分,从而使得一些定积分的计算过程得以简化,黄给出几种推广形式．     

Staircase transportation problems with superadditive rewards and cumulative capacities

A cumulative-capacitated transportation problem is studied. The supply nodes and demand nodes are each chains. Shipments from a supply node to a demand node are possible only if the pair lies in a sublattice, or equivalently, in a staircase disjoint union of rectangles, of the product of the two chains. There are (lattice) superadditive upper bounds on the cumulative flows in all leading subrectangles of each rectangle. It is shown that there is a greatest cumulative flow formed by the natural generalization of the South-West Corner Rule that respects cumulative-flow capacities; it has maximum reward when the rewards are (lattice) superadditive; it is integer if the supplies, demands and capacities are integer; and it can be calculated myopically in linear time. The result is specialized to earlier work of Hoeffding (1940), Fréchet (1951), Lorentz (1953), Hoffman (1963) and Barnes and Hoffman (1985). Applications are given to extreme constrained bivariate distributions, optimal distribution with limited one-way product substitution and, generalizing results of Derman and Klein (1958), optimal sales with age-dependent rewards and capacities.To our friend, Philip Wolfe, with admiration and affection, on the occasion of his 65th birthday.Research was supported respectively by the IBM T.J. Watson and IBM Almaden Research Centers and is a minor revision of the IBM Research Report [6].     

Market-based pricing in grids: On strategic manipulation and computational cost

Grid technologies and the related concepts of utility computing and cloud computing enable the dynamic sourcing of computer resources and services, thus allowing enterprises to cut down on hardware and software expenses and to focus on key competencies and processes. Resources are shared across administrative boundaries, e.g. between enterprises and/or business units. In this dynamic and inter-organizational setting, scheduling and pricing become key challenges. Market mechanisms show promise for enhancing resource allocation and pricing in grids. Current mechanisms, however, are not adequately able to handle large-scale settings with strategic users and providers who try to benefit from manipulating the mechanism. In this paper, a market-based heuristic for clearing large-scale grid settings is developed. The proposed heuristic and pricing schemes find an interesting match between scalability and strategic behavior.     

The dynamics of athletic performance,fitness and fatigue

We provide a mathematical dynamic model of athletic performance, fitness and fatigue based on the two well-known principles ‘train to failure’ and ‘use it or lose it’. The anabolic and catabolic processes are modelled with differential equations. Fitness is defined as muscle fitness. We model the work power of any muscle or set of muscles, and the muscle's maximum work power. Parameters are estimated and we present analytical and numerical results. The relationships between performance, fitness and fatigue are demonstrated for various activity scenarios. For example, the model quantifies the exact manner in which the optimal rest period can be determined to maximize the performance on a given day. The model provides realistic predictions, and constitutes a powerful tool which describes the processes by which performance, fitness and fatigue can be regulated and controlled.     

A system-theoretic model for cooperation, interaction and allocation

A system-theoretic approach to cooperation, interaction and allocation is presented that simplifies, unifies and extends the results on classical cooperative games and their generalizations. In particular, a general Weber theory of linear values is obtained and a new theory for local cooperation and general interaction indices is established. The model is dynamic and based on the notion of states of cooperation that change under actions of agents. Careful distinction between “local” states of cooperation and general “system” states leads to a notion of entropy for arbitrary non-negative and efficient allocations and thus to a new information-theoretic criterion for fairness of allocation mechanisms. Shapley allocations, for instance, are exhibited as arising from random walks with maximal entropy. For a large class of cooperation systems, a characterization of game symmetries in terms of λ-values is given. A concept for cores and Weber sets is proposed and it is shown that a Weber set of a game with selection structure always contains the core.     

供应中断风险下采购与定价决策分析

供应中断是供应链上的企业可能面临的问题,运用合理的采购策略可以帮助企业有效缓解供应中断风险。本文研究了供应中断下供应商和制造商之间的纵向竞争和两个制造商之间的横向竞争问题。供应商制定批发价,两个制造商采用不同的采购策略进行产量博弈,其中一个制造商采用紧急双源订货策略,另一个采用可靠单源订货策略。论文采用了多阶段博弈模型,分析了制造商之间的合谋与竞争两种行为,求出了供应商和制造商的最优决策,比较了这两种行为对供应商和制造商的影响。通过数值分析,讨论了成本参数和可靠性参数对于最优订货量的影响以及对于采用不同订货策略的制造商期望利润的影响。     

Mathematical literacy in undergraduates: role of gender,emotional intelligence and emotional self-efficacy

This empirical study explores the roles that Emotional Intelligence (EI) and Emotional Self-Efficacy (ESE) play in undergraduates’ mathematical literacy, and the influence of EI and ESE on students’ attitudes towards and beliefs about mathematics. A convenience sample of 93 female and 82 male first-year undergraduates completed a test of mathematical literacy, followed by an online survey designed to measure the students’ EI, ESE and factors associated with mathematical literacy. Analysis of the data revealed significant gender differences. Males attained a higher mean test score than females and out-performed the females on most of the individual questions and the associated mathematical tasks. Overall, males expressed greater confidence in their mathematical skills, although both males’ and females’ confidence outweighed their actual mathematical proficiency. Correlation analyses revealed that males and females attaining higher mathematical literacy test scores were more confident and persistent, exhibited lower levels of mathematics anxiety and possessed higher mathematics qualifications. Correlation analyses also revealed that in male students, aspects of ESE were associated with beliefs concerning the learning of mathematics (i.e. that intelligence is malleable and that persistence can facilitate success), but not with confidence or actual performance. Both EI and ESE play a greater role with regard to test performance and attitudes/beliefs regarding mathematics amongst female undergraduates; higher EI and ESE scores were associated with higher test scores, while females exhibiting higher levels of ESE were also more confident and less anxious about mathematics, believed intelligence to be malleable, were more persistent and were learning goal oriented. Moderated regression analyses confirmed mathematics anxiety as a negative predictor of test performance in males and females, but also revealed that in females EI and ESE moderate the effects of anxiety on test performance, with the relationship between anxiety and test performance linked more to emotional management (EI) than to ESE.     

Semicorings and Semicomodules

In this paper, we introduce and investigate semicorings over associative semirings and their categories of semicomodules. Our results generalize old and recent ones on corings over rings and their categories of comodules. The generalization is not straightforward and even subtle at several places due to the nature of the base category of commutative monoids which is neither Abelian (not even additive) nor homological, and has no nonzero injective objects. To overcome these and other difficulties, a combination of methods and techniques from categorical, homological and universal algebra is used including a new notion of exact sequences of semimodules over semirings.     

数学在科学技术中的地位和作用

数学是一切科学的得力助手和工具,它有时由于其它科学的促进而发展,有时也超前发展,领先的发展最终定能获得应用.任何一门科学的发展若离开了数学,就不能准确地刻画客观事物变化的状态,更不能从已知推出未知,因而也就削弱了科学预见的可能性和精确度.如果没有数学对其它科学的渗透,也就不能使人类的认识真正上升为理性.     

On effectiveness of wiretap programs in mapping social networks

Snowball sampling methods are known to be a biased toward highly connected actors and consequently produce core-periphery networks when these may not necessarily be present. This leads to a biased perception of the underlying network which can have negative policy consequences, as in the identification of terrorist networks. When snowball sampling is used, the potential overload of the information collection system is a distinct problem due to the exponential growth of the number of suspects to be monitored. In this paper, we focus on evaluating the effectiveness of a wiretapping program in terms of its ability to map the rapidly evolving networks within a covert organization. By running a series of simulation-based experiments, we are able to evaluate a broad spectrum of information gathering regimes based on a consistent set of criteria. We conclude by proposing a set of information gathering programs that achieve higher effectiveness then snowball sampling, and at a lower cost. Maksim Tsvetovat is an Assistant Professor at the Center for Social Complexity and department of Public and International Affairs at George Mason University, Fairfax, VA. He received his Ph.D. from the Computation, Organizations and Society program in the School of Computer Science, Carnegie Mellon University. His dissertation was centered on use of artificial intelligence techniques such as planning and semantic reasoning as a means of studying behavior and evolution of complex social networks, such as these of terrorist organizations. He received a Master of Science degree from University of Minnesota with a specialization in Artificial Intelligence and design of Multi-Agent Systems, and has also extensively studied organization theory and social science research methods. His research is centered on building high-fidelity simulations of social and organizational systems using concepts from distributed artificial intelligence and multi-agent systems. Other projects focus on social network analysis for mapping of internal corporate networks or study of covert and terrorist orgnaizations. Maksim’s vita and publications can be found on Kathleen M. Carley is a professor in the School of Computer Science at Carnegie Mellon University and the director of the center for Compuational Analysis of Social and Organizational Systems (CASOS) which has over 25 members, both students and research staff. Her research combines cognitive science, social networks and computer science to address complex social and organizational problems. Her specific research areas are dynamic network analysis, computational social and organization theory, adaptation and evolution, text mining, and the impact of telecommunication technologies and policy on communication, information diffusion, disease contagion and response within and among groups particularly in disaster or crisis situations. She and her lab have developed infrastructure tools for analyzing large scale dynamic networks and various multi-agent simulation systems. The infrastructure tools include ORA, a statistical toolkit for analyzing and visualizing multi-dimensional networks. ORA results are organized into reports that meet various needs such as the management report, the mental model report, and the intelligence report. Another tool is AutoMap, a text-mining systems for extracting semantic networks from texts and then cross-classifying them using an organizational ontology into the underlying social, knowledge, resource and task networks. Her simulation models meld multi-agent technology with network dynamics and empirical data. Three of the large-scale multi-agent network models she and the CASOS group have developed in the counter-terrorism area are: BioWar a city-scale dynamic-network agent-based model for understanding the spread of disease and illness due to natural epidemics, chemical spills, and weaponized biological attacks; DyNet a model of the change in covert networks, naturally and in response to attacks, under varying levels of information uncertainty; and RTE a model for examining state failure and the escalation of conflict at the city, state, nation, and international as changes occur within and among red, blue, and green forces. She is the founding co-editor with Al. Wallace of the journal Computational Organization Theory and has co-edited several books and written over 100 articles in the computational organizations and dynamic network area. Her publications can be found at: http://www.casos.cs.cmu.edu/bios/carley/publications.php     

On the use of history of mathematics: an introduction to Galileo's study of free fall motion

In this paper, we report on an experimental activity for discussing the concepts of speed, instantaneous speed and acceleration, generally introduced in first year university courses of calculus or physics. Rather than developing the ideas of calculus and using them to explain these basic concepts for the study of motion, we led 82 first year university students through Galileo's experiments designed to investigate the motion of falling bodies, and his geometrical explanation of his results, via simple dynamic geometric applets designed with GeoGebra. Our goal was to enhance the students’ development of mathematical thinking. Through a scholarship of teaching and learning study design, we captured data from students before, during and after the activity. Findings suggest that the historical development presented to the students helped to show the growth and evolution of the ideas and made visible authentic ways of thinking mathematically. Importantly, the activity prompted students to question and rethink what they knew about speed and acceleration, and also to appreciate the novel concepts of instantaneous speed and acceleration at which Galileo arrived.