基于机会约束的手术计划随机模型与算法

本文研究多服务台手术计划调度问题,考虑手术时间的不确定性,提出手术室加班时间的机会约束,以一定的概率保证病人的手术时间不超过手术室的开放时间,建立随机优化机会约束手术计划调度模型,确定手术室的开放和分配决策.基于手术时间离散的概率情景,引入0-1变量转化机会约束,得到了0-1整数线性规划的等价模型.为了提高模型的求解效率,提出两类有效不等式,并设计最长路径算法分离第二类有效不等式,利用分支切割方法进行模型求解.算例分析,基于北京某医院的实际数据,验证算法的有效性,确定最优的手术计划调度方案,有效地优化配置手术室资源.     

论科学解释的实用特征和生物学解释的语境相关性

科学解释具有实用特征(pragmatic aspect).这一特征与"科学解释的标准形式"相比,具有解释主体的相关性,即因解释主体的差异寻求多样化的解释形式.本文通过生物学解释的特征的分析,指出生物学解释具有因解释主体不同而形成的语境相关性,而这一特性决定了生物学解释与物理学解释的本质差异.     

论家庭教育中儿童人格的塑造与培养

父母及家庭环境对儿童人格形成与发展具有十分重要的影响。父母要以身示范,营造和睦、健康、向上的家庭氛围。在儿童人格塑造和培养中,要十分重视智力因素的培养,特别注意早期智力与创造力的开发,重视社会适应能力的培养,包括融入集体生活的能力、人际适应能力和环境适应能力等。     

试论陈寅恪先生的文史互证研究

陈寅恪的史互证研究是中国人研究史上的一座丰碑。其“贴近现实、逆向思维、融贯古今、史笔诗心、突破前人”等方面均精湛独到，创造了一个学术研完的新时代。     

恒等式证明的概率模型法

本文利用建立概率模型,证明几个重要的恒等式。有些恒等式用常用的分析方法证明是很不易的,但建立了概率模型后,通过求概率或求数学期望,很方便地把恒等式证明出来。     

关于图的第二特征标R2(G)

对任意图G，h(G，x)表示图G的伴随多项式，R2(G)表示图G的第二特征标，本文刻画了R2(G)=-2，-1，0，1，2的全部连通图。     

HARICH-CHANDRA MODULES OVER LIE SUPERAL GEBRAS

In this paper, we obtain a theorem for the classification of the irreducible Harich-Chandra modules over G, Where G is a basic classical Lie superalgebra of I type. And the list of the classi-ficatication is given for G=A(1,0).     

关于Farkas引理证明的一点注记

许多关于非线性规划的专著,如[1]、[2]、[3]等,在证明Farkas引理时都蕴含地用到:“有限生成的凸锥(finitely generated convex cone)为闭集”这样一个事实,但都忽略了对此作出证明。本文旨在于非线性规划的内容范围内证明这一重要事实,从而对上述专著中Farkas引理的证明作出补充。     

浅论信息化社会图书馆的服务功能

本文着眼于信息化社会对图书馆工作的影响和要求 ,阐述了图书馆由“借阅服务”到“信息服务”的服务功能的演变、信息服务的特点和信息服务对图书馆员的要求。对做好新时期的图书馆工作具有较强的理论价值和现实指导意义     

基于协方差矩阵的自适应盲分离算法

提出了一种新的线性混叠信号的盲分离算法,该算法利用信号相互独立时其协方差矩阵的对角化特征作为分离准则,采用最速下降法进行分离.该算法对源信号和混叠矩阵没有过多要求且计算量不大,理论分析与仿真结果表明:该算法具有很好的分离效果.