基于时间区间关系的时态模糊描述逻辑研究

针对传统的模糊描述逻辑对随时间变化的不精确知识缺乏表达能力,运用时态逻辑,结合模糊计算,提出了基于时间区间关系的时态模糊描述逻辑—TFDL(IntervalAllen).引入Allen区间关系用于表示时间区间关系,并给出了TFDL(IntervalAllen)的语法和语义.该逻辑形成的系统增强了不精确知识的时态关系的表达能力.     

具有时间约束的软构件的时间消耗表示和评价

提出了构件性能参数中的时间消耗表示和构件动态组装时的时间消耗约束的判断方法．提出一种时间消耗约束求和模型和两种时间消耗的评价方法,基于一个类3C的构件模型,并采用XML实现构件描述,通过时间评价的使用实例,显示本方法在动态组装中检验时间消耗约束的可行性．     

UML类图元模型基于描述逻辑的表示及验证

UML类图元模型采用非形式化的表示,无法对其结构语义进行严格的描述,因此提出一种UML类图元模型基于描述逻辑表示及验证的方法.在对UML类图元模型进行分析的基础上,构建了UML类图元模型基于描述逻辑SHOIN(D)的约束规则集,并验证了UML类图元模型与其构建模型间的一致性.     

时序Rough逻辑及其在数据分析中的应用

提出一种时序Rough逻辑,定义了时序算子及其作用于Rough逻辑公式上的意义．描述了这种逻辑的语法和语义．论述了时序Rough逻辑中的语义模型是一个无限状态序列,其中每一状态都描述了当前时刻和场景点上信息系统的信息．从当前状态到下一状态的变换是遵循时序Rough逻辑演算的,它必须保持知识不变,也就是属性和讨论的对象不变,而属性关于对象的特征值,即属性值随着时间和场景变化而可以变化．因此。在信息系统上作决策、数据约简和信息粒化等都将产生影响,由此可见时序Rough逻辑将是动态地处理信息系统的理论工具,也将是合理地解决和处理不一致信息表的较好方法．     

基于动态逻辑的多动作承诺机制

研究主体思维状态逻辑框架KARO中的多动作承诺机制,并对其进行语义解释,通过引入动态逻辑中模型状态迁移概念以及相关谓词来描述多动作承诺与取消承诺时各模型状态变化及相应处理,为逻辑框架KARO中加入主体顺序执行动作作承诺与取消承诺的处理机制,并给出了详细的Kripke型语义描述,在使用KARO解释多主体环境一主体思维与行为的研究中,多动作的承诺使得主体可以将主体间合作作为其规划的一部分。     

Nadolschi混沌系统的T-S模糊建模与控制

针对参数已知的Nadolschi混沌系统,利用T-S模糊模型对其进行精确描述,在此T-S模糊模型的基础上,给出一种基于并行分布补偿(PDC)技术的状态反馈控制器设计方法,并且利用Lyapunov方法证明了所提方法的渐近稳定性.该方法充分考虑了模糊子系统间的相互作用.状态反馈控制器增益矩阵可以通过求解一组线性矩阵不等式(LMIs)获得.仿真结果表明,所设计的控制器能有效地控制Nadolschi混沌系统的混沌时间轨迹渐近稳定到其零平衡点,且控制简单可靠.该方法可以进一步推广到其他混沌系统的控制问题中.     

命题投影时序逻辑并发建模与自动验证

针对目前尚无模型检测方法对区间并发模型进行区间性质的自动验证的情况,采用命题投影时序逻辑中具有特定结构的一类公式来建立系统的区间并发模型,该逻辑的任意公式可以描述模型需要满足的区间性质,通过归约为已有的逻辑公式可满足性判定算法,证明了命题投影时序逻辑统一框架模型检测是可判定的,从而得到了其自动验证方法,并给出了一个验证实例.     

UML 顺序图的一种形式化描述方法

统一建模语言UML是一种通用的图形化建模语言,在面向对象系统的分析和设计中,它已成为了事实上的工业标准。但UML不是形式化的建模语言,缺乏精确的、形式化的语义,因此阻碍了它的进一步发展。线性时序逻辑是并发或反应式程序动态语义的一种形式化描述语言,它适合用来精确地表示模型的动态语义。本文定义了顺序图的形式化语法,采用线性时序逻辑给出了顺序图的语义描述,并通过实例分析,对模型的某条性质进行了证明,为模型做进一步分析和验证提供了基础。     

基于免疫遗传和顺序支持向量分类机的DTG健康状态评估

针对无监督情况下动调陀螺仪健康状态评估问题,提出一种两阶段健康状态评估模型. 首先,在利用HHT数据预处理的基础上,为克服FCM算法初值敏感及遗传算法过早收敛等问题,提出一种加权免疫遗传模糊C均值聚类模型;其次,针对聚类结果数据的顺序性,建立基于顺序支持向量分类机的健康状态评估模型. 实例结果表明提出的聚类模型具有较高的收敛精度和收敛速度,评估模型具有较高的准确率和效率.      

闽东南城镇建设用地扩展与工业化耦合研究

在分析闽东南地区1996—2001年城镇建设用地变化趋势和特征的基础上,根据建设用地的综合扩展系数将闽东南地区城镇建设用地扩展划分为4种类型,即剧变型、缓变型、相对稳定型和稳定型,总结不同扩展类型的特征,研究工业化阶段与城镇建设用地扩展类型的关系。结果显示,处于不同工业化阶段的县市,其城镇建设用地扩展也明显不同,且与工业化进程具有一定的内在关系,最后对各县市的城镇建设用地扩展与产业非农化的耦合系数进行研究,发现其与城镇建设用地的综合变动系数具有很高的一致性。     

在有服务费用的串联排队网络中对两组不同到达顾客的模糊控制

研究一个二阶串联排队网络 ,每一阶有一个服务时间服从负指数分布的服务器和具有无限容量的顾客等待空间 .有两类顾客按泊松流到达系统 ,第一类顾客只需接受第一个服务器的服务 ,第二类顾客需要按顺序接受两个服务器的服务 .第一个服务器的服务时间是可变的 .系统中的费用与顾客排队的长度和选用服务速度的大小相关 .系统的控制目标是根据系统的状态动态地在第一阶中等待的顾客中选定接受服务的顾客的种类和确定第一个服务器的服务速度以保证系统在一个无限长的时间里平均费用最低 .这个控制模型可以应用在通讯系统的流量控制、生产系统中的加工车间及交通系统的流量控制中 .在文中 ,一个模糊控制的新方法被提出用以解决这个问题 .计算机模拟的结果显示这种新提出的方法是非常有效并极富研究潜力的 .     

在无服务费用的串联排队网络中对两组不同到达顾客的模糊控制

研究一个二阶串联排队网络 ,每一阶有一个服务时间服从负指数分布的服务器和具有无限容量的顾客等待空间 .有两类顾客按泊松流到达系统 ,第一类顾客只需接受第一个服务器的服务 ,第二类顾客需要按顺序接受两个服务器的服务 .系统中的费用与顾客排队的长度相关 .系统的控制目标是根据系统的状态动态地在第一阶等待的顾客中选定接受服务的顾客的种类和确定第一个服务器的服务速度以保证系统的平均费用最低 .这个控制模型可以应用在通讯系统、生产系统中的Jobshop及交通系统的流量控制中 .文中给出一个模糊控制的新方法用以解决这个问题 .计算机模拟的结果显示这种新提出的方法是非常有效并极富研究潜力的     

等效预张力大跨度弦支穹顶预应力施工过程的正算法

为了准确模拟大跨度弦支穹顶预应力施工过程,建立符合实际施工顺序的结构施工初始态,对预应力施工过程的力学分析方法进行了研究.根据工程实践,总结了大跨度弦支穹顶预应力施工过程的特点,分析了状态变量叠加法、反分析法、生死单元法在其应用上的不足.结合非线性有限元分析方法,凝练了基于等效预张力的预应力施工过程正算法,并给出了具体的实施方法和步骤.以常州体育馆钢屋盖工程为算例,验证了正算法用于预应力施工过程力学分析的可行性和适用性.最后指出,基于等效预张力的正算法预应力施工过程力学分析,综合考虑了支撑与刚构的非线性接触、索力的相互影响、施工临时结构体系的转换、结构几何非线性等施工多因素耦合效应,能够准确跟踪结构在各施工阶段的状态.     

试析知识服务型图书馆人力资源建设

人力资源是图书馆资源中最重要的资源。分析了知识服务型图书馆人力资源建设的必要性,探讨了知识服务型图书馆人力资源建设的策略。     

论侦查实践中类比模型建构方案

类比思维借助同构对应关系,在不同质的两个或两类对象之间建立起特殊的推理关系,其探索性价值充分体现于纵向层次的认知推理和横向领域的知识转移。事物层次具有复杂性、多样性和差异性,建构类比模型需在时间过程、空间变换和人物层次之间进行综合考量,形成关于犯罪的性质、动机、方式、手段、嫌疑人特征的类比模型方案,还原案件发生时的真实情况,形成理性上的审慎和技术上的严格,直至逼近案件真相。     

桥梁工程施工力学与一般力学的比较

通常桥梁结构设计是以建造好结构在使用荷载下的计算模型为依据,然而这是同结构在实际施工过程产生的力学状态有差异的.为此本文对施工力学和一般工程力学进行了比较分析,按照施工顺序及施工时的实际情况进行几何组成、强度、刚度和稳定性的力学比较分析,从而对保证结构建造全过程的可靠性,指导选用合理的施工方案,具有一定的理论意义和现实意义.     

磁阻式同步电动机不同转子结构的性能比较

介绍了几种常用的转子结构形式及其特点，导出了它们的直轴和交轴电抗折算系数Ｋｄ和Ｋｑ的计算式，通过样机的性能计算和比较，指出分段凸极式结构是磁阻式同步电机较理想的转子结构形式，其运行性能可与相应的异步电机相比。     

浅析.NET Framework中二进制序列化与反序列

当两个进程在进行远程通信时,彼此可以发送各种类型的数据。无论是何种类型的数据,都会以二进制序列的形式在网络上传送。发送方需要把这个对象转换为字节序列,才能在网络上传送;接收方则需要把字节序列再恢复为对象。本文简要介绍了序列化的两大类型和两个重要用途,详细阐述了二进制序列化与反序列化的实现过程。说明了二进制序列化是一种精确,简单,快速的序列化工具。