自动化客户服务管理问题时态逻辑描述

在扩展的时太逻辑框架下对自动化仓库中的客户服务管理问题进行研究，内容包括对此服务管理过程进行描述与分析，并给出了相应的控制策略，以使系统达到期望的动态行为。     

时态逻辑的比较与分析

对时态逻辑的两种重要形式———线性时态逻辑与分支时态逻辑进行了比较和分析,指出它们各自的特点及适用范围。     

实时系统的一种定量时态逻辑描述方法

针对Ｍａｎｎａ－Ｐｎｕｅｉｌ命题线性时态逻辑（ＰＬＴＬ）在描述实时性方面的不足，本文扩充ＰＬＴＬ，引入物理时间因子，提出一种用于实时系统的定量时态逻辑，并给出一个实例－监视器计时网（ＷＩＮ）的定量时态逻辑描述。     

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

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

基于时态逻辑的抽象对象规约方法

提出了一种基于时态逻辑的抽象对象语义描述方法,采用这种方法,可以在说明对象的同时对其行为加以时态限制,从而在语义层次上规约了并行对象系统的行为。在此方法上,还可以进一步对系统进行形式化的验证。     

反应式系统的并发模型（Ⅳ）——时态逻辑模型

基于文（１￣３）,提出反应式系统并发描述的时态逻辑模型,并给出抽象计算模型的时态语义。     

时态逻辑与并发程序

分别阐述了基于Ｍａｎｎａ－Ｐｎｕｅｌｉ框架的命题线性时态逻辑ＰＬＴＬ和基于共享变量方式的并发程序（转换图）模型,并给出该模型与转换系统之间的对应关系;将时态逻辑与公平转移系统ＦＴＳ相结合来描述并发程序及其性质（公平性、安全性及活性）;指出了时态逻辑具备其它形式化方法（ＦＳＭ、Ｐｅｔｒｉ网）所没有的一些优势。     

基于子结构逻辑的不确定性语义时态查询技术研究

为解决不确定性语义时态查询及其计算资源配置的优化问题,使用子结构逻辑对时态演算机制进行了完善并构建了查询中间件原型. 基于构造性逻辑语义,构建了中间件演算流程,将时态属性映射为类型语义,使针对时间属性的运算从句法演算中剥离,在保证表达能力的前提下,仅进行语义计算,加速并优化了查询演算流程.实验结果表明:该方法与中间件原型可行、高效,具有共性,为时态信息处理提供理论与技术支撑.     

基于时态逻辑的知识表示研究

讨论模态逻辑和时态逻辑,定义时态逻辑的四个时态算子,探讨了对象模型,提出了时态逻辑对象模型,研究了对象知识表示,给出了基于时态逻辑的知识表示模型和一个对象知识案例,结果表明时态对象模型可以有效地表达知识.     

基于时态逻辑的多时间序列挖掘模型

为了从多时间序列之间发现的定性的时态相关模式可而更全面的理解和把握系统的演化特性,提出了一种基于时态逻辑的多时间序列挖掘模型.它首先将多时间序列转化为多事件序列,然后将预处理后的多事件序列利用区间时态逻辑(ITL)关系子集来定义多事件序列中事件间的时态相关模式.其次进行多状态序列融合和局部时态观测序列的生成,之后采用频繁模式挖掘算法发现多时间序列的频繁时序模式.该模型有助于解决时间序列挖掘所面临的若干挑战和难题,有助于扩展现有时间序列挖掘系统的功能,从而指导时间序列等复杂类型数据的知识发现过程.实验结果表明了该模型及算法的有效性和优越性.     

基于动态描述逻辑的语义Web服务PE匹配算法

将基于描述逻辑断言构成的PE描述公理的有限集合看作一个本体知识库,因此有关PE的语义匹配问题就转化到两个基于描述逻辑的本体知识库之间的逻辑蕴含判定问题,然后将逻辑蕴含推理问题转化为本体库的可满足性检测问题,并通过可判的扩展算法解决,同时对匹配结果进行有意义的排序及分类.所提方法与现有方法相当的情况下,具有更高的查全率,能够更好地区分匹配结果.     

知识仓库的构建与提高图书馆管理服务新层次

本文提出了以信息资源为基础,以人为中心,以技术为手段三位一体打造图书馆管理服务新层次的论点,并以知识仓库的构建与培养图书馆人主人翁精神为切入点进行了具体论述.     

客户服务系统的效益分析

宏观经济效益分析：客户服务系统可以使电力企业营销管理水平得到提高，服务质量得到改善，尽快增加电力客户，减少停电次数和时间，电力企业多售电客户多用电，为企业和社会创造更多的效益。     

基于时态逻辑语言XYZ/E的软件体系结构(Ⅱ)——常见体系结构风格的描述

XYZ/E是世界上第一个可执行的时态逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,文[1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件.本文讨论如何通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

基于时态逻辑语言XYZ／E的软件体系结构（Ⅱ）——常见体系结构风格的描述

XYZ／E是世界上第一个可执行的时态逻辑语言，它既能描述抽象静态语义，又能表示程序的动态语义，这一特征恰好适合分层描述软件体系结构，文[1]采用XYZ／E语言刻画了软件体系结构的基本组件与连接件。本文讨论如何通过对这些组件及连接件进行特定的组合，来表示几种重要的软件体系结构风格。     

客户服务中心管理探讨

物业管理公司是一个以“人”为中心的“高接触度”的行业,客户服务水平的好坏直接影响业主对物业管理的满意程度,客户服务质量的好坏直接影响到物业管理企业的经营效益。企业要想在竞争中脱颖而出,必须突破“重管理,轻服务”的旧有模式,为客户提供最全面、最及时、最周到、最优秀的服务。把握先机,建立客户服务中心(呼叫中心),增强公司的竞争力,塑造自己的品牌。     

电信客户服务系统

本文主要从以下几个方面简单介绍了电信客户服务系统的情况：①通过介绍客服系统的目标和功能,向用户群体解释其用途,使用户群体对本系统有一个初步认识;②通过介绍客服系统的构成,让维护人员了解其大概原理,方便其维护。     

自动化仓库计算机控制系统的集成化技术研究

从优化系统开发和运行的角度分析了自动化立体仓库计算机管理系统的功能和软硬件结构．采用计算机网络，数据库管理系统，多种语言混合编程，数据通讯和人机接口等技术，实现了整个系统的软硬件集成，信息集成和人机集成     

基于模糊控制的规则化描述方法研究

文章针对规则化描述方法(RDM)对连续变量描述的不足,提出了一种基于模糊控制的RDM.该方法引入了模糊控制中的模糊化和解模糊化方法,实现了RDM对连续变量的描述,扩展了RDM的应用范围.仿真结果表明,基于模糊控制的RDM可应用于连续变量动态系统.