安全数据库顶层规范中SQL操作的形式化分析与验证

介绍了安全数据库形式化顸层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证.验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明.     

托管C++在SQL Server 2008 R2平台下的销售管理系统开发

针对沿海批发商品到全国各省会进行小量批发和零售的商户而言,统计货物每月每年销售情况、利润利率以指导进货的种类、数量和进货月份非常重要。设计一款基于SQL Server 2008R2数据库和VS2010平台下的托管C++编码的枕套经营管理软件。在满足以上需求的情况下,替代现有的记账方式,通过简单的操作选取参数结合软件内部提供的SQL查询语句或者向数据库请求执行的存储过程以提供丰富的查询功能,并把结果导出到Excel表格进行更直观的观察,该软件经过一年半的调试和使用之后显示出了对进货商和批发商双方良好的进货、销售指导作用。     

基于聚类、空间分集和轨迹连续的实时定位算法

针对多样本消除接收信号强度其时域浮动易造成定位的更新率下降和实时性降低的问题,首先在定位阶段利用空间分集技术,建立相邻位置信号强度的矢量队列来计算当前位置的强度;然后利用轨迹的连续性质,消除时域浮动产生的定位误差,同时通过对指纹数据库进行聚类,在对目标定位时只需在较小的聚类集合中进行少量计算,无需遍历整个数据库,且计算量不随指纹数据库的增大而增加,极大地降低了计算量;最后进行了实验仿真,结果表明该算法能有效减小运算量和定位误差。     

基于聋人案例的空间隐喻语义认知计算

我们从心理语言学的角度,对空间隐喻进行相似性分类和计算,使用多维量表和聚类方法,以聋人为被试分别进行了两个实验。实验结果表明,聋人为实现空间隐喻理解的计算,使用了地形空间和语法空间的特征信息,同时受手语语言特点的影响,其空间隐喻的认知主题包括手势者自身参照系、参照物的相对坐标系、手势空间的饱和度、以手部或胸部为边界。同时表明由于两种空间的存在,聋人大脑对空间隐喻的理解存在着层次,并且在长期使用手语交流的过程中,其地形空间和语法空间相互作用,影响了聋人大脑空间隐喻的结构和表征,从而导致了独特的高效快速空间隐喻计算。
     

焊接企业生产管理系统

通过对焊接企业的分析和总结,以 Oracle 为数据平台,运用面向对象的插件开发技术,设计、开发了焊接企业生产管理系统,以便对企业焊接生产线上所有物质、流程进行更精准的监控、管理,如对焊材、母材的管理等。同时,该系统集成了各种焊材的国家检验标准数据,并支持按企业特性进行修改,为质检人员制定标准提供便捷。     

基于B/S架构的嵌入式网络视频监控系统

根据目前视频监控需求,采用ARM11处理器与Linux操作系统相结合的方式,提出了一种基于B/S架构的远程网络视频监控方案。使用V4L2进行视频图像采集,选择H.264压缩标准,通过硬件多格式编码器MFC完成视频硬件压缩。运用RTP流媒体传输技术实现视频数据的打包传输,客户端通过安装Active X控件完成视频图像的显示,最终实现网络视频监控功能。     

基于GPRS大口径水表远传系统在水司中的应用

针对供水行业水表计量的信息化发展要求,本文在介绍大口径水表远传工作原理的基础上,采用可测倒流的计数装置,将水表信息传送给水表传输端站,利用网络运营商提供的GRPS网络,实现公户水表表字传输到远程抄表系统的数据库中。系统具有倒转预警功能,数据及图表统计等功能。     

敬告读者

本刊已入编"万方数据-数字化期刊群"和"中国核心期刊(遴选)数据库",并许可中国学术期刊(光盘版)电子杂志社在中国知网及其系列数据库产品中使用。作者著作权使用费与本刊稿酬一次性给付,不再另行发放。作者如不同意将文章入编,投稿时请说明。     

飞行试验科技成果全文数据库设计

文章针对纸质科技成果档案管理利用存在的弊端,提出了建设飞行试验科技成果全文数据库,通过对数据库结构模型、标引检索信息的设置、权限设计以及成果利用实现成果数据库的设计,该数据库的建成在实际应用中发挥了重要的作用.     

计算机技术在船舶腐蚀防护领域中的研究与实现

船舶在海洋中行使,极易遭受海水的侵蚀.腐蚀不仅造成材料浪费,更主要造成灾难事故,因此船舶腐蚀防护必须进行.该文利用QL Sever2000和Visual C++语言设计船舶腐蚀防护系统,将神经网络技术应用于船舶腐蚀防护领域,设计防腐方案的评价模块,确保系统的实用性.