嵌入式系统前端开发工具的设计与实现

主要介绍了为更好地对嵌入式系统中硬件环境作形式化描述而开发的ＥＨＤＬ语言,首先介绍了ＨＥＤＬ语言的设计模型和程序结构,然后介绍ＥＨＤＬ语言编译器的主要实现技术。     

关于Hadamard矩阵的若干结果

研究了著名的Ｈａｄａｍａｒｄ猜想,对任一正整数Ｋ,给出了４Ｋ×４Ｋ阶Ｈａｄａｍａｒｄ矩阵存在的一些必要条件。     

面向VHDL语言的专用智能编辑器

目的设计面积超高速集成电路硬件描述语言的专用智能编辑器。方法使用散列表记忆各类标识符方法,动态地分析当前输入状态,完成ＶＥｄｉｔｏｒ的功能设置。结果该编辑器汇聚了目前流行的各类通用程序编辑器的优点,同时具有其独特的功能－标识符自动记忆,语句联想式输入及简单词法,语法错误的报错功能,结论实现了一个功能齐全的编辑器。     

On Riemann-Finsler geometry

The history of Finsler geometry is reviewed and briefly recent development in Finsler geometry and its application is completed systematically. Furthermore, an interesting open problem has been proposed in this field.     

浅谈专业知识与科技翻译

结合具体例子阐述了科技翻译中值得注意的一些问题。指出要搞好科技翻译必须同时具备充分的语言知识和一定的专业知识     

形状误差的动态评定：逐次逼近规划方法的应用

本文讨论形状误差最小包容区域的判别方法。根据逐次逼近规则评定理论,将传统的静态评定方法发展为动态评定方法,给出形状误差最小条件的统一判别准则和计算设计方法。并以直线度误差评定为例,较为详细地介绍了欠逼近规划方法在形状误差中的应用,从而实现计算机的智能判别和仲裁。     

伪黎曼流形上的2—阶对称张量场

对伪黎曼流形上的２－阶共变对称张量场,如果它的Ｊｏｒｄａｎ指标在一个邻域上是常数,我们能构造这个邻域上的局部正交光滑标架场,使这个张量场关于构造的标架场的分量矩阵有标准形式,由此可使用活动标架法伪黎曼形特别是Ｌｏｒｅｎｔｚ场形上的一些重要定理给出新的简洁证明。     

气垫调压室的体型优化计算

以总容积最小为目标,建立了气垫调压室体型优化的数学模型,采用遗传算法求解该模型,从而为合理选择调压室截面积、气室高度、室内水体高度及初始气体压力等基本参数提供了科学依据．给出了计算实例,所得结果与经验估算值相比,工程效益较为显著,设计安全度高．     

二、三、四、五阶常系数线性微分方程解法公式与计算机求解

推导出二、三、四、五阶常系数线性微分方程的解（即函数关系）的一般表达式,并分别用Ｂａｓｉｃ语言和Ｐａｓｃａｌ语言编制出使用计算机求解的应用软件。该软件实际运行的结果证明,这种求解方法比任何一本《高等数学》教材介绍的通常的求解方法要简单得多、运算速度要快得多,因而具有很大的现实意义。     

笔段型液晶显示器图形基元的计算机辅助设计系统

利用AutoLIST语言编程,对AutoCADR12系统进行二次开发,开发出绘制笔段型液晶显示器图形基元的计算机辅助设计系统"BJ"．使人机交工绘制基元图形的过程,转化为通过给定设计参数,自动生成基元图形的过程。节省了作图时间,降低了繁琐作图过程对菲林设计的干扰。