基于条件冲突分析的主动规则集汇流性判定方法

主动规则使数据库具备自反应能力,在数据库、知识库和无线传感器网络等领域得到了广泛应用。汇流性分析是保持数据一致性的重要手段,但有效判定汇流性仍是一个难题。现有的方法基于规则可交换性进行判定,没有考虑规则之间是否存在条件冲突而导致它们不可能同时出现在同一个执行序列中;同时基于触发关系的集合分析没有考虑在规则触发序列中的先后时序性。为此,提出了规则的触发序列概念,分析了单个触发序列上的条件冲突和一对无序规则所在的两条触发序列之间的条件冲突,从而提出了更有效的汇流性先决条件及其判定定理,同时给出了新的判定算法的完整描述及其可终止性、正确性证明和复杂度分析。

考务管理系统关键技术研究

考务管理是高校教务管理系统中一项重要的组成部分，其中考场的编排算法更是考务系统的核心算法之一。在不同的考务环境下，考务系统管理方式也有较大的不同，因此实现考务管理的软件也有很大的不同。文章结合学校实际给出一种考场自动编排算法，并且就算法中的关键步骤给出相应的代码示例。

工业生产型立体仓库货位分配及优化

以工业生产型立体仓库为研究对象,针对其出入库口多、存储货物重量差异大和出入库频率高等问题进行研究。在常规的存储策略基础上,制定了多目标优化的分区存储策略,根据"上轻下重"、"上低温,下高温"和"COI分配规则"提出了以出入库频率、货物重量差异和货物温度差异等为规则的存储原则。建立了运用该策略进行货物货位优化的数学模型,结合Pareto最优解的概念对多目标优化问题进行了求解,确定了货物的货位分配。通过在某企业立体仓库的应用表明:该存储策略有效解决了货物存储时的条件冲突问题,完成了货位优化分配,实现了立体仓库的节能及高效运行。

论《法律适用法》中无条件选择性冲突规范的适用

我国《法律适用法》中共有9条无条件选择性冲突规范,根据法官选择方式的不同,可以分为法官被动选择的冲突规范和法官主动选择的冲突规范。前者的功能在于维护和促进某种法律关系的成立;后者的功能在于确保法律选择的灵活性以实现个案公正。我国法院对此类冲突规范的适用存在着说理不清、选择连结点的依据不明等问题。在司法实践中,对于法官被动选择的冲突规范,法官可以逐一、直接适用连结点指向的实体法对争议问题的有效性进行判断,只要有一个连结点指向的实体法认可其有效性,就应认定为有效;对于法官主动选择的冲突规范,法官应当考量个案中的实体正义和公共政策来选择应当适用的连结点,并在判决书中对选择连结点的理由做出说明,不能完全无条件地自由裁量;对于主客观连结点并列的冲突规范,法官应当根据该规则的立法目的,按照司法任务简单化的要求,优先根据客观连结点选择准据法。

WTO与国际金融组织关系的协调与发展

世界贸易组织(WTO)与国际金融组织(IMF和世界银行)之间在重叠的权限方面的协调与合作是维护世界经济健康平稳发展的基本要求。由于国内政策能够对贸易产生巨大和快速的影响,全球性的政策管理变得越来越重要,这要求WTO这个管理多边贸易体制的机构必须加强与国际金融机构的合作,共同维护国际经济秩序的稳定发展。为此,本文探讨了WTO与国际金融组织关系的协调与发展问题。

差错信道下无线局域网的自适应MAC协议

深入分析了差错信道下802.11DCF在饱和状态下的条件冲突概率对吞吐量的影响.研究表明,在基本接入模式下,对于给定的网络配置,存在最优的条件冲突概率使饱和吞吐量最大,并且该最优值近似与站点数、误码率及分组负载长度(100～4000B)无关.在此基础上,提出一种信道自适应MAC协议,其中主要包括竞争窗口调整方法和帧长控制机制,前者主要通过调节竞争窗口使条件冲突概率接近最优值,后者根据信道的误码率选择最优帧长.分析和仿真结果表明,与标准DCF及其优化算法(SBEB和OPL)相比较,该协议在差错信道下不仅能有效改善吞吐量,同时对信道与负载条件的变化表现出良好的适应能力.

国际私法中的结果定向规则研究——以《涉外民事关系法律适用法》为视角

结果定向规则将实现某一特定目的作为选择涉外民商事关系准据法的依据,其目的或是最大限度地认可某一法律关系或法律地位,或是为弱者提供特殊保护。结果定向规则具体分为三种类型:无条件选择性冲突规则、有利于一方当事人规则及单方意思自治规则。我国国际私法立法对三类规则均有采用,体现了对实体正义的关注,且符合我国现实情况,具有合理性和科学性。适用结果定向规则时需注意其与国际私法的一般制度之间的配适,并结合科学的法律解释方法及不断的完善以真正实现其立法目的。

物权冲突与物权法原则

本文通过对物权冲突的详尽分析，说明和阐述了物权冲突对经济秩序所产生的不利影响，并力求寻找解决和避免物权冲突的途径，以此确定我国物权法所应选择采取的基本原则，即一物一权主义。