实时系统开发与PEARL语言

本文讨论了实时系统的特征、开发方法、设计工具、实现手段工具等开发过程中的主要问题,论述了实时系统开发语言PEARL及该语言的对实时系统的主要支持.     

哈恰图良和他的《马刀舞曲》

叙述作者哈恰图良的生平简历及其作品《马刀舞曲》创作的源泉及过程 ,对曲式及场景进行了全面分析     

计算机反病毒研究

计算机反病毒必须与操作系统紧密结合，软硬件相结合才有可能在根本上杜绝计算机病毒的肆虐。     

蕴含W5可图序列的最小度和

Gould,Jacobson和Lehel考虑了下述经典Tur偄n型极值问题的变形:对于给定的图H,确定最小的正偶数σ(H,n),使得对于每一个n项可图序列π=(d1,d2,…,dn),当σ(π)=d1+d2+…+dn≥σ(H,n)时,π有一个实现G包含H作为可图的.本文确定了当n≥11时,σ(W5,n)之值,其中Wr是r个顶点的轮图.     

微软何以陷入中国残局？

微软为什么在中国内地陷入残局,这是一个问题。 微软来中国拓展的时间不算晚,1992年,微软就在北京建立起办事处,12年的时间,对成立只有27年的微软来说,是一个不算短的时间。 微软在中国拓展的力度不算小,微软在中国设立了分公司,设立了本土之     

关于n元线性丢番图方程的探讨

给出n元线性丢番图方程的一种基础解法.     

逻辑代数的集合图方法

本文提出了一种新的逻辑代数分析方法，集合图法。它兼具代数法与图解法的功能，与传统的卡诺图法相比，具有一些独到的特点。     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

哲学教学方法的创新与评判标准

针对传统哲学教学方法存在的一些问题，提出了哲学教学创新的思路，具体实施办法和相应的评估标准。     

基于PSPICE的电路课程CAI

讨论了计算机仿真技术应用于电路课程CAI的必要性和可行性，给出了基于电子电路仿真软件Pspice8.0仿真电路的实例。