Local and global deadlock-detection in component-based systems are NP-hard

Interaction systems are a formal model for component-based systems. Combining components via connectors to form more complex systems may give rise to deadlock situations. We present here a polynomial time reduction from 3-SAT to the question whether an interaction system contains deadlocks.     

Intra-seasonal NDVI change projections in semi-arid Africa

Early warning systems (EWS) tend to focus on the identification of slow onset disasters such famine and epidemic disease. Since hazardous environmental conditions often precede disastrous outcomes by many months, effective monitoring via satellite and in situ observations can successfully guide mitigation activities. Accurate short term forecasts of NDVI could increase lead times, making early warning earlier. This paper presents a simple empirical model for making 1 to 4 month NDVI projections. These statistical projections are based on parameterized satellite rainfall estimates (RFE) and relative humidity demand (RHD). A quasi-global, 1 month ahead, 1° study demonstrates reasonable accuracies in many semi-arid regions. In Africa, a 0.1° cross-validated skill assessment quantifies the technique's applicability at 1 to 4 month forecast intervals. These results suggest that useful projections can be made over many semi-arid, food insecure regions of Africa, with plausible extensions to drought prone areas of Asia, Australia and South America.     

To secure XML documents with the extension function of XSLT

XSLT is a very popular and flexible language for transforming XML documents which provides a powerful implementation of a tree‐oriented transformation language for transmuting instances of XML using a single vocabulary into a desired output. In this paper, we propose a processing model that enables the XSLT processor to encrypt and decrypt XML documents. The details of the implementation are presented. Our model supports a more general encryption scope than previous models. The implementation and experimental results demonstrate the practicality of the proposed model. Copyright © 2006 John Wiley & Sons, Ltd.     

燕化公司网络病毒防治系统的实现

结合燕化公司网络病毒防治系统的实施，介绍了公司网络病毒防治系统的体系结构，并对公司网络病毒防治系统的运行管理提出了看法。     

电子商务对企业集团营销手段的影响

介绍了电子商务，以及目前电子商务的发展趋势及对社会的影响，特别阐述了蓬勃发展的电子商务对企业集团的经营环境与手段的影响。     

安全自动监测系统在裴家圩闸站工程的应用

根据工程特点，苏州裴家圩闸站设置了安全自动监测系统，介绍了工程监测内容及测点布置、系统的结构组成和软件功能选择，总结了系统运行维护的经验。应用实践表明，自动安全监测系统可以实时连续地得到观测数据，提高了工程观测的及时性、准确性和科学性。今后在水闸和泵站等水工建筑物设置安全自动监测系统会越来越普遍。     

安全保障义务补充责任辨析——以第三人侵犯人身权为限

对经营者因违反安全保障义务所担当的补充责任这一制度的设定的合理性提出质疑，以公平性原则为切入点，对此问题提出了自己的一些看法。     

关于我国政府网络信息安全问题的思考

本文认真分析了目前我国政府网络信息安全问题的产生诱因.并从政府的角度出发提出了相应防范思路.     

工字钢腿腰延伸系数均匀分配的计算方法

对轧制工字钢采用一种新的腿腰划分方法，用计算机迭代计算，使腿腰延伸系数趋于均匀更趋于实际，使孔型设计更为合理。