关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

题库管理系统的设计

题库(ITEM BANK)是按照一定的教育测量理论，在计算机系统中实现的某个学科题目的集合．建立题库系统，计算机辅助教师命题组卷，是提高教学质量，实现测试手段现代化的有效途径．     

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.     

贸易信贷的或有债权分析

利用或有债权的模型分析买方公司的贸易信贷价值，分析表明，当买方公司已有不同的债务时，决定选择贸易信贷的价值不同，对公司产生的影响也不同．这对于买方公司决定是否选择使用贸易信贷这种方式提供了很大的帮助．     

马尔科夫人才规划模型与应用研究

介绍了马尔科夫人才规划模型，提供了一种可以用来进行组织的内部人力资源供给预测的方法，其基本思想是找出过去人事变动的规律，以此来推测未来的人事变动趋势．这一方法不仅可以处理员工类别单一的组织中人力供给的预测问题，也可以解决员工类别复杂的大型组织中的内部人力供给预测。     

岩爆的力学模型及物理数值模拟述评

结合现有的岩爆研究情况，对岩爆发生机制的力学模型以及在室内实验和数值模拟方面所做的工作进行总结，介绍可资岩爆借鉴的研究领域，提出岩爆的研究方向。     

社会生命系统的宏观序结构模型分析

讨论了仿生学方法在社会生命系统的宏观序结构模型中的应用 ,分析了社会生命系统的宏观动力结构 ,为复杂社会系统宏观控制的研究提出了一个可供参考的理论模型 .     

基于长期计划的动态给水管网优化设计模型

鉴于给水管网的优化设计的重要作用，提出了更符合实际、准确度更高的基于长期计划的动态给水管网优化设计模型。其目标函数中，动力费采用与时间相关的函数计算，折旧大修费采用与管段损坏率相关的函数计算，并建立了相应的动态优化设计模型。可以更精确地得出基于长期计划考虑管网优化设计结果。     

组合结构的抗震设计和性能

本文讨论了组合框架结构的抗震设计及其性能。新的欧洲4号标准EC4,组合钢筋混凝土结构的设计,欧洲标准委员会,第三草案,英文版,1994-1-1:2001,2001年4月和欧洲8号EC8,欧洲抗震设计,欧洲标准委员会,第三草案,1998-1-1:2001,2001年5月。目前处于开始阶段,用于设计6个组合钢筋混凝土框架。本文讨论了使设计者迷惑的有缺陷的规范和条款。非线性静力推移分析用于获得框架的响应和超限强度。通过对满足屈服和破坏状态下的时程分析增量来评估响应修正系数。本文的另一个目的是研究按弹性设计的结构在耗散模式下能否正常工作。     

一个微生物生态模型的周期解

文章研究了一类与厌氧消化过程微生物生态模型有关的微分方程组在非自治双曲情形扰动下的周期解，通过利用重舍度的延拓定理，获得了该方程组周期解全局存在性的充分条件。