有向树上的可加枚举问题

作者在[1]中提出了简单生成树族上的可加枚举问题,并建立了统一的求解模式,有向树族不是一个简单生成树族,就是说,它的生成函数 A(z)=sum from n=1 to ∞(a_nz~n) (1)(a_n——具有n个节点的有向树的个数)不满足任何函数关系     

某型工程车系统可靠性分析

本应用失效树分析法,以某型工程车进行了可靠性分析,建立了该系统的失效树,在此基础上用最小割集法和系统失效树的可靠性仿真法计算了该系统的可靠性参数,并对一些结果进行了比较。     

化网络系统为不变型的并行计算

本文对化网络系统为不交型的问题提出一种新的并行计算模型。为了分析该算法的性能,引入了计算树、加速、利用率等概念。由计算知,改进后的并行算法,处理机的利用率提高了,所需处理机的台数与网络的复杂程度无关(是一个常数),而总的时间耗费没有增加。     

一种基于三值电路的FT-TSC-FS二值数字系统

本文提出构成FT(容错)—TSC(完全白校验)—FS(失效保险)数字系统的一种新方案。这种系统是二值的,但由一类特殊的三值电路——三中取二值电路构成。电路中的所有单故障可以分为三类,分别称为掩蔽型故障、自校验型故障及安全型故障。对掩蔽型故障,本系统是容错的;对自校验型故障,本系统是完全自校验的;而对安全型故障,本系统是失效保险的。构成本系统的技术可称之为逻辑值冗余技术。作者认为这种技术将是达到可靠计算的一种有希望的途径。     

规则形状多元组份样品的X射线微区定量分析计算方法

本文提出了用Monte Carlo迭代计算实现规则形状多元组份样品X射线定量分析的理论和方法。用绝对法计算了样品的X射线深度分布函数,给出了具有广泛适用性的X射线吸收校正和二次荧光校正计算公式。作为实例,对Fe-Cr-Ni标准合金块状样品、6元合金球状颖粒样品及合金γ′相(8元组份)的立方和长方颗粒样品作了EPQA实验,用本方法对实验结果作了计算,得到满意的结果。文中给出定量分析计算程序流程图。电子在合金中散射过程用文献[1]提出的模型进行计算。     

19F+51V耗散反应中的相干转动

在探测角度θ₁=21.7°,36.1°和40.5°,测量了¹⁹F+⁵¹V耗散反应类弹产物的激发函数。入射能量从102.25 MeV到109.50 MeV,步长250 kev。提取了反应产物的能量相干宽度Γ和对应的双核系统的转动角速度ω,讨论了相干转动在耗散反应过程中的重要作用。     

单台机器成批加工最大延误问题的有效算法

在实际生产中，存在着大量成批加工的问题，即如何进行分批，以便使某一目标函数达到最优的问题。Ａｎｄｒｅｗｓ１９９５年的论文针对目标为最大延误的成批加工问题进行了分析和讨论，提出了一个寻找最优解的算法。虽然文章对一些特殊情况提出了减少计算量的措施，但文中的算法实质上仍然是基于枚举的指数算法。本文对该问题作了进一步的分析研究，发现了其内在的一些良好结构和性质，从而提出了一个求解它的多项式时间算法，计算量     

FTA法和重要度分析在某系统可靠性中的应用

应用失效树分析（Fault Tree Analysis）法（简称FTA法）,对某型火炮遥控系统进行了可靠性分析,建立了该系统的失效树,并在此基础上计算了该系统的可靠性参数,讨论了部件的概率重要度和相对比重要度,并把部件的概率重要度和相对比重要度推广到了分系统,结合所建的失效树给出了相应的结果。通过重要度分析,找到了提高系统可靠性中的途径。     

齐次可列马尔可夫过程的样本函数的构造

研究齐次可列马尔可夫过程性质的难易,在很大程度上依赖于样本函数的繁简。本文首先从一切过程中区分出样本函数结构最简单的“最小过程”,然后区分出较简单的一类所谓“一阶过程”,而后证明(定理5.1和定理5.2)任一过程的样本函数是一列一阶过程的样本函数的极限。这样,对过程性质的研究按如下程序进行:先研究“最小过程”,继而研究“一阶过程”,最后,依据定理5.1和定理5.2用极限过渡法研究任意的过程。本文是作者在资料[6]中所提出的“齐次可列马尔可夫过程中的概率-分析法”的概率基础。     

单境自动机计算时间的kn2下界

本文引入单境自动机的h遍计算这一新概念。利用这一概念,对那些计算?(∑,N)或?(∑,Г) 中函数的单境自动机,证明了计算时间的和kn²下界。对于?(∑,N)中的一些函数和?(∑,Г)中全部函数,这种下界在一个常数因子内是紧贴的。     

复杂核相互作用微观理论中的几个问题

本文介绍了一种新的生成函数,以解决不等碎块的质心伪态问题;用稳定原理统一推导了两种变分方法,并用简单方法导出双富里叶变换的公式;还编成解析推导GCM与RGM矩阵元的普适程序,计算了α-He³,α-t和α-α弹性散射相移。     

Max-Lukasiewicz复合推理下的模糊图灵机

研究max-Lukasiewicz复合推理下的模糊图灵机.形式化定义了模糊图灵机--确定型模糊图灵机、非确定型模糊图灵机、带部分转移函数的非确定型模糊图灵机和多带模糊图灵机,研究了这几类模糊图灵机的关系.进而定义模糊图灵机上的模糊递归可枚举语言和模糊递归语言.得出结论:当接受模糊递归可枚举语言时 ,非确定型模糊图灵机和确定型模糊图灵机不等价;而接受模糊递归语言时,它们等价.     

基于Beta分布形状的拟合优度检验

本文指出了拟合优度检验中选用经验频率公式时存在的误区,对顺序统计量失效概率分布进行了偏态和峰态分析,提出了一个基于Beta分布形状特征的经验分布函数,给出了精确值和近似值两种计算方法,在此基础上建立新的极值型检验统计量．利用Monte Carlo方法进行数值模拟,得到0．01、0．05、0．1显著度水平下检验统计量的临界值,并利用常用的分布模型进行检验功效比较,数值模拟结果表明基于分布形状的经验频率公式能更好地反映顺序统计量失效概率分布的集中趋势,证明了本文提出的两种检验统计量在中小样本条件下具有更优的检验功效．     

有限脉冲宽度强脉冲条件下的相干平均理论及其应用

本文用量子力学微扰方法结合相干平均理论提出了有限脉冲宽度强脉冲条件下的相干平均理论。这种方法在处理有限脉宽问题及无窗口(脉冲之间无间隔)脉冲序列时,计算简便,物理意义清楚,结果也较为精确。在设计多脉冲序列时,也有一定的指导意义。本文还讨论了这个方法在固体回波、固体宽带组合脉冲、WHH-4和MREV-8中的应用,并运用这个方法设计了无窗口固体回波脉冲序列P_Y(ω,τ)P_Y(ω,τ)P_X(90°)—τ′和固体宽带组合π脉冲P_X(90°)P_Y(90°)P_X(90°)。实验结果表明,这两个脉冲序列效果较好。     

负度规量子力学的坐标、动量表象

本文在文献[1,2]的基础上继续探讨负度规量子力学的表象理论。利用负度规玻色子相干态的性质和正规乘积的性质,首先导出了度规算符的正规乘积形式,进而讨论了坐标、动量算符的虚数本征值的本征态,利用相干态方法证明了它们是不可归一的.但是可以找到“类度规算符”使得它们的δ函数归一化可以实现。还给出了虚值本征态所满足的完备性关系及其与实本征态之间的关系,最后给出了物理态真空在新表象中的表示。     

多模式广义失效率概率计算的数值模拟法及其工程应用

提出了安全与失效状态含有模糊信息时,广义失效概率计算的数值模拟,及相应的方差估算,并提出了对应的数值积分方法。当状态变量服从于正态分布,且其对模糊安全域的隶属函数为正态型时,单个模式的广义失效概率具有精确解。首先利用这种特殊情况检验了所提数值模拟的精度,结果表明对于数值模拟法,随抽样次数的增加,估计值逐渐收敛于真实值。然后利用扩展原理和概率定理,提出两个以上失效模式数广义失效概率的数值模拟计算方法     

基于多项式混沌拓展模型和bootstrap的结构可靠性分析方法

多项式混沌拓展(polynomial chaos expansion,PCE)模型现已发展为全局灵敏度分析的强大工具,却很少作为替代模型用于可靠性分析。针对该模型缺乏误差项从而很难构造主动学习函数来逐步更新的事实,在结构可靠性分析的框架下提出了基于PCE模型和bootstrap重抽样的仿真方法来计算失效概率。首先,对试验设计(experimental design)使用bootstrap重抽样步骤以刻画PCE模型的预测误差;其次,基于这个局部误差构造主动学习函数,通过不断填充试验设计以自适应地更新模型,直到能够精确地逼近真实的功能函数;最后,当PCE模型具有足够精确的拟合、预测能力,再使用蒙特卡洛仿真方法来计算失效概率。提出的平行加点策略既能在模型更新过程中找到改进模型拟合能力的"最好"的点,又考虑了模型拟合的计算量;而且,当失效概率的数量级较低时,PCE-bootstrap步骤与子集仿真(subset simulation)的结合能进一步加速失效概率估计量的收敛。本文方法将PCE模型在概率可靠性领域的应用从灵敏度分析延伸到了可靠性分析,同时,算例分析结果显示了该方法的精确性和高效性。     

0-1目标规划及其解法

在经济、管理等许多领域经常会遇到下列0-1目标规划问题 但关于其解法的专门讨论尚不多见。本文从目标规划的对偶问题出发,并以对偶问题的目标函数为主要过滤条件,提出了一种隐枚举法。利用该方法不仅可以减小枚举次数和每次枚举的计算工作量,而且避免了单纯形法的多次迭代过程。文章最后举例说明了该方法的应用。     

关于具有最大路长限制的顺序扩充二分树

本文是文献[3]的继续,文中研究了具有转移函数和价格函数的L-限制扩充顺序二分树,关于模型1和模型2最优解的同一性定理(定理1)是建立递推公式和定义分界数的理论根据,为解决带有一类转移函数的L-限制顺序扩充分树问题奠定了基础,主要结果是分界数的三个定理(定理2—4)。     

任意剖分下的多元样条分析

本文采用代数几何的方法,研究了在任意剖分下多元样条函数的各种性质.定理2—4给出了一个函数S(υ,ν)是多元参数型样条的充分必要条件.定理1指出了多元样条函数具有“解析延拓”的特征性质.文中得到在任意剖分下多元样条的一般表达形式(定理9和10)和多元样条插值的一般理论.文中也讨论了多元有理样条函数.