拯救钱包的APP《丁丁优惠》获新生

《丁丁优惠》是一个把所有的商家线下的优惠和折扣,集合到手机上来的应用。目前其服务已覆盖全国近38个城市,用户逾千万,优惠券在线数量超过5亿张。究竟是什么让它发展迅速,广受用户欢迎？我们一起来看看《丁丁优惠》背后的故事。     

赋时Petri网的一种符号分析算法

有序二叉决策图（0rdered Binary Decision Disgram-OBDD）是布尔函数表示的规范型，布尔函数的复杂运算可以基于OBDD得到极大地简化实现。在讨论基于OBDD的有界Petri网符号分析算法的基础上，对赋时位置Petri网的符号分析进行了研究，构造了一种扩展标识向量，给出了赋时Petri网分析的一种符号OBDD算法，实现了赋时Petri网的隐式描述与分析。实验表明，符号算法能处理较大规模赋时Petri网问题。     

制作绘画脚本！

演出内容和镜头切割方法等的资料叫做脚本，然后与文章的标题“制作绘画脚本”相反，这部作品却没有使用脚本。让我们来看看这部集中了少数经验丰富的精锐力量的作品是如何完成的吧！     

骇客帝国：重装上阵

1999年，前作《骇客帝国》中的标志性的黑色风暴、墨镜，以及“时间定格”（在日本被称为“机械摄影”和“时间切片”等，是一种用多个摄像机同时拍摄，然后再重新组合构成画面的一种方法）手法，从设计到摄影技术，都对当时的电影界产生了深远的影响，特别是时间定格的手法，其后的电影自不必多说，即使是CF和游戏等这些影像表现的平台也都在竭力模仿。     

STATEMATE系统设计思想的剖析

ＳＴＡＴＥＭＡＴＥ系统是一个颇有国际影响的软件开发环境，它是专门针对大型、复杂的Ｒｅａｃｔｉｖｅ系统开发的。作者对该系统作了深入剖析，并对其思想实质和设计哲学进行了论述；指出其主要特色是形式可视主义和可执行规约，它既面向人，又面向机器。在此基础上提出了开发环境要注意设计合理的人机功能分配和提高源码压缩比的思想，最后提出了实现我国自己的大型Ｒｅａｃｔｉｖｅ系统的策略。     

一种抗干扰能力强的频率通道电路的设计

文中介绍一种抗干扰能力的频率通道电路的设计。该电路突破了传统的斯密特触发器的不足，能根据输入信号幅度自动调节触发电平，工作可靠，通过触发器互锁技术，大大提高了通道抗干扰能力。电路设计简炼，灵敏度高，频率范围宽，具有较高的工程应用价值。     

一种具有自适应滤波功能的程控锁相信号源设计

介绍了一种频率、幅度可程控的锁相式信号源的设计方法。该信号源采用自适应滤波技术减小信号源谐波失真及噪音干扰的影响，采用定范围衰减器调节信号源输出电平。     

热处理对0Cr17Ni5Mo3钢组织和性能的影响

研究了热处理对0Cr17Ni5Mo3钢显微组织和性能的影响.结果表明,固溶温度在一定范围内对拉伸、冲击性能的影响不明显;470C时抗拉强度达最高值,在450C附近时效出现回火脆性,冲击韧性处于低谷.     

纳米加工和材料去除机理研究

针对钠米技术、微型机械在未来工程应用中对纳米级加工的要求,提出将扫描探针显微镜的技术和原理应用于纳米机械加工过程,实现纳米量级加工的可控性和加工结果的可观察性。给出了采用该方法进行纳米切削加工的试验结果,表明这一方法具有稳定、可靠的微加工性能。观察结果显示了材料去除加工的微观过程,被去除材料在刃前发生剪切变形前,与之约成90°的前刀面方向上切屑已充分变形。