关于点变差函数的某些性质

设ｆ（ｘ）为定义于区间Ⅰ（有限或无限）上的有限实函数。任给实数δ＞０，ｘ∈０，∈Ｉ，Ｖ＾Ｘ＋δＸ－δ（ｆ）表示ｆ（ｘ）在［ｘ－δ，ｘ＋δ］上之全变差。     

Preferential excretion of glycated albumin in C57BL-Ks-J mice: Effects of diabetes

Urinary excretion of glycated albumin was quantitated in genetically hyperglycemic mice (C57BL-Ks-J, db/db mice), a model for non-insulin-dependent diabetes mellitus, and compared with their non-diabetic littermates. The data indicated a preferential excretion of glycated albumin in non-diabetic mice. This phenomenon of editing of glycated albumin is decreased significantly in diabetic mice. Quantitative measurements of overall excretion of glycated albumin suggested that the loss of editing in diabetic mice is due to the dilution of glycated albumin by the unmodified albumin which is excreted in large amounts in diabetic mice. Therefore, the loss of editing observed in this model resembled the one we characterized in insulin-dependent diabetic humans and a streptozotocin-diabetic rat model³.     

半连续条件下拟凹函数的两个判别准则

函数的半连续性与拟凸性的关系已在许多文献中进行了讨论,但函数的半连续性与拟凹性的关系却研究的很少,为此本文在文[1,2]的基础上,在半连续的条件下,给出拟凹函数的两个判别准则.     

断裂力学中应力强度因子的2种解法

提出Fourier积分变换和有限元数值解法求解工程断裂力学中应力强度因子KⅠ的2种解法，而KⅡ可通过两者之间的关系导出，其解值与实际均基本吻合；初步分析和验证了后者解析解的误差关系。这2种方法具有简单方便的特点。     

多阶段最优控制问题的最优性条件

最优控制问题的最优性条件是解决最优控制问题的主要方法之一，目前许多类型的最优控制问题的最优性条件得到解决，但在实际应用中经常遇到一类新的最优控制问题，即多阶段最优控制问题。针对一类多阶段最优控制问题，利用变分法给出该问题的最优解的必要条件。     

条件非线性最优扰动的最大值原理

在非线性系统(发展方程及常微分方程)中初始数据的扰动对系统以后某固定时刻,T的状态的影响是一个重要的研究课题.本文研究非线性系统在初始数据在一定的范围(称为初始扰动域)内作有限幅度的扰动时,在时刻,T对状态扰动的幅度达到最大的问题.通过考虑反向时间的问题及假设解对初始数据的连续依赖性,证明了若在时刻,T状态扰动的幅度达到最大, 则初始数据位于初始扰动域的边界上, 这个结果的重要意义在于可以减少数值求解扰动幅度最大问题的计算量.     

利用极小割计算随机流网络可靠度的一种算法

对随机流网络可靠度的计算问题进行了研究.提出了网络元件(边和结点)容量下确界的概念,在求基于每个极小割集的每个元件的容量向量时,对其满足的约束条件进行了改进,使其可行解集合大大减小.同时给出了两个引理,根据这两个引理,使得求基于极小割集的所有d-上界点变得非常简单,从而得到了一个计算随机流网络最大流量不少于给定需求流量d+1的可靠度的有效算法.最后,通过实例验证了该方法的有效性.     

Analysis for MIMO correlated frequency-selective channel in the presence of interference

The space time spreading, superimposed training sequences, and space-time coding are used to present a multiple input and multiple output （MIMO） systems model, and a closed-form of average error probability upper bound expression for MIMO correlated frequency-selective channel in the presence of interference （co-channel interference and jamming signals） is derived. Moreover, the correlation at both ends of the wireless link that can be incorporated equivalently into correlation at the transmit end is also derived, which is significant to analyze space-time link algorithm of MIMO systems.     

单增序列灰色GM(1,1)模型解之间的误差分析

针对单调增长原始数据序列, 文章在理论上讨论白化型与内涵型GM(1,1)(grey forecasting model)模型解之间的相对误差. 在推导出两个模型解之间的相对误差上界表达式的基础上, 作者研究了相对误差上界函数的性质, 讨论了相对误差一致上界关于原始数据序列长度n的单调性. 结果表明当发展系数位于[-1/(n+1),0]内时, 白化型与内涵型GM(1,1)模型解之间的相对误差上界是0.9%,可以合理使用白化模型代替内涵模型; 而发展系数在区间[-2/(n+1),0]内时, 这两个模型解之间的相对误差可能达到8.64%, 此时白化模型代替内涵模型须较谨慎地使用.     

A situation calculus based approach to dynamic management of e-business services

In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement. the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.