图析宁波电视收视格局

文章对宁波的电视收视总体格局、晚间时段各电视频道的竞争态势,以及电视剧在宁波的收视情况作了由总及分的探讨和分析,将数据做成图表的形式形象、科学地解构了宁波电视的收视格局,对了解宁波电视收视情况和促进各台竞争提供了实际的参考价值.     

定性演算的扩充

在已有定性演算的类的划分上进行了扩充并定义了新的定性演算,而且进一步讨论了定性运算的性质.     

现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

略论非帕斯卡概率逻辑的知识创新意义

非帕斯卡概率逻辑的知识创新意义在于：（1）借助这种逻辑，我们更有可能在科学理论创新过程中探索出更为有效的解决科学实际问题的方式；（2）这种逻辑就是一种知识增长的逻辑；（3）它揭示的不断逼近的过程就是科学理论创新的过程。     

开互模拟的一条泛公理

π-演算公理化中较难处理的是有关局部化算子的等式, 传统的方法是使用带条件的推导规则或使用“区别”. 提出一条关于π-演算局部化算子的泛公理, 并证明它可在开互模拟的公理化中取代“区别”的作用. 本方法的好处是在公理化过程中我们只要处理一个互模拟, 而无须处理一族互模拟.     

用进程代数描述CORBA请求调用

用π演算模型来表现ＣＯＲＢＡ请求调用流程．对ＣＯＲＢＡ客户机和服务器端的主要部件（如：接口库、实现库、桩、对象适配器以及两端的ＯＲＢ等）在请求调用过程中的作用都用π演算进程加以表示．利用π演算对描述进程的并行性所具有的独特优势,通过对ＣＯＲＢＡ体系结构的高度简化,希望这一模型能够体现ＣＯＲＢＡ的高度并行和分布的特性．对动态和静态请求调用的分别描述,从理论上表现出它们的共性和区别．     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS），以解决在并发通讯系统中产生的不确定性．在该模型中，前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义，引入了进程的量化这一概念，在此基础上引入强互模拟和μ-强互模拟的概念，并且讨论了其相关性质．     

飞行数据趋势监测在飞机“健康状况”评估中的应用

针对飞行数据属于多状态时域数据的特点提出了一种用于参数趋势监测的方法 ,该方法为“飞机健康”状况提供了一种科学的评估依据。首先对飞机在稳定工作状态和飞行特征时段下的飞行数据进行筛选处理、野点剔除和统计分析 ,并在此基础上建立时间序列AR模型进行参数预测 ,进而采用阈值对比法实现了参数的趋势监测 ,最后讨论了趋势监测在“飞机健康”状况评估中的应用方案。实例表明这一方法具有较高的准确性和重要的工程应用价值     

组合范畴语法产生和发展的动因之分析--从句法演算的角度看

AB-演算刻画句法推演能力太弱,许多合语法的语句在 AB-演算中没有合适的推演形式.斯蒂德曼(Steedman)在 AB-演算基础上增加组合规则,产生了标准的组合范畴语法 CCG;CCG 刻画推演能力太强,不仅能推演出所有合语法的语句,而且可以推演出不合语法的语句;为制止非法句子的可推演性,就需要对推理规则做出限制,因为各种自然语言的特殊性,这种限制又会因语言而异,导致 CCG 失去一定的普遍性.鲍德里奇(Jason Baldridge)和克鲁伊夫(Geert-Jan M . Kruijff)把模态词引入 CCG,由此产生了多模态组合范畴语法MMCCG;MMCCG 摒弃了 CCG 的限制规则的策略,在词法上控制组合规则的适用性,不同语言语法的区别仅仅体现在词汇上,使语法逻辑走上了完全的词汇主义道路.     

电力系统优化控制中运行时段的最优划分

研究了用于电力系统短期优化控制的日负荷曲线最优划分的方差最小化数学模型,提出了采用Hooke-Jeeves直接优化法的寻优策略.最优时段划分为电力系统经济运行与控制的实用化提供了基础.算例计算结果证明了所提最优划分模型及算法的有效性.