一类分数形式的Einstein(α,β)-度量

爱因斯坦的(α,β)-度量一直是一个重要问题,但由于其具体度量形式不确定,使得研究工作面临重重困难。主要研究了一类度量形式为F=αφ(β/α),φ(s)=1/p(s)的(α,β)-度量,这里p(s)是关于s的k(k≥1)次多项式,α是一个黎曼度量,β是一个1-形式。利用多项式方程和代数整除原理,并结合Maple程序运算,讨论了这类度量成为Einstein度量的充分必要条件,得出这类度量是爱因斯坦度量当且仅当它们是Ricci平坦的。     

关于一类特殊的（α，β）度量的S曲率

构造了一类具有5个参量的特殊的（α,β）度量,在此基础上计算了其射影平坦的条件,并通过计算得出其具有常S曲率。     

命题联结词的对偶性质

本文以同构函数为工具探讨了命题联结词的对偶性质,分别导出了对偶词、对偶式、对偶集各自间的基本关系.拓宽了对偶原理,给出了据联结词集合的性质判断其对偶集性质的简明方法.     

平坦同态下模的内射维数

Ａｆ→Ｂ,ｆ是平坦同态,Ｍ是Ａ－模,本文给出了ｉｄＡＭ与ｉｄＢ（ＭＡＢ）的不等式关系。     

变量度量估计软件的复杂度

提出软件的变量度量方法分别度量软件的变量个数、变量距离及变量聚合缺乏度来估计软件的复杂度.该方法与已有的软件复杂度度量方法,如Halstead科学度量法、McCabe圈复杂度度量法以及Chidamber的6个度量OO代码的指标等不同,它通过度量构成软件的基本元素-变量,更能从底层抓住软件的本质,而且该方法运用于实际的软件复杂度估计十分准确有效.     

软件结构的复杂性度量

在软件开发中,软件度量的根本目的是为了管理的需要,利用度量来改进软件过程。人们是无法管理不能度量的事物。没有对软件过程的可见度就无法管理;而没有对见到的事物有适当的度量或适当的准则去判断、评估和决策,也无法进行优秀的管理。软件工程的方法论主要在提供可见度方面下工夫。但仅仅是方法论的提高并不能使其成为工程学科。这就需要使用度量。度量     

软件质量度量研究

大量的软件产品在社会生产、生活中的广泛应用使得软件质量问题备受关注。如何在软件开发过程中有效地管理和控制软件质量成为重要的研究课题,而要想实施有效地软件质量控制,一个重要的基础是能够对软件质量进行客观、准确地度量。文章从软件质量的概念内涵入手,分析了软件质量度量对于软件质量控制的重要意义,并比较、总结了现有的软件质量度量方法和模型,指出了这些方法、模型的优点和不足,为后续的研究指明了方向。     

弱紧局部一致凸空间中的度量投影

本文研究了弱紧局部一致凸空间中度量投影的弱连续性,将ＢＢＰａｎｄａ和ＯＰＫａｐｏｏｒ的相应结论推广到更一般的弱紧局部一致凸空间。最后给出了局部一致凸点的一个必要条件。     

跳测度的可料对偶投影

证明了跳测度 ν的 Doob-Meyer分解 ν=m+π中 ,π即为跳测度的可料对偶投影 ,也是 ν-π的鞅特征     

变量有界线性目标规划的对偶算法

本文讨论了变量有界的线性目标规划问题,给出了求解这类问题的一个对偶算法,此方法与变量有界线性规划问题的对偶算法相类似。文中证明了算法的有效性,并举例说明了计算过程。     

基于度量元的静态软件缺陷预测技术

软件缺陷预测技术是当前软件工程领域的一个热点研究问题。回顾和综述了基于度量元的静态软件缺陷预测技术研究的起源与国内外最新进展动态,并对常用缺陷预测技术的评价指标进行对比和分析,指出其优缺点和适用范围。最后对静态软件缺陷预测技术的可能发展方向进行预测。     

车载式回转起竖平台起竖执行机构选型分析

给出了车载式回转起竖平台起竖执行机构可供选用的机构方案;重点讨论了包含一个可变长度构件且为滚珠丝杆的四连杆机构——摇块机构和转动导杆机构两方案的结构参数计算方法和受力分析方法;通过对比分析,在满足功能要求的前提下,确定了相对较优的摇块机构方案并付之实践,效果理想。     

基于GQM的装备软件可靠性参数选取方法

针对装备软件无可靠性定量要求以及开发过程缺少监管的问题,提出基于GQM(Goal-Question-Metric)的装备软件可靠性参数选取方法。首先构建了软件可靠性通用参数集和装备软件可靠性特有参数集,然后按照GQM方法的框架,从不同角度出发,制定装备软件可靠性度量目标,列出为实现目标需要回答的一系列问题,进而以回答问题的方式,确定不同情况下适用的软件可靠性参数,最终建立装备软件可靠性参数体系。     

综合显示与加固平板显示器的技术发展

简要阐述了综合显示与加固平板显示器技术发展概况,并对综合显示体系结构及三种平板显示器加固方法、应用场合进行了探讨。     

高层公寓建筑防火设计探讨

高层公寓的火灾特点不同于普通的高层住宅,其火灾危险性高于普通住宅。分析了高层公寓的火灾特点,并从消防车作业面、安全疏散、防火分隔、防排烟、灭火设施、内装修等方面提出了高层公寓防火设计应注意的问题。     

直射武器弹药性能测试仪自动击发系统设计与实现

直射武器弹药性能测试仪是对直射武器弹药性能进行检测的一种装置,自动击发系统是直射武器弹药性能测试仪的重要组成部分,它是完成弹药自动发射、检测弹药性能的关键。介绍了自动击发系统的组成结构及其工作原理,对自动击发控制系统的实现进行了系统研究,详细介绍了自动击发系统结构参数的设计计算过程,并举例验证了其可靠性。     

一类集值映射的高阶微分

在文[1]中,H.T.Banks 与M.Q.Jacobs 讨论了集映Ω:R~m→(?)(R~n)的一阶微分,分别给出了Ω可微的充分条件与必要条件。本文改进了文[1]的工作,证明了[1]中条件(3.2)的限制是不必要的,从而得到了Ω可微的充分必要条件,及较为简洁的Ω微分解析表达式。在文中也讨论了Ω的k 阶微分,得到了Ωk 阶可微的充分必要条件及k 阶微分的解析表达式。     

基于海上遥控平台的防空武器拦截空靶试验方法

针对近程防空武器系统拦截空中靶标试验面临的主要问题,结合未来空中靶标的发展及武器系统的试验需求,提出了以海上无人试验平台为载体,加装近程防空武器系统,并通过遥控方式,实现对空中靶标进行拦截的试验方法.分析表明,该方法在目前具有较好的可行性.     

用动网格法计算理想平板的颤振导数

提出了一种数值模拟振动的理想平板绕流场 ,并提取其气动导数的方法。时间相关的不可压N S方程采用Projetion 2格式解耦 ,关于中间速度的动量方程的时间和空间离散采用二阶半隐格式 ,压力Possion方程迭代用多层网格法加速收敛。分别计算平板作竖向强迫振动或扭转强迫振动的气动力 ,用动网格法考虑平板和气流的耦合作用。由计算得到的气动力用最小二乘法确定 8个气动导数。计算结果和理想平板的Theodorsen理论值有较好的一致性     

一类非线性反应扩散系统

用非线性分析的方法,研究一类带混合非齐次边界条件的肺动脉毛细血管中血红蛋白的氧化反应扩散系统,并引进局部上、下解的概念,借助构造局部上、下解,在任一有限时间区间内得到解的存在性,从而证明了解是整体存在的.