摘要：改进真实感图形绘制性能是计算机图形系统的一个基本问题 文中探讨了一些几何压缩算法对真实感图形绘制性能的影响 ,这些算法是为了优化使用形体顶点高速缓冲存储器而设计的 ;研究了这些算法和计算机芯片上纹理高速缓冲存储器的相互作用 ;提出了一个基于三角条形的简单方法 ,以通过平衡使用形体顶点和纹理高速缓冲存储器而改进真实感图形绘制性能 最后 。

摘要：Block matching has been used for motion estimation and motion compensation in the Au- dio and Video Standard (AVS) for years. While having an acceptable performance in describing mo- tion between frames, it requires quite a few bits to represent the motion vectors. In certain circum- stances, the use of global motion estimation and compensation would perform equally well or even better than the block matching in terms of motion accuracy, while it results in the coding of global motion model parameters. In this letter, we modify an AVS coder by adding (1) six global motion model parameters to the frame header, and (2) mode selection among INTRA, SKIP, INTER-16×16, INTER-16×8, INTER-8×16, INTER-8×8, and Global Motion Compensation (GMC) modes by La- grange optimal rate-distortion criteria. Simulation results demonstrate that over 0.1dB improvement in PSNR is obtained compared to the AVS coder for an average coded P-frame with the same bit- rate.

摘要：Casting blast can greatly reduce the stripping cost and improve the production capacity of opencast coal mines. Key technologies including high bench blasting, inclined hole, millisecond blasting, pre-splitting blasting and casting blast parameters determination which have influence on the effect of casting blast have been researched with the combination of the ballistic theory and experience in mines. The integrated digital processing system of casting blast was developed in order to simplify the design process of casting blast, improve working efficiency and veracity of design result and comprehensively adopt the software programming method and the theory of casting blast. This system has achieved five functions, namely, the 3D visualization graphics management, the intelligent management of geological information, the intelligent design of casting blast, the analysis and prediction of the blasting effect and the automatic output of the design results. Long-term application in opencast coal mines has shown that research results can not only reduce the specific explosive consumption and improve the blasting effect, but also have high value of popularization and application.

摘要：Explaining the causes of infeasibility of Boolean formulas has many practical applications in electronic design automation and formal verification of ***,a minimum explanation of infeasibility that excludes all irrelevant information is generally of interest.A smallest-cardinality unsatisfiable subset called a minimum unsatisfiable core can provide a succinct explanation of infea-sibility and is valuable for ***,little attention has been concentrated on extraction of minimum unsatisfiable *** this paper,the relationship between maximal satisfiability and mini-mum unsatisfiability is presented and proved,then an efficient ant colony algorithm is proposed to derive an exact or nearly exact minimum unsatisfiable core based on the ***,ex-perimental results on practical benchmarks compared with the best known approach are reported,and the results show that the ant colony algorithm strongly outperforms the best previous algorithm.

摘要：To describe the design approaches of IND-CCA2(adaptive chosen ciphertext attack) secure public key encryption schemes systematically,the gaps between different kinds of intractable problems and IND-CCA2 security are *** paper points out that the construction of IND-CCA2 secure schemes is essentially to bridge these *** gaps are categorized,analyzed and *** the methods to bridge these gaps are *** explains the existing design approaches and gives aa intuition about the difficulty of designing IND-CCA2 secure public key encryption schemes based on different types of assumptions.

摘要：软件系统是一种典型类型人造复杂系统。理解他们的进化能导致更好的软件工程惯例。在这份报纸，作者把复杂网络理论用作一个工具分析进化面向对象(OO ) 从一个 multigranularity 观点的软件。首先，网络建模的一个多颗粒度软件被建议从颗粒度的三个层次代表一个多版本软件系统的拓扑的结构。然后，广泛地在复杂网络理论使用的一些参数被使用描绘软件网络。由在连续软件系统跟踪参数值，我们关于软件进化有更好的理解。案例研究在一个开放源代码 OO 工程上被进行， Azureus 当说明我们的途径的一个例子，和位于进化特征下面的一些被揭开。这些结果提供一种不同尺寸给我们软件进化并且也的理解为 OO 软件系统的设计和发展是很有用的。

摘要：A new cascade control program was proposed based on modified internal model control to handle stable,unstable and integrating processes with time *** program had totally four controllers of which the secondary loop had two controllers and the primary loop had two *** two secondary loop controllers were designed using IMC *** were decoupled completely and could be adjusted independently,which avoided the undesirable influence on performance of the primary *** main controller in the primary loop was devised as a PID using the method of minimum sensitivity,which could guarantee not only the nominal performance but also the robust stability of the system.A setpoint filter was added in the primary loop to improve the tracking *** the controllers of the two closed-loops were designed analytically,and could be adjusted and optimized by single parameter *** were carried out on three various processes with time delay,and the results show that the proposed method can provide a better performance of both set-point tracking and disturbance rejection and robustness against parameters perturbation.

摘要：Software process is a framework for effective and timely delivery of software system. The framework plays a crucial role for software success. However, the development of large-scale software still faces the crisis of high risks, low quality, high costs and long cycle time. This paper proposed a three-phase parallel-pipelining software process model for improving speed and productivity, and reducing software costs and risks without sacrificing software quality. In this model, two strategies were presented. One strategy, based on subsystem-cost priority, was used to prevent software development cost wasting and to reduce software complexity as well; the other strategy, used for balancing subsystem complexity, was designed to reduce the software complexity in the later development stages. Moreover, the proposed function-detailed and workload-simplified subsystem pipelining software process model presents much higher parallelity than the concurrent incremental model. Finally, the component-based product line technology not only ensures software quality and further reduces cycle time, software costs, and software risks but also sufficiently and rationally utilizes previous software product resources and enhances the competition ability of software development organizations.

摘要：本文提出了一种利用inverse butterfly网络的自路由特性完成循环移位、短字循环移位等操作的可重构控制信息生成算法。该算法具有高并行度和低成本,此外还支持循环移位、双向循环移位以及短字循环移位操作。据我们所知,这是首个将多种不同类型的循环移位操作统一在一个硬件架构中的算法。本文进一步设计了一种高效可重构循环移位单元,并在SMIC 65-nm工艺下实现了逻辑综合。结果表明:与以往具有相似功能的设计相比,该单元的效能至少提升了23%;当仅支持双向循环移位操作时,该单元具有更小的面积和更低的延迟。

摘要：异步片上网络具有低动态功耗、对延迟抖动的不敏感、统一的网络接口、较低的系统集成复杂度和较好的电磁兼容能力等众多特性,是下一代片上多核微处理器和多核片上系统的标准片上通信架构之一.在简单介绍异步电路的相关理论后,从多个方面概述了当前异步片上网络的研究成果,包括网络拓扑、同步?异步接口、流控制、服务质量、路由算法、低功耗设计、容错和可测性设计以及设计自动化;然后介绍并分析了一些具有代表性的异步片上网络设计案例.研究显示,异步片上网络具有众多同步片上网络所不具备的优点,大量的片上多核系统将使用异步片上网络作为其片上通信系统,但它们的易用性和网络性能亟待提高.