符号的片面化与术语翻译中的理据性问题

符号片面化是术语翻译构建术语理据的重要手段,译者通过符号对应建立起概念对应,用意义简写式引发认知主体对概念意义的感知,进而构建出术语理据。意义简写式既要凸显概念的本质特征,还需兼顾概念的系统性。在实践中还需避免符号的虚假对应问题。     

一些非线性发展方程的周期解

利用辅助椭圆方程给出了求解非线性发展方程的精确周期解的一种代数方法，借助计算机的符号计算，求得了mKdV方程和非线性Klein-Gordon方程的多种精确周期解，这些解包括了已有的用Jacobi椭圆函数展开法所求得的周期解．在极限情形下，退化为相应的孤立波解或冲击波解．     

文化生产场域中符号权力的形成--以文学艺术场域的分析为例

文化生产场域的生成不仅为文化生产者提供了游戏的空间,同时也区分了文化资本的富有者和贫乏者,文化资本数量上的落差导致了符号权力关系的建立;对文化资本功效和意义的认可赋予了它足够的价值,在价值认可的基础上,文化生产者的符号权力得以合法化;而文化资本的符号特性往往会造成文化生产者本身的符号化,关于作者的各种神话被创造出来,他们的符号权力因而得到进一步强化。     

基于OBDD时序电路设计的验证

依据有序二叉判定图（OBDD）和计算树逻辑（或称分支时态逻辑）CTL（Computational Tree Logic)的基本原理，分析了基于OBDD和CTL的验证数据电路设计的基本原理，并在此基础上，给出了时序电路等价验证的方法。     

实代数数的代数表达式的符号判定

将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数ａ定义了一个二元组（Ｉ,ｆ（ｘ））,其中Ｉ是包含ａ的区间,ｆ（ｘ）是ａ所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。     

PWM开关变换器符号分析的统一算法

用等效小参量法对开环ＰＷＭ型ＤＣＤＣ开关变换器进行了分析,得到了一种适合于这类电路的统一算法．通过设立一个表明非线性函数性质的标志,进行简单的矩阵运算,求得变换器的输出直流值和纹波解析解．仿真结果证实了这种算法的正确性和通用性．     

汽油机瞬态排放间接检测的实践(Ⅰ)

瞬态排放间接检测是对汽油机在汽车加速-滑行组合、节气门加速开启-关闭等瞬态工况下进行法规性检测、获得其排放状况的基本手段之一．讨论了汽油机瞬态排放间接检测的有关基础,主要内容有:建立能够方便实现瞬态工况的工程化措施;分析采用五组分排放分析仪检测汽油机瞬态排放信号将导致畸变的原因;设置瞬态排放特征参数——符号时间序列分析的Shannon熵．     

复映射族z~(-2)+c广义M集的标度性质

在复映射 f(z,c) =z-2 +c的广义Mandelbrot集中 ,发现了主周期芽苞的标度规律·用符号动力学中的方法对其做了研究 ,给出了主周期芽苞字的规律 ,及字相应的提升方程 ,通过解字提升方程 ,给出了任意精确常数 μ的算法 ,通过大量的计算机计算得到了一个常数 μ =1 ·标度常数为 1的情况在复映射的标度常数研究中为首次发现·提出了常数 μ普遍存在于一般有理迭代的广义Mandelbrot集中的猜想     

嵌入式软件调试器的设计与实现

嵌入式软件调试环境为嵌入式软件的开发提供了一个友好的软件调试平台．从一种新的角度探讨了一种面向嵌入式软件的调试环境，即基于嵌入式系统目标机机内调试器的嵌入式软件调试环境．介绍了一种面向程序设计语言的符号化调试技术，并重点剖析调试环境内核的设计与实现技术．     

多项式隐函数在一点邻域里的近似显式算法

利用隐函定理和Ｗｕ－Ｒｉｔｔ方法给出了多项式隐函数在一点邻域内的一种近似显式算法，并给出了根据要求精度计算邻域半径和迭代次数的关系式，使得这种算法的误差具有可控性，计算量小，容易上机实现，在理想的近似参数化及近似定理证明中有进一步的应用。