软件安全性3M评价中评价因子修正的研究

安全性苛求系统需要防范意外事件造成对人体，环境或大宗财产的损害，为此，对软件需要进行严格的安全性测试，并对软件防范意外事件的能力进行评价，然而，完全依靠试验统计或事故累积数据进行安全性评价。会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性，需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价，但是，在这些信息中包含了某些主观的成分有待验证，在多元，多模型，多阶段（3M）安全性软件评价方法的框架中，有可能利用后续测试得到的信息不断对评价因子进行修正，提高评价的准确性，讨论了后续测试对3M模型中的复杂性，技术支持和开发水平因子的修正方法，着重论述对开 水平因子的修正，提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则。     

新型介孔材料M41S的合成机理及影响产物结构的因素

综述了新型介孔材料M41S合成机理的研究进，硅酸盐物种以液晶或胶束作模板剂形成介孔结构，可用液晶模板机理解释；硅酸盐物种与表面活性剂离子在较低浓度下形成六方堆积的介孔结构，可用协同模板机理解释。水热反应混合物组成、表面活性剂与硅酸盐摩尔比和酸碱性等对介孔产物的结构有很大影响。另外，讨论了影响孔径和稳定性的因素。     

加速参考系中速度和力的变换

利用狭义相对论方法和MΦller变换得到了加速参考系和惯性参考系之间速度和力的变换关系。     

M进制多小波尺度函数的逼近阶

在小波理论中，精度或逼近阶是刻划尺度函数最重要的特殊之一。就M进制多小波的尺度函数在时域里逼近阶条件进行研究，并给出尺度函数具有逼近阶m的充分必要条件。     

细胞周期调控因子的研究进展

细胞周期调控是细胞周期在不同时相的调控点受到调节因子的调控，其中有二个调控点最重要，G1／S期，G2／M期，已有二类细胞周期调控因子被发现，分别是细胞周期蛋白依赖性激酶CDK（cell dependent kinase)和细胞周期蛋白（cyclin)，它们之间的相互作用调控细胞周期的进程。     

向量值M-解析函数的奇异积分方程的稳定性

本文解了关于由椭圆方程组fx Mfy=0的正则解所定义的取值于Banach空间的向量值M－解析函数的具有Cauchy核的非正规的奇异积分方程，此外，还研究了它的扰动问题。     

证券数目变化时M-V有效前沿的分析

该文在市场存在无风险收益证券且不允许卖空的条件下，讨论证券组合的有效前沿关于证券数目增加或减少的变化情况，并给出了相应的判定条件。     

M方阵A与B^—1的Hadamard积的特征值下界

给出Ｍ方阵Ａ和Ｍ方阵Ｂ的逆方阵Ｂ＾－１的Ｈａｄａｍａｒｄ积的最小特征值的下界。     

Mbius函数μ(n)及其关联

本文主要给出Mbius函数μ(n)的若干结论,同时还给出它与其他数论函数T(n)、S(n)、(n)之间的关联,并用多种不同的方法加以证明.