基于括号表示法的一阶逻辑系统

括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。     

法律漏洞的司法识别

实证研究表明,法律漏洞因具有流动性而存在模糊空间,在一些疑难案件中法律漏洞的有无存在很大争议.法律漏洞识别的准确与否直接关乎判决结果的正误,必须给予认真对待.归纳并设定法律漏洞识别的程序与标准,依托程序理性实现漏洞评判形式上的统一,成为解决此难题的现实路径.通常情况下,如果待决案件中原告诉求的利益,法律应当给予但实际上未给予或未给予妥当的保护,此时,如果运用法律解释方法仍然无法修复法律欠缺或以规范冲突选择规则无法进行选用,则应当认定法律出现漏洞.规则悖反漏洞较为特殊,因为法律对待决利益给予了保护,其自形式上并不存在漏洞,只是规则在待决案件适用中出现了不正义的结论而可能失去被遵守的价值,此时,则应依照拉德布鲁赫公式确定结论违反正义是否达"不可容忍的程度",以判断是否出现规则悖反漏洞.     

基于改进蜂群算法的神经网络及其应用

本文提出一种具有极强全局优化能力的改进蜂群算法,该算法对人工蜂群算法的更新公式进行改进,并对整个搜索策略进行简化.算法对多个高维多极值基准函数进行全局最优化测试,结果表明,改进的蜂群算法收敛精度大大提高;其次,将改进的蜂群算法应用于神经网络的权值训练;最后,作者将这种基于蜂群算法训练的神经网络应用于降水预报,其试验结果显示了这种训练方法的可行性.     

垃圾焚烧厂的经济补偿问题

垃圾焚烧厂周边环境动态监控体系的建立，综合考虑空气、噪声、废渣等多种污染因素，利用高斯公式建立关于污染物浓度的模型，得到总体环境质量等级；居民风险承担经济补偿方案的设计，利用环境污染等级划分补偿区域，综合量化人口密度、区域面积、居民年收入水平、污染等级等因素，采用J型的变权函数和综合评分法得到各区域的经济补偿分配情况；从各污染物浓度偏离均值的程度来判断设备故障的发生，在大量数据的整理分析的基础上建立环境警报系统，并依托于居民环境风险承担保险对居民进行经济补偿。     

中职数学“诱导公式”教学方法初探

三角函数"诱导公式"教学的特点是公式多、记忆难度大、使用起来易混淆。中职生的数学基础相对偏弱,理解和记忆公式的能力也不强,所以他们在面对"诱导公式"的时候,总是一筹莫展。该文提出采用"搭建知识框架,形成清晰的记忆思路""函数名不变,符号看象限"等方法帮助学生解决在学习"诱导公式"中遇到的问题。     

剖析异面直线间距离的解法

两异面直线间的距离是指两条异面直线的公垂线段的长度。两条异面直线间距离的求法较多，但通常有直接法、转化法、构造函数法、体积法、公式法等，下面仅对通法作简单的分析，以供大家参考。     

正态均值变点识别的非迭代抽样算法

文章提出了估计正态序列均值变点位置的非迭代抽样算法.利用逆贝叶斯公式,得到了变点位置的精确后验分布,通过对该离散分布抽取样本,得到变点位置的贝叶斯估计.模拟显示该算法能有效地估计变点位置,并且计算速度比迭代的Gibbs抽样算法快.     

Excel2007数据处理在教学中的综合应用与实践

随着Office办公软件的普及应用,日常办公经常使用表格处理软件Excel进行一些简单的数据处理,如排序、分类汇总、筛选等.在日常教学中,如何让学生灵活综合应用Excel功能进行数据处理和汇总?本文以教师期末量化评分表为例,说明Excel2007功能在教学中的综合应用技巧.     

使用Excel设计实现生活饮用水水质监测报告

在日常工作中,经常使用监测报告、调查表、实验报告等表单存储或收集专业数据,选取合适的表单设计工具非常重要.Excel作为表单设计工具,不仅可以设计出式样美观、格式规范的表单,其内嵌的函数、公式还可以实现自动计算、条件判断、数据有效性验证、统计等功能.     

模态系统T的Herbrand定理

模态Herbrand定理研究是模态逻辑领域的重要开放问题.不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明.同样的方法还可以用来证明模态系统D、K4、s4的Herbrand定理.