高效验证平台在TD-SCDMA终端芯片功能验证中的应用

介绍了基于事务级验证的验证方法学(RVM)和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证.此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期.     

多业务综合网络管理系统公共平台的研究

从全网的角度出发,构建了实现多业务混合网络综合管理的系统平台.对实现多专业网构成的混合网络综合管理的系统体系结构、混合网络综合网管系统公共平台以及公共平台的核心组成部分--通用信息模型进行了研究.     

笔式用户界面的eGOMS模型研究

认知心理学是构建人机交互模型的基础,从认知心理学角度对笔式用户界面(PUI)进行了建模和分析,以eGOMS模型为基础对PUI进行了评估。从认知过程的视知觉特征和心理加工机制、知识表征系统的组织形式以及单通道和多通道交互中的信息的加工和整合的方面、注意选择与分配的机制与特点等进行了细致的探讨了PUI的特点。PUI交互模式更加自然,可以减轻用户的认知负担。     

虚拟实体组织行为建模方法研究

虚拟实体组织行为建模主要研究虚拟世界中有组织的实体群的组织关系及其活动规律。提出了一种新的基于描述任务逻辑的虚拟实体组织行为建模方法,建立了一个将虚拟实体群的组织结构关系、协同行为功能规划和组织规范三个维有机结合的组织行为模型,结构简单,能满足像战场实体群等面向任务的有组织的虚拟实体群的行为建模的需要。设计并实现了一种符合XML标准的虚拟战场兵力实体组织行为建模语言CBML,能实现对虚拟实体组织行为模型的描述,并提供较强的推理功能,经用户初步使用表明,具有简洁、易用、高效的特点。     

量子计算行业教育的发展

2020年，欧洲战略咨询委员会的量子旗舰计划成员正式向欧盟委员会提交了战略研究议程，提倡全欧推广覆盖高中教育、大学教育和产业工人培训的量子教育项目。国内外类似的量子教育措施正不断涌现，给中国量子教育的发展提供了一定的参考。文章主要对量子计算、量子教育行业的发展、量子教学工具的现状等内容进行了综述性梳理，试图探寻目前量子计算行业教育发展的困境，以期为推进中国量子计算教育寻找思路。     

机械类本科人才培养模式的研究与实践——毕业设计环节培养创新意识探讨

结合本科毕业设计环节进行探索,认为精选课题是毕业设计环节创新意识培养的基础,创新设计过程是创新人才培养的关键,积极参与各种创新竞赛是培养创新人才的有力措施。     

Patterned deposition of multi-walled carbon nanotubes on self-assembled monolayers

The excellent electro-mechanical properties and chemical stability of CNTs promise a prospective ap- plications in nanotechnology. For electronic applica- tions, CNTs have been proved successful in practice in producing components such as a junction and f…     

Web Voice Browser Based on an ISLPC Text.to.Speech Algorithm

A kind of Web voice browser based on improved synchronous linear predictive coding （ISLPC） and Text-toSpeech （TTS） algorithm and Internet application was proposed. The paper analyzes the features of TTS system with ISLPC speech synthesis and discusses the design and implementation of ISLPC TTS-based Web voice browser. The browser integrates Web technology, Chinese information processing, artificial intelligence and the key technology of Chinese ISLPC speech synthesis. It＇s a visual and audible web browser that can improve information precision for network users. The evaluation results show that ISLPC-based TTS model has a better performance than other browsers in voice quality and capability of identifying Chinese characters.     

An Improved Model of Attack Probability Prediction System

This paper presents a novel probability generation algorithm to predict attacks from an insider who exploits known system vulnerabilities through executing authorized operations. It is different from most intrusion detection systems （IDSs） because these IDSs are inefficient to resolve threat from authorized insiders. To deter cracker activities, this paper introduces an improved structure of augmented attack tree and a notion of ＂minimal attack tree＂, and proposes a new generation algorithm of minimal attack tree. We can provide a quantitative approach to help system administrators make sound decision.     

典型无穷积分integral from n=0 to +∞(e~(-ax)dx)在解高等代数问题上的应用

高等代数中综合性问题比较复杂,解题过程中用到的知识又多,学生解题普遍感到困难.在此应用数学分析中一个典型无穷积分 ∫∞0e-axdx=1a来解决高等代数的一些综合问题.