R-演算:一个修正程序规约的演算系统

在一个软件规约(program specification)的形成过程中, 规约总是不断被修改, 要么增加新的功能, 要么由于出现事实反驳, 而改正规约中的错误. 规约的新功能是与其逻辑无关的新规则, 而它的事实反驳则是其反例. 新规则和事实反驳都是由研究者或用户提出来的. 极大缩减是在规约出现事实反驳的情况下, 对规约的理想修正. 这里在一阶逻辑的框架下给出规约的新规则、事实反驳和极大缩减的模型论定义. 构建了R-演算. 该演算由一组变换规则组成, 用以删除规约中与事实反驳矛盾的规则, 并最终得到规约的极大缩减. 同时证明了R-演算的可达性和完全性.     

数学符号趣史

数学作为一门研究事物间数量关系和几何形状的科学,历来被认为是一切自然科学和技术科学的基础。当前,数学也日益受到社会科学家的重视,认为社会科学没有数学“介入”是难以发展的。究其原因,一方面是由于世间一切事物无不是质和量的统一体,因此研究时离不开数学这个工具;另一方面是由于数学有一整套完善的符号体系,其命题严密、可靠,无可争辩。正因为这样,文艺复兴时期的杰出人物达·芬奇就曾指出:“除非通过数学上的说明和论证,人们的探讨不能称为是科学的。” 数学的符号体系是人们在长期的探索和实践中发展起来的,是人类智慧的结晶。本文简要介绍若干主要数学符号产生的历史。     

区间值进程演算的可加模型

进程演算是研究并行计算和分布式计算的一个重要语义模型．引入区间值进程演算的可加模型（简称AICCS）,以解决在并发通讯系统中产生的不确定性．在该模型中,前缀进程、并行进程以及和进程都赋以区间值．作者给出了AICCS的语法及可加的操作语义,引入了进程的量化这一概念,在此基础上引入强互模拟和μ-强互模拟的概念,并且讨论了其相关性质．     

晶体管H参数等效电路与混合π等效电路

本文用晶体管低频H参数的模式,采用电路理论中的密勒定理对高频等效电路进行简化,从而获得较简单的混合π参数等效电路,使高频电子线路中的计算简便化.     

并发计算的元模型Ⅱ.对称通信

在并发计算图模型的基础上,提出了并研究了一新的进程演算,该演算的创新处在于它只有在业前缀操作,故通信是对称的,通过建立从ｐｉ演算到对称ｐｉ演算的翻译,证明ｐｉ演算是对称ｐｉ演算的子语言该翻译既保持前者的操作语义,又保持其代数语义,对称ｐｉ算的意义在于它既简化了ｐｉ演算,又不影响其表达能力。     

π网络法石英晶片电参数计算机测量系统

分析了基于ISA总线接口的π网络法石英晶片电参数测量原理、石英晶片的等效电路和使用π网络法测量石英晶片电参数的基本原理,提出了一种使用直接数字频率合成器(DDS)作为激励信号源的方法和以此为基础实现石英晶片电参数计算机测量系统结构的途径;使用Visual C 6.0多线程、动态贴图、实时数据库等技术设计了测量系统计算机应用软件,设计了用多线程进行数据采集的实现思路和关键程序,用动态贴图技术实现.通过分析石英晶片频率特性,获得其谐振频率、寄生频率、相对活力、杂波数等多种电参数.研究结果表明,用π网络法设计的石英晶体电参数计算机测量系统,测量精度高,系统性能稳定、可靠.     

基于网络演算的有损分形整形器及其性能模型

为改善Internet流量自相似等突发特征给网络性能带来的影响,提出了一种适合自相似突发流量的有损分形整形器的数学模型,分析了有损分形整形器的队列长度与延迟等性能,讨论了有损分形整形器的引入对端到端延迟、数据丢失总数以及平均包丢失率等的影响,得到了各性能指标上界与流量自相似参数的关系,给出了允许最大平均包丢失率下的最小缓存容量.这对基于分形整形器的拥塞和流量控制策略的评价、分形整形器自身参数的设计具有参考作用.     

圆周率π的自述

圆周率π现在的我们都不陌生,但是你知道从科学家发现π、利用不同的算法确定π、乃至将π从小数点后几位、几十位,精确到几百位几千位、甚至演算到上亿位所经历的艰辛么？文章将以第一人称的形式讲述π的发现、演算的经历。     

有限群的类正规子群与π_σ-幂零性

推广了Ｉｔ及Ｂｕｒｎｓｉｄｅ等人的结果，同时在反正规条件下讨论了群的结构     

一新型移动进程模型—— χ-演算

提出一新型并发计算模型——χ－演算．它与π－演算的不同之处在于：具有统一的输入和输出，只有一类受限名，通讯的范围由局部化操作子界定，允许更大的并发度．着重研究χ－进程的代数性质