一个关于程序时间性质的验证框架

运行时间是计算机程序的重要性质之一。对于运行时间而言,常用的时间复杂度分析技术基于的是抽象的算法,并非实际程序。而对于实际程序,大多数程序验证技术则不适合验证运行时间。提出一个运行时间的验证框架以解决这个问题,该框架适用于实际代码,而同时和复杂度分析一样,具有编程语言无关性。在对运行时间的性质要求较高的场合下,可以用于提高软件的可靠性。     

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

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

面向虚拟装配的VRML模型优化重构

对基于Web的虚拟装配中VRML模型优化重构进行了研究.提出了虚拟装配环境中的五层结构信息模型;在此基础上,分析VRML模型的语法结构和语法解析过程,建立了节点重构算法和优化处理算法;实现了VRML模型组织结构和信息描述的优化重构,很好地满足了虚拟装配快速设计与分析的需求.开发了基于Web的交互式虚拟装配原型系统,验证了模型优化重构算法的可行性.     

基于腐蚀硼锗共掺光纤的自闭合光纤法-珀传感器

提出了采用化学腐蚀硼锗共掺光纤通过电孤放电封闭成型制作非本征型光纤法-珀传感器的方法.发现硼锗共掺光纤在40％氢氟酸溶液中的腐蚀速率是一般单模光纤的30倍以上.在1.357～1.400的折射率范围内,条纹对比度随折射率改变的灵敏度约为30 dB/RIU,分辨率约为3.33×10-5,线性度为0.99以上.化学腐蚀硼锗共...     

透水理论在阿尔塔什水电站发电洞混凝土衬砌设计中的应用

通过建立透水衬砌理论数值计算模型,以体积力的形式将内水压力施加于整个模型,分析混凝土衬砌和围岩的变形情况,根据衬砌应力按照规范进行限裂配筋。利用这种方法可以较好地反映内水外渗后衬砌和围岩的实际受力应力应变情况。将这种计算方法应用于阿尔塔什水电站发电洞混凝土衬砌设计中,结果表明:发电洞混凝土衬砌配筋量要远小于面力配筋量,并从而得出了一些有意义的结论,可为这类隧洞设计提供借鉴思路。     

大数据时代下Oracle数据库在汽车制造业MIS系统中的应用

随着信息技术的飞速发展和信息化建设的不断深入,以知识管理为特征的现代管理模式正在深刻地影响着汽车制造业的快速发展,MIS(管理信息系统)卓有成效地提高了企业的信息资源开发效率和经济效益。云计算的兴起和大数据时代的到来,给管理信息系统带来了新的机遇和挑战,而在大数据时代的应用,数据库占据了非常重要的一部分,本文重点研究大数据时代下汽车制造业MIS系统中ORACLE数据库的应用。     

模糊灰色认知网络的建模方法及应用

针对具有不确定性非线性系统的机理模型难以建立的问题,提出了基于模糊灰色认知网络（Fuzzy grey cognitive networks,FGCN）的非线性系统建模方法.该方法将模糊认知网络和灰色系统理论相结合,把模糊认知网络的节点状态值和权值扩展为灰色区间,引入灰度来评判可靠性.采用一种带终端约束的非线性Hebbian学习算法（Nonlinear hebbian learning,NHL）辨识FGCN的模型参数,引入了与FGCN模型中节点的系统实际测量值对应的灰数值,在更新机制中增加了包含系统测量值与预测值之差的修正项,对权值进行有监督的修正.利用水箱控制系统进行的仿真实验结果表明,本文提出的建模方法能解决对数据存在不确定性或缺失的复杂系统建模的难题,所建的模型能做出接近人类智能的控制决策,所采用的权值学习方法具有收敛速度快、学习结果精准等优点,并克服了传统非线性Hebbian算法对初始值依赖性强的缺点,对不确定性系统的建模具有广泛适用性.     

基于Birkhoff插值的可验证秘密共享算法

密钥管理是密码系统重要组成部分,对密码系统的安全性起着关键的作用.分布式密钥管理被广泛应用于保密通信、面向群体的密码学.为此,基于秘密共享策略,利用Birkhoff插值法和离散对数的困难性,提出了基于Birkhoff插值的可验证秘密共享(BIVSS,birkhoff interpolation verified secret sharing)算法.BIVSS算法考虑了参与者和分发者的不诚信问题,分析了BIVSS的可验性和安全性能.该算法比常见的秘密共享策略具有更广泛的适用性.     

我们对政府信息化建设认识的见解

在知识经济时代，信息化程度的高低已经成为一个国家现代化水平和综合国力的重要标志。然而，在国家信息化体系建设中，政府信息化又是整个信息化中的关键。总体来说，我国的政府信息化建设，90％处于搁置状态，大多是形象工程，真正实用的少之又少。究其原因是太多软件只是解决政     

主变中性点接地电阻间歇性接地故障的在线监测技术应用研究

正现代配电网中,主变中性点经小电阻接地的运行方式被普遍应用,其中,如何对中性点小电阻因出线间歇性接地故障而发热烧毁的进行在线监测是继保人员的检修重点。从提取电流为状态特征量出发,在不改变小电阻柜硬件条件的情况下,完成对配电网中有关中性点接地电阻间歇性接地故障的实时在线监测。