可分商空间

考虑无穷维商空间问题，得到一个无穷维Ｂａｎａｃｈ空间Ｘ具有可分的无穷维商空间的几个充分条件，并且还得到：若Ｘ＾＊含有ｌ＾１，则或者Ｘ有ｌ＾１，或者Ｘ有商空间同构于Ｃ０。     

景德镇四大传统名瓷之保护与发展刍议

保护与发展景德镇四大传统名瓷的有积极的意义。以知识产权的角度,从四个方面去保护和发展好景德镇四大传统名瓷。即采取商标权、地理标志权、专利权、商业秘密权、非物质文化遗产权去保护和发展好景德镇四大传统名瓷。     

基三互连网络的遍历性质及流水模型设计

通过对一种新颖的片上网络拓扑——基三互连网络进行图论定义,证明了基三互连网络的遍历特性,描述了数据在基三体系结构上的运行特征,归纳出几种流水模型,并以规则抽样并行排序算法为例,给出了流水模型的应用过程.模拟实验显示,利用流水模型能够描述并行应用在特定网络拓扑结构上的运行方式,并估算出网络拓扑结构对其并行性能的影响.     

一种引入互斥关系的功能单元分配算法

为使条件分支数据通道中功能单元的分配结果得到进一步优化,在数据流图操作相容性分析中引入操作间互斥关系,并构建基于图论的分配模型.使用团划分算法在该模型上进行功能单元分配,同时提出一种针对功能单元分配问题的团划分启发式方法.不仅提高了团划分算法求解功能单元分配问题的计算结果一致性,而且使算法的收敛速度得以提高.根据实验结果,该算法得到的数据通道中所需功能单元平均减少了41%,同时执行速度加快了50%.     

VHDL编译系统MTC设计与测试方法研究

采用面向对象技术设计VHDL编译系统MTC,通过对VHDL语法产生式进行分析,将各语法现象以C 类的形式进行抽象分类,给出词法分析和语法分析设计策略,并针对存在于LALR(1)分析过程中的两类冲突提出解决方法.MTC编译过程中通过语法制导进行语义分析,并提出用形式化方法表示中间数据结构.配合使用Flex 与Bison 最终得到面向对象VHDL编译系统.同时提出MTC的自动测试方法.在对SPARC芯片MB86901算法描述编译过程中,MTC的编译效率比现有编译系统提高了57%.     

纳米氧化锌/聚对苯二甲酸乙二酯复合材料的原位制备及表征

利用原位聚合法制备了纳米ZnO/PET复合材料.讨论了纳米粒子分散剂的用量问题.用DSC分析手段分析了复合材料的热学性能,并测定了复合材料的力学性能.结果表明复合材料的冷结晶温度向高温方向移动,直观上说明纳米粒子阻碍了PET的结晶,但其力学性能且得到较大提高,尤其是试样拉伸性能得到显著提高.     

纳米ZnO对PET的力学性能影响

在PET中添加不同质量分数的纳米ZnO粒子,通过原位聚合反应得到纳米ZnO/PET复合材料.利用力学性能测试仪研究了该复合材料的力学性能,并利用透射电子显微镜对比观察了复合材料中纳米颗粒的分散情况.讨论了不同质量分数的纳米ZnO粒子对PET的力学性能影响.简单阐述了纳米ZnO粒子增强增韧PET材料的机理.     

Efficient Approach for Face Detection in Video Surveillance

Security access control systems and automatic video surveillance systems are becoming increasingly important recently, and detecting human faces is one of the indispensable processes. In this paper, an approach is presented to detect faces in video surveillance. Firstly, both the skin-color and motion components are applied to extract skin-like regions. The skin-color segmentation algorithm is based on the BPNN (back-error-propagation neural network) and the motion component is obtained with frame difference algorithm. Secondly, the image is clustered into separated face candidates by using the region growing technique. Finally, the face candidates are further verified by the rule-based algorithm. Experiment results demonstrate that both the accuracy and processing speed are very promising and the approach can be applied for the practical use.     

面向复杂仿真因果追溯的行为建模方法

基于行为建模的因果追溯方法是解决复杂仿真分析中因果关系追溯问题的一种思想。该思想依据仿真系统运行结果数据,重新构建描述因果关系的行为模型,并基于这些行为模型进行因果追溯。为了建立良好有效的行为模型支持追溯,首先介绍了因果关系的概念及其结构描述;然后将追溯划分为三个层次:系统表层、系统深层以及组合层,最后选取事件图行为模型为基本模型,按照这些层次分别对其进行扩展,从而获得不同层次的行为建模方法支持因果关系的描述和建模。     

面向空军战役仿真的一个想定自动生成框架

基于想定的方法是处理要解决的问题中不确定性的最有效的手段。对空军战役仿真而言,如何利用丰富的军事原则和复杂的战场环境去构建满足仿真需求的想定,是一个迫切需要解决的问题。通过利用已知的、可被建模的时间、空间和组合关系,对想定生成模型的特性进行分析,提出了一个想定自动生成框架。实验表明,该框架可以较迅速地生成符合需求的空军战役仿真想定。