模态算子与全称量词－－蒙太古构造的一个模态逻辑公理系统

本介绍和评估了美国逻辑学家蒙太古构造的一个模态逻辑语言S。S是一阶语言加上符号N所构成。N可分别看作为逻辑必然、物理必然、伦理必须和全称量词。蒙太古最早作出这种在一综合框架下处理模态算子与全称量词的系统。对模态算子与量词的混用所造成的困难提供了一个解决方法。在蒙太古的模态语言S中，模态算子与量词的联合使用并不会造成美国逻辑学家蒯因所指出的那种困难。     

三峡工程中的升船机设计风速的确定

采用三种概率分布模型对三峡升船机的设计风速进行了研究，并用柯尔莫戈洛夫检验对各种概率分布模型的合理性进行了检验，确定了升船机的设计风速。     

证券资产动态定价模型与机制研究

从新兴市场动态多变的基本特征出发，根据现代Ｉｎｔｅｒｔｅｍｐｏｒａｌ组合理论的思想方法，重点研究探讨了资产（证券）的收益、需求以及预算约束的动态特性及方程，深入分析了证券市场定价的动态机制．在此基础上，又进一步研究提出了在可行集状态可由单一变量描述的情况下的资产定价动态均衡模型．与传统的ＣＡＰＭ理论不同，本模型表明在动态市场环境下，资产价格与可行集变化情况密切相关     

ATM网络中的信元队列管理模型研究

在ＡＴＭ网中，为了同时对信令信元提供服务，本文建立了一种接近宽带综合业务数字网（ＢＩＳＤＮ）的信元级服务排队Ｇ／Ｇ／１（Ｒ）模型，并利用Ｚ变换进行了数学解析。同时进行了计算机模拟。计算机模拟的结果表明了仿真与理论的一致性。     

DOS命令功能的增强

笔者用C语言编写了一实用性程序,可以集PRINT、MORE TYPE命令的功能于一身,成为一种更方便、更灵活的工具软件。     

预测支持系统中动态模型的研究与应用

介绍了一个智能预测支持系统中的动态模型生成的研究，提出了静态模型与动态模型两种模型表示方法。并对静态模型的表现形式，为产生动态模型而对方法库系统和模型库系统所作的改进，系统中心部件—模型求解控制模块、动态模型的生成进行了详细论述。     

用逆传递函数矩阵的近似并矢展开模型设计控制系统

本文建立复杂对象逆传递函数矩阵的近似并矢展开模型，设计控制器以满足系统性能要求。举例说明这样可以设计出满意的控制系统     

油田采油量优化与分配模型

根据油田产量随开采时间增加而不断递减的特点，研究了采油量的转化问题及转化条件，建立了以经济效益为中心的注水优化模型，确定了生产量临界条件及经济极限关系式，最后给出了以最小消耗为目标的算例     

采用暂态伴随模型的电路暂态分析

介绍用元件的暂态伴随模型对电路进行暂态分析的方法；针对分析过程中存在大量稀疏矩阵相乘这一情况，提出了一种能有效加快运算速度的稀疏矩阵乘法；编制了相应的电路暂态分析程序并给出了算例     

切缝尺寸对大理岩动态断裂韧度的影响

切缝尺寸对能否测得有效的岩石动态断裂韧度是一个关键的因素。本文从宏观上探讨了切缝尺寸对大理岩动态断裂韧度的影响 ,并用分形理论从微观上对其进行定量研究 ,获得了满意的结论。图 4,表 1 ,参 4。