有色金属物性数据库面向服务的体系结构研究与设计

本文在分析目前流行的两层、三层网络数据库体系结构存在的问题的基础上,根据有色金属物性数据库的特点,提出一种基于SOA、多层、分布式体系结构应用开发模型.该模型着重解决以下几个方面的问题：利用软件开发新技术,提出了基于RIA的有色金属物性数据库客户端实现方式,吸取了＂胖客户端＂和＂度客户端＂的优点,解决了传统客户端部署或动态图形绘制等方面的问题 在模型中,增加了服务层,实现了系统服务的对外发布.解决了异构平台、跨系统的业务集成和重组 采用了服务器集群技术,动态的实现了负载均衡,优化了系统性能 改进了数据访问层,增加了O/R映射,屏蔽了下层数据库的细节信息,使系统能够架构在多种类型的数据库上,提高了系统的灵活性.     

基于Authorware的屏幕保护程序设计与制作

分析了制作屏幕保护程序的意义。探讨了制作屏幕保护程序的原则要求。给出了屏幕保护程序的系统结构。详细给出了制作屏幕保护程序的设计步骤。通过程序运行,获得了较好的效果。     

无人机的自主与智能控制

分析研究了无人机的本质与内涵,系统阐述了无人机自主与智能控制的内涵与本质以及二者的关系,提出了无人机自主控制的设计理念和工程实施要素,合理规划了自主智能控制的等级,提出了无人机自主智能控制实现的工程方法与方案,构建了自主智能控制系统工程实现的架构.     

相转移法制备γ’-Fe_4N纳米粒子的合成过程及生长机制

采用化学气相法合成了Fe/N多相纳米粒子,揭示了合成参数对产物性质的影响,确定了最佳的合成工艺路线.对生成的粒子进行第2次氮化,实现了纳米粒子的相转移,获得了均匀单相的γ-Fe4N纳米粒子.分析了粒子的成核与生长机制,对相转移过程给出了合理解释.此外,初步表征了相转变前后纳米粒子的形貌、粒径、物相、成分及磁学特性.     

面向Agent的常识知识库

常识性知识处理是人工知识研究的核心难题,在分析了对常识的各种研究工作的基础上,论述了一个面向Ａｇｅｎｔ的大规模常识知识库,提出了一种新型的Ａｇｅｎｔ－ＣＢＳＡｇｅｎｔ,描述了面向常识的语义网络描述语言Ｃｓｎｅｔ,对Ｐｒｏｌｏｇ进行了面向常识的扩充,分析了常识知识库的本体论结构,最后给出了常识知识库的运行机制。     

软多指抓取的力封闭判别

研究了软多指抓取的力封闭分析。首先探讨了外力旋量空间与任一接触操作力空间之间的关系。在接触力空间定义了约束力集、严格约束力集和法向力集，分析了三者之间的关系。运用软指摩擦约束的凸性导出了软多指力封闭抓取的充要条件，给出了相应的计算机判别算法。最后做了实例说明。     

侧钻水平井提高石油采收率的油藏物理模拟

研究了水平井开采物理模拟的相似准则, 设计了油藏相似比例模型, 建立了水平井开采油藏物理模拟系统. 在该系统上进行了侧钻水平井开采的实验研究, 分析了侧钻水平井开采曲线变化规律, 比较了侧钻水平井与直井的开采效果, 研究了侧钻水平井的侧钻时机、开采速度、水平段长度等对开采效果的影响. 由于侧钻水平井开采时改变了油藏内渗流压力场和流体流动方向, 能够开采死油区内的剩余油, 提高了最终采收率.     

人工神经网络

关于人工神经网络本文回顾了它的发展历史，介绍了它的基本原理和功能，评价了它的研究进展和应用，展望了它的未来前景。     

基于局部对偶框架的数字脊波重构

给出了数字脊波重构算法的全局对偶框架（GDF）表示，提出了局部对偶框架（LDF）的新概念，并讨论了LDF的性质，在此基础上给出了一种基于LDF的新的数字脊波重构算法。该算法减少了脊波重构的冗余，保持了快速计算的特点。用该算法对图像进行压缩和去噪，得到了很好的结果。     

相转移法制备γ'-Fe4N纳米粒子的合成过程及生长机制

采用化学气相法合成了Fe/N多相纳米粒子, 揭示了合成参数对产物性质的影响，确定了最佳的合成工艺路线. 对生成的粒子进行第2次氮化，实现了纳米粒子的相转移，获得了均匀单相的γ'-Fe₄N纳米粒子. 分析了粒子的成核与生长机制，对相转移过程给出了合理解释. 此外，初步表征了相转变前后纳米粒子的形貌、粒径、物相、成分及磁学特性.     

基于实例的虚拟实验设计

通过抛物线运动的基本原理及其各种特殊运动情况的分析,探讨了虚拟实验中知识设计要求和软件设计要求,给出了抛物线运动虚拟实验设计的要点.探讨了虚拟实验中直角坐标系转换到屏幕坐标系的算法实现.给出了抛物线运动虚拟实验的系统结构流程图,并详细给出了程序设计步骤.实现了实验所要求达到的交互性、可重复性、特征数据表示性等虚拟软件设计要求.通过实验演示,达到了预期的效果.     

航天嵌入式软件可信性保障技术及应用研究

研究了航天嵌入式软件可信性保障的问题和现状,提出了航天嵌入式软件的可信保障技术体系,并针对动态时序正确性、程序实现正确性和控制行为正确性保障等核心关键可信问题的理论方法和技术进行了深入研究,在此基础上研制了相应的保障工具,形成了航天嵌入式软件可信性保障集成环境.本文的研究成果在月地高速再入返回飞行器软件研制中进行了应用,为飞行任务的成功作出了贡献.     

工程设备索赔的系统分析方法

文章对工程建设项目中因工程设备不能满足合同要求，业主向工程设备的供（施工）方提出索赔的原因和方法进行了研究，用系统分析中的层次分析法（AHP）对工程设备的价值进行了分析，提出了工程设备基本价值因素的概念，在此基础上指出了签订合同时应注意的事项，对索赔事件进行了分类并研究了它们的特点，给出了进行工程设备索赔工作的程序框架，为业主进行工程设备索赔提供了理论依据和分析方法。     

知识库更新的一种可编程实现的方法

讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.     

医学影像工作站的发展现状和趋势

随着生物医学工程的发展,影像工作站提高了工作效率和质量,节省了资源.其强大的图像后处理功能显著的提升了疾病治愈率.本文概述了医学影像工作站的基本概念,发展状况,发展趋势及其与PACS的关系.并尝试为其作了分类,简要探讨了两种工作站的优缺点,以便该领域的规范发展.     

应重视战略性科技问题的研究

本文探讨了战略性科技问题的定义和范围,分析了研究战略性科技问题的意义,介绍了有关国家开展战略性科技问题研究的近况,概述了我国开展战略性科技问题研究的现状和问题,最后指出了战略性科技问题研究与科技战略的关联。     

剪切断层不稳定性的数学模拟

对断层不稳定性问题进行了数学模拟。研究中以断裂力学与断裂动力学原理为基础，采用了复变函数论方法，求得了所研究问题的封闭形式的解析解。研究中明确了断层体的概念和定义了断层体特征尺雨物理量。侧重分析了断层体的有限尺寸效应和断层传播速度效应以主它们对断层不稳定性的作用。进一步解释了震源观测中发现的低应力降现象。     

电磁波瞬态极化的统计特性

研究了电磁波瞬态极化的统计表征问题. 首先分析了瞬态极化电磁波Stokes矢量表征的物理内涵, 为求解瞬时Stokes矢量的统计分布提供了简捷的途径. 在此基础上, 分析了电磁波瞬态极化在Gauss分布假设条件下的统计特性, 给出了瞬时Stokes参数的概率密度函数及其联合概率密度函数的解析表达式. 最后, 对瞬态极化电磁波在极化基分量之间相互独立的情况下进行了计算机仿真, 验证了该表征方法的有效性和简捷性.     

沟头煤矿顺层抽放钻孔改进技术

全面分析了沟头煤矿C5301工作面顺层抽放钻孔封孔工艺中存在的问题,找出了封孔深度太短和封孔不严是影响抽放率不佳的真正原因。针对这些原因进行了封孔工艺的改造,并在C5302工作面进行了试验,取得了较好的抽放效果,达到了防止煤与瓦斯突出的效果。为同类型条件下的瓦斯抽采工艺提供了参考和借鉴。     

轨道交通杂散电流腐蚀研究现状

本文引用了大量文献,综述了杂散电流腐蚀的分类、特点以及杂散电流腐蚀产生的危害性和隐蔽性及其机理,并进行了理论分析,同时综述了杂散电流的检测方法和检测设备,并提出了几种合理的防护措施。