模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

从《苏菲的世界》看哲学教学的趣味性--兼论哲学通俗化的二重根

哲学绝不能忽视趣味性的营造 ,尤其是在哲学教学中 ,《苏菲的世界》为我们提供了很好的借鉴。而哲学通俗化的根据有两个 :内在启蒙的需要和市场机制的调节。     

特定最大功率传输问题探讨

本文通过理论计算给出几种特定情况下的功率传输问题。     

计算学科中的实验体系

本文讨论了计算学科中的实验体系,阐述了建立实验体系的框架,进入实验规划和实施方案和内容,讨论了实验改革和创新的思路,以及建立软件实验、虚拟实验的探索和建立移动实验室的构想。     

Ruin Probability with Variable Premium Rate and Disturbed by Diffusion in a Markovian Environment

We consider a risk model with a premium rate which varies with the level of free reserves. In this model, the occurrence of claims is described by a Cox process with Markov intensity process, and the influence of stochastic factors is considered by adding a diffusion process. The integro-differential equation for the ruin probability is derived by a infinitesimal method.     

Newton's Easy Quadratures ``Omitted for the Sake of Brevity'

In the 1687 Principia, Newton gave a solution to the direct problem (given the orbit and center of force, find the central force) for a conic-section with a focal center of force (answer: a reciprocal square force) and for a spiral orbit with a polar center of force (answer: a reciprocal cube force). He did not, however, give solutions for the two corresponding inverse problems (given the force and center of force, find the orbit). He gave a cryptic solution to the inverse problem of a reciprocal cube force, but offered no solution for the reciprocal square force. Some take this omission as an indication that Newton could not solve the reciprocal square, for, they ask, why else would he not select this important problem? Others claim that ``it is child's play' for him, as evidenced by his 1671 catalogue of quadratures (tables of integrals). The answer to that question is obscured for all who attempt to work through Newton's published solution of the reciprocal cube force because it is done in the synthetic geometric style of the 1687 Principia rather than in the analytic algebraic style that Newton employed until 1671. In response to a request from David Gregory in 1694, however, Newton produced an analytic version of the body of the proof, but one which still had a geometric conclusion. Newton's charge is to find both ``the orbit' and ``the time in orbit.' In the determination of the dependence of the time on orbital position, t(r), Newton evaluated an integral of the form ∫dx/x <sup>n</sup> to calculate a finite algebraic equation for the area swept out as a function of the radius, but he did not write out the analytic expression for time t = t(r), even though he knew that the time t is proportional to that area. In the determination of the orbit, θ (r), Newton obtained an integral of the form ∫dx/√(1−x<sup>2</sup>) for the area that is proportional to the angle θ, an integral he had shown in his 1669 On Analysis by Infinite Equations to be equal to the arcsin(x). Since the solution must therefore contain a transcendental function, he knew that a finite algebraic solution for θ=θ(r) did not exist for ``the orbit' as it had for ``the time in orbit.' In contrast to these two solutions for the inverse cube force, however, it is not possible in the inverse square solution to generate a finite algebraic expression for either ``the orbit' or ``the time in orbit.' In fact, in Lemma 28, Newton offers a demonstration that the area of an ellipse cannot be given by a finite equation. I claim that the limitation of Lemma 28 forces Newton to reject the inverse square force as an example and to choose instead the reciprocal cube force as his example in Proposition 41. (Received August 14, 2002) Published online March 26, 2003 Communicated by G. Smith     

不对称D—A反应区域选择性及其理论解析

本文以教学研究为基础,系统研究不对称D—A反应区域选译性规律,并运用前线分子轨道理论,采用图解量子化学方法予以理论解析。     

Fe_3Al的抗高温氧化和耐热腐蚀性能

在７００℃与８５０℃的高温下，Ｆｅ＿３Ａｌ金属间化合物表面形成了Ａｌ＿２Ｏ＿３保护膜，使其抗氧化性能远优于不妨钢，２％Ｃｒ（原子百分比）加入Ｆｅ＿３Ａｌ会导致氧化过程初期氧化速率的增高，在熔融的硫酸盐和高压锅炉的烟气中，Ｆｅ＿３Ａｌ的耐热腐蚀性能优于高温合金ＧＨ１３２．     

STABILITY CRITERIA FOR A CLASS OF UNCERTAINSYSTEMS WITH TIME—DELAY

Some stability criteria are obtained for a class of uncertain systems with time-delay usingLyapunov functional and analytic techniques. It is easy to check the criteria by making use of theboundedness of the uncertainties.     

Technical Notes ：STUDIES ON THE VALUE OF SECONDARY MARKET TO THE SUPPLY CHAIN

This paper investigates the impact of a secondary market, where retailers can buy and sell excessinventories, on the supply chain. We develop a two-period model with a single manufacturer and tworetailers. At the beginning of the first period the retailers order and receive products from themanufacturer, but at the beginning of the second period, they can trade surplus products betweenthemselves in the secondary market. We investigate the impact of the correlated dependence ofretailers' demand on both the quantity effect and the allocation effect under the secondary market.Lastly,we study potential strategies for the manufacturer to increase sales with the existence of thesecondary market.