重钢新区物资计量管理系统的实现与应用经验

为了解决重庆钢铁集团新区对生产物资管理要求,研发了物资计量管理系统,实现物资物料的全面管理.每一笔物资物料通过"计量委托号"来跟踪管理,物资计量实时共享数据,有利于指导生产,依照决策要求提供物资结算报表、提供分析数据,保障决策者及时、准备的掌握物资变动情况.     

基于Web的物资仓库管理系统设计与实现研究

随着经济飞速发展,社会市场竞争越来越大,对于想要从中脱颖而出的一些企业不仅要掌握自身的经营实况,还要在瞬息万变的信息流中掌握对自己有利的因素。其中物流和供应链管理也是企业竞争的重要因素,因而现在企业对仓库管理系统的要求也越来越高了,而物资仓库管理系统更是仓库管理系统中重要的一员。本文以企业物资仓库管理系统为例,通过对企业物资仓库管理系统的深入分析,运用ASP.NET技术开发平台结合Web服务技术,以及SQL SERVER 2008数据库作为数据处理后台,开发设计出物资仓库管理系统并简单介绍了实现物资仓库管理系统的关键技术。     

基于UML的农产品物资仓库管理系统

针对目前农产品物资仓库管理的具体情况,以建立农产品物资仓库管理系统为目的,对软件开发技术进行了研究,着重研究了UML的建模技术,包括UML的特点、建模方法和建模机制等;采用UML建模方法对仓库管理系统进行了分析与设计,包括用例图、类图、实体图、顺序图和活动图,为建立农产品物资仓库管理系统奠定了必要的理论基础。     

权限管理子系统在物资管理系统中的设计与实现

基于物资管理系统中对操作功能项进行统一管理的需求,前台在DELPHI2007中引入OCIII组件,后台采用OracleIIG数据库,设计了一套权限管理子系统。该系统设计灵活、扩展方便,每一个权限组名称、每一个权限组下包含的功能项、每一个权限组包含的操作员都可以自定义设置,操作员登陆物资管理系统时,根据本人所属的权限组定义的功能项进行菜单显示,实现了物资管理系统中对操作权限的有效控制,使权限组的功能自定义管理十分便捷。     

基于二维码技术的自动化仓库管理系统的设计

为了提高仓库管理的效率,设计了一种基于QR码（Quick Response Code）应用的仓库管理系统。实践结果表明,该系统能够方便地实现各类物资的出入库过程管理和库存状态查询,是一种经济高效的现代化仓库管理方式。     

仓库管理系统的设计与实现

当今社会是信息化快节奏的社会,物流行业正蓬勃发展,对仓库的需求量逐年增加,仓库每日都有大量的货流,仓库管理人员每日工作量极大,并要记住各种货物的品种、货架位置等繁琐信息。基于这种情况,本文采用Visual Foxpro设计一款仓库管理系统,可自动入库,安排货架,出库前可快速查询货物摆放货架和数量,大大地减少了仓库管理员的工作量,而且方便快捷。     

基于RFID和二维码的装备管理系统

介绍了一种基于射频识别标签和二维码的装备管理系统,实现了装备物资出入库、物资收发、门禁联动和库存盘点等功能,提升了仓库管理的效率和正规化水平,降低了人工管理的劳动强度.     

RFID技术在后方仓库信息管理系统中的应用

当前的仓库管理系统,一般采用二维条码技术对物资信息进行采集管理,但条码技术存在近距离、容量小、易损坏等缺点,必将造成对物资出入库信息采集的流程复杂、效率低下。本文主要论述RFID技术在后方仓库信息管理系统中的应用,补充和解决条码技术的缺点,从而更好地提高后方仓库信息管理的效益。     

基于ASP．NET语言的部队仓库信息管理系统

运用ASP．NET、ADO．NET、SQL Server2000等技术并结合三层架构,实现了一个基于．NET的仓库信息管理系统。本文主要介绍ASP．NET语言和相关技术以及仓库管理系统的体系结构和流程。重点介绍了仓库管理系统的实现。内容包括：用户管理、基本数据定义、库存管理、库存查询、库存盘点、库存分析。运用ASP．NET语言开发的仓库信息管理系统可大大提高仓库管理的效率,加强部队战备物资管理,提高部队信息化建设水平,增强仓库管理的科学性、精确性和实时性。     

多层构架的物资编码管理系统的设计与实现

针对目前已投入使用的各种物资编码管理系统，如：“外贸行业物资编码管理系统”等，普遍存在着系统维护和扩展问题，在分析用户需求的基础上，按照Struts框架的规范，使用Struts组件，设计并实现了物资编码管理系统的改进．在数据维护方面，对物资的计量类型和计量单位做了科学的划分和管理，实现了物资属性的规范描述；在编码编制中，给出了新的编码信息结构，将编码基本信息和所属规格信息分别存储，以便于编码的查重工作；在查重处理中，采用多线程的方法，将查重处理作为后台进程进行，允许其它工作同时进行，有效地解决了查重处理时间过长的问题；在物资编码审批中，给出了严格而周密的编码审批流程，实现了物资编码的科学管理，充分发挥了Struts框架的优点，实现了应用程序的易维护性和可扩展性。     

结合社区发现和局部恢复码的区块链扩容研究

区块链全节点需要存储完整的账本,不能满足数据快速增长的需求,其存储扩容成为当前研究热点之一。现有最优研究成果虽然结合分片和RS(Reed-Solomon)纠删码技术,降低了存储开销,实现了数据可恢复,但存在网络开销较高和跨节点数据请求效率较低的问题。因此,提出了一种基于社区发现和局部恢复码（local reconstruction codes,LRC）的区块链存储扩容方案,一定程度上解决了这些问题。改进现有基于传导性的社区发现方法,在此基础上提出了一种区块链节点分组方法,使平均连接速度更快的节点分为一组,有效地缩短了跨节点请求区块的响应时间;采用了更优的LRC码来替代RS纠删码,利用更少的原始数据实现单点故障数据恢复,降低了网络开销。大量实验结果表明提出的存储方案在保持目前最优方案的数据恢复能力和存储开销的基础上,能有效减少网络开销和跨节点请求区块的时间。     

Program Synthesis from Formal Requirements Specifications Using APTS

Formal specifications of software systems are extremely useful because they can be rigorously analyzed, verified, and validated, giving high confidence that the specification captures the desired behavior. To transfer this confidence to the actual source code implementation, a formal link is needed between the specification and the implementation. Generating the implementation directly from the specification provides one such link. A program transformation system such as Paige's APTS can be useful in developing a source code generator. This paper describes a case study in which APTS was used to produce code generators that construct C source code from a requirements specification in the SCR (Software Cost Reduction) tabular notation. In the study, two different code generation strategies were explored. The first strategy uses rewrite rules to transform the parse tree of an SCR specification into a parse tree for the corresponding C code. The second strategy associates a relation with each node of the specification parse tree. Each member of this relation acts as an attribute, holding the C code corresponding to the tree at the associated node; the root of the tree has the entire C program as its member of the relation. This paper describes the two code generators supported by APTS, how each was used to synthesize code for two example SCR requirements specifications, and what was learned about APTS from these implementations.     

面向云存储的非结构化数据存取

非结构化数据呈爆炸态势增长,现有存储技术在I/O吞吐能力、可扩展性及易管理性等方面亟待改进。存储系统以云存储和可靠性理论为基础,建立了非结构化数据的分布式存储模型,并设计了可靠度函数。采用分布式关系数据库管理系统(RDBMS)作为存储底层,将非结构化数据直接存储于数据表中,实现了非结构化数据和元数据的分离式存储和统一管理,进而提升了存储系统性能。相对于集中式存储,新系统具有较高的可用性。仿真结果显示,存储系统可靠度高且易于扩展。该分布式存储系统可应用于动态开放计算环境,提供效能较高的云存储服务。     

分布式存储系统最小带宽再生码研究

分布式存储系统常常使用纠删码冗余技术提高系统可靠性.为保证一定的冗余度,系统必须具有自修复能力再生失效数据.再生码是纠删码的一种改进形式,最大特点在于无需下载整个数据文件就能恢复单个节点数据,从而有效减少数据修复时的网络带宽.相关文献证明再生码数据修复时存在极值点—最小带宽再生点(MBR),由此提出最小带宽再生码MBRC.文中从数据分布、失效数据修复和数据重构三个方面描述了实现的原理,并通过构建数据矩阵和修复矩阵实现MBRC再生码.利用实例详细给出了再生码的实现过程,并理论证明正确性,最后仿真实验验证了MBRC的有效性.     

基于非线性提升小波变换的图像去噪

基于提升方案的小波变换结构简单 ,不需要额外的存储空间 ,易于实现。同时 ,提升方案中的预测和更新算子既可以是线性的 ,也可以是非线性的 ,这就为我们构造非线性小波提供了一条有效的途径。该文利用一些简单的非线性算子 ,如求中位数和最大值等 ,构造出基于整数的非线性提升小波 ,并将该方法应用于阈值去噪处理中 ,得到了较好的效果 ,明显提高了图像的信噪比     

一种动态无线传感网络操作系统－SOS

无线传感器网络节点,在一般用途的系统和嵌入式系统里都有自己的特点。有时必须在能源很少并且环境比较恶劣的情况下工作,同时还提供共同服务,使它很容易编写应用程序。在当前流行的无线传感网络操作系统TinyOs下,虽然各个组件可以互相提供共同服务,但是每个传感器节点必须单独的运行一个静态的系统镜像,所以很难满足多维应用的系统或者频繁的应用更新。SOS,一种从设计上更考虑动态性的更适合微型节点的操作系统应运而生。它由一个公共的内核和模块组成,它有自己的消息机制．动态内存机制,可以动态加载和动态卸载模块,以及其他的一些服务。然而模块之间是通过一个相互的预定协作机制相互联系的．没有内存的保护。但是尽管如此,SOS通过一系列自己的手段有效的克服了这些缺点,比如看门狗定时器,垃圾回收系统等等。相互独立的模块之间,可以通过最小的系统终端来添加或者删除。通过对比,虽然SOS是动态设计并且使用了更高的内核接口．但是跟TinyOs相比,总的使用开销却是基本一样的。SOS是基于模块化的,容易编程。TinyOS是基于组件化,效率高。而MantisOS可以支持多线程,但是代码占用空间大。由此可以看到,SOS是一个具有自己的特点和优势的无线传感网络操作系统。     

Simple multi-visit attribute grammars

An attribute grammar is simple multi-visit if each attribute of a nonterminal has a fixed visit-number associated with it such that, during attribute evaluation, the attributes of a node which have visit-number j are computed at the jth visit to the node. An attribute grammar is l-ordered if for each nonterminal a linear order of its attributes exists such that the attributes of a node can always be evaluated in that order (cf. the work of Kastens).An attribute grammar is simple multi-visit if and only if it is l-ordered. Every noncircular attribute grammar can be transformed into an equivalent simple multi-visit attribute grammar which uses the same semantic operations.For a given distribution of visit-numbers over the attributes, it can be decided in polynomial time whether the attributes can be evaluated according to these visit-numbers. The problem whether an attribute grammar is simple multi-visit is NP-complete.     

两层传感网隐私保护的不完全数据Skyline查询协议

感知节点感知数据易受外界环境影响,使得不完全数据广泛存在于无线传感器网络中,且感知数据面临严重的隐私威胁。针对两层传感器网络不完全数据查询过程中存在的隐私泄露问题,提出一种基于置换和桶技术的两层传感器网络隐私保护的不完全数据Skyline查询协议（PPIS）。为了实现对不完全数据的Skyline查询,PPIS将缺失属性值置换为数据域的上界值,并将不完全数据映射到桶中;为了保证数据隐私性,PPIS首先将桶区间转化为前缀编码,然后将前缀编码加载到Bloom过滤器中,保证存储节点在无需数据和桶区间明文的前提下执行查询处理;为了保证查询结果的完整性,PPIS采用Merkle哈希树构造完整性验证编码,实现对查询结果的完整性验证。理论分析和仿真实验验证了PPIS的安全性和有效性,与现有隐私保护Skyline查询协议SMQ和SSQ相比,PPIS通信能耗节省了70%以上。     

基于整数提升小波变换图像压缩的优化与实现

整数提升小波变换结构简单,不需要额外的存储空间,易于实现,在图像压缩中具有很好的应用价值。但在提升结构实现的过程中,滤波器多相矩阵分解并不唯一,文章以最小非线性图形迭代函数为准则,求得在该准则下的最佳分解。同时,分析了有限精度计算对所求得的提升结构的影响。