极富潮流时尚的外形的诺基亚的7260

全新的键盘设计令7260显得十分吸引人。这款银白红相间版更是把那种古典的优雅与现代的潮流完美的结合在一起．从美学的角度上来看诺基亚的7260可以说得上是一款设计相当精美的艺术品，具有相当高的观赏价值。     

提速的才是能效的

公司的主要业务是经营各种礼品,经营范围以满足市场需要为目的,公司的经营方式长期是以人工操作为主。为了提高工作效率,公司很早就购置了先进而昂贵的电脑设备,但是由于员工的使用水平有限,电脑的许多功能没有利用起来,以至花巨资买来的电脑仅仅作为台打字机使用,没有起到多大的作用,就要被淘汰掉。随着近年来公司业务的迅猛发展,传统的人工操作渐渐不能适应采购、销售、配送等多项业务同时开展的需要,制约了企业的发展。举例来说,公司有时会同时接到好几笔订单,有时又经常几周没有出货,所以业务员在进货时总是担心货多了少了,生怕货源不充足或者库存积压。随着观念的更新,客户对礼品的新颖程度和种类提出了越来越高的要求,公司在拓展货源方面面临着新的挑战。     

适合的才是最好的

建立清晰合理的业务流程体系是ERP项目实施成功的关键因素，ERP作为一个管理工具主要提供决策支持数据及监控业务过程，而清晰合理的业务流程体系能保证ERP系统提供准确有效的数据而不是垃圾数据，同时保证业务系统更加规范，提高效率。     

笔记本电脑的的绿色之旅

笔记本电脑以低功耗、低噪音、方便携带,相对于台式机来说越来越多地受到大家的欢迎,但笔记本电脑在绿色环保的道路上却始终在不停的前进,绿色笔记本电脑不仅仅指功耗方面的降低,还包括了笔记本电脑的生产制造和回收、笔记本电脑自身材料的选用,以及各种有助于改善环境和使用者健康的技术和功能。下面,就让我们来进行一场笔记本电脑的绿色之旅。     

基于sip的穿越NAT设备的解决方案的研究

随着数据业务的迅猛发展,NGN已经成为研究的热点.而SIP协议作为NGN中的关键协议,受到了广泛的关注,由于SIP是一种新型协议,所以在应用方面存在着很多问题.其中,在不损害网络安全性的情况下,如何使SIP信令顺利的通过NAT设备,成为热点问题.本文首先对SIP协议以及NAT技术进行了简要的介绍,然后对SIP穿越NAT设备的问题进行了详细的探讨,最后对RSIP协议进行了深入的分析.     

合适的才是最好的

这位海归CIO的经历，与业界很多失败项目的传说有诸多相似之处，某企业上了一套先进的大品牌的系统，项目往往在上线后没有了下文。如何避免出现上述案例的情形，应该注意以下几点。     

基于CSCW的网络教室的研究

本文介绍了CSCW系统中应用共享机制和并发控制理论,设计了一个运行在Windows环境下的、基于CSCW的网络教室系统.设计了系统中的网络通信方式,研究了网络教室中进行大量图像数据传送时数据的压缩处理方法.     

灵活的配置软件系统的文件目录的方法

介绍了配置软件系统文件目录的重要性以及3种配置方式,在此基础上提出了在固定式目录和相对式目录下实现灵活配置的方法,比较了两种方法的优缺点.得出结论：在大型的软件系统中两种方法结合使用;在小型软件系统中一般采用相对式目录.     

极致的的美丽

2007年到2008年是第四次国际极地年,有关保护环境,保护地球的理论说教,我不想继续。我们奉献给读者的是这样一组美轮美奂的极地作品。对于这样极致的美丽,你还忍心去破坏它,去摧毁它吗？     

疯狂的ARP痛苦的路由器

最近一段时间内,持续发生全国性网吧断线事件,这起看似疯狂的事件是由ARP攻击引起的,由于变种太多,传播速度快,国内外的反病毒厂商都拿这个没招。     

Assessing Ideational and Evaluative Skills and Creative Styles and Attitudes

This article describes the rationale for the multiphase creative problem solving process, and reports the findings from an empirical investigation conducted to facilitate the problem solving of managers. The ideational skills of the managers were assessed before and after training in a complete process of creative problem solving, along with their ideational attitudes, creative problem solving style (i.e., generator, conceptualizer, optimizer, or implementor), and evaluative skill (i.e., ability to recognize original ideas). The most important findings indicated that the training had a significant impact on the evaluative accuracy of the managers. They were significantly more accurate in their judgments about original ideas after training, both in their identification of original ideas and their recognition of unoriginal ideas. After training, the managers also gave more solutions and more original solutions to problems. Finally, several variables (e.g., the “preference for active divergence” attitude, and the conceptualizer process style) seemed to moderate the impact of training. Training was therefore effective, with specific effects that can be predicted from pre-training individual differences in attitudes and process style.     

Rank and select revisited and extended

The deep connection between the Burrows–Wheeler transform (BWT) and the so-called rank and select data structures for symbol sequences is the basis of most successful approaches to compressed text indexing. Rank of a symbol at a given position equals the number of times the symbol appears in the corresponding prefix of the sequence. Select is the inverse, retrieving the positions of the symbol occurrences. It has been shown that improvements to rank/select algorithms, in combination with the BWT, turn into improved compressed text indexes.     

Semantics and verification of monitors and systems of monitors and processes

In this paper we present a sound and complete semantics for the monitor concept of C.A.R. Hoare. First a method for specification of monitors, introduced by O.-J. Dahl, is reviewed. This method is based on the relation between the historic sequence of monitor procedure calls and the historic sequence of monitor procedure exits. Based on such specifications and our new monitor semantics we present a method by which it is possible to prove that a concrete monitor is an implementation of an abstract one. In the last part of the paper an axiomatic semantics for systems of concurrent processes and monitors is introduced. The method supports verification by separation of concerns: Properties of the communication to and from each process are proven in isolation by a usual Hoare style axiomatic semantics, while abstract monitors are also specified in isolation by the method reviewed in the first part of the paper. These properties of the components of the system are then used in a new proof rule to conclude properties of the complete system. Stein Gjessing received a Ph.D. (actually a Dr. philos.) from the University of Oslo (Norway) in 1985. Presently he is an Associate Professor at the Institute of informatics, University of Oslo, Norway. Dr. Gjessings research interests are in the area of concurrent and distributed programming, operating systems, formal specification and verification and programming languages.     

Integrating and automating analysis and optimization

The development of an interface coupling program on personal computers for an analysis software system such as ANSYS, SAP, etc. and an optimization software system, MOST, is presented. By controlling and directing the communications the interface coupler integrates the two programs while retaining their versatility and interactive features. The integrated system is used to solve a numerical example of active noise control for a three-dimensional enclosure, in which an energy density level of control points is minimized by adding the sound source to cancel the unwanted noise. The interface coupling program automates with relatively low cost the iterative process for designing an engineering system, remaining flexible in acoustical modelling and efficient in equation solving. Also, the coupling interface is developed in a general-purpose way so that it can be expanded easily to integrate more analysis software packages of different kinds.