主动数据库的规则终止性分析

提出一种基于进化图的规则终止性静态分析的方法，全面考虑了触发图、活化图和惰化图。这种基于进化图的分析方法比传统基于图的分析方法分析更为精确，之后提出了规则终止性分析算法并证明了其正确性。     

机械合金化工艺对Fe-Ni合金显微结构的影响

对机械合金化制备的Fe-Ni粉体利用X射线衍射(XRD)进行分析，得到了不同Ni含量和不同球磨时间Fe-Ni纳米晶的XRD谱．实验表明，w(Ni)=10％和20％时，Ni溶入Fe晶格，分别在球磨20h和50h后形成单一的a(bcc)相；w(Ni)=50％时，其先后经历了γ(fcc)→←a(bcc)正逆转变，在球磨120h后最终形成单一γ(fcc)相．无论是a(bcc)相还是γ(fcc)相．它们的固溶度均比块体Fe-Ni合金显著提高．w(Ni)=35％时，则始终是两相共存．对试样的XRD谱采用3种不同的方法测定了Fe-Ni粉体的晶粒尺寸和显微畸变，发现经球磨20h后，不同Ni含量的粉体均呈纳米结构，并随球磨时间延长，Fe-Ni纳米晶的晶粒尺寸下降而显微畸变上升．     

CP型单螺杆压缩机的计算机辅助设计

基于CP型单螺杆压缩机工作原理和主要零部件设计计算方法，利用三维建模、工程数据库、三维动画和可视界面等先进技术，完成了集实体建模、参数化设计和绘图、动画演示等功能于一体的计算机辅助设计系统。     

微观力学中的对应原理

在连续介质微观力学中,有两类基于微结构信息确定非匀质介质有效性能的基本理论:基于物理的平均场理论和基于数学的渐近均匀化理论.讨论了采用渐近均匀化理论求解具有孔洞的、具有周期性微结构的线弹性复合材料的有效弹性张量的提法、解法和步骤.以渐近均匀化方法为例,讨论了对应原理在求解微观力学线粘弹性问题中的应用     

退火工艺对轧制AZ31镁合金组织和性能的影响

对AZ31镁合金轧制板材在不同温度和时间进行了退火,研究了在退火过程中组织和性能的变化规律.实验结果表明,300℃轧制后的AZ31镁合金薄板材的组织中存在大量的孪晶.退火后,孪晶逐渐消失,形成等轴的再结晶晶粒.晶粒尺寸随退火温度的升高而变大,随退火时间的延长先细化后长大.同时,退火后板材的抗拉强度略有下降,但伸长率有明显提高,在200℃退火120 min后,伸长率可达到28%.     

期权费用化小议

股票期权制度成为安然事件后会计界备受关注的一个新兴领域，本文通过对美国股票期权会计理论发展的分析．对我国股票期权制度在现阶段的实施提出了一些建议。     

论莫言八九十年代小说欲望化的都市叙事

当莫言按照传统的价值观念和审美标准来审视都市现实生活的时候,欲望化的都市景观所呈现的灯红酒绿、声色犬马的形貌和异化的人性给他留下了刻骨铭心的印象。所以,他对都市景观的欲望化叙事就从最基本的人性——"色"和"食"作为切入点,色欲化的都市景观的纵情展露和都市食欲化的泛滥的精致描摹建构起他的独具特色的都市风景线。当然,莫言比较偏执的乡村文化价值观念也在某种程度上遮蔽了欲望化都市的文明形态和现代意识,使都市叙事呈现出斑驳陆离的多色调的景观。     

高压下晶界对BaTiO_3纳米晶电输运行为的影响（英文）

利用金刚石对顶砧装置,测量了BaTiO_3纳米晶高压下(最高压力达35GPa)的交流阻抗谱.给出了晶粒和晶界各自对电输运性质的贡献.在高压相,晶界对总的电输运性质起主导作用.三个结构相晶界电阻的差异源于结构相变引起的晶界微结构重组.     

点云三角化处理技术研究

点云的三角化处理是点云三维重构中必不可少的处理步骤,其处理效果直接决定了点云三维重构结果的好坏,而点云进行三角化时搜索半径r的参数设置决定了点云三角化的处理效果.针对该参数的取值及其对点云三角化结果的影响做了研究.首先对点云数据进行预处理,然后利用最小二乘法原理对点云进行平滑处理,最后将平滑处理后的点云利用贪婪三角化算法实现点云数据的三角网格化.结果表明,点云三角化处理技术在搜索半径r大于等于5倍采样间距(平均间距)时,能够快速准确地生成质量较好的点云三角模型.     

半监督学习中非标记数据的利用

同时利用半监督学习中的标记数据与非标记数据,可以提高机器学习的能力.为了利用非标记数据,我们将非标记数据所在的样本空间映射到标记样本空间.讨论如何利用非标记数据构造学习算法,并证明所构造算法的收敛性.