程序转换中的终止性保持问题

Burstall/Darlington提出的展开/叠卷方法是程序转换中简单而有效的一种方法,但该方法仅保持函数的部分正确性,而可能失去某些值上的终止性.为此,本文提出了函数的“归约测度”和“归约转换”的概念,且证明了只要函数在转换过程中保持“复杂性”在某一归约测度下不增,转换即可保持终止性.     

纯函数式语言的I／O系统

函数式程序设计是指程序完全由函数组成,其中都有一个主函数,主函数是根据其它函数来定义的,直到最低层函数成为函数式语言所提供的基本函数为止。函数式程序设计的优点主要     

基于PLC控制的电气火灾预警系统设计

电气火灾发生频率逐年增长,给居民造成巨大损失,现有的火灾预警系统敏感性较差,为此设计基于PLC控制的电气火灾预警系统。该系统由集成电路单片机、温度传感器、烟雾探测传感器、总线协议通信、GPRS无线通信模块以及无线局域网构成,经总线通信传送到PLC控制器中解析,利用贝叶斯理论计算数据特征量,通过融合三维数据完成信息决策,测算火灾发生的先知概率和后验概率,触发阈值标志位时发出线上线下联动预警。实验证明,所设计系统对火灾情况预测精准,且耗时较短,有效性和可靠性较高,鲁棒性较好。     

函数式语言对数字电路的描述,综合及模拟

本文综合了函数式语言的特点,形成了适合于描写数字电路的FP-1语言,研究了这种语言描写数字电路的特点,并给出了从功能行为级的FP-1描述转化为数字电路结构的实现算法,该系统已在MACRO-VAXII上用C语言编写通过,并能在该系统上对数字电路进行模拟验证。     

线性函数方程组的展开式解

本文给出了函数方程组的展开式基本定理及其有穷形式,并用此基本定理证明了几个关于二元线性函数方程组的解的展开定理,同时举了几个应用这些定理解函数方程组的具体例子。     

一个布尔表达式的编譯算法

1.在编制布尔表达式的过程中,常需利用一些基本的性质。例如在下面的表达式中a∧b∧c∧d其中只需有一个量取假值时整个表达式就取假值,而在下面的表达式中a∨b∨c∨d只需其中有一个量取真值时整个表达式就取真值。在更为复杂的表达式中这些性质同样可以利用。在这方面已经做了一些工作。Huskey和     

数控机床保养不当故障的排除

数控机床在使用过程中,坚持经常的维护保养是十分重要的。坚持定期检查,经常维护保养,可以把许多故障隐患消灭在萌芽之中,防止或减少恶性事故的发生。但如果不注意经常的维护保养,所带来的故障也足不好排除的,现将我排除过的四例因     

非线性冗余方程的求解

本文定义了一类可解的非线性函数方程,证明了某些双线性方程和二次方程是可解的,并给出了它们的形式解。