利用"方正奥思"制作综合型多媒体课件

利用"方正奥思"制作的综合型多媒体课件,可以实现学生自我测试试题的随机抽取,并进行自动判分;自动记录学生学习进度、测试成绩;实现教师对课件中教学内容或测试试题的增删、修改管理等功能.本文将对全套设计给出思路和方法.     

Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation

The initial-boundary-value problem for the Korteweg-de Vries (KdV) equation:

$u_{t}+u_x+uu_{x}+u_{xxx}=0, \quad t, x\geq 0,$

$u(x, 0)=\varphi (x),\quad u(0,t)=h(t), \qquad\varphi(0)=h(0),$

defines a nonlinear continous map from the space where the auxiliary data are drawn to the space of solutions. By making use of modern methods for the study of nonlinear dispersive equations, it is shown that the solution map\(H^{3m-1}({\Bbb R}^+)\times H^{m}(0,T)\to C([0,T];H^{3m-1}({\Bbb R}^+))\) is Turing computable for any integer m ≥ 2 and computable real number T > 0. This result provides yet another affirmative answer to the open question raised by Pour-El and Richards [PER]: Is the solution operater of the KdV equation computable?

     

有效生成饰带群混沌吸引子参数的改进优生遗传算法

本文将蒙特卡罗搜索法与优生遗传算法应用于构造饰带群等价映射模型p112与模型p1a1混沌吸引子,并针对“遗传漂移”现象提出了改进的优生遗传算法．研究表明,在参数空间中引入空间距离的限制,可以由初始种群参数向量搜索出无重复参数向量的子代参数集合．在进化的种群中,也无重复混沌吸引子参数向量,从而避免了原有优生遗传算法在种群中出现的“遗传漂移”现象．新算法实现了种群中的参数无重复地不断更新,利用更新的种群在参数空间上能够持续地搜索出无重复图形结构的混沌吸引子参数向量,解决了原优生遗传算法无法持续有效生成新的混沌吸引子参数向量的问题．     

X．500电子目录与WWW集成的设计和实现

X．500电子目录能提供很多种OSI网络信息服务。目前国际上访问目录系统发展最快的一种方式是采用WWW浏览器,其界面美观,用户很容易使用,在客户机上也不需要安装任何专门软件。介绍了X．500电子目录与WWW集成系统的模型、浏览器和管理型功能,以及用TCL语言实现集成模型中网关程序的方式。     

分布式对象管理的几种常用技术

以丰富的分布式系统开发经验为基础,详细分析了传统和新兴的分布式对象技术,比较它们的优缺点,探索分布式对象管理的未来走向。     

基于线性矩阵不等式的不确定关联系统的分散鲁棒镇定

应用线性矩阵不等式（LMI）方法研究不确定性关联大系统的分散便棒镇定问题。系统中不稳定项具有数值界,可不满足匹配条件。基于不确定项的表达形式,给出了其可分散状态反馈镇定的充分条件,即一组LMIs有解。在此基础上,通过求第一凸优化问题,提出了具有较小反馈增益的分散稳定化状态反馈控制律的设计方法。仿真示例说明了该方法的有效性和优越性。     

（RbCl）108离子簇均相成核的分子动力学研究

分子动力学模拟测得熔融（RbCl)108离子簇在300K至600K温度时凝固的成核速率大于10^35m^-3s^-1,用均相成核的经典理论加以分析,估算得氯化铷离子簇的固液界面自由能σalT^1.4,用Grunasy提出的扩散界面理论加以分析,估算得扩展界面厚度约为0．195nm,σalT^0.97,2个理论在实验温度范围内没有明显判别,且均能较好地分子动力学模型的结果,但预测的较高温度下的成核速率有比较显著区别,因此进一步地研究将有助于鉴别它们。     

基于虚拟仪器技术的示波分析方法的实现

文中采用虚拟仪器对常见的电化学方法—示波计时电位法 (OCP)进行了改进。研究了相应的硬件配置 ,并采用图形化编程软件—HPVEE加以实现。实验结果表明虚拟仪器的采用 ,实现了OCP方法的自动化和多功能化     

基于Windows Media的网络媒体服务系统的实现

介绍了Windows Media系统的体系结构和通信协议,构建了采用Windows Media技术的网络媒体服务系统,详细叙述了系统的连接、配置和技术要点,以较低的代价实现了媒体服务系统的应用。     

网络负载分流器的实现技术

网络风载分流器的实现技术,解决了如何正确的捕获用户提出的应用请求并将之分流给真实的应用服务器,如何在系统核心内部动态地对所分流的服务器进行正确的管,本文描述了使用的Linux系统下通过添加核心模块和使用虚拟设备驱动的管理方法来设计实现系统。