关于模态命题系统的一种布尔值模型

本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.     

基于Gogny相互作用的非对称核物质同位旋的相关性质

基于有限程的Gogny相互作用,系统研究同位旋非对称核物质的状态方程(equation of state,EOS)及其单粒子势和它们的同位旋相关性.通过对比各类模型以及实验值,说明现有的D1,D1S和D1N这3组Gogny参数的不足之处,指出探寻新的Gogny核力参数的必要性.     

含内部随机点蚀的2D圆环管道模型屈曲研究

通过建立有限元模型分析了内部随机点蚀对外压作用下2D圆环屈曲压力的影响.由于管道内部多相流侵蚀-腐蚀的影响,管道极易在6点钟方向产生内部沟槽腐蚀和点腐蚀,进而导致管道损坏失效.内部腐蚀是造成深海管道损坏失效的重要因素,针对内部随机点蚀对管道屈曲压力影响的问题,将用户自定义的Python程序嵌入Abaqus有限元数值模拟软件进行研究.把管道简化为2D圆环模型,利用Python程序中均匀分布随机数生成器,建立多个随机点蚀圆片模型;根据内部随机点蚀的特点,采用随机数发生器得到在2D圆环内表面3点钟到9点钟方向随机分布的点蚀坐标;在整体坐标系下完成模型装配后,运用Abaqus软件中的布尔切割运算功能建立了含内部随机点蚀的2D圆环有限元模型.使用上述模型研究了外压作用下内部随机点蚀对圆环屈曲压力的影响,模型校准后基于该2D圆环模型开展了参数敏感性分析,研究结果表明椭圆度、径厚比和腐蚀比是影响2D圆环屈曲压力折减系数的主要因素.基于多参数非线性回归分析,建立了椭圆度、径厚比和腐蚀比3个参数对外压作用下含内部随机点蚀2D圆环屈曲压力折减的经验公式.研究结果可为内部随机点蚀作用下的海底管道的极限强度评估和剩余寿命分析提供参考.     

Cult3D虚拟现实在导航装备在线监测系统中的应用研究

介绍了Cult3D建立虚拟导航装备动态模型的过程。详述了在线监测系统LabVIEW开发环境下使用ActiveX技术嵌入动态模型的实现流程。说明了其属性结点和调用结点的含义和使用规则。提供了系统Cult3D虚拟装备的B／S网络发布模型及实现方法。分析了动态模型嵌入对系统性能的影响。实践表明,该系统动态模型运行流畅,利于监测和维修。     

区域生态源之间辐射趋势的多尺度研究——以蚌埠天河片区规划影响评价为例

最小累积阻力(MCR)模型是量化生态安全格局的方法,但模型的尺度问题在空间研究和实践中一直得不到重视.以蚌埠市天河片区为例,拟在不同尺度对区域生态安全格局进行探究.根据片区内生态源S1、S2和S3和生态阻力格局,首先在粒度10、30、60m和100m下进行现状研究,基于MCR模型得出生态源之间辐射廊道和由累计阻力(cr)构成的联系功能矩阵;再对规划方案进行类似操作.为评价规划对现状各尺度生命过程的影响,分别以Kappa指数和cr相对变化量揭示规划后廊道格局和源间联系功能的变化.结论:在各生态源之间,方案在100m粒度下对原先生命过程促进最大,且S2和S3、S1和S3之间的廊道在该粒度下将有变动;在S2和S3、S1和S3之间,方案在10m粒度下对原先生命过程促进最有限,并在该粒度下使廊道格局发生变化;在S1和S2之间,方案在10m粒度下对原先生命过程干扰最大.     

交流侧不对称故障下柔性直流输电系统优化控制研究

基于模块化多电平S换流器的柔性直流输电系统（Modular Multi-level ConverterHigh Voltage Direct Current,MMC-HVDC）在交流电网发生不对称故障时,故障侧MMC的内部特性和系统运行都受到较大影响.基于MMC桥臂平均值模型,提出一种不对称工况下MMCHVDC系统的优...     

STR遗传标记荧光复合扩增系统的法医学应用

目的：建立D20S601、D6S474、D6S2418荧光标记复合扩增体系,并对其进行法医学实用性研究。方法：利用传统复合扩增技术扩增D20S601、D6S474、D6S2418基因座,在不同条件下对复合扩增系统的同一性、灵敏性、可重复性等进行测试,用实际案例进行验证。结果：建立的D20S601、D6S474、D6S2418荧光标记复合扩增体系的扩增条件要求不高,法医实用性研究证明该体系实用性好。结论：建立了D20S601、D6S474、D6S2418遗传标记的荧光标记复合扩增体系。法医学应用性研究证明,该系统分型结果稳定,重复性好,灵敏度高．对陈旧斑痕具有检测能力,能够对常见介质上的斑痕正确分型,与常见的动物及微生物无交叉反应,可成功应用于法医检案。     

纸浆漂白技术的最新研究

一、简介 三十多年来,桑斯·德菲布勒特公司(即S.D公司)一直是化学浆厂漂白系统需要的设备和化学漂剂的主要供应商之一,这种主要供应商的地位就促使S.D公司自始至终重视发展研究工作,包括新型漂白设备和漂白化学剂的研究和最佳漂白条件的探讨,这多年的研究发展工作就形成了S.D公司的漂白技术最新理论。     

适应性底座附加载荷影响因素的敏感度分析

为研究悬垂弹射系统适应性底座附加载荷影响因素的敏感度,分析了附加载荷的产生原理,推导出附加载荷的数学计算公式;建立了适应性底座附加载荷基准数值模型并通过实验加以验证,同时,将附加载荷的数值解与解析解进行对比;利用结合参数化技术与多元广义多项式神经网络技术对附加载荷影响因素的敏感度进行分析.结果表明:适应性底座S弯处的最小直径D2和离地高度H与附加载荷峰值呈正比关系,S弯处最大直径D1、S弯下弯半径R1以及S弯上弯半径R2与附加载荷峰值呈反比关系;D2、D1及H为影响附加载荷峰值的主要因素,R1及R2为影响附加载荷峰值的次要因素;各影响因素对附加载荷峰值影响的敏感度排序为D1HD2R2R1.     

D.S.规划的uv-分解

主要利用uv-分解理论分析D.S.规划。先将D.S.函数uv-分解,再给出D.S.规划算法和最优性条件。     

ITS系统中知识模型的设计与实现

ITS系统中。知识表示是一个关键问题。如何表示好知识关系，构建领域知识模型，难度很大。芩文讨论了ITS系统中知识点间关系的表示，特别对于知识点间依赖关系的设计与表示，提出了一个知识图模型，结合了树和有向图的表现形式，并给出了一些构建原则，能够较好解决当前知识表示中存在的不足。最后用相应的关系数据模型给予实现。     

城市产业规划的经济分析模型库设计

针对城市产业规划中经济分析模型的复杂化特点,从减少模型库冗余性的角度,提出5条模型库设计原则,区分部件模型与执行模型,以可执行文件为部件模型形式,以数据序列描述执行模型,通过代数式数据化和执行模型数据化,增强了关系数据库的知识表达能力,改善了模型的可读性,并给出了混合型模型库管理系统的逻辑设计.     

RFID系统可靠性仿真测试

无线通信的复杂性影响了RFID系统识别的可靠性,进而阻碍了RFID系统的大规模应用。为全面、客观评价RFID系统可靠性性能,在已知影响RFID系统可靠性的两个主要因素,即RFID读取距离和标签碰撞问题的基础上,研究了ASK通信系统的仿真与误码分析。通过建立仿真模型,绘制出信噪比与误码率的关系曲线,由自由空间传播理论绘制出距离与误码率的关系曲线,最终由误码率与识别率的影射关系,绘制出距离与识别率的关系,从而推出了距离对RFID系统可靠性影响的数学模型。仿真结果表明所得出的数学模型是合适的,可行的。     

基带传输系统中AMI码性能分析与仿真

以AMI码基带传输系统模型为基础,对AMI码的误码率和功率谱密度进行了求解和分析,并使用SIMULINK构建出了AMI基带传输系统仿真模型,应用该仿真模型对求解的AMI码误码率和功率谱密度进行了验证,同时讨论了AMI基带传输系统的性能与眼图的关系及码速率与带宽的关系.这将为以AMI码基带传输为通信方式的通信系统性能分析提供基本依据.     

数据库应用系统与平台无关性初探

通过对ODBC和JDBC技术的阐述,对数据库应用系统与平台无关性进行初步探讨,并结合系统的模式及特点提出其平台无关性解决方案,给出了一个例程.     

面向对象数据库中对象模型和规范化研究

从分析面向对象数据库中对象模型、数据依赖着手,提出了对象函数依赖的概念,在此基础上提出了以分解为基础的对象模式、规范化方法,并在分析对象模型、关系模型的基础上,介绍了用四元组的方式研究这两种模型的表述关系以及关系模型可以用对象模型完全描述的结论,据此,给出了关系模型与对象模型间的映射关系,通过简单实例,探讨了关系模型中嵌入对象机制的可行性     

不完备目标信息系统中基于差异关系的粗糙集

针对建立在等价关系上的传统粗糙集对差异关系研究不足的情况,基于差异关系对传统粗糙集模型进行了扩展。在不完备目标信息系统中定义差异关系并基于这种差异关系扩充粗糙集模型。等价关系反映事物共性,差异关系反映事物个性,基于差异关系的粗糙集可用于约简否定规则。文中定义了一种差异关系,证明了基于差异关系的下、上近似集的主要性质,建立了相应的近似约简模型,最后给出了近似约简的判定定理和计算方法。     

基于IMC环境构建生态型品牌关系系统

品牌关系是一个由诸多关系相互作用而构成的网络系统。本文立足IMC环境,基于品牌关系的经营层次和顾客的终身价值,主张用一种更长远和更全局的思维去规划品牌关系系统,从而构建了生态型品牌关系系统的层次模型。     

集值信息系统中的粗糙集扩展模型

根据属性值的相容程度在集值信息系统上定义了一种新的关系--α相容关系;给出了相应的近似集合和相关性质,并讨论了它与相容关系、拟序关系之间关系;提出了基于这种关系的粗糙集扩展模型,并分析比较了该模型与现有的粗糙集扩展模型之间的关系;最后,通过一个实例来直观地解释这些关系之间的联系.