π-演算观察等价的推理系统

提出带递归π－演算观察等价的推理系统，并证明了在受卫递归有穷控制子集上的完备性。该系统由推理规则和等式公理两部分组成，其断言采用条件等式的形式，直接刻画了进程项之间的符号互模拟关系。     

自然保护与人文精神

从灭绝动物公墓说起 几年前,我从曾经发生过的麋鹿灭绝事件入手,在北京麋鹿苑做了一个世界灭绝动物的公墓。我用了一个大家比较熟悉的游戏,叫多米诺骨牌。     

医院门诊管理系统仿真模型的设计与实现

本文运用管理系统的计算机仿真理论，开发了医院门诊管理系统的仿真模型重点介绍了模型的设计与实现并对仿真结果进行了分析和评价     

基于余弦滚降特性的IIR余弦调制滤波器组的设计

提出一种新的近似完全重构因果稳定的IIR余弦调制滤波器组的设计方法.基于所定义的一种IIR余弦滚降原型滤波器,滤波器组所要求的平坦条件完全被满足.在预先给定极点值的条件下,滤波器组的设计问题可以写成一个凸极大极小优化问题,从而采用二阶锥规划法求解.求出的滤波器组具有合理的完全重构误差,且原型滤波器的多相因子的分母相同,简化了完全重构条件.采用该滤波器组作为约束非线性优化法的有效初值,进一步优化得到完全重构IIR余弦滤波器组.     

“牡丹社事件”与日本备并琉球国

历史上日本对琉球国的觊觎 琉球群岛位于西太平洋上，介于中国台湾岛与日本列岛之间。历史上的琉球国，在中国明清两代与中国中央王朝维持了500余年的宗藩关系，寻求宗主国给予安全上的保护，     

浅谈特高压线路串联补偿电容器组与MOV装置

串联电容补偿技术作为提高输变电网络稳定极限以及经济性的有效手段之一,从开始应用到今天已在我国电力系统得到了广泛的推广。     

Cantor三分集构造方法探究

以Cantor三分集的构造定义为基础,揭示了该构造的本质特征,在构造过程中验证了它所具有的特征,以其为核心作进一步的拓展。     

言论

据报载,河南沁阳市8名农民发传单称村支书有经济问题,而被挂牌示众并判刑。该事件曝光后引起中央领导重视,案件又被撤销。在这件事中,我看见了当下最稀缺的精神——公民不服从。河南的8位农民对腐败深恶痛绝,他们挺身举报,在身陷牢狱后又不愿地方政府不     

在线考试系统中组卷功能的实现

在线考试系统的设计与实现中,组卷功能的实现是该系统需要解决的关键问题之一.论述如何应用科学的组卷策略和转换算法实现考试系统的自动组卷,从而使系统具有较高的效率、实用性和智能性.     

利用Visual Basic实现计算机考试中的单选题与多选题

本文主要介绍了在运行模式下,使用Visual Basic实现计算机考试中的单选题与多选题要做的工作和思考的问题,主要讨论了运行模式下的流程图和代码设计。