操作系统安全增强模型的通用化

研究了实现操作系统安全增强模型通用化的途径。把安全增强模型中与操作系统体系结构相关的部件隐藏在系统特征封装层，从而降低了模型的系统依赖性，使之适用于不同类型的操作系统；引入安全策略抽象层，使安全增强模型独立于任何特定的安全策略，使之对不同安全策略通用；在模型中增加应用支持层，实现在安全增强的操作系统环境下灵活支持已有应用程序。     

计算机保密操作系统的实现技术

对计算机常用的加密技术进行了分析，对其作出了功能比较。在此基础上提出了保密操作系统应具备的有关并给出了具体的实现技术。     

WindowsNT操作系统简析

ＷｉｎｄｏｗｓＮＴ是Ｍｉｃｒｏｓｏｆｔ公司于１９９３年５月正式推出的新一代微机操作系统，本文深入分析了其设计模型，体系结构及有关实现技术和特点，并就ＮＴ的应用前景作了较为详细的介绍。     

分布式操作系统形式化生成系统模型的研究

分布式操作系统形式化系统模型ＤＯＳＦＳ主要由文法ＤＯＳＦＳＧ和语义ＤＯＳＦＳＳ两部分组成。其中文法部分采用了上下文无关文法，语义部分则是一个带操作集的语义系统。ＤＯＳＦＳ按照抽象、描述、细化三个过程自动模拟生成分布式操作系统。本文主要介绍了文法ＤＯＳＦＳＧ的定义、性质，语义系统ＤＯＳＦＳＳ的设计思想、相关的数据结构、操作及其定义等。     

基于UNIX内核的组调度技术

并行调度技术是并行操作系统研究领域的“热点”问题之一。本文提出一种全交换组调度方式的并行调度算法，并介绍了基于ＵＮＩＸ内核的实现技术。     

在高内存区运行程序的方法,技巧和实例

本文详细介绍了在高内存区运行程序的方法，说明了部分常用参数对节省常规内存的具体影响，指明了适合在高内存区运行的ＤＯＳ外部命令，最后并列举了常用的２．１３Ｈ．ＵＣＤＯＳ、ＷＰＳ和倚天汉字系统在高内存区运行的具体方法。     

一个实用的实时多任务操作系统

本文介绍了作者在Ｍｏｔｏｒｏｌａ６８０００芯片系列上开发的实时多任务操作系统的设计和实现，并给出其性能评估，其性能较之国外同类型系统为优。     

活用Windows95的联机帮助

中文Windows95是新一代操作系统，它不仅在性能上有着显著的优越性，而且在联机帮助方面也有着不凡的身手。除了保留DOS及Windows3．X老～代操作系统中经典的联机帮助方式外，它又提供了许多新颖的帮助手段，因此，当用户操作遇到各种困难时，可以随时利用不同窗口中的快捷帮助方式，迅速获得必要的提示信息，并且可以在部分帮助对话框中，在不退出的情况下，通过其中的引导按钮，直接启动有关程序，以解决用户所遇到的各种问题。由于Windows95帮助方式多种多样，只有事先熟悉和掌握其帮助的使用方法与技巧，用户才能在不同窗口下灵活运…     

经验与经验之经验

随着微机及其应用的普及，面对公开尚未公开的，直接的或间接的大量使用经验，如何充分发挥他们的作用是一个有意义的且受到普遍关注的问题，本文首先介绍几条实际经验，然后就经验的地位，经验的积累，吸收与利用等方面进行了讨论，提出了自己的一些看法。     

硬盘上安装MANDRAKE LINUX9．0

使用WINDOWS操作系统已经很久了，从WIN95到WIN98，从WIN98SE到WIN2000，再从WIN2000到WINXP，一直使用比尔的微软操作系统，使用得久了，对WINDOWS也有些厌倦的感觉，于是想起了装一下子LINUX操作系统，这可可是从未装过的东东，怎么办?上网去查找有关安装说明呗。     

MOS器件二次击穿行为的电路级宏模块建模

采用一种利用TCAD仿真提取MOS器件在静电放电现象瞬间大电流情况下的电学参数,对MOS器件二次击穿行为进行电路级宏模块建模.MOS器件是一种重要的静电放电防护器件,被广泛地应用为集成电路输入输出口的静电保护器件.用TCAD仿真工具对MOS器件的二次击穿进行宏模块建模,该模型能够正确反映MOS器件二次击穿的深刻机理,具有良好的精确性和收敛性,这对在电路级以及系统级层面上仿真静电放电防护网络的抗静电冲击能力有重要意义.     

对中国企业国际化进程中大学毕业生信息核心能力与国际水平差异的实证分析与反思:以MOS Word Specialist为测评平台

本研究以微软办公软件专家国际认证(MOS,Microsoft Office Specialist)之Word Specialist办公软件测评项目为研究工具,以测验成绩为分析数据,对1280个受测者的文字处理应用能力差异性进行分析,目的在于了解大学毕业生应用电脑文字处理软件的能力情况。     

TETRA语音编码算法的优化及其DSP实现

在研究了4.567kb/s ACELP的语音压缩编码算法基础上,通过分析其原理及其基本特征,在实际应用中提出了优化算法,原算法和优化后的算法分别用C语言仿真实现,发现优化后的算法提高了语音质量,并大大降低了算法复杂度。优化后的语音压缩编译码算法通过在AD-SP21535芯片上编程实现,人耳主观试听,发现其语音质量有较好的自然度,MOS值为3.7左右。     

BSIM--making the first international standard MOSFET model

BSIM （Berkeley Short-Channel IGFET） became the first international industry standard model for simulation of MOS integrated circuits in 1997. The cumulative sales of ICs that have been designed with the aid of BSIM and produced for computing, communication, consumer, and industrial applications is estimated to be around 400 billion US dollars. From 0.35μm CMOS to multi-gate FinFET, BSIM serves a wide range of technologies. Many China educated researchers have contributed to its success.     

On the convergence of Turán type rules for Cauchy principal value integrals

Some rules, based on Turán quadrature formulas, are derived for the numerical evaluation of one-dimensional Cauchy principal value integrals, and theorems on the convergence of a sequence of such rules are given.     

Sulla convergenza delle formule di quadratura del tipo Gauss-Lobatto per il calcolo di integrali singolari V.P.

Sommario L’autore considera formule di quadratura del tipo Gauss-Lobatto per il calcolo di integrali a valor principale secondo Cauchy rispetto ad un peso generalizzato regolare di Jacobi. Vengono dimostrati teoremi di convergenza e stabilite alcune stime dell’errore. Si generalizzano e migliorano, inoltre, precedenti risultati.

---

The author considers Gauss-Lobatto rules for evaluating of Cauchy singular integrals with respect to a generalized smooth Jacobi weight. Convergence theorems are given, and some estimates of the remainder are established. The previous results are generalized and improved.

     

A bound for generalized Jacobi functions of the second kind

In this paper we give some bound for generalized Jacobi functions of the second kind and their derivatives. Previous results on this subject are improved and generalized. This paper is dedicated to Walter Gautschi on the occasion of his sixtieth birthday     

IP网络电话的动态QoS管理方法

在当前Internet的“尽力而为”服务模式下,网络拥塞和分组丢失不可避免,因此,要想大规模使用IP网络电话必须得提供有效的QoS保证手段。文中分析了话音质量和丢包率的关系,给出了端到端的动态QoS管理方法以保证IP网络电话的通话质量。     

硅—MOS型三维磁场敏感器结构研究

本文提出了一种硅-MOS型三维磁场敏感器结构,它是将对B_z分量敏感的一维横向DMOS(LDMOS)与对B_x和B_y分量敏感的两维的纵向DMOS(VDMOS)开合集成在一起。该磁场敏感器的最小空间分辨率为:10μm×16μm×32.5μm,相对灵敏度S_(RY)优于6×10~(-2)T~(-1)。当外加磁感应强度低于0.4T时该器件非线性误差低于1×10~(-2)。由于本器件采用了特殊的相容性制造工艺,可易于得到与磁敏器件接口的电路优化设计。     

浅谈PFC电路MOS管应用电路振荡问题

对于开关电源来说,场效应管(MOS管)是最为重要的零部件之一。在充分阐述PFC电路、MOS管的基本原理的基础上,分析电路振荡原理的基本概况,可以明确MOS管振荡造成损坏的根本原因。