论文部分内容阅读
利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．更多还原
不确定程序的公理语义
【摘 要】
：
利用部分可加范畴理论及方法，我们证明了不确定程序部分正确性推理规则的合理性．更多还原
【机 构】
：
郑州大学计算机科学系
【出 处】
：
郑州大学学报：自然科学版
【发表日期】
：
1994年1期
【基金项目】
：
河南省自然科学基金资助项目
其他文献
本文研究了图Ｇ与图Ｈ的联图Ｃ∨Ｈ，图Ｇ的补图Ｇ的循环带宽．运用构造精确下界的方法，得到了Ｂ＿ｅ（Ｇ∨Ｈ）关于｜Ｖ（Ｇ）｜与｜Ｖ（Ｈ）｜的表达式及Ｂ＿ｃ（Ｇ）关于｜Ｖ（Ｇ）｜与Ｂ＿ｃ（Ｇ）的关系式．
本文报导了用ＰＥ２４００元素分析仪进行低合量Ｃ，Ｈ，Ｎ测定时宜采用的方法步骤，用该法测定了含量在０．５％，以下样品，回收率在９５％－１０５％之间，标准偏差≤０．００６％。
提倡气象文化、重视气象文化、建设气象文化，是现代气象工作者的一项重要任务。与其说是一项任务，不如说是一个工程，一个复杂的、庞大的、持久的系统工程。这个“工程”从设计、
本文讨论了量子力学中的相空间分布函数。证明了对≥２维的组态空间，不存在正定的相空间分布函数。更多还原
2003年金秋十月，宁德市气象部门精神文明建设捷报频传，一是宁德市气象系统被中共福建省委、省政府评为“第三届全省设区市创建精神文明先进行业”；二是福鼎、寿宁、屏南3个下属
本文通过一个谱问题的非线性化，得到一个新的有限维Ｌｉｏｕｖｉｌｌｅ完全可积的Ｈａｍｉｌｔｏｎ系统。
1前言我省气象台站目前绝大多数还在使用EL型电接风向风速计，由于其特定的结构，使用中因磨损等因素，产生故障在所难免的，为了使电接风向风速计尽可能运行正常，台站业务人员掌握一
我省装配的CAWS6（K）---B型自动站已从今年1月1日起和人工观测并轨运行。作为一台要求全天候、不间断工作的自动化设备，对机器的稳定性和可靠性的要求是很高的。特别在目前各地的
通过对一次降雹过程的新一代天气雷达资料的强度场、速度场及其它产品的分析，得出对降雹过程不同阶段临近预报有指导意义的结论。
21世纪国学以经典通俗化、民俗普及化和途径多样化的特点，使传统文化融进了现代知识体系，成为大众文化的一部分。同时，现代传媒也以其视觉性、虚幻性和娱乐性的特点，推动和繁荣着