环境侵权投诉中健康损害判定程序研究

提出环境污染健康损害判定工作程序及步骤,给出已知污染物或未知污染物造成健康损害判定工作框图,并提出健康损害判定:①必须经环境保护主管部门进行资质认定的环境污染健康损害判定机构承担;②具有健康损害判定资质的机构应建立相应专家组;③健康损害判定专家组按相关标准根据医学诊断、环境证据及因果关系进行健康损害判定。

不等式自动发现和判定程序agl2010的若干改进及应用

对不等式自动发现和判定程序agl2010进行了若干改进,扩充了程序功能,提高了运算效率;讨论了自动发现不等式过程中的若干技巧和策略;以实例的方式介绍了agl2010程序的应用.

基于排序的现代藏文音节判定

音节类型的程序判定是藏文字典排序的基础。建立了基于结构的现代藏文音节判定规则,并且将不满足该规则的藏文字母组合看作梵音藏文音节。首先,根据编码序列中占位编码、不占位编码的个数以及相互间的位置关系,判断一个编码序列是否满足现代藏文音节结构,如果满足则进一步确定各个编码(字母)在音节结构中的位置;其次,根据正字法对各个位置上字母的约束来判断这个编码序列是否表示一个现代藏文音节;最后,选取了一些有代表性的编码序列来测试算法的有效性。

现代藏文音节判定算法

音节判定是藏文字典排序的基础。建立了基于Unicode编码的现代藏文音节结构判定算法。针对受语法影响的现代藏文音节进行预处理,使其满足一般现代藏文音节的结构;对含有占位辅音和含有不占位辅音两种情况分别进行判定。本算法能正确地判断所有藏文音节的结构。

任给一个双峰稳词(XDYC)可允条件的判定

利用符号动力学方法 ,给出了双峰映射双超稳揉系列的可允条件 ,并用计算机仿真实现了任给一个双峰稳词XDYC的可允条件判断 .

湖泊生态环境损害基线判定技术综述

近年来,污染事故引发的湖泊生态环境损害问题屡见不鲜,特别是氮磷营养盐富集导致的湖泊富营养化。因此,对湖泊生态环境损害程度进行科学合理评判,制定湖泊生态环境损害判定规范程序,形成湖泊生态环境损害判定技术势在必行。目前,国内外学者一致认为,确定切实合理的生态环境基线是对生态环境损害进行科学有效评估的关键技术环节和重要前提。基于相关国家标准以及文献调研,对湖泊生态环境基线判定的原则、判定程序以及判定方法进行系统梳理与总结。详细介绍了针对湖泊不同受体的模型推算法在生态环境损害基线判定中的应用,包括相应的判定方法、判定过程以及优缺点。此外,还针对国内外典型湖泊生态环境损害基线判定研究实例进行阐述。最后对湖泊生态环境基线判定工作的未来发展方向进行了展望,以期为形成统一、合理、有效且具有高度普适性的湖泊生态环境基线制定方法与流程提供依据。

一类特殊阿贝尔方程的可积条件及计算机判定

给出一类特殊阿贝尔方程新的可积条件,实现了计算机对该类方程可积性及其精确解的自动判定.

一类特殊Abel方程的可积条件及其计算机判定

利用分式线性变换研究了一类特殊的Abel方程,得到了两个简明的方程可积的判定条件,这些结果极大的简化了Abel方程可积的判定条件,最后利用Mathematica软件得到了其可积性的判定和精确解的实现程序.

素数判定与简单合数分解的又一个电子公式

针对简单合数固有的一个特性,用程序替代繁重手工验算,得到简单合数判定与分解的结果。

如何科学确定建筑物的重大火灾隐患

重大火灾隐患具有危害性大、难以定量确定的特点,结合《重大火灾隐患评判规则》标准的起草,提出了科学、准确确定重大火灾隐患的基本方法和原则,给出了判定重大火灾隐患的程序和综合考虑的因素。

短槽式石材吊顶板材安全性判定方法研究及程序设计

石材吊顶被广泛应用于大型建筑的公共空间装饰工程中,石材吊顶板材一旦脱落便会严重威胁人民生命财产安全。但受市场环境和施工现场等诸多客观不利因素的影响,工程实践中对石材的安全把关不到位的现象普遍存在。施工技术人员需要一种简便易行、严谨规范的方法,对石材吊顶板材进行安全性核算,才能克服这些客观存在的不利影响,以保障石材吊顶的安全。本文以室内短槽式石材吊顶板材为研究对象,依照《金属与石材幕墙工程技术规程》的相关规定,推导出石材吊顶板材面积需要满足的条件公式。在对公式分析的基础上,提出了判定石材吊顶板材安全性能判定的新方法,即:以最大允许面积为判定石材吊顶板材安全性的衡量标准,通过该衡量标准与选用石材规格的对比结果来判定吊顶板材是否安全。以此为基础,作者在Excel电子表格平台上,设计了短槽式石材吊顶安全性判定程序(SCSD电子表格),实现了该判定方法的电算化。该SCSD判定程序能助力技术人员轻松完成吊顶石材方案安全性能判定,对安全隐患发出警示,督促技术人员调整石材方案,直至满足安全性能为止。该SCSD判定程序对保障装饰工程石材吊顶安全有重要的应运价值。

亚里士多德模态逻辑的现代解释

国际上一些知名学者,如卢卡西维兹、波亨斯基、麦考尔等,对亚里士多德的模态逻辑作了创造性的研究,取得了许多重要结果。本文另辟蹊径,对模态直言命题、模态三段论的格和式作了新的解释,构造了模态三段论的一元谓词逻辑自然演绎系统,比较简单地解决了必然式系统的判定程序,并且用可能世界语义学构造了必然式系统的模型。