(P(x),,,-)逻辑的语义问题

本文得出了在 (P(x) , , ,- )逻辑的语义问题中 ,标准命题演算系统的每条公理在 (P(x) , , ,- )逻辑中都是模糊恒真的 ,但标准命题演算系统的定理 ,在 (P(x) , , ,- )逻辑中却不都是模糊恒真的。     

正向激励在煤炭企业管理中的应用

针对煤炭企业管理实践中“做得好，应该的；做不好，就罚款”的现象，提出了正向激励的管理理念，并阐述了将这一管理理念应用于煤炭企业管理的必要性和现实意义。认为，正向激励的实施，不但能激励业绩突出的员工更加勤奋，继续努力将工作做得更加出色、完关，而且有助于激发其他员工的潜在能力和积极性，对企业的发展有重大正面作用。     

山东高校体育招生考试标准理论依据的研究

考试标准的准确性、可靠性和合理性是依赖于评分方法的设计是否客观,是否符合考生的实际水平.本文就这一问题进行了研究与分析,提出了一套新颖的制定考试标准的数学模型.并在1988年,1989年山东体育招生考试中收到良好的效果.     

高校教师招聘评价标准的探索性研究

在文献研究、高校教师的案例分析、专家访谈与开放式问卷调查的基础上,采用实证法编制了高校教师招聘标准问卷,并对其信度和效度进行了检验。结果表明,教学能力、人格魅力、科研能力、身份和背景和表率行为5个因素是高校教师招聘中最重要的因素。     

住房公积金软件系统开发管理标准浅谈

信息化工作对住房公积金事业加强管理、提高效率、优化服务起着至关重要的作用,面对住房公积金软件系统开发标准化不统一的现状,制定一套住房公积金软件系统开发管理的标准就凸现了他的重要性。软件系统开发管理的标准应包括：系统网络化、需求标准化、设计规范化、开发计划化、测试规则化、验收合规化等。希望借此推行住房公积金事业的标准化管理的思考,建立完善的业务安全机制。     

数字录像机时代

本文介绍了数字录像机的发展历史和现状，从实用角度出发，系统的分析了目前市场上的几种数字录像机的特点，并对其发展提出了自己的看法。     

路桥电子不停车收费系统(ETC)问题探讨

<正>电子不停车收费系统(ETC,Electronic Toll Collection)是当前国际上较为先进的路桥收费方式,它能够实现自动分割、准确检测车流量和自动识别车型等功能。在驾驶员通过收费站时,不需要停车就可以实现路桥费用的电子结算,具有良好的经济效益和社会效益。河南省是全国高速公路里程最长的省份,调查显示,在通过收费站前后300m的局域时,在使用ETC后车辆的综合单车油耗     

欧盟推动节能数字技术研发

欧盟投入资金资助一项旨在为消费者和企业提供能源使用数据而达到节能目的的数字节能技术研发项目——数字环境家庭能源管理系统（DEHEMS）。DEHEMS项目表明，数字技术如果加以充分利用可以有效地帮助欧洲减少能源的使用。     

学校精神文明建设评价标准的思考

本文从分析学校精神文明建设与教育教学工作的相互关系入手,提出了学校精神文明建设应坚持的三个评价标准:1、精神文明建设工作的自身状况;2、学校人员的精神面貌;3、教育教学工作的实际效果。     

测量结果两种表示方法的分析

在生产实践和科学实验中，处理测量数据及给出测量结果是测量时必不可少的工作。长期以来，人们一直是以误差理论为依据，用测量误差表示测量结果。现在，国际上普遍认为采用以概率论和统计学为基础的测量不确定度来说明测量结果的可信程度更为科学、合理。本文简要叙述了测量误差的概念及表示，着重介绍了测量不确定度的来源、分类及表示方法。