循环结构的形式化推导

介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行,先确定好描述程序功能的断言,再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明,并对循环结构的形式化推导进行阐述说明。     

方块苗文动态构造方法的形式化描述

针对如何在计算机中生成和显示方块苗文的问题,提出了一种方块苗文动态构造方法,给出了该方法的基本原理,定义了实现方块苗文动态构造所需要的操作符,并以谓词规则的形式对方块苗文动态构造变换操作进行了描述。该方法仅需存储方块苗文构件及独体字的显现字符,通过对显现字符进行上下组合、左右组合、侧围组合来实现方块苗文的动态构造,为方块苗文字库中字形构件提取及合体字自动生成技术提供了重要支持。     

精细油藏描述 实现文95块油藏开发再度辉煌

文 95块油藏是文南油田的主力开发区块之一。 83年投入开发 ,85年开始注水 ,89年以来由于见效井含水上升进入产量递减阶段 ,油水井井况恶化、注采井网严重损坏 ,开发效果变差。 96年以来开展油藏精细描述 ,深化剩余油研究 ,实施了以恢复完善注采系统 ,挖掘剩余油为主要内容的注采调整 ,积极进行滚动增储 ,可采储量增加 ,开发效果显著提高 ,取得了很好的经济效益 ,值得同类油藏借鉴。     

湍流化学反应的分形数值模拟

基于涡串唯象概念和分形理论,建立了能够表达湍流多尺度结构物理特性的分形湍流化学反应模型,针对Steckler室内燃烧过程进行了数值模拟研究.湍流流动采用浮力修正的κ-ε双方程模型来模拟,辐射由Rosseland模型描述,整个模拟过程由ANSYS-CFX10.0实现.将模拟结果与Steckler的燃烧实验数据进行对比,并与EDC燃烧模型及文献中EBU燃烧模型的模拟结果进行对比.结果表明,FM燃烧模型模拟得出的温度、速度场分布与实验数据能够较好地吻合,是一种有前途的湍流化学反应模拟方法.     

利用ANN法预估芳香族多硝基化合物的密度

运用神经网络模型,采用误差反向传播算法,对一系列芳香族多硝基化合物的密度进行了预测.结果表明,芳香族多硝基化合物的密度与其分子结构存在良好的相关性,选用分子结构描述码作为输入特征参数能取得较高的预估精度,预测结果的相对误差一般在±10%以内.     

你的淘宝店铺为什么没有流量?

正店铺没有流量,也不知道如何推广。今天给大家分享一下思路,去看看自己的网站或者淘宝店铺为什么没有流量和客户!我们先分析下淘宝店铺为什么没有流量没有客户吧!先把基础性工作做好我这里说的基础性工作是指淘宝店铺装修。对于企业来说,如果连自己的店面都不装修的话,你让来你店铺的人怎么     

基于OBDD的描述逻辑εL循环术语集推理

循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图（ordered binary decision diagram,简称OBDD）是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑循环术语集的推理.首先,针对描述逻辑εL中的循环术语集,给出了描述图上关于最大模拟关系的重要性质,并借助集合表示和集合运算对该性质进行了表述和证明.在此基础上,应用布尔函数对描述图进行编码,给出了基于OBDD求解最大模拟关系的方法,进而给出了最大不动点语义下基于OBDD对概念包含关系进行判定的算法;接下来,基于OBDD给出了求解描述图中可以到达循环路径的所有结点的方法,进而给出了最小不动点语义下基于OBDD对概念包含关系进行判定的算法;最后,对算法的正确性、复杂度等进行了分析和证明,并对算法进行了编程实现,给出了关于计算性能的实验结果.该工作为循环术语集的推理提供了一条有效途径,也为OBDD在逻辑推理中的应用提供了新的案例.     

混合偏好模型下的分布式理性秘密共享方案

理性秘密共享方案通过扩展参与者的类型后具有更好的适应性,而现有方案中的共享秘密往往依赖于秘密分发者,但在某些特定环境中秘密分发者并不一定存在.通过对传统分布式秘密共享方案的分析,给出了分布式理性秘密共享方案的一般形式化描述;同时,考虑理性参与者的眼前利益和长远利益,提出一种新的理性参与者混合偏好模型;进一步结合机制设计理论的策略一致机制,设计了一个激励相容的信誉讨价还价机制,以此有效约束理性参与者的行为,从而实现了公平的(t,n)(t,n≥2)分布式理性秘密共享方案的构造;通过从信道类型、秘密分发者的在线/离线需求、方案的通用性和偏好模型等方面与目前相关理性秘密共享方案进行对比分析,进一步分析了所提出方案的优势.     

描述逻辑FL0概念及术语公理集的表达能力刻画

表达能力和推理复杂性是一个逻辑的两个重要特征,也是一对相互制约的关系。解释之间的互模拟关系是从语义的角度刻画逻辑表达能力的一个有效途径,其代表性的结果是命题模态逻辑表达能力的刻画定理-van Benthem刻画定理。文中给出了描述逻辑FL0(含构造子:原子概念、顶概念、概念交、全称量词约束)的模拟关系,建立了FL0中概念和术语公理集的表达能力刻画定理,即一阶逻辑公式与FL0概念和术语公理集等价的充分必要条件。上述结果为寻求表达能力与推理复杂性之间的最佳平衡提供了有效的支持。     

关系数据库的语义研究

数据库是数据的结构化集合,是各种应用的必要组件。关系数据库系统是迄今应用最广的数据库,其数据结构简单,数据组织、存取效率非常高。但同时关系数据库缺乏语义信息,将其应用于知识系统有制约性。因此,引入本体思想,将本体植入关系数据库,由此为其增加语义信息和推理机制,使关系数据库具有了语义,适用于知识系统。