三俗的权利

正如果说如今的情色产业是个灰色地带的话,其从午夜场走到如今这半明半暗则用了快100年。一般认为,1895年12月28日,路易·卢比埃尔在巴黎卡普辛路14号大咖啡馆的放映会,第一次真正创造了电影。八个月后,电影传入中国。直到1911年,电影在美国还是稀     

粮堆发热监测与玉米储藏方法

1　粮堆发热的鉴别正常情况下粮食在储藏期间 ,粮堆温度随仓温、气温的升降而变化 ,若上升太快或该降不降 ,破坏了粮堆与外界环境之间的热平衡 ,就是发热现象 .通常用对比方法鉴别粮堆是否发热 .1.1　粮温和仓温的比较　在春天气温上升季节 ,粮温不正常上升 ,其幅度超过日平均仓温 3～ 5℃以上 ;在秋冬气温下降季节 ,粮温不但不降 ,反而上升 ,均是发热现象 .1.2　粮温与粮温的比较　在粮食检查时同品种、同条件下 ,其粮堆温度相差 3～ 5℃以上的 ,即是发热现象 .1.3　粮温与查粮记录对比分析　在没有其它特殊原因影响下 ,检查粮温突然增高是…     

利用SAS技术建立数据仓库

数据仓库技术在我国刚刚起步 ,它在筛选决策所需的支持数据和进行决策分析方面明显先进于传统的数据库技术。利用SAS系统可以方便地实现数据仓库的建立     

中小型企业高层货架的仓库的科学管理及其效益

高层货架仓库是一种新型仓储技术,节约占地面积,提高仓库存储和物品周转能力,减少搬运劳动强度,减少流动资金的占用,便于自动化管理和计算机管理。     

读者说事

《消防时代》编辑部: 拜读了贵刊今年第二期《记者调查》栏目中的《民房变脸成仓库》一文,有些许感慨。现冒昧写信与你们交流,希望从你们的工作中获得一些启示。我是成都市白果林小区夜市的一名安保人员,负责夜市整个商贸区的安全工作。读了贵刊这篇文章,我觉得可以结合自己在工作中观察到的现实     

基于软件历史仓库和抽象语法树的相似缺陷识别方法

软件开发过程中,软件开发人员常常通过搜索软件历史仓库(historical software repository, HSR),再经复制/粘贴以实现软件复用。HSR中会保存被复用的代码的缺陷及修复信息,辅助处理相似缺陷。基于此,提出一种基于HSR挖掘的相似缺陷识别方法。首先,基于变更日志的分析,从HSR中提取出已知缺陷的模块,建立bug模块库。然后,采用基于抽象语法树(abstract syntax tree, AST)的相似代码检测方法,识别待测试软件与bug模块库中相似的代码,并借助HSR中保存的相应缺陷及修复信息,完成待测试软件中可能包含潜在缺陷的模块的识别。同时,为提高相似代码的识别精度,优化基于AST的代码特征度量。在18个C程序、164对克隆代码上进行实验,结果表明所提方法能够识别出全部相似代码且性能优于已有工具。在人工构建的bug模块库上验证了代码相似性对相似缺陷识别的作用。最后,在8个真实的大型C项目上进行验证,平均缺陷召回率达到94%,表明挖掘HSR可以有效地为跨项目传播的相似代码提供缺陷理解支持。     

A NESTED PARTITIONS FRAMEWORK FOR SOLVING LARGE-SCALE MULTICOMMODITY FACILITY LOCATION PROBLEMS

Large-scale multicommodity facility location problems are generally intractable with respect to standard mixed-integer programming (MIP) tools such as the direct application of general-purpose Branch & Cut (BC) commercial solvers i.e. CPLEX. In this paper, the authors investigate a nested partitions (NP) framework that combines meta-heuristics with MIP tools (including branch-and-cut). We also consider a variety of alternative formulations and decomposition methods for this problem class. Our results show that our NP framework is capable of efficiently producing very high quality solutions to multicommodity facility location problems. For large-scale problems in this class, this approach is significantly faster and generates better feasible solutions than either CPLEX (applied directly to the given MIP) or the iterative Lagrangian-based methods that have generally been regarded as the most effective structure-based techniques for optimization of these problems. We also briefly discuss some other large-scale MIP problem classes for which this approach is expected to be very effective. This work is supported partly by the National Science Foundation under grant DMI-0100220, DMI-0217924, by the Air Force of Scientific Research under grant F49620-01-1-0222, by Rockwell Automation, and by John Deere Horicon Works. Leyuan Shi is a Professor of the Department of Industrial Engineering at University of Wisconsin-Madison. She received her Ph.D. in Applied Mathematics from Harvard University in 1992, her M.S. in Engineering from Harvard University in 1990, her M.S. in Applied Mathematics from Tsinghua University in 1985, and her B.S. in Mathematics from Nanjing Normal University in 1982. Dr. Shi has been involved in undergraduate and graduate teaching, as well as research and professional service. Dr. Shi’s research is devoted to the theory and applications of large-scale optimization algorithms, discrete event simulation and modeling and analysis of discrete dynamic systems. She has published many papers in these areas. Her work has appeared in Discrete Event Dynamic Systems, Operations Research, Management Science, IEEE Trans., and, IIE Trans. She is currently a member of the editorial board for Journal of Manufacturing & Service Operations Management, is an Associate Editor of Journal of Discrete Event Dynamic Systems, and an Associate Editor of INFORMS Journal on Computing. Dr. Shi is a member of IEEE and INFORMS. Robert R. Meyer received a B.S. in Mathematics from Caltech and an M.S. and a Ph.D. in Computer Sciences from the University of Wisconsin-Madison. He is currently Professor of Computer Sciences at the University of Wisconsin-Madison, where he has been on the faculty since 1973. He has co-edited six volumes of optimization conference proceedings and written more than 80 articles focusing on areas such as nonlinear network optimization, parallel decomposition algorithms for large-scale optimization, genetic algorithms, and theory and applications of discrete optimization. Mehmet Bozbay is a research assistant in the Department of Industrial Engineering at University of Wisconsin-Madison. He is currently working towards his Ph.D. degree in Industrial Engineering. He received M.S. degrees in Industrial Engineering and Computer Sciences from University of Wisconsin-Madison, and a B.S. degree in Mathematics from Beloit College. He has been dealing with real-life supply chain optimization problems for the last 4 years. He is a member of INFORMS. Andrew J. Miller is an Assistant Professor of the Department of Industrial Engineering at the University of Wisconsin—Madison. He received his Ph.D. in Industrial Engineering from the Georgia Institute of Technology in 1999, his M.S. in Operations Research from the Georgia Institute of Technology in 1996, and his B.S. in Mathematics from Furman University in 1994. Dr. Miller has been involved in research, undergraduate and graduate teaching, and professional service, as well as in some software prototyping and development. Dr. Miller’s research focuses on theoretical and computational aspects of mixed integer programming, and on its application to areas in production planning, supply chain design, and other fields. He has published several papers in these areas, including articles in Mathematical Programming, Operations Research, and European Journal of Operations Research. He has refereed numerous articles for the journals mentioned above, as well as for Management Science, Annals of Operations Research, and others. Dr. Miller is a member of INFORMS and of the Mathematical Programming Society.     

面向无级比例尺的空间数据仓库索引技术研究

为解决无限的空间地理信息与有限的数据显示窗口之间的矛盾，需要“数字地球”无级比例尺信息综合技术。空间数据仓库为数字地球提供了管理异质、异构海量信息的功能和面向数字地球的高层应用服务。而面向无级比例尺的空间数据库，为解决无级比例尺的信息综合提供了可靠的应用支撑。本文就解决无级比例尺信息综合而建立的空间数据仓库提出一个基本的方案，并探讨了几种格式的空间数据索引。