线性混合系统符号模型验证中的参数分析方法

说明了ＨＹＴＥＣＨ工具中采用的参数分析方法对系统描述能力的限制，提出了分离参数变量和系统状态变量的符号模型检查算法，并对用ＨＹＴＥＣＨ不能分析的Ｆｉｓｃｈｅｒ互斥算法的时钟偏移的界进行了分析。     

汉字产生年代管见

汉字产生的时间问题,关系其在世界文字史上的地位。结合考古发现、典籍记载,以及汉字构形取象内容和时代特征等加以考察,汉字大约产生于原始渔猎时代中晚期。     

Arm v7 thumb-2的性能介绍

主要是介绍ARM CPU中的THUMB-2功能的介绍,相对于THUMB的比较THUMB-2指令集的扩展,THUMB-2的新指令带来的好处,新指令对性能和代码密度的改进。     

电磁场理论中的符号矢量方法

介绍了由Ｔａｉ Ｃ．Ｔ．教授创建的符号矢量方法，对于知量场论中长期存在的混淆与问题进行了剖析，利用符号矢量方法，给出了各种坐标系中矢量分析的主要公式，用统一的数学基础将矢量场论系统化，使其成为完整，严格的理论。     

TQBM—1系统计算机辅助零件编码的程序设计

本文从实用角度出发,介绍了TQBM—1计算机辅助编码系统的程序设计思想。为了使机械工程技术人员能在较短时间内掌握该系统、并方便、正确的进行编码,程序提供了各码位之间的自动逻辑转换,从而大大减少了误码。编码后,通过全屏幕的汉字码位说明,有利于编码人员全面思考与校核,并配合程序中功能较强的检索和修改功能,达到满意的结果。     

热转印色带的制备及性能研究

制备了一种热转印色带,并研究了球磨时间、分散剂等对颜料分散性的影响规律,热容量及油墨结构对色带热转移率等性能的影响。结果表明,由此制备的热转印色带,在热转印条码打印机上实验,印制出了放大系数M =0.76,可以被正确识读的条码符号。为研制开发热转印色带作了基础性探讨工作。     

《野性的呼唤》之符号学读解

本文从符号学的角度。审视分析了《野性的呼唤》的文本意义,揭示其背后的隐喻机制,并对这一文本生发的诸多侧面.作了理性的读解。