一种在压缩域内的帧类型转换方法

论述了在压缩域内将MPEG-2码流中的B帧或P帧转换为Ⅰ帧的方法。根据DCT变换的正交特性，在将运动补偿运算转换为矩阵相乘运算后，推导出压缩域帧类型转换的计算公式。针对采用半像素精度运动估计的帧，对相应公式做了修正。由于量化阶的选择极大影响转换过程中的失真程度和码率的大小，提出了一种重新计算量化阶的方法，利用压缩域的信息计算宏块的活动性，并由该活动性信息调整量化阶的大小。仿真实验验证了所提出方法的有效性。     

模拟示波器数字化存储功能的设计

设计的电子系统由大规模可编程逻辑器件PLD，模／数(A／D)转换电路、数／摸(D／A)转换电路、存储电路、比较触发电路、放大器电路组成，重点论述了系统构思、计算和设计过程，本设计的实现，能使模拟示波器具有数字化存储功能，成为简易数字存储示波器．     

常系数非齐次线性微分方程解法探讨

介绍了两种求常系数非齐次线性微分方程特解的简便方法,并且给出了一些实例,从而避免了一般教材介绍的利用待定系数法求特解所带来的繁琐计算.     

某些风险序关系及其k阶停止损失序的表示

讨论了保险精算理论中常见的几种风险序之间的关系，得到了聚合风险中期望剩余寿命风险序的一个性质，利用κ阶停止损失风险序及κ阶失效率风险序间的关系，对本文中所讨论的几种风险序之间的关系给出了一个统一描述。     

用PB开发三层分布式医院信息系统

在分析三层分布式原理的基础上，讨论用Powerbuilder开发三层分布式医院信息系统的方法。     

基于 PDM控制的高频交流交交变换器的建模

根据软开关谐振理论,对三相高频交流交交变换器,提出了一种新颖的脉冲密度调制(PDM)的控制策略,并采用PDM控制策略建立了变换器的数学模型和仿真模型,分析了变换器输出波形。研究表明,在高频输入信号条件下,PDM控制技术可以将高频输入电压合成为幅值和频率变化的低频信号,具有操作简单、控制方便的特点。     

纵横图趣谈

纵横图的研究由来已久,首先介绍n阶纵横图问题和n阶不全四角问题及其它们的解法,然后从一道竞赛题得出启示,推广n阶不全四角问题.     

基于广义归纳逻辑因果模型的知识发现与算法实现

以语言场、广义细胞自动机和广义归纳逻辑因果模型为理论依据，分析了广义因果联系类知识的发现机理，给出了因果联系类知识发现的实现算法。该算法为解决具有随机不确定和模糊不确定性特征的因果联系类知识的发现提供了行之有效的方法。通过算法的运行实例，验证和说明了算法的正确性和有效性。     

卡尔·波普尔思想精华的解读--北京卡尔·波普尔百年学术研讨会会议综述

2002年9月24日-25日,由中国自然辩证法研究会、山西大学、中英澳暑期哲学学院和乔治·索罗斯先生联合主办的“北京卡尔·波普尔百年学术研讨会”在北京大观园酒店隆重举行。这是继1980年第一次全国波普尔学术讨论会之后的又一次盛会。来自全国的近90名与会学者提交了38篇论文,分别讨论了波普尔的逻辑和科学方法、认识论和形     

面向传值进程的一阶模态逻辑的可判定性与模型检测

对于面向传值进程的Hennessy-Milner逻辑的一阶扩充HML(FO), 给出了基于带赋值的符号迁移图的语义解释. 证明了HML(FO)的子逻辑HML(FO²)是满足性可判定的, 并且讨论了判定的复杂性. 最后给出传值进程关于HML(FO²)的模型检测的可判定性结果.