摘要：在3维Yee网格模型以及蛙跳模型的基础上,分析了3维电磁场离散算法及其稳定条件,讨论了3维空间网格上电磁场作用于粒子的平均场权重法和粒子作用于电磁场的Charge-conserving法,同时也讨论了3维空间网格上理想导体边界条件、自由吸收边界条件、爆炸式发射模型的模拟实现方法。以向内发射同轴二极管为例从其电流电压关系及电子束运动特性方面验证了模拟的正确性。

摘要：由于巨大的规模和复杂性,操作系统的设计和实现的正确性很难用传统的定量方法来描述.本文阐述对微内核操作系统的形式化设计和验证的方法.在汇编层利用非确定性自动机对系统进行形式化建模,并使用Hoare三元组描述模块接口函数的前后置条件,作为函数正确性的定义.以实现的VSOS(Verified Secure Operating System)内存管理模块为例,在Isabelle/HOL定理证明器环境中对建立的内存管理模型和系统行为的操作语义进行形式化描述,并对内存管理模块的设计和实现的正确性进行验证.结果表明,这一方法是可行的和高效的.

摘要：针对全景影像难以提供空间度量的问题,提出一种基于双球面投影几何的可量测立体全景模型构建方法.该方法依据球面全景投影关系与多视几何原理,采用对应变换与本质变换求取旋转及平移参数,并推导出双球面核线约束;在此基础上,建立起双球面投影几何的立体全景模型,解决了球面全景的量测问题.实验结果表明,文中方法可使全景影像在真实呈现户外场景的同时,提供满足一定应用需求的量测分析功能.

摘要：氧化沟工艺是目前城市生活污水处理的主要工艺之一,利用改良过的DE氧化沟工艺处理汉中城市污水,出水达到了GB8978-1996污水综合排放标准的一级标准。本文介绍了该污水水质及处理标准、工艺流程的选择、主要构筑物和设备、运行状况及处理效果,以及工程运行后带来的社会环境效应。

摘要：提出了一种新颖的基于纳米薄膜共振隧穿结构(RTS)的微陀螺。对共振隧穿结构的介观压阻效应进行了理论分析;设计了RTS的结构和工艺方法;制备出了能反映共振隧穿效应的RTS结构。该结构降低了器件的寄生电容,改善了敏感薄膜的负阻特性,适用于共振隧穿效应陀螺。对共振隧穿效应陀螺进行了结构设计和理论仿真;利用体工艺制造了微陀螺;对陀螺的关键性能参数进行了测试。

摘要：针对一类带有未知控制方向的时变非线性系统的部分状态渐近鲁棒调节问题,文中采用部分状态反馈渐进调节的控制算法来处理系统中的不确定性,利用Lyapunov-Krasovskii泛函来处理系统中的时滞项,通过Nussbaum型函数来处理系统中的未知控制方向问题.我们基于反推技术给出了部分状态反馈控制器的设计步骤,所设计的控制器使得闭环系统的所有信号都是有界的,而且使系统的状态渐进收敛于零.仿真实例说明了控制器的有效性和可行性.

摘要：从分析现代产品设计的发展趋势出发,阐明了以消费者为导向的设计体系将是企业生存的唯一出路,探讨建立在高科技条件下的自助式设计系统。

摘要：为了解决紧凑型输电线路中相间非同期摇摆引起的风偏闪络问题,结合线路运行经验,建立了导线系统的计算模型,并利用无条件稳定Newmark法与荷载增量法,研究了不同风荷载激励模型非同期摇摆的非线性动力学响应问题,得到了紧凑型线路非同期摇摆特性,给出了相间间隔棒的配置方案。研究结果表明,该荷载模型计算结果与线路运行经验吻合,非同期摇摆闪络故障防治方案能够保证线路的安全稳定运行。研究结果为紧凑型输电线路的风偏闪络设计提供了理论依据,而且在保障线路安全稳定运行的情况下,采用组合风模型的设计可合理地减少相间间隔棒安装数量,降低工程造价。

摘要：从乳化机械产品小型化、轻型化的要求出发,利用模糊数学和综合评判的优化设计方法,使减速器的设计结果符合设计目标,达到了乳化机的功能要求.

摘要：针对安装相间间隔棒的输电线风偏这一强迫振动问题,建立了线路风偏的非线性静力学、动力学计算模型,将无条件稳定的Newmark法与荷载增量法相结合,对水平两相分裂导线初始静平衡状态以及风偏状态下的非线性动力学响应进行数值模拟,得到了导线位移响应及张力变化规律,并就线路安装相间间隔棒后对次档距振荡产生的影响进行了模拟计算。计算结果表明安装相间间隔棒后对相导线风偏有一定的抑制作用,而且相间间隔棒的安装对分裂导线次档距振荡振幅影响不大。所得结果可为特高压输电线路防风偏设计和研究提供参考。