实时系统开发与PEARL语言

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

开展农村技术承包的实践与体会

总结了10年来山西省农业科学院进行农村技术承包工作的成绩和管理经验。在对存在问题进行分析的基础上，提出了相应的对策和建议。     

待定系数法在无理函数积分中的应用

在教学过程中通过对练习题: 的求解、分析、综合和归纳得: (1) 式中P_n(X)_9 Q_n(x)均为n次多项式,其中Q_n(x)的各项系数待定。 (2) 式中P_n(x)为n次多项式,f_(n-1)(x)为各项系数待定的(n-1)次多项式,μ_n为待定常数。     

算法的相关性变换与划分带个数的关系

使用相关性变换法，划分并映射循环算法到具有固定尺寸的Ｓｙｓｔｏｌｉｃ阵列。下标集合被划分成若干条带，划分带的条数与变换后的Ｓｙｓｔｏｌｉｃ阵列算法的执行时间成正比。指出了Ｍｏｌｄｏｖａｎ给出的计算划分带条数的公式有很大局限性，给出了由空间变换计算划分带条数的方法。     

Al_(63)Cu_(25)Fe_(12)准晶体的相变及应用研究

从应用角度出发,系统地研究了Al_(63)Cu_(25)Fe_(12)合金的相变及性能特点,并初步研究了准晶体对传统铝合金表面改性的贡献。结果表明:该合金在450℃～820℃温度区间内晶体相Al_7Cu_2Fe发生同素异构转变形成稳定I相,具有较高的硬度和硬度值变化不大(650～850kgf/mm~2)的特点,可与传统铝合金复合并使其硬度和耐磨性能显著提高。     

科学创新思维中实在和虚拟范畴的流动和转化

实在思维是指科学认识活动中保持真实性的思维活动;虚拟思维是指在思维过程中的一种设想或虚构活动.它们共同构成了科学创新思维的两极.在它们之间的流动和转化中,科学创新得以实现.     

基于RL&SM通用夹具系统的主动寻位技术及其实现方法

介绍了RL&SM通用夹具的寻位系统 ,描述了主动寻位与制造信息转换问题 ,提出和实现了相应的控制方法及其系统实现中的关键技术。理论分析与实验结果表明 ,提出的解决方法和技术是可行的 ,为RL&SM通用夹具系统的实际应用奠定了理论基础和技术支持     

SW规约下的一些性质

本文进一步分析了SW规约下的SW度结构的一些性质,得到了强可计算实数的两个性质.并且证明了给定可计算可枚举实数,可构造出sw归约下不小于该数的低的可计算可枚举实数.     

Sasakian空间形式中具有平行平均曲率向量的C-全实子流形的刚性定理

讨论了Sasakian空间形式中具有平行平均曲率向量的C-全实子流形,得到了紧致的C-全实子流形的一个刚性结果.     

发酵监控系统上位计算机软件编程研究

提出了利用上位机参与实时控制,综合分析在线参数、离线参数和间接参数,辅助发酵过程工艺研究和优化控制,并给出了上位机软件包的部分源程序及框图。该软件包对发酵工艺人员进一步了解菌种的遗传特性、细胞代谢调节和反应器工程特性方面有较大帮助。