【摘 要】
：
分析指出了现阶段工资智能决策支持系统的不足之处,即工资政策是通过人工编程实现,没有将其形式化,不能适应工资政策的易变性特点.根据工资政策的需求和特点,在时态描述逻辑A
论文部分内容阅读
分析指出了现阶段工资智能决策支持系统的不足之处,即工资政策是通过人工编程实现,没有将其形式化,不能适应工资政策的易变性特点.根据工资政策的需求和特点,在时态描述逻辑ALCmon旆的基础上,扩展得到了新的时态描述逻辑EALCmon旆,并分析了其时间复杂度,然后讨论了工资智能决策支持系统基于该时态描述逻辑的实现方法,并给出了工资系统中工资政策的形式化和推理方法,最后讨论了该方法的优点和不足,并指出了以后的工作方向.
其他文献
为了使阴影检测结果更加准确和鲁棒,提出了一种基于区域的运动阴影检测方法。该方法从阴影具有的物理特性出发,考虑了区域内所有像素的总体特征。将每帧图像进行合理的分块,并且采用基于梯度的方法对运动区域边缘的小块进行合并。对每个小块根据阴影区域和对应的背景区域之间具有较强的结构相似性和色度近似性的特点进行阴影检测。实验结果表明,阴影检测准确率超过90%,其结果明显比基于颜色不变量的方法有效。该方法能够准确
To identify and analyze the Orf virus in Shanxi Province, China, an Orr virus strain was successfully isolated from crust materials of boer goat with clinical s
介绍了对高功率 XeCl 准分子激光 MOPA 系统中前三台激光器的输出激光进行的参数测量。实验分别对 MOPA 系统的前端输出种子光及其经过一级、二级、三级放大后所得激光进行了
文中介绍中国计量科学研究院(NIM)在微波.光学频率计量基标准研究的新进展:用 NIM4激光冷却-铯原子喷泉钟复现国际单位制(SI)时间单位秒(s),用飞秒(fs)光学频率梳间接复现长
针对客户市场细分问题进行了研究。依据粗糙集理论,以信息表中条件属性与决策属性的一致性原理为基础,以超立方体、扫描向量为数据计算对象,进行数据离散化和连续型属性约简,
基于群盲签名的思想,提出一个具有多个银行参与发行的、可传递的、公平的、离线电子现金系统(FTOLC).多个银行参与电子现金的发行,并能够保证发币银行的匿名性,必要时可以由
汞俗称水银,它通过多种途径进入环境,但其主要来源是煤炭燃烧、金和其他有色金属的冶炼以及火山爆发。最终,这些挥发到空气当中的汞将落入湖泊和海洋。无论是对人还是对动物,
城市基础地理信息系统是"数字城市"建设的一项基础性系统工程,其核心任务是城市基础地理信息数据库的建立、维护、管理与数据发布。探讨基础地理信息数据库结构设计。
本文结合某住宅楼工程的实例,详细阐述构造柱施工中应注意的技术问题.并对某商住楼工程抗震构造柱基础、构造柱与墙体交接处处理以及钢筋、模板、混凝土的施工技术操作等进行