扳倒总统的女人

有个小女孩出生在美国纽约一个富有家庭，父母见她生得丑，不愿意理她。小女孩自小得不到多少来自父母亲的关爱，加上长得丑，她很自卑，性格越来越内向，见人就害怕。     

令人“恍惚”的世界——读《飞翔的女人》有感

胡学文,作为底层文学的代表作家之一,其作品塑造了许多勤劳、善良、倍受欺侮和损害却展示了美好人性的女性形象,描述了当代农民的生存艰难,旨在于讴歌她们毫无畏惧的一种精神。本文试图从"恍惚"二字入手,分析胡学文《飞翔的女人》中的文学世界。     

太太帮帮主的女人江湖

互联网是一个江湖，然而，毛毛说，互联网是女人的新农村，女人是人文的、感性的。毛毛创立太太帮将女人们聚在了一起，打的正是温情牌。 帮主生活 太太帮带有毛毛浓烈的个人色彩。如果说，传统女性在柴米油盐中迷失了自我，那么现代职场女性尤其是IT女性则在电脑和手机的繁忙穿梭中迷失了性情。现代女性需要重新回到自我。而自我在哪里，在温情和感悟的“农场”里零星闪现。     

女人问题的标准答案

有女朋友的兄弟，你们中的大多数肯定都会遇到这些问题吧!这些问题永远是她考验你的试金石……如今有恋爱达人提供了标准解答，让人不得不赞，高手果然是高手!特别提醒—下，这本PCD可千万别让你的女朋友看到，否则这些招数就不灵了!     

容易受伤的女人

如果从此不过问，不想对你难舍难分。 谁的眼神烫伤你青春，让你越陷越深。 办公室的气氛单调而压抑，却又让人无处不感到暗流涌动。每个人的表情呆板而严肃，但嘴角飘忽的笑意却传递着不可告人的秘密。每个人看上去都在忙碌着，眼睛紧盯着电脑屏幕，手指在键盘上轻快地飞舞，但究竟在忙着做什么，无从知晓。看到牛鼻子走近自己身边，有人下意识地紧忙点了一下鼠标，好像关掉一个不适合牛鼻子看到的页面；也有人突然静止了，用茫然的双眼目送牛鼻子走过，好像在说：“别过来。”     

e家佳Vs闪联：用事实说话

闪联既已成立,e家佳又何苦新生?两个标准、两个联盟对立还是融合,一时传闻四起,它们究竟从何而来,又去向何方?     

乔家大院的女人

2007年，有一位作者连续获得了第6届“奥赛”中国组大奖和第22届国展艺术类金奖，而获奖作品同出于一组风格独特的画意照片，名为《乔家大院的女人》，本期《数码摄影》请来作者李伟光，与读者倾心谈述画意摄影的来龙去脉。[编者按]     

新创意经济的两个规则

互联网的发展，为新创意经济模式的商业实现提供了技术可能性。[编者按]     

微语录

@长虹集团： 《水浒传》里梁山有108位真汉子,《三国演义》桃园结义是素刘、黑张、红关,《金刚葫芦娃》一棵藤上七个娃,《西游记》师徒四人不简单!《红楼梦》金陵卜二钗个个是自富美,“家庭互联网”有N种家电组团作战。起来!不愿过苦逼日子的人们,把我们的家电织成新的大网～家庭互联网!家电都到网里来!噢耶!     

做个优雅的女人

优雅是一种恒久的时尚，幽雅的女人像茶，品尝过后是令人回味无穷的芳香。优雅的女人会留给别人无穷的想象空间。当优雅成为一种自然气质时，她变得成熟，温柔又善解人意，无需大多的言语就能与你进行心灵的交流，达成心灵的默契，让我们都做个优雅的女人吧！[编者按]     

坯布疵点实时检测系统的软件设计

介绍了基于机器视觉的坯布疵点实时检测系统软件部分各主要环节的具体实现.该系统运用修正的自适应邻域平均法增强坯布疵点图像的质量,用自动阈值法将疵点从背景中分割出来,并利用去除杂点法对分割后的二值图像进行滤波.以提取出的周长、面积、不变矩等为特征,运用BP神经网络分类器对常见的九种疵点进行了分类,识别正确率达到了95.7%.     

The certification of the Mondex electronic purse to ITSEC Level E6

Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assurance for secure systems. This involved building formal models in the Z notation, linking them with refinement, and proving that they correctly implement the required security properties. The work has been revived recently as a pilot project for the international Grand Challenge in Verified Software. This paper records the history of the original project and gives an overview of the formal models and proofs used. C. B. Jones     

Specification,proof, and model checking of the Mondex electronic purse using RAISE

This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by stepwise refinement using the RAISE formal specification language, RSL, and the proofs are made by translation to PVS and SAL. The work is part of a year-long project contributing to the international grand challenge in verified software engineering. J. C. P. Woodcock