SurfacePro3评测：制造业IT设备移动化是未来趋势

微软在2014年发布了全新的平板电脑Surface Pro 3,微软Surface自诞生之日起就饱受争议。有人认为它既是最轻便的超极本,又是最强大的平板电脑;同时也有人认为,它始终无法取代笔记本电脑,也比苹果或者其他安卓系统的平板电脑笨重很多。实际上,微软一直在努力证明其拥有研发横跨平板和笔记本电脑两大领域产品的实力,更号称Surface Pro 3是“无所不能”的设备。对于性能、工作环境、系统稳定性要求都十分苛刻的制造业来说,Surface Pro 3究竟是否可以做到“无所不能”,而Surface Pro 3这类移动化IT设备又是否可以适应制造业未来IT设备的发展趋势,且看以下测试。     

豪氏威马庆祝中国生产基地第100台吊机交付

2015年9月23日,全球起重、钻井和海底解决方案领域的专家豪氏威马在中国漳州生产基地举行豪氏威马中国第100台吊机交付仪式。豪氏威马中国所交付的100台吊机总起重能力高达65,000mt。第100台吊机是一架起重能力达1,500mt的重型桅杆式吊机,专为Jumbo公司的Fairmaster船舶打造。Fairmaster船舶同时配有两台1,500mt吊机,使其总起重能力达3,000mt。第100台吊机的交付奠定了豪氏威马中国的一个重要里程碑,同时也证明了豪氏威马中国生产基地的成功。豪氏威马首席技术官Joop Roodenburg表示：“豪氏威马中国的第100台吊机是为我们的客户Jumbo打造的第4台重型桅杆式吊机,它很好地展现了中国生产基地的生产能力及豪氏威马在桅杆式吊机方面的设计能力。豪氏威马首台桅杆式吊机诞生于1983年。我们很感谢长期以来老客户对我们的信赖,是他们的支持让豪氏威马中国能有现在的发展。”     

用计算机推理的方法求解数字填图问题

模拟人思考问题的过程．尝试用计算机推理的方法求解数字填图问题。     

ESG实验室报告证明CA ARCserve Backup内置功能的价值

调查肯定了重复数据消除、介质确保和存储资源管理功能的简便性和成本节约能力近日,CA(NASDAQ:CA)今日宣布,企业战略集团(ESG)进行的一次调查证明了CA ARCserve Backup拥有强大的性能,包括重复数据消除、介质确保验证和存储资源管理(SRM),并特别肯定了CA的使用便捷性、备份和还原性能和存储能力节约。     

归纳法在计算机学科中的应用

数学归纳法是一种非常重要的数学方法,它不仅对我们数学的学习有着很大的帮助,而且在计算机学科的研究中也是一种重要的方法.首先必须准确的理解其意义以及熟练的掌握解题步骤,而在三个步骤中运用归纳假设尤为关键,运用归纳假设推出猜想最为重要.最后我们在通过用数学归纳法证明文法语言的过程中,可以更加深刻理解和掌握"归纳-猜想-证明"这一探索发现的思维方法.     

一种构造代码安全性证明的方法

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安全性证明可以自动产生.全部工作的细节已在证明辅助工具Coq中得以实现.     

适用于Ad Hoc网络的混合认证机制

分析了Ad Hoc网络的特点及其对身份认证机制的安全需求,采用椭圆曲线和对称密钥两种认证体制并结合自证明公钥原理,提出了一种适用于Ad Hoc网络的混合认证机制.该机制中门限方案增强了系统的健壮性,基于自证明公钥的双向认证协议确保了交互节点身份的真实性,刷新认证协议保证了节点身份的持续可信,分布式自证明公钥撤销方案可将恶意节点快速从系统中分离出去.分析结果表明,该认证机制具有较高的安全性,同时对系统存储空间、网络通信量和计算开销的要求都很少,有着较高的效率.     

一种面向信任管理的委托授权模型及其在P2P安全中的应用

在信任管理中现有的委托授权模型并未涉及对角色、匿名用户等实体间信任关系的定义与度量,且缺少相关的细粒度形式化模型和委托授权安全协议其无法有效地满足信任管理系统的应用需求。现面向信任管理提出了一种能够刻画实体间信任关系的形式化委托授权模型DAMfor TM(Delegation Authorization Model for Trust Management),通过引入信任罚函数对实体的信任度量值加以动态调整。同时给出了支持可信计算的信任委托与角色委托等安全协议,以及在P2P安全中的应用实例。该实例表明,所提出的模型及安全协议构建了Peer间的信任委托关系,并通过终端完整性的远程证明确保了计算平台与共享资源的安全性。     

离散数学数理逻辑教学中值得关注的几个问题

本文就离散数学的数理逻辑教学中值得关注的几个问题谈一些看法。强调对数理逻辑理论体系的全面认识,对推理规则的深刻理解,以及对■-消除规则的正确领会。在此基础上,提出了一种"证明技术"的教学方案。     

基于消点法的几何自动推理系统实现

为了实现几何自动推理的可读性证明,并提高推理效率,介绍了一个基于消点法的可构造性几何命题自动推理系统的设计与实现。该系统提供作图的方式接受用户的几何命题前提条件的输入,可以对初等几何中的大部分可构造性几何问题进行自动证明和求解,并生成可读的证明步骤,大大方便了初高等几何教育和相关研究者的需要。