科学解释的模型论进路

科学解释是科学哲学研究的重要问题之一.针对传统的科学解释模型,赫西、卡特赖特和哈瑞等哲学家提出的模型论是研究科学解释的一个新进路.这个学派认为,关于科学解释,不是用什么规律来推出现象,而从根本上说必须构造出一个模型,即用隐喻或类比方法建立迄今未知事物的模型来理解和解释世界.     

司法确认制度的实践与反思——以广州地区法院实践为例

司法确认制度是我国一项别具特色的司法制度,其目的在于人民法院以裁定的形式赋予非诉调解协议强制执行力。广州地区的法院在对司法确认制度探索的过程中反映出该制度存在的困境:诉前联调立法的不完善,司法确认程序立法的粗糙,司法确认工作的不平衡发展及案件类型范围的狭窄。因此,广州地区法院的实践为司法确认制度提供了一个可分析的样本,在立法与司法层面上有必要对该制度进一步完善。     

中山大学研究生报考资格审查系统的研究与应用

随着研究生教育规模的不断扩大及计算机应用领域的不断延伸,研究生报考资格审查系统对于提高研究生报考资格审查过程的快速及结果的准确性发挥着重要的作用。本文针对报考中山大学研究生并参加现场确认的学生量庞大的特点,介绍了资格审查系统的设计思路及大体框架。     

手指口述安全管理方法的探讨

大多数煤矿生产事故是由于人的不安全行为造成的,通过执行"手指口述"方法,可以使员工对自己的操作行为以及作业环境的安全状态进行确认,通过提高员工自主管理和互助保安意识,保证操作过程安全可靠,消除生产事故隐患,从而可以提高安全管理水平,促进矿井安全生产.     

事业单位会计核算基础发展趋势

会计核算基础,通行的是收付实现制与权责发生制,前者多被行政事业单位采用,后者是目前我国企业界全面执行的用于会计确认、计量的基本原则。一、收付实现制与权责发生制各自的优缺点1.收付实现制。收付实现制是以货币的实际收付为标准来确定本期收入和费用,计算本期盈亏的会计处理方法。其优点是会计核算程序比较简单,在会计核算过程中不用...     

事业单位会计核算基础发展趋势

会计核算基础,通行的是收付实现制与权责发生制,前者多被行政事业单位采用,后者是目前我国企业界全面执行的用于会计确认、计量的基本原则。一、收付实现制与权责发生制各自的优缺点1.收付实现制。收付实现制是以货币的实际收付为标准来确定本期收入和费用,计算本期盈亏的会计处理方法。其优点是会计核算程序比较简单,在会计核算过程中不用考虑预收、预付、应收、应付问题,期末不需要调整账目,核算方法简便、直观,易于理解。     

面向机会网络的自适应冗余副本删除机制

机会网络中的节点采用泛洪机制转发确认消息以删除冗余副本,此种方式开销较大.提出一种自适应分发确认消息的机制,综合考虑确认消息跳数、区域消息密度及确认消息历史转发情况3个参数,节点以分布式的方式控制确认消息的分发,以更加有针对性地删除网络中的冗余副本.仿真结果表明,该机制能够有效地转发确认消息,在提高路由性能的同时降低资源的消耗.     

政策

科技部将建立企业主导创新机制科技部部长万钢日前表示,科技部将深化科技体制改革,加快建立企业主导的产业技术创新的机制。万钢表示:我们认识到要实现科技与经济和社会发展的紧密结合,关键是在于强化企业的主体。我们要为各类企业营造公平竞争的创新环境。其中要大力支持中小企业,微型企业的创新活动。我们要加强政策的引导,鼓励企业发展技术研发     

等差分拆的三个基本问题

本文讨论了正整数的等差分拆问题，给出了正整数n可以表为三项或三项以上的正整数等差数列的和的充要条件和不同和式的种数公式，以及表n为三项或三项以上的正整项等差数列的和的一种具体方法。