A novel logic-based automatic approach to constructing compliant security policies

It is significant to automatically detect and resolve the incompliance in security policy.Most existing works in this field focus on compliance verification,and few of them provide approaches to automatically correct the incompliant security policies.This paper proposes a novel approach to automatically transform a given security policy into a compliant one.Given security policy Π and delegation policy M declared by logic programs,the approach automatically rewrites Π into a new one ΠM which is compliant with M and is readable by the humans.We prove that the algorithm is sound and complete under noninterference assumption.Formally,we show that the security policy query evaluation algorithm with conflict and unsettlement resolution still works very well on ΠM.The approach is automatic,so it doesn’t require a administrator with excess abilities.In this sense,our proposal can help us to save much manpower resource in security management and improves the security assurance abilities.     

基于两电极体系的水质检测分析平台设计

为实现对水质的多参数检测,设计了一个基于两电极体系的水质检测分析平台。该检测平台通过最小化极化电流的思想,采用辅助电极面积远大于工作电极的电极参数,设计了基于两电极体系的集成电极和软硬件系统,摈弃了传统三电极体系的参比电极,同时克服了传统三电极体系容易污染样品的缺点,能实现电化学工作站的诸多功能。本研究在该检测平台上开展了水样的电导率(EC)、pH和重金属浓度的检测研究,获得了较好的结果,可用于实验室及工业现场的水质监测。     

数据交换传输安全模型设计及实现

在WebServices应用中,保证数据交换传输的安全性和完整性非常重要,而当前技术下的WebServices却在安全性方面存在着一些不足。为了保护在WebServices中消息交换的安全传递,文中通过X．509证书实现了WebServices消息签名和加密,阐述了利用WSE3．0构建安全WebServices的方法,设计并实现了一种基于策略的可扩展系统安全架构,其中采用了证书管理、数据同步以及用户校验三种机制。在实现架构的过程中,将安全通信主体分为Web服务端和服务应用端,并通过对系统安全性的分析验证,证明此架构具有良好的安全性。随着信息化技术的发展,安全架构中安全策略的应用会越来越广泛和深入。     

医用药剂中可见异物自动化检测研究

针对国内人工药品检测的低效率、低准确率的不足,文章介绍了一套根据国家行业标准设计的基于智能机器视觉的可见异物自动化检测系统。该系统主要包括机械传动模块、电气控制模块、图像识别与处理模块。根据异物运动连续性和噪声运动无序性等特点,提出了改进的三次差分和能量累积算法来提取运动杂质,然后采用基于基于SIFT特征匹配和最邻近匹配的目标跟踪算法对杂质进行跟踪,获取杂质的大小和数目并分析出杂质总类,最后检测出杂质情况。最后把检测结果与国家标准进行比对,判断出该药剂是否合格。测试表明,系统的检测准确率达90%以上,满足企业要求,基本能替代人工检测。     

基于横纵向联合控制的多目标优化车辆跟驰研究

为解决车辆在拥堵环境中因车速波动较大所带来的跟驰平稳性较差、跟踪无效或不安全等问题,提出了基于车辆模型和深度强化学习的多目标优化跟驰方案。首先基于车辆横纵向动力学建立车辆跟驰模型,然后根据车间距误差、速度误差、横向偏差及相对偏航角等,利用深度确定性策略梯度算法得到跟驰车的加速度和转向角,以更平稳安全地控制跟驰车辆。经NGSIM公开驾驶数据集进行测试与验证,该方案可有效地提升跟驰车辆的稳定、舒适与安全性,对保证交通安全和提升道路通行能力具有重要意义。     

面向新时代水利新形势的水利类本科专业的建设与改革——基于工程教育专业认证的思考

新时代的治水方针和水利工程补短板、水利行业强监管的水利改革发展总基调对水利科技人才培养提出了多样化的需求。为适应需求,在列举专业认证对水利类专业建设与改革的促进以及分析尚存不足的基础上,提出了应通过加强学习、深入思考和顶层设计以加快推进专业建设与改革,并建议从着力培养复合型人才、加快培养模式改革、推进课程体系与课程设置改革、加强实践教学体系建设、创新课程与师资队伍建设、强化校企合作与产教融合、改进教育教学方式方法、完善质量保证体系等八方面加以实施。     

自动信任协商中一种最小信任披露策略

自动信任协商是通过逐渐请求和披露数字证书在两个陌生实体间建立相互信任的方法。当前对自动信任协商协商策略的研究,往往存在很多问题。文章提出了一种基于期望因子的自动信任协商模型,该模型采用MCD策略,通过分析各信任证书的期望因子,当可能的协商存在时,它能披露和请求最小的信任证找到一条成功的协商路径,当协商不可能成功时,尽快的发现并终止它。它能保证在协商的过程中没有不相关的信任证被披露并且不需要暴露双方的访问控制策略,同时通过实验证了明MCD策略是完备的。     

矿井提升机钢丝绳在线无损检测系统的设计及应用

介绍了钢丝绳弱磁检测原理,阐述了矿井提升机钢丝绳在线无损检测系统的构成及工作原理。应用结果表明,该系统能够精确地检测出矿井提升机钢丝绳的内、外断丝及损伤状况,检测效率高,且有效节约了用绳成本,大大降低了检测能耗。     

基于图像处理的片式元件缺陷检测算法

表面缺陷检测是电子元器件生产过程中的关键步骤,通过分析表面缺陷检测的现状问题,结合片式元件图像的自身特征,提出一种基于改进的自适应阈值canny算子的片式元件缺陷检测算法;该算法把片式元件灰度图像进行区域分割,得到不同值域范围内的灰度区域,利用带有敏感度的自适应双阈值canny算子进行边缘检测;算法实现结果表明,该算法能高效地检测并处理不同缺陷类型的片式元件,并且可以达到工业生产的检测速度。     

Automatic optical inspection of plated through-holes for ultrahigh density printed wiring boards

An automatic optical through-hole inspection system for ultrahigh density printed wiring boards (PWBs) using leakage light detection has been developed. To detect the dim leakage light emitted from the through-hole defect, we enhanced the sensitivity of the light detector 150 times using a microchannel plate tube. However, the tube caused two problems: stray light sensing and image distortion. To solve these problems, we optically isolated the sensing optics and developed a distortion correction method. We have developed a prototype system that can detect a defect as small as 100 m.