2014年全国工业控制计算机技术年会 征文通知

正为了引领工业控制计算机产业的发展,探讨国内外先进技术动态,展示工业控制计算机领域新产品,中国计算机学会工业控制计算机专委会拟于2014年10月30-11月1日在重庆市召开全国工业控制计算机学术年会。会议将围绕"可信计算与信息安全"这一主题,邀请全国工业控制计算机行业的著名专家、企业领导人、技术工程师、高校师生、产业用户、论文作者等参加,通过特邀报告、学术报     

武装电动旋转摄像头 OPPO N3新一代自拍手机

正2013年,OPPO凭借N1开启了智能手机的翻转摄像头时代,随后的N1 mini则赋予了这种自拍手机更迷你的身材和4G联网的能力。随着OPPO N3的上市,自拍手机再一次推开了"电动"时代的大门。和N系列前辈们相比,N3改用了电动旋转摄像头,在官方的相机软件中只需用手指在垂直方向滑动屏幕便会激活摄像头内的马达,使其自动在前后方向间翻转切换。而翻转的角度,则取决于你手指滑动的幅度:快速上下滑动,摄像头会直接进行180度的翻转;如果缓慢滑动,那摄像头则会轻柔地以0.012度的精准角度进行缓慢旋转。     

利用OpenSSL实现PKI中数字签名及数字验证的研究

主要介绍如何利用OpenSSL实现数字签名及数字验证,重点关注数字签名及数字验证的处理流程。通过对比实验,得到数字签名方案中的几个特点,并着重分析算法和公钥算法对数字签名方案效率的影响,为完善数字签名在实际通信安全领域中的应用提供建议。     

软件企业CMMI与ISO9001的符合性验证研究

随着科学信息技术的快速发展,软件产品占据了越来越多的市场,软件研究单位也开始面临却来越严峻的挑战。本文主要介绍分析CMMI模型与ISO9001标准的异同,分析软件企业分别采用CMMI与ISO9001的项目管理的主要环节,探讨软件企业采用CMMI与ISO9001的符合性问题。     

2014中国商业银行互联网创新排行榜

正2014年对于金融业是风云突变的一年。随着互联网和移动互联网的全面普及,互联网企业纷纷向传统金融业务渗透,众筹、P2P等模式的兴起使得金融市场竞争格局发生巨变。在面对具有互联网生态特征的新兴企业融资需求和个人越来越旺盛的理财需求,以及金融服务的互联网化等多方面,传统金融机构中的主力军——银行也在积极思考和参与变革。     

高职院校加强职业资格证书的探讨

从国内外环境看,构建高职学历证书与职业资格证书并存具有重要意义,本文以某高校建工系为例,探讨了两种证书并存的初步实践,指出了两种证书并存的问题及完善对策。     

一种可公开验证的强(n,t,n)秘密共享方案

现有(n,t,n)秘密共享方案能够保证主份额满足强t一致性,但不能验证子份额的正确性,而且不能防止秘密重构过程中出现欺骗行为。为此,利用离散对数困难假设、公钥加密算法以及密钥协商思想,设计一个可公开验证的无可信中心的强(n,t,n)秘密共享方案。参与者在验证过程中只需利用公开信息便可验证,无需进行交互式通信,从而能够抵抗秘密重构过程中出现的欺骗行为,并在一定程度上减少建立私有信道所需的成本开销。性能分析结果表明,与现有(n,t,n)秘密共享方案相比,该方案具有较少的计算开销和通信开销,并且在强t一致性和可公开验证性方面更具优势。     

知识窗

无公害食品是指产地环境、生产过程和产品质量符合一定的标准和规范要求,并经认证合格获得认证证书,并允许使用无公害农产品标志的未经加工或者初加工的食用农产品。无公害农产品的质量指标主要包括两个方面,产品中重金属含量和农药(兽药)符合规定标准。绿色食品是遵循可持续发     

基于实时UML顺序图的物联网交互模型

物联网是一个集计算、通信和控制于一体的智能系统,它通过监控和收集物理进程信息并将这些信息进行计算和分析,最终生成正确的控制指令用以执行,从而使物理环境变得更加安全和可靠。在物联网中,各物体通过网络连接或者本地连接的方式进行交互,这些交互具有时间性和地域性。物联网的建模和验证是物联网研究中一个重要的领域。文中提出一种基于实时UML顺序图的物联网交互模型,该模型将物联网中所有参与交互的物体建模为交互对象,并且通过实时UML顺序图对交互对象间的交互进行建模。使用时间自动机对交互对象的内部状态变化进行建模,以形成对交互模型的补充。最后根据转换规则将交互模型转换为时间自动机的形式以便于验证。通过一个实例,显示了如何具体应用物联网交互模型。进一步提出了物联网系统应该满足的一些性质,并使用UPPAAL模型检测工具对物联网交互模型进行分析和验证。     

Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。