综述了从20世纪90年代初开始兴起的对奇摄动问题中空间对照结构解的研究状况.具体介绍了常微分方程中具有阶梯状和脉冲状空间对照结构的一系列工作,其中包括临界情况和非临界情况;同时介绍了变分问题中空间对照结构研究的最新进展,并对偏微分方程中空间对照结构的发展进行了概述.
该文将命题逻辑的定理证明转换为多项式方程的求解问题,从而提出了一种基于非子句的代数化方法.在代数化的过程中,以一种形式化的方式给出了命题公式的文法定义,通过语法, 语义分析实现了命题公式的代数化.此外,又根据特征列的性质,提出了一种逻辑推论自动生成的方法.
该文着眼于信息内容细粒度的安全性,提出了颗粒技术,基于该技术提出信息内容安全体系模型,并以WORD文件内容为例,实现了基于内容的安全体系原型系统.
研究开放环境中远程教学系统的资源共享,提出社区型P2P资源共享模型,以更加自然的社区型交流方式实现大规模远程教学系统中的学习资源共享.模型基于LOM规范描述数字化学习资源,在结构化纯P2P模式下采样分布式元数据管理方式,充分利用分布于远程教学环境中的存储、计算、带宽等资源.文章给出了社区的形成、社区内部的学习资源信息发布及检索方法,并简要介绍模型实现.
通常搜索引擎网站都有存储大量远程站点复制网页的数据库.为保持复制网页和源网页的同步,需要花费大量的时间和资源.本文提出了保持复制网页和源网页一致的多种同步新策略,并提出源端网页变化的泊松模型,给出了刷新率和刷新时长的规范性描述,对各种同步策略的性能进行了研究和比较分析,发现其较大地改善了网页数据库刷新率.
通过简单的溶液浸泡-热分解方法成功地在氧化多孔硅的孔中沉积了纳米银粒子,形成了银/氧化多孔硅/硅的复合结构.用X射线衍射光谱(XRD)和扫描电子显微镜(SEM)表征了多孔硅上纳米银粒子的存在.
定义了适用于单光子两偏振态的升降算符,并利用Fock空间算符的线性变换理论,研究了BS,PBS,半波片,四分之一波片以及 H 变换等,得出了它们的算符表示,找到了新的实验表述方式,从新的角度讨论了量子信息实验,如Teleportation,分析了光子输出的各态的几率.由此总结出了一种研究和设计量子信息实验的有效方法.
提出了一种新颖的海浪波高测量方法——差值法,对比一般采用的电平测量方法,结合实例详细说明了差值法的基本原理和算法,并对差值法采集的相关问题进行了分析.