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

摘要：中国现代小说的"散文化"——结构散化、情节淡化、人物虚化和抒情含蓄化,是对传统的以故事情节为重心和线性的时间顺序为线索的小说叙述模式的重大突破。但其艺术成就在五四后大多表现在短篇小说上。而《呼兰河传》却成功地将"散文化"的叙述运用在长篇小说之中,小说以空间化的结构方式取代了传统的因果关系的情节结构、以圆形的空间叙述替代传统的以时间为线索的线性叙述,极大增强了作品的可读性和开放性,并通过作者与叙述者相分离和隐性评论的方式成就了情感的含蓄表达。

摘要：首先,阐述了超声椭圆振动切削技术、原理及其装置特点,着重论述了装置各构成部分的特点及其主要应用类型与材料。其次,分析了国内外学者在双激励、单激励方式下实现纵弯、纵扭、双弯曲和弯扭等复合超声振动装置结构设计及其优化方面的研究成果与进展,并且比较了超声椭圆振动切削与传统加工在加工性能、工件表面质量和加工精度等方面的加工优势与适用范围,以及不同超声振动装置在各切削加工中所能获得的加工效果。最后,对超声椭圆振动切削装置的发展趋势进行了总结和展望,指出该装置发展将朝着结合能场的方向发展。

摘要：使用XML作为数据库存储数据,是XML应用的重要领域。讨论了如何用XML数据库系统进行Web应用开发设计的相关技术,如XML数据库、XML文档及其有效性定义、数据转换链接和Web平台搭建等。

摘要：海空两栖无人机是一种既能在天上飞,又能在水下航行的新型航空航海器,具有很高的研究与应用价值。设计了一种海空无人机的构型,为了研究该构型在飞行与潜水时的可行性,利用Fluent对海空无人机外部构型进行气动和水动特性计算分析。然后根据仿真与分析得到的气动系数与水动力系数得出,所设计的海空无人机外形布局分别符合飞行与水下航行要求,确定了外形布局的可行性,为进一步研究提供理论支持。

摘要：由于石墨烯在太赫兹波范围内只发生带内跃迁,相比在可见光范围内,其光学吸收特性有显著优势,通过集成石墨烯与谐振腔,将太赫兹波限制在腔内,可进一步增强石墨烯对太赫兹波的吸收.采用麦克斯韦方程组并结合电磁场边界条件,研究了单层石墨烯在太赫兹波段范围内的光吸收机理;推导出石墨烯的传输矩阵和吸收系数方程,发现在太赫兹波段石墨烯的吸收是在可见光波段吸收的9—22倍;通过建立谐振腔型石墨烯光电探测器在太赫兹波段的光吸收模型及求解探测器吸收率方程,发现在0.12 THz处,吸收率可达0.965,相比无腔状态下石墨烯在太赫兹波段的最大吸收率0.5,提高了93%;优化设计器件结构参数并表征,最终器件响应度最高达到236.7 A/W,半高全宽为0.035 THz.理论分析表明,采用谐振腔型石墨烯光电探测器对太赫兹波进行探测,具有高吸收率、高响应度.研究结果对于太赫兹谐振腔型石墨烯光电探测器的设计和应用提供了理论参考.

摘要：针对典型高密度多芯片BGA(焊球阵列)封装体建立三维有限元分析模型,研究不同尺寸封装体在稳态热载荷作用下的结构变形和应力情况,在此基础上引入包含等效梁和危险焊球真实几何形状和间距等在内的简化模型以进行序列分析,研究各设计参数对力学参量的影响。数值结果反映了封装体应力分布及其变化特点,表明影响封装体变形和应力的主要参数;提出的建模方法简便有效,可以方便地用来分析不同类型的BGA封装,并扩展应用至不同的分析目的,为此种结构的设计和优化提供一定参考。

摘要：将线图装入VB6.0的PictureBox控件中,利用PictureBox控件的MouseMove,MouseDown事件,可实时得到鼠标所在位置的x,y坐标值。通过坐标变换,可实时得到线图中任何一点的真实坐标,从而使线图处理问题得以解决。该方法简单、方便,具有极大的通用性。

摘要：采用MCNP对γ放射性点源的天空反散射影响进行了模拟计算,针对天空反散射的主要制约因素进行了分析,其分析结论为核电厂相应的辐射防护设计提供了参考依据。定量模拟计算了核电厂γ放射性废物包吊装期间的天空反散射剂量率水平,提出了一种基于放射性点源结果进行放射性体源天空反散射剂量率的快速评估方法,该方法的实施满足了工程实践的快速响应要求。

摘要：空间有自然空间和意识空间两种,二者具有一定的逻辑关系。造型艺术中的空间理念可以概括为以下几种:立体造型观念、平面理念、抽象观念、综合空间理念。