CRF:A Scheduling of Multi-Granularity Locks in Object-Oriented Database Systems

1.INTRODUCTIONRecelltly,object-orienteddatabasesystem(OODB)hasbecomepopular,becausemailyadvanceddata-intensiveapplicationssuchasCAD/CAMandmultimediadatabaseshaveemployedthistechniqlle.Manypapershavediscussedaboutwhattheobject-orientedmeansandwhatanobject-orienteddatabaseisinreference[l~4].Anewtransactionmodelforobject-orienteddatabasesystemwasproposedinreference[sl.Itisclearthatobject-orienteddatabaseshavegreatpotentialtobeusedwidelybecauseoftheirobject-orienteddesignmodelandflexibled…     

一种含整数型两层决策问题的求解方法

本文利用拉格朗日松驰技巧为两层决策问题构造了简单的线性定界函数，针对上层决策变量为０－１变量的两层决策问题，提出了一种分枝定界算法。文中给出的算例说明了算法的有效性。     

企业危机预测与识别模型

针对当前大部分企业危机预警模型只能报警,不能预测的现状,提出一种基于指数平滑法与模式识别的预警模型。该方法首先对企业运营的单项特征指标进行预测,然后对预测结果模式识别分类,同时判断企业的危机状态。最后,用实例验证该模型的有效性。     

人民币收益率曲线构建研究

内部资金转移定价系统在一定程度上决定了国内商业银行未来竞争力，而收益率曲线的构建是其中的关键所在。但是由于国内金融市场的特殊性，缺乏可用的人民币收益率曲线，本文对这一重要问题进行了探讨。本文首先对相关文献和收益率曲线的应用进行了评述，在此基础上，提出了基于McCulloch模型的人民币收益率曲线构建的具体方法，并采用实际数据进行了检验。     

A Game Theory Approach of Deposit Insurance

1　IntroductionIn the European and American developed countries,there is an effective method to dealwith the deposit risk of the commerical bank— deposit insurance system ,which plays ansignificant role to protect the depositors′ interests,strengthens the supervision to thecommerical bank,keeps away and eliminates the deposit risk.Nowadays,China has notdistinctly founded such a system of deposit insurance.Generally speaking,eachcommerical bank,which is subordinated by the national central b…     

建设用地评价体系研究--以湖南为例

首先对湖南建设用地现状进行系统的分析，然后提出了评价指标体系和综合评价方法，并利用该指标体系对湖南建设用地进行了评价，以期为湖南土地利用的科学决策提供服务，同时为建设用地的现状评价提供思路。     

A FORMAL SYSTEMS APPROACH TO SOLVER DESIGN—HILL CLIMBING METHOD WITH PUSH DOWN STACK

This paper presents a formal approach to design of a solver of an intelligent managementinformation system and its implementation. The approach implies set theoretic modeling based on thegeneral systems concepts and implementation in the extProlog. There are research efforts which attack(optimization)problems using the set theory and logics.Furthermore, they use logic programming languages for their implementation. Although their methodslook quite similar to the approach of this paper, there are clear differences between them. This paper isinterested in exploration of the solving system rather than algorithms. The paper first presents a design and implementation procedure of a solver. Then, classificationof problems is discussed. The least structured class of the classification is the target of this paper. Adata mining system is an example of the class. Formal theories are derived for the design procedure assuming the least structured case. A solvingstrategy,which is called a hill climbing method with a     

The Vision Conference: Facilitating Creative Processes

This paper presents the principles behind the design and management of the Vision Conference: a one-day workshop in which a large group of participants meet to create ideas, projects, and visions for the future activities of a local community or an organization. A case study from a local community in Denmark is also presented to illustrate the organization, planning, and management of a Vision Conference. The paper focuses on the three central social processes of the conference: group work, problem solving, and facilitation. The paper ends with a discussion of creativity and creativity techniques suitable for Vision Conferences.     

基于小波有限元方法的复印纸张温度场仿真研究

复印机定影过程的温度场仿真研究对提高定影效果具有重要意义。由于定影过程温度场变化梯度大，用传统有限元分析时存在着明显的数值振荡，引起数值失真。本文利用Daubechies小波尺度函数，构造了适用于热传导问题分析的小波单元，对复印纸张复印过程的温度场变化进行了仿真研究，并与传统的有限元方法进行了比较，显示了小波单元对于大梯度问题分析的优越性，为了提高复印机的定影效果和改善复印机的性能研究提供了新方法。     

飞行器姿态控制系统的实时仿真模型

本文对飞行器姿态控制系统实时仿真模型提出一种构造方法。对于线性环节的传递函数的数字仿真给出小步合成方法，而对于非线性环节中的间断问题采用Ｈｏｗｅ的解析平均方法，并且估计解析平均方法的误差。这些方法的组合，得到非常有效的实时仿真模型。对于非常大的积分步长，它仍能得到很精确的结果。最后，应用单轴卫星姿态控制系统的例子来验证本文给出的构造方法的优良性能。     

探讨动态复杂网络的新途径

指出了BA模型分析过程的缺陷,考虑了复杂网络节点的到达时间间隔分布和寿命分布,将复杂网络与排队系统联系起来,从方法论上取得了突破,为复杂网络的研究提供了新途径.利用Markov链理论分析了G-M-P网络,获得了这类网络稳态度分布计算公式.     

Using the ‘Engagement’ Model of Problem Solving to Assist Students in Capstone Learning

The engagement model for problem solving was developed as a response to soft systems methodology being difficult to implement in certain circumstances. In the years since the original paper was published, the model has developed into an iterative problem solving approach for the assessment, creation and implementation of new ideas in difficult problem situations. This case study paper exemplifies the kind of work undertaken through the use of the model and provides a practical scenario for how one might apply it. The case study takes place in a higher education environment and relates to the development of a capstone course for management majors. The paper concludes with suggestions for future research.     

引黄入晋输水工程全系统运行仿真系统

按照引黄入晋输水工程对仿真的基本需求，提出引黄入晋输水工程全系统运行仿真系统总体方案。文中描述了这一仿真系统的基本结构及采用多ＰＣ机系统的计算机平台，并提出一种根据输水工程水力学特点的模块化设计方法。最后叙述了仿真系统的运行及多ＰＣ机的同步方法。     

带时间要求的物流作业集成优化分配方法

作业集成机制是物流中心降低运行成本的核心手段，论文基于活动集成和批量集成的概念，吸收置信区间的思想，建立带时间要求的物流中心作业集成优化分配模型，研究了模型变形、分解和利于作业集成的选择变量置换的试探途径，提出了获得模型初始可行解和优化分配方案的启发式方法，提出了模型分枝定界过程的若干性质和减枝规则，形成了适于模型的分枝定界法，数值计算结果证明了算法的有效性。     

Knowledge-scientific evaluation of community service systems

This paper proposes a knowledge-scientific approach to evaluation of community service systems from the viewpoints of knowledge creation, consciousness reform, and value co-creation. A concrete example of the community service system treated here is an education program for old men to find their reason for living after the retirement. After introducing this program and the traditional evaluation methods for such a program, the paper emphasizes the necessity of developing new evaluation methods for such a community service system based on knowledge science. The paper proposes a new evaluation framework and reports an actual evaluation result using the interview data from participants in that program.     

网络系统可靠度的BDD算法

ＢＤＤ是布尔函数的图形表示形式。提出了采用ＢＤＤ方法求解网络系统的不交化最小路集，从而直接计算网络系统的可靠度。算法为网络系统的可靠性分析提供了一种新的途径。最后给出了一个算例。     

不确定非线性时滞系统的鲁棒可靠控制

研究一类不确定非线性时滞系统的状态反馈鲁棒可靠控制问题。系统包含状态时滞、控制输入时滞、参数不确定性和未知的非线性扰动。目的是设计线性无记忆状态反馈控制器 ,使得对于任意容许的不确定性以及在一个预先指定的执行器子集合中执行器的失效 ,相应的闭环系统渐近稳定。最后给出一个数值例子验证了所给结果的有效性     

THE EFFECTS OF CHANGING MARGIN LEVELS ON FUTURES OPTIONS PRICE

The paper studies the effects of changing margin levels on the price of fixtures options and how to organize a market maker＇s position. Black model （1976） becomes a special case of this paper. The paper prices futures options by duplicating them and adopting the theory of Backward Stochastic Differential Equations （BSDEs for short）, Furthermore, the price of a futures option is the unique solution to a nonlinear BSDE.     

关于复杂性研究

首先介绍了复杂性研究的科学背景及其科学启示，然后把复杂性和复杂系统结合起来，从系统科学角度研究复杂性问题。本文着重阐述了研究复杂系统的方法统一－钱学森的从定性到定量综合集成方法，最后给出了利用综合集成方法解决复杂系统问题的实例。     

企业过程柔性的概念框架

主要研究企业过程的柔性问题，给出了柔性的一般性定义，并对企业过程柔性进行了分析，从系统的角度给出了柔性的形式化描述及其性质． 文章还进一步地提出了企业过程的固有柔性、运行柔性和柔性度等定量化的概念和测评方法，从而建立了评价企业过程柔性的概念框架． 最后进行了案例分析．