我国扫描电镜产业的发展与预测研究

长期以来,全球电镜研发一直是美国、日本和德国三足鼎立,其中以日本日立公司、日本电子公司、美国FEI公司以及德国蔡司公司表现最为突出。而我国扫描电镜主要依靠进口,本文对韩国、日本、美国、德国等国家的产业发展经验进行研究,结合我国实际情况,分析我国扫描电镜产业的发展趋势,并提出促进我国扫描电镜产业发展的对策建议。     

雷公山聚筛蕊等三种地衣鉴别研究

对贵州省雷公山三种地衣进行鉴别研究。用化学显色反应法、微量结晶检验法、薄层层析法等方法研究地衣特性。鉴定出日本珊瑚枝Stereocaulon japonicum Th.Fr.、聚筛蕊Cladia aggregata(Sw.)Nyl.、孔叶衣Menegazzia terebrata(Hoffm.)A.Massal.3种地衣。将多种方法综合使用可以初步鉴定地衣药材,并为地衣药材的下一步研究开发奠定基础。     

大学创新实验班培养模式探析

大学创新实验班根据当今社会对人才质量和人才规格的需求，利用新的教育模式和培养方案，造就基础好、能力强、素质高的一流本科生，为他们未来在完成整个高等教育后成为具有国际竞争力的优秀人才奠定坚实的基础。实验班充分利用了大学雄厚的文理学科优势和良好的教学资源，探索本科阶段低年级通识和基础教育、高年级宽口径专业教育相结合的培养模式，突出基础、能力、素质的全面发展，实施新型的管理模式，并为社会提供适应能力强的本科毕业生。     

从《唐摭言》看《汉语大词典》的孤证问题

作为一部＂古今兼收,源流并重＂的大型工具书,《汉语大词典》为众多学者提供了便利。然而不得不说的是,这部书也存在一些弊端。从该部书完成编纂到目前使用将近四十年的时间里,它在语音、释义、引证、编纂体例等方面的疏漏也逐渐被发现。其中,孤证问题也是一个重大疏漏。探讨《汉语的词典》的孤证问题,有利于纠正对一些字词的认识和提高词典本身的质量。     

基于容积粒子滤波的交互式多模型算法

针对非线性非高斯条件下目标跟踪容易发散和精度下降等问题,将容积粒子滤波引入到交互式多模型算法中,提出了一种基于容积粒子滤波的交互式多模型算法。该算法在粒子先验分布更新阶段,利用容积卡尔曼滤波器融入最新的观测数据并产生重要性密度函数,使其更加逼近系统真实状态的后验概率密度,改善了粒子滤波的性能。仿真表明在运算时间未显著变化的情况下,该算法与交互式多模型无迹粒子滤波算法相比有着更高的滤波精度和稳定性。     

分布式资源环境下基于云服务的设计知识服务资源平台

 为高效地解决分布式资源环境下产品设计中的技术需求问题，开发了一种利用互联网、基于云服务的产品设计知识服务资源平台。依据现代产品设计和知识服务的特征，设计了资源平台的知识服务流程及其体系架构与功能，采用JAVA、J2EE技术和HTTP/Web Service/JSON技术实现了资源平台的构建，资源平台由基础支撑层、服务平台层、功能层和用户层等构成，其主要功能包括用户功能、管理功能、IOS/Android接入功能以及第三方平台入驻功能。以“滑动轴承磨损试验”技术服务为例简述了资源平台的应用全过程，持续2年的应用结果表明分布式资源环境下基于云服务的设计知识服务资源平台具有显著的可靠性和实用价值。关键词设计知识服务；资源平台；分布式资源环境；产品设计     

Guaranteed Cost Finite-Time Control of Fractional-Order Nonlinear Positive Switched Systems with D-Perturbations via MDADT

This paper is concerned with the problem of guaranteed cost finite-time control of fractionalorder nonlinear positive switched systems(FONPSS) with D-perturbation. Firstly, the proof of the positivity of FONPSS with D-perturbation is given, the definition of guaranteed cost finite-time stability is firstly given in such systems. Then, by constructing linear copositive Lyapunov functions and using the mode-dependent average dwell time(MDADT) approach, a static output feedback controller is constructed, and sufficient conditions are derived to guarantee that the corresponding closed-loop system is guaranteed cost finite-time stable(GCFTS). Such conditions can be easily solved by linear programming. Finally, an example is provided to illustrate the effectiveness of the proposed method.     

三角代数上Lie积为平方零元的非线性Jordan高阶可导映射

设U是一个 2-无挠的三角代数,D ={d_n}_n∈N是U上一个Lie积为平方零元的非线性Jordan高阶可导映射。证明了三角代数U上的每一个Lie积为平方零元的非线性Jordan高阶可导映射都是高阶导子。作为结论的应用,得到套代数或 2-无挠的上三角分块矩阵代数上的每一个Lie积为平方零元的非线性Jordan高阶可导映射都是高阶导子。