首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  国内免费   2篇
  完全免费   3篇
  自动化技术   8篇
  2018年   2篇
  2013年   1篇
  2012年   2篇
  2010年   3篇
排序方式: 共有8条查询结果,搜索用时 62 毫秒
1
1.
尹鑫  姚万业 《工业控制计算机》2012,25(11):116-117,119
以某核电厂的核岛三废处理控制系统(KSN)设计为例,介绍了其电源系统的冗余与容错技术及其测试方法。由于电源系统承担了向各种控制设备提供工作电源的任务,一旦电源发生故障,将使整个系统瘫痪,造成严重后果。因此,KSN系统对电源系统采用了冗余设计,从而提高了系统的可靠性,降低了部件的失效率,提高了整个系统的平均无故障时间(MTBF)。要达到以上的效果,必须通过测试对其冗余功能进行验证。通过在其功能测试过程中的研究,得出了一种思路清晰、测试内容覆盖面广的测试方法,具有一定的使用推广价值。  相似文献
2.
为实现联合站原油储量及净油输出总量的在线、实时自动计量,采用移动式传感器,实时检测沉降罐界面、液面、温度计不同高度油层的含水率。运用可变积分限和采样周期的近似方法计算储罐动态油量,从而解决油田联合站动态油量自动检测工作的难题。  相似文献
3.
4.
5.
针对单幅图像提取三维信息困难,设计了一种基于单幅图像的三维信息提取算法。该算法首先需要标定摄像机,得到摄像机从三维到二维的成像矩阵M3×4,并计算M3×4的伪逆矩阵M+4×3,其本质是通过最小二乘法求解矛盾方程组;利用M+4×3提取二维单幅图像中的三维信息,再把这些三维信息投影到一个平面上显示出来。实验表明,单幅图像目标物体必须满足共面等约束条件,从而可以对目标物体的三维信息做定性分析(定性视觉)。此外,还对三维空间投影到二维图像的过程进行了理论推导,得出了如果没有足够的先验知识,成像过程不可逆的结论。  相似文献
6.
传统委托计算的验证过程计算和通信开销较高,且参与者要么诚实,要么邪恶;理性委托计算是引入理性参与者,通过效用函数来保障计算结果的可靠性.本文首先在委托计算中引入博弈论,给出了唯一稳定均衡解.其次,基于比特币和Micali-Rabin的随机向量表示技术,设计一种新的理性委托计算协议.针对协议的公平性问题,参与双方分别提交特殊构造的比特币押金,保障参与者双方的利益;针对验证复杂问题,运用Micali-Rabin的随机向量表示技术,验证过程简单高效,且不会泄漏关于计算结果的任何信息.最后,安全性和性能分析结果表明,该协议不但解决了传统委托计算的验证复杂问题,同时保证了诚实者的利益.  相似文献
7.
王海龙  田有亮  尹鑫 《计算机科学》2018,45(2):15-19, 24
数据确权一直是大数据交易面临的挑战性之一。传统的确权手段采用提交权属证明和专家评审的模式,但是缺乏技术可信度,且存在潜在的篡改等不可控因素。为解决这些问题,迫切需要操作性强的确权方案。基于区块链技术和数字水印技术,提出了一种新的大数据确权方案。首先,引入审计中心和水印中心,以分离大数据完整性审计和水印生成的职责。其次,基于数据持有性证明技术和抽样技术,实现对大数据完整性的轻量级审计。再次,利用数字水印技术的特殊安全性质,实现对大数据起源的确认。最后,针对整个确权过程中涉及到的证据的完整性和持久性,利用区块链的原生特点实现确权结果与相关证据的强一致性。正确性和安全性分析结果表明,该方案能够为大数据的所有权界定提供新的技术思路和方法。  相似文献
8.
软件安全性测试是保证软件安全性的重要手段。本文论述了软件受奎陆测试的特点和主要内容,重点研究了国内外软件安全性测试的主要方法,最后总结了当前研究工作并指出未来软件安全性测试技术的研究重点与发展方向。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号