反函数的导数定理的一个注记

给出反函数的导数定理的改进形式:若f(x),x∈(a,b)与φ(y),y(A,B)互为反函数,x0∈(a,b),y0=f(x0),φ(y)在点y0处可导且φ′(y)≠0,f(x)在点x0处连续,则f(x)在点x0处可导,且f′(x0)=1/φ′(y0).并说明,f(x)在点x0处连续这一条件不可去掉。     

异构数据源集成系统中能力对象集成模型及代数

异构数据源集成系统中,参与集成各数据源的查询处理能力有自身特殊的限制,导致中介器支持的查询类型变得复杂。提出一种便于异构数据源集成的公共能力对象数据模型———COIM对象模型,在此基础上,进而定义数据源能力对象代数,给出基于局部数据源的能力对象构造集成系统中介器能力对象的方法。由于可以通过计算得到中介器能力对象,用户能够提前预知中介器支持的查询类型,从而直接构造可以执行的查询,减少查询提交的盲目性;同时中介器本身也可像数据源一样参与其它中介器的集成,集成方式变得更为灵活。     

基于回归算法的OFDM系统帧同步和信道估计研究

提出了一种基于回归方法的联合帧同步和信道估计方案.该方案通过添加在OFDM帧格式中的伪噪声码可以得到帧定时和信道冲击响应,由估计到的信道信息,使频域单抽头均衡器完成信号补偿.仿真结果表明:在瑞利信道下,该方案的帧头丢失率要比滑动平均方案和Beek方案低,并且信噪比大于-10 dB时,帧定时的精确度更高.采用该信道估计方案的均方误差要比LS方案和MMSE方案小.最后比较了采用该方案和传统方案的误码性能.     

天线宽频辐射功率的FDTD数值计算

为了实现混响室的仿真电场值与实测值的直接对比,需要计算发射天线的宽频辐射功率．基于坡印廷矢量的面积分,利用时域有限差分算法和快速傅里叶变换,得到了天线宽频辐射功率的快速计算方法．应用该方法对半波偶极子天线和短偶极子天线进行数值仿真,通过仿真值与理论值的比较,验证了该方法的正确性．该方法适用于任何能够用FDTD进行合理建模的电磁设备的辐射功率计算,且一次计算即可得到宽频辐射功率,不仅为混响室仿真结果的归一化打下基础,而且也是分析其他电磁设备宽频辐射特性的可行方法．     

模拟罐声发射试验研究

为验证常压储罐声发射的基本规律,并获得罐底缺陷声发射信号数据,在模拟罐进行声发射试验。原始状态的模拟罐底部存在沉淀,通过原始状态与清洗罐底后声发射试验结果对比,得出罐底沉淀物会产生部分声发射信号并影响声发射检测,以及涂层对声发射检测影响较小的结论。凹坑和通孔是罐底常见腐蚀缺陷,通过设计和预制3种罐底缺陷状态,分别对各种缺陷状态的罐底进行声发射试验,分析缺陷的声发射信号特征,得到缺陷在升压和保压检测中的声发射信号数据,为声发射检测数据分析提供参考。     

基于MDA的MARTE模型形式化转换

非形式化/半形式化模型到形式化模型之间的转换是当前软件工程领域的研究热点。根据异构模型转换,提出了基于MDA的MARTE模型到Object-Z规约之间的转换方法。针对Object-Z在实时领域表达能力不足的问题,首先扩展Object-Z元模型;然后在MDA的元元模型体系下,定义了MARTE元模型和扩展的Object-Z元模型之间的转换规则。MARTE模型可以重用这些转换规则以实现到Object-Z形式化描述之间的转换,进而可以对模型进行形式化验证;最后通过一个实例使用该方法完成模型转换,具体说明了转换规则的应用。     

Rectangles algorithm for generating normal variates

We propose an algorithm for generating normal random variates that is based on the acceptance–rejection method and uses a piecewise majorizing function. The piecewise function has 2048 equal‐area pieces, 2046 of which are constant, and the two extreme pieces are curves that majorize the tails. The proposed algorithm has not only good performance from correlation induction perspective, but also works well from a speed perspective. It is faster than the inversion method by Odeh and Evans and most other methods. © 2011 Wiley Periodicals, Inc. Naval Research Logistics, 2011     

双重系统加密研究: 获得完全安全的IBE及其扩展

双重系统加密技术首先由Waters提出,是用于构造完仝安全的基于身份的加密(IBE)及其扩展方案的有力方法.针对完全安全方案的构造,研究了双重系统加密技术并提出了一个完全安仝方案的通用构造方法,即将一个利用双重系统加密的IBE方案与一个普通的方案相结合,得到一个新的可以利用双重系统加密证明安全的方案.在通用构造的基础上提出了一个实例,该实例是一个基于层级身份的加密( HIBE)方案,具有常密文长度.该方案比Waters提出的双重系统加密HIBE方案更高效,并且在判定BDH假设和判定线性假设下证明是完全安全的.     

多阶段任务系统可靠性并联冗余优化模型

多阶段任务系统是一类普遍存在的复杂系统,研究其可靠性冗余优化对于该类系统设计具有重要的参考价值。针对多阶段任务系统的可靠性并联冗余优化问题,提出了采用冗余故障树和冗余BDD来描述系统冗余结构的方法。给出了冗余模块在多阶段任务系统中的可靠度计算方法,建立了整个冗余多阶段任务系统可靠度计算模型。在此基础上以费用最小为目标,构建多阶段任务系统可靠性冗余优化模型,并应用微粒群算法对模型进行求解。算例验证了模型的合理性及算法的有效性。     

以科学发展观为指导提升基于信息系统的体系作战能力

坚持以科学发展观为指导,提升基于信息系统的体系作战能力,是履行我军历史使命的必然要求.必须向体制编制要战斗力,切实筑牢信息化建设的"奠基石";向武器装备要战斗力,主动抢占信息化建设的"制高点";向人才队伍要战斗力,努力培养信息化建设的"驾驭者";向科学管理要战斗力,积极打造信息化建设的"助推器".