多级可修备件库存的生灭过程建模与优化

针对VARI-METRIC模型在低可用度下结果不准确的问题,建立基于生灭过程的任意等级、任意层级可修件库存优化模型。通过对各级站点、各类备件需求率与到达率的预测,对每个部件建立其生灭过程模型,并提出基于生灭过程的装备可用度计算方法。以整个保障系统的装备可用度为约束指标,以备件总购置费最低为目标,利用边际算法得到最优备件配置方案,并建立仿真模型对所得优化方案进行评估与调整。结合算例,以仿真结果作为检验标准,选取权威的VMETRIC软件与该解析模型在优化性能、计算精度及适用性上进行对比和说明。结果表明,无论是解析模型还是VMETRIC软件,均存在一定的适用范围,而采用解析与仿真相结合的方法无疑具有更强的适应性。     

关于翻译的几点看法

从翻译的本质和根本目的着手,阐述了翻译的本质是通过语言外壳的转化,把语言中所蕴含的文化展示出来的过程,追求神似和形似的高度统一和有机结合,以达到严复提出所谓的“信、达、雅”的翻译的最高境界。     

鲁迅论人道主义

鲁迅对于人道主义有独到的、深刻的、比较系统的认识。他针对当时的社会现实有感而发 ,不为中国的黑暗现实消沉 ,对人道主义寄寓了理想 ,坚信人道主义终将胜利 ,而要获得人道社会的到来 ,只有依靠广大人民的“韧性的战斗”。     

Banach空间中含Lipschitz强增生 算子的算子方程之构造可解性

设X为实一致光滑Banach空间 ,A :X→X为Lipschitz强增生算子 ,设L≥ 1和k∈( 0 ,1)分别为A的Lipschitz常数与强增生常数。设 {tn}n≥ 0 为 ( 0 ,1]中的实数列满足条件 :(i)tn→ 0 (n→∞ ) ;(ii)∑∞n =0 tn=∞ , f∈X , x0 ∈X ,迭代地定义序列 {xn}n≥ 0如下 :( )　　xn 1 =xn-tn(Axn- f) ,n≥ 0 .则 {xn}n≥ 0 强收敛于方程Ax =f的唯一解 ,而且对充分大的n≥n0 ,‖Axn- f‖ ≤ exp{-k∑n- 1j=n0tj}‖Axn0 - f‖　　一个相关的结果研究含强伪压缩映象的方程Tx =x的构造可解性。     

备用系统可用度模型的建立及应用

提出将故障过程分为两个阶段时建立维修模型的一种新方 法。运用此方法,对RCM中的使用检查和功能检测工作进行分析,得出了备用产品检查间隔 和可用度之间的关系式。     

边防查控行为可诉性再研究——与《边防查控行为可诉性研究》一文商榷

边防查控是出入境边防检查领域中的一个难题。对边防查控行为可诉性的研究,是以边防查控的概念和性质的研究为基础和前提的,故本文分为三个部分：边防查控行为的概述、性质、可诉性研究。本文针对《边防查控行为可诉性研究》的观点,认为边防查控行为中有一部分是国家行为,且边防查控是公务协助行为,不属于行政强制措施。因而边防查控中的国家行为、刑事侦查行为不可诉,其他查控行为应可诉。     

测量TOA和DOA的单站无源定位跟踪可观测条件

单站无源定位跟踪技术中,可观测性分析是一个关键问题,但是由于TOA测量方程的非线性程度太高,直接通过计算Jacobin矩阵得到的可观测矩阵形式非常复杂,很难得出明确的分析结果。采用新的思路推导了一种TOA测量方程的线性化方程,分析了测量TOA和DOA单站无源定位的可观测条件。最后给出了计算机仿真结果。     

炮位雷达定位精度的数值模拟

在建立炮位雷达定位弹道模型和空气弹道模型的基础上,设计了一种定量求取雷达定位精度的方法:通过空气弹道模型,获取任意弹道上任意点弹道诸元,然后从任意点弹道诸元中提取所需两点诸元(作为雷达捕获的两点)和飞行时间,再利用雷达定位模型,模拟计算各种定位参数组合情况下的定位精度,得出一些有用的规律性结论,为提高雷达定位精度,扩大其配置范围提供了一种实用可行的方法。     

北斗无源定位技术

研究无源北斗定位技术的目的,在于解决目前北斗定位体制下,存在用户数量受限、用户机需发射信号、定位数据更新率慢等缺点。利用现有的2颗北斗地球同步卫星、1颗备份卫星的星历信息以及测量获得的时差信息,可以推导出实现无源定位的数学模型。该方法通过试验数据获得了50 m范围的定位结果,从而验证了该项技术的正确性。     

创新教学设计 实现新课程理念

<新语文课程标准>将语文学科的性质定义为:语言是最主要的交际工具,文学是人类文化的重要组成部分,中小学语文课程要教会学生使用汉语表达自己,能够顺利与他人交往的同时,还要通过文学学习使学生感悟人生,了解人性,关心人类.工具性与人文性的统一,是<新语文课程标准>的基本特点.<新语文课程标准>在确认语文学科工具性的同时,特别强调指出了语文学科的人文性,这不仅是对语文课程价值的一种新的诠释,也贯彻了新时期教学改革以学生为本的理念.