高等数学中几个难点问题的探讨

一元函数微积分学是高等数学的基础,直接影响学生数学素养的培养.讨论和分析了一元函数微积分学中的几个典型难点问题,探讨了一些教与学的方法,为改进教与学的效果提供参考.     

标架丛上的随机计算

考虑了标架丛上的典型扩散过程，记X={x∈C([0,1],Rd),x(x)=0},H=｛h∈X:‖h‖2H=∫10｜h··(t)｜2dt＜∞｝,Y=｛y∈C([0,1],s(d)):y(0)=0｝,K=｛k∈Y:‖k‖2K=∫10｜k·(t)｜2dt＜∞｝,则有Rd×s(d)-值半鞅(βx,y(t),ρx,y(t))满足如下的SDE：dβ(t)=dh(t)+ρdx(t)-(dy(t))β,β(0)=0;dρ(t)=dk(t)+Ω(dx(t),β(t))+[ρ(t),dy(t)],ρ(0)=0.     

无穷积态,无穷和算子与连分数组合能级

 给予分数Hall效应以普遍的分数微积分数学形式理论描述.并给出无穷积态存在三条定理.     

用智能仪表及变频技术改造冀东二线水泥配料秤

通过对德国二手秤的改造,研究了皮带秤测量系统的一些技术细节,提出了在标定过程中提高皮带秤测量精度的方法.     

发电机阻尼转矩的最优设计

为防止电力系统低频振荡的产生,本文提出了发电机阻尼转矩的最优设计方法,利用变分法原理,通过对电力系统稳定器(PSS)如何最优地改善系统阻尼问题的探讨,得到了PSS提供给电力系统的最优阻尼系数和阻尼转矩,从而完善了PSS的设计。参5。     

局间通信负荷监控问题的形式化方法

利用最新时段演算等理论，形式化负荷监测功能的告警原理和组合输出问题，并进行必要的形式化推导，以确保规范说明具有可理解性和准确性．还给出了实现监控的核心算法．     

案例分析中的DNA计算

DNA计算是一种模拟生物分子DNA的结构并借助于分子生物技术进行计算的新方法，开创了以化学反应作为计算工具的先例，为解决NP—完全问题提供了一种全新的途径。案例分析中常用到离散数学中的逻辑演算，特别是在信息处理方面。在基于表面的DNA计算中采用了荧光标记策略，解决了案例分析中的一个问题，尝试了DNA计算在案例分析中的应用。且这种方法具有编码简单；耗材底；操作时间短；技术先进的优点。     

利用Maple的Student函数包学习微积分的尝试

Maple是当今最流行的数学软件之一,其附带的Student函数包对微积分的教与学都很有帮助,本文作者在将其用于微积分教学方面做了一些探索．     

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.