极致的的美丽

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

附加的 赚钱的

对于每一个人来说,“小人”都是一个极端的蔑称。所谓“两面三刀、阳奉阴违”,人人都敬而远之,古龙在其书中说到,他最痛恨的就是“嘴里叫哥哥,手里捅刀子”的家伙。猫王的一位朋友就曾有感而发:“千万不要轻信那些表面的现象,也不要被那些甜言蜜语所迷惑,不了解实际情况决不能轻易下手。那些奸商……”朋友很是愤怒,因为他受过骗。那年,他要买打印机,“就想买个耐用的,便宜点的。”于是,这老兄四处查找信息,终于在某杂志上找到他所中意的对象,便宜、耐用、不偏不倚。朋友打电话去询问,销售小姐很热情,各项情况娓娓道来,并保证广告所说一切属实,敬请现场查看。朋友一时喜不自禁,第二天就驱车前     

飘过我的心情的你的网

初遇Hero,是在I社区里,那时候自己刚到这家公司,对各种图片软件一窍不通,而主编交给我的一大堆任务全跟那些PHOTOSHOP,DREAMWEAVER什么的有关,我看着它们,这里改改,那里改改,都不得要领,简直被他们弄得焦头烂额了。于是百无聊赖之际,走走停停地就来到I社区,开始以为这不过是个供人扯淡的茶庄,谁知才说了一两句话就发现这里高手如     

适合的才是好的

任何一个产业,在刚刚起步阶段,国家的保护是至关重要的,这会促进这个产业的快速发展,但我们不能始终躺在国家庇护的树荫下乘凉,要主动去适应市场。     

小的才是好的

前年秋天,我奉学校之派,到韩国圆光大学任教.刚刚跨入大学为我安排的宿舍,就发现写字桌上放着一台半新不旧的电脑.这可真是喜出望外.在家里我用惯了电脑,这一下可免除了无“脑”的烦恼.一喜之下,我马上又关心起圆光大学的网络设施问题.能不能方便快捷地上因特网,这可关系我在韩国的生活质量.因为身在异国,中文的报刊杂志少而又少.好不容易看到《人民日报》海外版,往往是个把星期以前的旧闻.只要能上网,看看国内的网上报章,无疑会解除文化信息的干渴.     

合适的才是好的

夏天的天气简直熱得都快要赶上e浪潮了,让e诸葛实在有点不受用。于是乎,e诸葛抽了个空到大商场去查探了一番。虽然这不是一个大老爷们愿意干的事,但是既然是“微服私访”,就有几个原因:一是想吹吹空调,吸吸凉气,驱走烦躁;二是想在商场中找寻一些关于传统零售业迟迟不肯进入电子商务的蛛丝马迹。走了走大商场.他好象明白了其中一二。都说“购物是一种享受”,大概只有抱着研究的心态,e诸葛才注意到:商场中不但有凉爽的环境、柔和的灯光、优美的音乐,就连货物的摆放、位置也有讲究。似乎大型商场一层总是化妆品和首饰,二、三层铁定是男装女装,超市嘛,肯定在地下……这就是传统商家的一些经验吧。有层次感、丰富多样的物品加上员工的服务态度……加在一起     

穿过你的防火墙的我的手

在网上和别人用QQ聊天时,如何能够绕过防火墙和别人传递文件呢?试过FileGateway,你就会有答案了。     

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

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

二维剪切排样的束搜索启发式算法

针对约束二维矩形剪切排样问题,提出了一种基于束搜索的三阶段剪切排样算法。其切割过程包括三个阶段：板材剪切成段,段剪切成条带,条带切割成准确尺寸毛坯。采用动态规划确定段的价值,复杂度低的拼接递推不同长度子板的初始价值和板材的初始可行解,束搜索优化板材的排样方式。束搜索的节点用矩形对表示,分别是段组合而成的局部方式和未填充的剩余子板。以局部方式价值与剩余子板的初始价值之和作为节点的估计值。按估计值选择精英节点继续分支,其他节点直接删除不再回溯。实验结果表明该算法可缩短三阶段同质排样的计算时间,且所获得的余料大,利于余料的回收管理和再利用。     

冷轧薄板设定计算模型与仿真研究

研究冷轧薄板计算机系统的设定计算模型和计算方法,采集了大量实际生产数据,研究了这些模式对各个钢种的最优稳态轧制数据,基于上述结果,优化设定计算模型的参数,控制实际计算精度。并设计了重要模型的计算仿真程序,通过仿真找出现有模型的优缺点,为以后设定计算的最优化提供理论基础。现场实验表明,仿真系统实验结果应用到实际生产中使产品厚度精度得到很大提高。     

集合代数是经典命题演算形式系统的语义解释

经典命题演算形式系统(CPC)中的公式只是一些形式符号,其意义是由具体的解释给出的.逻辑代数和集合代数都是布尔代数,都是CPC的解释.集合代数是CPC的集合语义,其中对联结词的解释就是集合运算;对形式公式的解释就是集合函数;对逻辑蕴涵.逻辑等价的解释就是集合包含和集合相等=.标准概率逻辑是在标准概率空间上建立的逻辑体系,命题表示随机事件,随机事件是集合,概率空间中的事件域是集合代数,概率逻辑就是CPC集合语义的实际应用.CPC完全适用于概率命题演算.     

Asymptotic shape of the Erlang capacity region of a multi-service shared resource

We consider a loss model of an unbuffered resource having C channels, which are shared by several different types of service connections. Connections of each type arrive in a Poisson stream and request a number of channels, which depends on the type. An arriving connection is blocked and lost if there are not enough free channels. Otherwise, the channels are held for the duration of the connection, and the holding period is generally distributed. It is assumed that C and the traffic intensities are proportionately large. The admission control problem is considered for specified upper bounds on the blocking probabilities, and the boundary of the admissible set is investigated asymptotically. Characterization of admissible sets is extremely useful, not only for connection-level admission control, which is the context in which this topic has typically been considered in the past, but also for higher level objectives, such as network economics, network design, and network control. The asymptotic view of the admissible set is particularly appropriate for the higher level objectives, where the fine details are not as important as the qualitative properties of the shape of the set and tractability of the numerical calculations for large systems. Our results are derived by investigating the local behavior with respect to the tangent hyperplane at a point on the boundary of the admissible set. The lowest order results that hold in the asymptotic limit C→∞ are given first. Importantly, the boundary is linear for the key critically loaded and also for the overloaded regimes, and weakly convex for the underloaded regime. Next, refined results that hold for C1 are given, which indicate that the boundary is not convex, although only slightly so.     

Ⅱ-VI族半导体的掺杂与补偿

采用离散变分局域密度泛函（ＤＶＬＤＦ）方法及团簇模型研究了ＩＩＶＩ族半导体中的掺杂及补偿问题。研究了ＺｎＳｅ中的Ｎ，Ｐ，Ａｓ，Ｆ，Ｃｌ，Ｂｒ等杂质不同的结构和电子性质。发现ＮＳｅ在ＺｎＳｅ中没有ＪａｈｎＴｅｌｅｒ形变，而ＰＳｅ和ＡｓＳｅ存在这一形变，从而判定Ｎ是其中最有效的ｐ型掺杂剂。对于ｎ型的ＺｎＳｅ，研究发现Ｃｌ是最有效的施主杂质。根据对缺陷复合体的计算，发现ＮＳｅＺｎＶＳｅ及诸如ＮＳｅＺｎｉｎｔ的多Ｎ集团对于ｐ型ＺｎＳｅ的补偿有着重要作用。研究表明，对于ＺｎＴｅ来说，Ｃｌ不是有效的施主杂质，而Ｎ是有效的受主杂质。     

纯追踪模型研究

AL VINN是美国 CMU大学为其自主车 NAVL AB设计的导航系统 ,其核心是多层感知机神经网络模型 .纯追踪 (PP,Pure Pursuit)模型在 AL VINN中起十分重要的作用 ,即为虚拟样本产生期望的转弯方向 .但在PP模型主要出处文献 [1]中 ,有关该模型的阐述不是很准确 ,甚至存在矛盾 ,一些重要的计算公式存在错误 .本文准确地阐述了 PP模型基本思想和用法 ,区分了 PP正问题和 PP反问题 ,给出了正确的计算公式 ,计算机模拟实验验证了有关结论和计算公式的正确性     

XML Applications Development in Scheme

Representation and processing of XML data in Scheme are considered. Scheme is a functional programming language belonging to the LISP family. The SXML specification is discussed, which defines methods for representing XML data in the form of S-expressions in Scheme. Possibilities of extending this specification are considered. Methods of parsing and representing XML data are analyzed, possibilities of applying Scheme to the development of XML applications are discussed, and a survey of the relevant literature is given. Functional methods for processing semistructured data are discussed, and examples of using Scheme for processing SXML data are given. Methods for extracting a schema of semistructured data (DataGuide) and application of those methods are considered, and functional algorithms for the construction of DataGuide are proposed.     

Quantitative lithostratigraphic correlation of subsurface sequences

A quantitative method for geologic correlation of two electric-log sequences of unequal length is proposed which calculates scaling factors that are applied to Fourier transformations of each time series. Correlations thus are made in the frequency domain and are based on an assumed recognizable, unique periodicity in correlative geologic units. A FORTRAN IV program is presented and application is demonstrated for two wells in Texas. The method is useful for stratigraphic correlations that are to be performed by automated procedures and which may not be visually obvious.     

一种最短向量已知格的生成方法

提出了最短向量已知格的概念。通过对循环格的分析，得到了循环格是最短向量已知格的两个定理。为了得到随机性更好的最短向量已知格，提出了伪循环格的概念，并且给出了伪循环格是最短向量已知格的充分条件。相关的定理都是构造性的，通过简单的算法就可以快速生成最短向量已知格。格基进行随机化的一般性算法。