基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

可溶性二甲基硅二苯基硅共聚物的合成

本文研究了用二甲基二氯硅烷和二苯基二氯硅烷的混合物与金属钠反应,制取可溶性的二甲基硅二苯基硅共聚物。结果表明:共聚物产率随两单体配比的接近而增大,分子量随二苯基二氯硅烷含量的增大而减小;单体配比相近时,反应时间基本上不影响共聚物的分子量硬组成含量,但在反应初期共聚物产率随时间而增加;反应温度对共聚物产率、分子量基本上无影响;共聚物呈无定型非晶态结构。     

刀具磨损监测的随机向量相关度量法

本文提出了一种运用功率累积和与n 维随机向量相关度量监测刀具磨损的新方法,即通过计算刀具三向振动加速度的相关度量系数,主轴扭矩或某项振动加速度的功率累积和综合监测刀具的磨损、破损以及刀具磨损的程度。该法在简单性、可靠性等方面比以往提出的方法有较大的进步,因而使得本方法具有很大的应用前景。文中对该法的理论基础进行了严格的证明,并给出了实验论证结果。     

二甲基硅二苯基硅共聚物的紫外光谱研究

本文研究了二甲基硅二苯基硅共聚物(P(DMS-CO-DPS))的紫外光谱。文中得到了共聚物主链Si-Si 链最大紫外吸收波长及摩尔吸收系数与其分子量的定量关系;发现共聚物在高浓度(约大于0.03g/1)的条件下,在λ=325nm 处有一位置不变,吸收大小与共聚物分子量、浓度有关的吸收。     

多自由度系统及结构非线性自由振动的摄动谐波平衡法

本文在谐波平衡法的基础上,引入摄动的思想,得出了解多自由度系统及结构的非线性自由振动的新方法。其解的形式为小参数和谐波的级数形式,因此,其解不会遗漏任何项,方程为线性的代数方程;利用线性变换,将系数矩阵变换为对角阵,一旦求出线性模态,就可得其解,比线性化迭代法优越得多。算例表明,本文方法对于小振幅有较高的精度,对于较大振幅其结果也是令人满意的。     

溶胶一凝胶法制备二氧化钛及其转化为氮化钛的研究

本文以钛酸丁酯为原料，通过溶胶一凝胶法制备了ＴｉＯ２凝胶，在高温下烧结此凝胶得到ＴｉＯ２。将ＴｉＯ２粉末在９００°Ｃ以上用氨进行氮化，制得金黄色的氮化钛。通过使用热分析、色谱分析、扫描电镜及Ｘ一射线衍射等手段，研究并揭示了凝胶在陶瓷化生成ＴｉＯ２的过程中的化学反应，结晶及晶型随温度的变化规律。发现了氮化钛陶瓷的生成率与ＴｉＯ２溶胶的制备条件之间的关系。     

并行科学计算应用的动态I/O模式分析

设计高性能并行文件系统的关键前提是对 Ｉ／ Ｏ 访问模式的分析和研究。并行文件系统的界面、组织结构、ｃａｃｈｅ 预取算法等都与具体应用的 Ｉ／ Ｏ 模式紧密相关。目前，大多数对 Ｉ／ Ｏ 模式的分析局限于其静态模式，而动态 Ｉ／ Ｏ 模式对并行文件系统的设计至关重要。本文通过分析并行科学计算应用的动态 Ｉ／ Ｏ 访问模式，总结出科学计算应用在访问数据量、时间间隔、访问顺序性等空间、时间上的一般访问特性，并在此基础上提出设计面向并行科学计算应用的并行文件系统应考虑的因素。     

最小费用树

本文在赋边权w和顶点权θ的网络中,建立了最小费用树问题的网络模型。文中对问题的复杂性进行了讨论并给出了求解问题的算法     

随机环境中的M/MY/1排队系统

文献［４］讨论了随机环境中的Ｍ／Ｍ／１排队模型，本文提出和讨论随机环境中的Ｍ／Ｍｙ／１排队模型，在统计平衡条件下给出了队长和等待队长的平稳分布以及平均队长和平均等待队长，得到了等待时间和逗留时间分布以及平均等待时间和平均逗留时间。     

论东北战场1947年夏季攻势

全国解放战争时期,东北战场最先揭开战略反攻序幕,民主联军从吉林以东、长春以西、郑家屯以北、梅河口以南及辽南、热西、冀东等七个重点方向上同时发动进攻,其势如潮涌,纵横关内外。大战结果,民主联军于战略上贯通南北满,一举扭转东北战局,开始掌握战场主动权,迫使东北国民党军转入战略防御,有力地支援了关内战场作战。