电子商务系统形式化分析与验证技术综述(Ⅱ)

应用形式化分析技术对电子商务系统模拟与验证，可以查找系统设计中的错误和不足，确保系统的正确性和健壮性．本文将目前用于电子商务系统的形式化方法划分为四大类，综合分析并比较了各类方法的应用特点，并指出了进一步地研究工作．     

一种简易的产品管理软件

<正> 近几年来,微型电子计算机被广泛地应用于经济建设的各个领域。特别在企业管理中,电子计算机有其优越的功能,它记忆的信息量大,便于查询和检索,能自动处理数据,并能打印输出各种统计表格。其处理速度快而且准确度高,从而大大提高了企业管     

图书馆个性化信息服务方式——MyLibrary

MyLibrary是目前最成功的个性化数字图书馆解决方案.介绍了MyLibrary的概况、功能和特色,分析了MyLibrary系统在应用中面临的问题.     

地勘单位工资制度改革之我建

一种工资制度是不否合理,关键要看这种工资制度是否能充分调动职工的工作积极性,是否能留住人才。而要做到这一点的关键就是要让职工对这种工资制度产生一种公平的感觉,否则,再高的工资水平也不一定带来员工满意度的提高。下面就地勘单位工资制度改革的有关问题谈些看法。     

如何加强薪酬的激励作用

薪酬是人力资源管理中一种重要的物质激励。薪酬作为一种安全保障和工作回报是人类的第一需要，是人们从事一切社会活动的基本动因。企业制订合理的薪酬分配制度，可以在极大程度上激励员工积极性，是实现企业组织目标的重要手段。     

民族高校图书馆文献资源开发与社会化信息服务研究

民族高校图书馆开展社会化信息服务是民族地区社会发展的需求,对民族高校培养国家建设人才及图书馆自身发展有着特殊的意义。民族高校图书馆是开展社会化信息服务的主体,应以自身优势、特色资源为主,积极参与民族地区文献信息资源建设。民族高校社会化信息服务实质就是依托现有资源和条件开发民族文献、地方文献、机构知识库等信息资源,为全体社会成员提供便利的服务。     

EBSCOhost数据库信息检索可视化服务研究

探讨了信息检索可视化及其在数据库检索中应用的优势,介绍了EBSCOhost数据库的信息检索可视化服务,并对其进行实例检索,提出了EBSCOhost数据库信息检索可视化服务的改进方向。