乌龙茶做青环境微机控制系统硬件与接口设计

本文介绍乌龙茶做青环境电脑控制系统中的温、湿度测量、A/D转换卡、输出控制电路的硬件、接口设计原理以及系统软件与控制方式。该系统对乌龙茶做青生产过程的环境能进行自动巡回检测,控制温、湿度达到最佳状态,并使生产过程自动化。     

结构化面向对象形成规格说明语言OOZS：设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得 到充分体现;形式方法全目标软件系统的需求规格说明简明、精,精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然。     

结构化面向对象形式规格说明语言OOZS——设计原理

形式方法与面向对象方法的综合使用可以使它们各自的优点得到充分体现：形式方法使目标软件系统的需求规格说明简明、精确,面向对象方法使目标软件系统的组织和分解工作更加系统、自然．本文讨论了Ｚ规格说明语言的应用限制,并在Ｚ语言的基础上介绍了结构化面向对象形式规格说明语言——ＯＯＺＳ的设计方法．该语言吸收了面向对象程序设计语言ＳｍａｌＴａｌｋ、Ｃ＋＋以及形式规格说明语言ＶＤＭ、Ｚｃ、Ｚ．Ｓ等的优点,引入了类、继承、入口、出口、Ｐｒｅ谓词、Ｐｏｓｔ谓词等机制,并对Ｚ语言的符号进行结构化处理,提高了形式规格说明的层次性和模块化能力,可用于大型面向对象软件系统需求规格说明的编写     

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

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

一种单片机应用系统中I／O接口配置及实现方法

从研制开发产品的角度,通过典型的实例,分析讨论单片机应用系统中Ｉ／Ｏ接口的配置及实现方法。     

采用氮气发生剂的子弹药气囊抛撒内弹道计算模型

在经典内弹道理论基础上,建立了以氮气发生剂为抛撒动力源的子弹药气囊抛撒内弹道模型.将整个氮气发生器视为气源,提出了名义燃速的概念,建立了名义燃速方程,把氮气发生器及抛撒装置的结构等因素对名义燃速的影响通过引入结构综合参量体现,简化了计算过程.名义燃速方程采用了带有常数项的指数形式.用该模型计算所得结果与试验测试值符合较好,可用于抛撒技术的研究和工程应用.     

旋转弹两级分离动力学模型建立与仿真

为了研究不同连接方式对导弹两级分离的影响,针对采用套筒连接和螺栓对接两种分离连接方案的旋转弹,对两种连接形式分别进行了分离过程的运动特性分析;针对两种连接方式不同的运动特点,分析了其分离过程的运动学和动力学特性,并在此基础上建立了相应的弹体动力学模型.根据两种连接形式的算例,对分离过程进行了数字仿真分析.仿真结果显示两种模型下导弹分离成功,证明弹体动力学模型合理.     

浅谈影响学生参与英语课堂活动积极性的因素

在外语课堂教学中，越来越多的人倡导“以学生为中心”的教学理论。而充分调动学生参与英语课堂活动的积极性是“以学生为中心”教学理论在课堂实践中贯彻实行的关键。     

基于C51控制彩色液晶显示器的解决方案

介绍YD-612S彩色液晶显示的基本性能特点;详细描述了小型嵌入式系统中应用C51单片机控制彩色液晶显示器的并行和串行的几种接口方法;给出具体的电路及编程     

Jffs2文件系统在嵌入式Linux下的应用

Flash作为新型非易失性半导体存储器在嵌入式系统的开发中占有重要的地位．介绍了FIash芯片的特点及基于Linux下的Rash件系统，论述了专门为Rash芯片设计的日志型闪存件系统——Jffs2的设计原理及特点；讨论了利用Linux提供的MTD接口将Jffs2移植到FIash芯片上的具体过程，并对其在Linux下的应用给出了具体实例．