关于图P1V^△T及P1V^□T的优美性

本文给出了两类图Ｐ１Ｖ＾△Ｔ及Ｐ１Ｖ＾□Ｔ，论证了这两类图的优美性取决于树Ｔ的优美性。     

一类线性热方程初边值问题解的存在唯一性

本文研究线性热方程的初边值问题。在初值ｕ０（ｘ）∈Ｈ１０（Ω）的条件下，证明了问题的解在Ｃ（［０，Ｔ］；Ｈ１０（Ω））∩Ｗ１，２（０，Ｔ；Ｌ２（Ω））中存在且在更大的类Ｌ∞（０，Ｔ；Ｈ１０（Ω））∩Ｗ１，２（０，Ｔ；Ｌ２（Ω））中唯一。     

保谱乘法映射

设Ｘ，Ｙ为Ｂａｎａｃｈ 空间，乘法映射φ：Ｂ（ Ｘ） Ｂ（ Ｙ） 称为是保谱的，是指对每一Ｔ∈Ｂ（ Ｘ） ，Ｔ的谱σ（ Ｔ） 等于σ（ φ（ Ｔ））证明了如果φ还是满的，则它具有形式φ（ Ｔ） ＝ ＡＴＡ－１ ，其中Ａ 为Ｘ 到Ｙ上的同构     

套利策略与期货均衡价格的形成

在市场经济体制下，价格机制作用的完善程度有赖于市场体系的完整化。按交易方式划分，一个完整的市场体系应包括现货市场和期货市场两大部分，两个市场部分之间的价格有着内在的联系，其联结点就是期货均衡价格。本文首先论证了在两种套利策略的驱使下，期货价格必然从两个不同的方向趋向于其均衡价格：Ｆｔ，Ｔ＝Ｐｔ（１＋ｒｔ，Ｔ）；接着推出了在考虑持有资产期间的支付时的期货均衡价格：Ｆｔ，Ｔ＝Ｐｔ（１＋ｒｔ，Ｔ）－ＦＶＴ，并从净持仓费用的角度得出了商品期货价格一般总比其现货价格为高的结论；最后，本文论述了交易成本对期货均衡价格的影响，得出了考虑交易成本情况下期货均衡价格的范围：     

临界二元村临界输入的一种启发式排序方法

临界二元树ＣＢＴ（ｃｒｉｔｉｃａｌＢｉｎａｒｙＴｒｅｅ）作为描述电路功能的一种方法，可以用于呆滞型故障模型的电路功能级测试生成。其基于知识的树结构特别适用于专家系统环境［１］。然而ＣＢＴ的大小取决于临界输入的识别，好的临界输入排序可以大大缩小ＣＢＴ规模。文中提出了一种临界输入的启发式识别方法，以求获得较小的ＣＢＴ，加速测试生成过程。     

半线性热方程解的爆破率

考虑半线性方程ｕｔ－△ｕ＝（１＋ｕ）ｌｎ２＋ｒ（１＋｜ｕ｜）的初边值问题，对解ｕ在爆破时刻Ｔ的爆破率进行估计．     

DTS—1型预应力混凝土轨枕承载能力试验研究

用静载和疲劳试验的方法，研究了ＤＴＳ－１型预应力混凝土轨枕的承载能力，并分析了设计截面的合理性。     

GTEM Cell的坐标变换分析

文献［１］提出用坐标变换将ＧＴＥＭｃｅｌｌ变换成均匀矩形偏心同轴线，然后用数值方法求解场分布，但是其变换后的二阶偏微分方程存在错误。文中经过严格的推导，获得了正确的结果，纠正了文献［１］中的错误。     

M／G_T／1可修排队系统分析及最优策略

研究服务台可修且按年龄Ｔ维修的Ｍ／Ｇ＿Ｔ／１排队系统。在假定服务台寿命分布为负指数分布，事后修理时间和事前修理时间均有一般分布的条件下，使用分解法，结合更新过程理论，获得系统的排队指标和服务台的可靠性指标，而且在两种不同的目标函数下讨论了服务台的最优维修策略。     

P~－一致凸空间渐近非扩张映射不动点的迭代构造

设Ｔ为Ｐ—一致凸Ｂａｎａｃｈ空间非空闭有界凸子集上的全连续与浙近非扩张自映射，在一定条件下得到了Ｍａｎｎ迭代序列和Ｉｓｈｉｋａｗａ迭代序列强收敛于Ｔ的某个不动点，推广了文［２］的部分结果．（１＜Ｐ≤２）     

COSAV1.1开放式系统软件平台

主研人员　黄万镒　刘启原　尤晋元　卢显良等ＣＯＳＡ１．１是在八五科技攻关成果ＣＯＳＡ１．０的基础上，经功能扩充，性能提高而形成的系统软件平台产品，包括三个基本成份：１）ＣＯＳＩＸＶ１．３操作系统２）ＣＯＢＡＳＥＶ１．１数据库管理系统３）ＣＯＮＥＴＶ１．１网络软件其次在ＣＯＳＡＶ１．１系统软件平台的基础上还进行了典型的应用开发，并投入运行COSAV1.1开放式系统软件平台@科卞     

新型功率MOS器件

新型功率ＭＯＳ器件主研人员：陈显据李鳖击偷永康张波李平赵建明等研制出的四种晶体管是：１）绝缘栅双极晶体管（ＩＧＢＴ），并已设计定型，其技术指标：１０～２０Ａ／１０００～１２５０ｙ，ＴＯｆｆ＜０．１８ｏｎ；２）横向绝缘晶体管（ＬＤＯｇｒ）技术指标为Ｔｏ...     

微波副载调频CATV实用化光传输系统

主研人员：唐明光邱昆王志玉　周东　周波　梅克俊　等微波副载调频ＣＡＴＶ实用化光传输系统包括两个光传输系统：Ｃ波段副载波调频ＣＡＴＶ实用化光传输系统和射频副载波调频ＣＡＴＶ实用化光传输系统（其中包括一个２Ｍｂ／ｓ数字通简。其传输频道为之（Ｃ波段）／１６＋１＋１（频波段），ＤＧ＜５％，ＤＰ＜５°，具有全汉化双向监控系统。该系统主要技术性能为：载噪比为２８ｄＢ（Ｃ波段）／２６．５ｄＢ（频波段）；传输距离大于３０ｋｍ（Ｃ波段）／５０ｋｍ（频波段）。微波副载调频CATV实用化光传输系统     

关于B型良性有界线性算子的共轭算子

在自反Ｂａｎａｃｈ空间上的线性算子Ｔ是Ｂ型良性有界的充要条件是Ｔ＊也是Ｂ型良性有界的，但在非自反空间上这种性质不一定成立。本文在包含可补子空间同构于Ｃ０或ｌ１的Ｂａｎａｃｈ空间上构造了一个Ｂ型良性有界线性算子，但其共轭算子不是Ｂ型的。     

基于MPEG-1的视频点播系统

主研人员　佘　堃　周明天　王敏毅　孙雅章　徐　莉　邹　坚ＭＰＥＧ１视频点播系统可运行在Ｗｉｎｄｏｗｓ９５、ＷｉｎｄｏｗＮＴ环境下，支持ＴＣＰ／ＵＤＰ／ＮＥＴＢＩＯＳ多种传输模式，在普通１０Ｍｂｐｓ以太网上可以同时点播６路ＭＰＥＧ１节目，支持标准ＶＯＤ系统的快进快退和中间播放等功能。该系统基于Ｗｅｂ方式，使用ＨＩＭＬ格式，界面友好，使用方便，很有特色。该系统是一项自主开发的软件成果，在技术上达到了国内先进水平，与国际９０年代中期同类系统水平相当，具有广阔的应用前景基于MPEG-1的视频点播系统     

数字HDTV可分级信源编码的双尺度小波实现

根据全数字ＨＤＴＶ信源编码可分级性的要求，提出了一种基于小波分解的分级实现方案。同传统的小波分解有所不同，该方案在水平、垂直方向上进行低、高分辨率为３：１的双尺度分解，它利用了正交镜像滤波器优良的混叠抵消特性。理论分析及实验结果表明，该方案是一种优良的ＨＤＴＶ分级技术。     

汉字的矢量化技术

本文提出了直接由点阵汉字形成图形矢量汉字的有效处理方法．可对ＧＢ２３１２—８０中（１—８７）区的所有宋体、仿宋体、楷体及黑体点阵汉字以迹线闭环技术进行矢量化处理，自动产生符合国际惯例的单线体（ＭＯＮＯＴＥＸＴ），双线体（ＣＯＭＰＬＥＸ），三线体（ＴＲＩＰＬＥＸ）以及各种填充体（ＦＩＬＬＰＡＴＥＲＮ）等几十种字体的矢量汉字，其数据占用量少，精度高，尺寸任意缩放，可直接写入图形屏幕，也可产生矢量字库，并支持各类打印机及笔式绘图仪．     

MOS器件热电子退化的电子辐射实验研究

在分析热电子效应与辐射效应在ＭＯＳＦＥＴ产生界面态关系的基础上，给出了采用普通电子直线加速器作辐射源来对ＭＯＳ器件热电子退化效应进行研究的方法和采用该方法对１μｍ工艺Ｎ沟ＭＯＳＦＥＴ进行热电子退化效应的研究结果，并对热电子退化与偏置的关系进行了讨论，得到了确定热电子退化寿命的快速而简便的方法。     

美国期中选举后的趋势

美国期中选举后的趋势涂心园美国选举分总选与期中选举二种，前者是选举总统（ＰＲＥＳＩＤＥＮＴＩＡＬＥＬＥＣＴＩＯＮ），每４年１次，后者是选举州长、国会两院及地方官吏（ＧＵＢＥＲＮＡＴＯＲＩＡＬＥＬＥＣＴＤＮ），每年１次，日期订在１１日上旬。期中选举既然...     

关于Ringrose猜想和Γ类标量型可分解算子

Ｒｉｎｇｒｏｓｅ猜想良性有界线性算子Ｔ的恒等分解在一般情况下与其共轭算子Ｔ＊不可交换［１］．Ｔｕｒｎｅｒ引进一类称为Γ类标量型可分解算子并建立了一套与可分解算子平行的理论［２］。其中最重要的发展是证明了Ｔ的任何恒等分解都与Ｔ＊可交换从而解决了Ｒｉｎｇｒｏｓｅ猜想。本文指出Ｔｕｒｎｅｒ的证明是不完全的并给出了一个完全的证明。Ｔｕｒｎｅｒ也试图用Ｘ＊类标量型可分解算子来特征化（Ａ）型良性有界线性算子，本文构造了一个反例说明此结论不成立，并指出［２］中与此结论相关的几个引理和定理的证明过程是错误的。