Riemann积分及其性质的非标准刻画

在非标准扩大模型下，利用内序列族定义了Riemann积分，并在此基础上讨论了可积的条件及积分的一些性质。     

图书馆基础工作新论--图书馆基础工作中的纰漏对现代化管理的影响

笔者通过解剖图书馆基础工作中的纰漏给自动化管理带来的影响,从正反两方面论证了在图书馆基础工作中,重视各项具体工作的标准化、规范化对现代化管理的重要意义.也阐述了造成工作失误的原因和解决问题的注意事项及基本措施.     

浅析固定资产税金的计算

本文主要对固定资产税金计算中存在的问题入手，继而阐述固定资产各种交易中所涉及的税种以及税金的计算步骤，目的在于揭示固定资产具体税种税金计算的过程。     

基于TDRSS的低轨卫星定轨方法研究

利用跟踪与数据中继卫星系统(TDRSS)组成天基测控系统对低轨卫星进行轨道确定,并讨论了低轨卫星在TDRSS系统覆盖区域的时间段,以改进的Gauss-Newton算法为基础,设计了非线性迭代的微分轨道改进算法,有效抑制了算法截断误差.仿真实验证明基于TDRSS的测控技术可显著提高测控覆盖率,减少地面测控站压力,有效确定低轨卫星轨道,定轨位置误差小于20 m,速度误差小于0.01 m/s,能满足一般低轨卫星的定轨精度要求.     

NUMERICAL MODELLING OF VELOCITY AND TEMPERATURE DISTRIBUTIONS OF THE BUOYANCY CONVECTION EFFECT IN KNbO3 MELT

Numerical modelling of velocity and temperature fields in high-temperature KNbO3 melt of a loop-shaped Pt wire heater is carried out by using the commercial com putational code ANSYS for the mathematical solution of the governing equations.Based on the experimental boundary conditions and the Boussinesq approximation,the numerical modelling of a steady and two-dimensional model is applied to study the process under consideration of the buoyancy-driven convection condition. The result is compared with the previous experimental and theoretical data obtained in our laboratory, and the former is in agreement with the latter. Thus a theoretical guide for reasonable growth conditions is provided by studying in depth the real fluid flow effects in the crystal growth from the melt.     

基于卡尔曼滤波的目标机动判别研究

在对目标方位序列进行卡尔曼滤波的基础上,利用滤波残差的分布特性,对其进行假设检验,可以据此判断方位序列是否发生显著变化,由此判断目标是否机动.为了说明这种方法的有效性,文中给出了一个实例.     

Ni-Cu-Mn-Co高温钎料的工艺钎焊性分析

通过飞机导管高温钎焊时Ni-Cu-Mn-Co钎料传热特征的物理模拟,得到了钎焊间隙的控制要素。在运用经典电磁场理论进行热电磁耦合分析的基础上,制定了安装式感应钎焊工艺。     

气相色谱法测定达连河水中的硝基苯

介绍了检测达连河水中硝基苯含量的方法,并就检测结果进行了分析.     

基于MSP430汽车防抱死制动控制器的设计

介绍了一种汽车防抱死制动系统控制器的设计。控制器以MSP430F149单片机为核心,根据防抱死制动系统的工作原理,利用轮速传感器,对轮速进行滤波、放大、整形等实现车轮速度的采集。采用基于车轮滑移率的防抱控制理论,根据车速、轮速来计算车轮滑移率。在硬件设计方面,根据系统选择了MSP430F149单片机,设计出信号输入回路、输出驱动回路、电源部分,给出了系统结构原理图。     

基于知网的汉语语义实例库的建设与应用

为了解决有指导词义消歧任务中的知识源问题,提出并构建了一个基于知网的汉语词义实例库(CSIC),同时开发了一个语义标注平台(SenseTag)。该平台通过方便快捷的人机交互方式显著提高了实例库的建设效率和质量。利用条件随机场模型,从实例库中自动学习消歧知识,进行自动标准在随机选取的部分汉语高频多义词的词义消歧开放测试中,取得了平均正确率85%的较好效果。