Jumps and logic in the law

The main stream of legal theory tends to incorporate unwritten principles into the law. Weighing of principles plays a great role in legal argumentation, inter alia in statutory interpretation. A weighing and balancing of principles and other prima facie reasons is a jump. The inference is not conclusive.To deal with defeasibility and weighing, a jurist needs both the belief-revision logic and the nonmonotonic logic. The systems of nonmonotonic logic included in the present volume provide logical tools enabling one to speak precisely about various kinds of rules about rules, dealing with such things as applicability of rules, what is assumed by rules, priority between rules and the burden of proof. Nonmonotonic logic is an example of an extension of the domain of logic. But the more far-reaching the extension is, the greater problems it meets. It seems impossible to make logical reconstruction of the totality of legal argumentation.The lawyers' search for reasons has no obvious end point. Ideally, the search for reasons may end when one arrives at a coherent totality of knowledge. In other words, coherence is the termination condition of reasoning. Both scientific knowledge and knowledge of legal and moral norms progresses by trial and error, and that one must resort to a certain convention to define what error means. The main difference is, however, that conventions of science are much more precise than those of legal scholarship.Consequently, determination of error in legal science is often holistic and circular. The reasons determining that a legal theory is erroneous are not more certain than the contested theory itself. A strict and formal logical analysis cannot give us the full grasp of legal rationality. A weaker logical theory, allowing for nonmonotonic steps, comes closer, at the expense of an inevitable loss of computational efficiency. Coherentist epistemology grasps even more of this rationality, at the expense of a loss of preciseness.     

物联网与感知矿山专题讲座之四——感知矿山物联网与煤炭行业物联网规划建设

指出感知矿山物联网M2M平台应为应用层服务提供开放的接口,适应完善安全避险"六大系统"、领导带班下井、煤矿灾害监测的需求;给出了煤炭行业物联网的四层结构,指出感知矿山物联网建设是整个煤炭行业物联网建设的重点,其它层次以煤矿安全管理和资源管理为主,并分析了矿业集团级、省级、国家级煤炭行业物联网的应用方式;提出了煤炭行业物联网建设需要注意的问题。     

煤矿井下主排水系统工艺流程及其自动控制系统设计

介绍了煤矿井下主排水系统的相关工艺流程,总结了煤矿井下主排水系统的特点,设计了一套煤矿井下主排水自动控制系统,详细介绍了该系统的组成和软件控制策略。该系统通过井下控制主站的决策控制对排水设备的运行过程和运行状态进行自动控制与监测,使排水设备达到最佳工作状态;同时可根据峰谷分时电价、水仓水位及涌水量情况控制水泵的启停,从而达到有效节约能源、降低劳动强度、延长设备使用寿命的目的。     

煤矿机电设备闭环点检信息采集系统设计

提出了一种基于Zigbee无线传感器网络的煤矿机电设备闭环点检信息采集系统设计方案,重点介绍了该系统中多星型网络拓扑结构的设计及无线传感器网络节点和智能手持设备的软硬件设计。测试结果表明,该系统有效地完成了不同区域内若干无线传感器网络节点数据的采集功能,且具有较好的稳定性。     

NAMUR型速度传感器信号采集电路的设计

为了准确获取NAMUR型速度传感器信号,设计了一种基于PIC18F2480单片机的信号采集电路,并给出了该电路的软件设计流程。该信号采集电路可采集到0~600 Hz的频率信号,并可在线监测传感器断线、短路或正常工作等状态。     

矿井采空区无线传感器网络路由协议研究

研究和设计了一种适用于煤矿采空区的无线传感器网络路由机制。首先对LEACH协议的簇头选举机制进行了改进,在计算阀值时添加剩余能量参数,然后采用改进后的协议和多径路由机制设计了煤矿采空区无线传感器网络路由算法,最后通过NS-2仿真平台进行了实验。实验结果表明,改进后的协议与原协议相比,提高了网络中节点的能量有效性,延长了网络的生命周期。     

基于GA算法的无线躯体传感网络的自适应优化研究

将无线躯体传感网络技术结合到井下异常时的人员搜救系统中,在井下出现异常时,实现人员位置信息与生理状况信息的采集,有助于营救人员制定高效的营救方案,从而显著提高井下人员搜救水平;将遗传算法应用于井下无线传感网络的多目标优化设计,设计了井下网络的组网策略,制定了适当的编码机制,并结合多方面重要参数,建立了适应度函数;通过MATLAB仿真表明了基于遗传算法的网络设计能够很好地优化能量管理,并使网络生命周期达到最长。     

基于无线传感器网络的工厂安防系统设计

工厂具有占地面积大、功能区域复杂、人员流动大的特点.因此对于对安防技术有较高的要求;无线传感器网络是具有感知能力、计算能力、无线通讯能力的传感器节点组成的智能网络,可以很好地监测参数变化,实现复杂的大规模环境监测和目标追踪任务,由此设计一套基于WSN的身份识别的智能安防管理系统;对整个系统的安全要求、设计方法、功能实现、程序流程、软硬件实现方法进行了分析研究,结果表明由无线传感器网络构成的系统可以高效的实现工厂安防任务.     

一种减少测距误差的传感器网络定位算法

接收信号强度(RSSI)常被作为无线传感器网络定位算法的测距技术,通常,获取的RSSI信号序列中同时存在随机误差和粗差两种误差,利用以往常用的算法都难以消除混合误差对RSSI测量统计数据的影响;在分析两种误差特征的基础上,提出了一种基于统计中值的加权定位算法,算法在去除粗差的基础上,能在一定程度上平滑了随机误差,算法不仅提高了定位的精度,同时提高了节点的覆盖率;理论分析和仿真结果都表明算法具有较高的定位精度和覆盖率,最优情况下定位精度较原先算法能够提高6.99%,而不可定位节点比例下降8.05%。     

无线传感器网络簇级拓扑演化模型研究

复杂网络理论研究表明,复杂系统的容错能力不仅仅存在于具有冗余组件的系统之中;而且也同样存在于具有无标度(scale-free)特征的网络之中;文章借助于复杂网络理论和偏好依附机制提出一种无线传感器网络簇级拓扑演化模型;拓扑动态分析表明,该模型能够很好地体现无线传感器簇间的拓扑生长过程,由该模型演化成的无线网络拓扑具有无标度网络的性质,所以该拓扑模型具有很强的容错性。