简介:皮带运输系统是一个以传动装置带动输送带运转来运送散件物料的运输设备,其控制系统是一个典型离散事件控制系统和按顺序启停的实时控制系统。拟在进一步研究皮带运输系统运行状态和控制逻辑的基础上,运用形式化的建模方法将皮带运输系统的控制逻辑进行验证,绘制一种带约束组合弧的有色时间Petri网模型。把诸多控制设备的复杂逻辑控制策略图形化,提高了系统的可靠性和安全性,减少了设计和开发过程的错误。采用带约束组合弧的有色时间Petri网进行建模,有效地缓解了系统中的设备数量多的“节点爆炸”问题,使模型在表述系统逻辑控制行为时简单有效。
简介:地震数据规则化是地震信号处理中一个重要步骤,近年来受到广泛关注的压缩感知技术已经被应用到地震数据规则化中。压缩感知技术突破了传统的Shannon-Nyqiust采样定理的限制,可以用采集的少量地震数据重构完整数据。基于压缩感知技术的地震数据规则化质量主要受三个因素影响,除了受地震信号在不同变换域的稀疏表达和11范数重构算法的影响外,极大地取决于地震道随机稀疏采样方式。尽管已有学者开展了2D地震数据离散均匀分布随机采样方式研究,但设计新的稀疏采样方案仍然很有必要。在本文中,我们提出满足Bernoulli分布规律的Bernoulli随机稀疏采样方式和它的抖动形式。对2D数值模拟数据进行四种随机稀疏采样方案和两种变换(Fourier变换和Curvelet变换)实验,对获取的不完整数据应用11范数谱投影梯度算法(SPGL1)进行重构。考虑到不同随机种子点产生不同约束矩阵R会有不同的规则化质量,对每种方案和每个稀疏采样因子进行10次规则化实验,并计算出相应信噪比(SNR)的平均值和标准偏差。实验结果表明,我们提出的新方案好于或等于已有的离散均匀分布采样方案。
简介:法律经济学上的“卡一梅框架”,是从法益保护的效果模式出发,对法律规则做出的一个类型划分。其原初结构是以法益的转移自由和定价意愿为标准划分的“财产规则”、“责任规则”和“禁易规则”。通过引入法益的初始归属和限价方式两个新的划分标准,可以增添“管制规则”和“无为规则”两个新的类型,扩展和重构“卡一梅框架”的救济分类和规则结构。这五类规则构成了法律经济学上可供选择的一个“规则菜单”。一个社会在特定领域的规则选择,对应着国家权力干涉社会生活的不同程度,体现了法律背后的观念变化和权力博弈。对于法律救济规则分类与效率比较的理论研究,有助于深化对中国现行法律的学术理解和制度完善。
简介:摘要:在大数据时代,个人信息匿名化是维持个人隐私权益、社会公共利益、企业经济利益之间平衡的重要手段之一。个人信息匿名化综合了技术与法律,作为一种数据处理技术及处理行为对传统规制体系提出了挑战。欧盟已经形成以多元主义为核心的个人数据匿名化规制治理,在规制规则、规制机构、规制标准、规制手段等方面积累了丰富的经验,对当前我国个人信息匿名化规制治理具有重要参考价值。我国应尽快出台《个人信息保护法》,构建个人信息匿名化制度。通过设置个人信息匿名化专责机构,制定个人信息匿名化技术标准,完善个人信息匿名化认证制度,综合运用行政约谈、行政处罚等规制手段,实现良善治理,同时强化私人部门、行业协会的自我规制。
简介:摘要:在大数据时代,个人信息匿名化是维持个人隐私权益、社会公共利益、企业经济利益之间平衡的重要手段之一。个人信息匿名化综合了技术与法律,作为一种数据处理技术及处理行为对传统规制体系提出了挑战。欧盟已经形成以多元主义为核心的个人数据匿名化规制治理,在规制规则、规制机构、规制标准、规制手段等方面积累了丰富的经验,对当前我国个人信息匿名化规制治理具有重要参考价值。我国应尽快出台《个人信息保护法》,构建个人信息匿名化制度。通过设置个人信息匿名化专责机构,制定个人信息匿名化技术标准,完善个人信息匿名化认证制度,综合运用行政约谈、行政处罚等规制手段,实现良善治理,同时强化私人部门、行业协会的自我规制。