l*****0
发帖数: 238 | 1 有人对光斑大小的计算方法提出质疑，但是质疑贴里给出的计算公式是错误的。
那个公式是计算激光谐振腔里的光束的，这个时候激光还没有扩束，束腰直径w0只有
1mm，算出的发散角0.3mrad，出来之后如果不经过光学系统扩束，十米之外光斑直径就
变成3mm了，一百公里之外光斑直径是30米，已经没有使用价值了。
为了压缩光束，需要把原始光束扩大口径，扩束之后的发散角按照公式
theta = 1.22 lamda / D 计算，这里 D 是光学系统最后一个透镜的口径，如果按照1m
计算, theta = 1.6 urad, 那么300公里距离上直径增加 1米左右，再考虑大气散射的
因素，光斑直径在3~4米区间内是大体合理的。
ABL 激光功率是2MW，假设光能量比较集中的区域半径是1米，照射面积是3平米，功率
密度是666千瓦每平方米了。
有人还不是很清楚高能激光对导弹的破坏机理。理想情况下激光照射导弹应该是把弹壳
烧一个洞，但是这需要的能量密度太大了，暂时还实现不了。一个比较主要的问题是强
激光把金属烧穿之前，自己内部的光学元件就先被烧坏了。大致计算一下，2MW的功率
密度，全部通过直径1m的透 |
|
b****r
发帖数: 2555 | 2 lamda/(pi*w0)是标准的高斯光束远场发散角计算公式，跟谐振腔有什么关系？你知不
知道哪种谐振腔出来的是高斯光束？在平面波近似下面，可以用D作为w0计算。
1.22lamda/D是瑞利准则下面的衍射极限，只是近似公式而已。根据判决准则的不同前
面的系数会不一样。
你对大气散射的数量级了解么？
再说了，公开报告里面明说了采用了自适应光学系统。所以成像系统显然是反射式系
统。你那一堆透镜计算的东西都有问题，还不用说激光腔内的光强比放出来的要高得
多了。
1m |
|
A*****n
发帖数: 324 | 3 一般来说，输出的激光需要先扩束再聚焦，我假设最后激光是聚焦到导弹上的，而不是
平行光束照射。
那么我的理解是激光最小光斑d=1.22Lamda*f/D，其中Lamda=1.3E-6米，f=300公里=3E+
5米，
D=1.5米，你的数据。我的结果是光斑大小可以在0.3米，我怎么觉得这个数比较
reasonable。
1m |
|
g*****g
发帖数: 34805 | 4 匿名内部类是因为没有 lamda，而之所以这样就是因为其他地方不需要引用，这样写简
洁。外部既然不能访问问外部怎么访问就是个错误命题了。 |
|
y****9
发帖数: 252 | 5 我觉得呢个问题吾差咯，甘最残暴方式就O(n^2) 循环一次，如果吾考虑空间，你可以
Hashing。如果排序 + 循环 就O(nlogn) + O(n), 再进一步你可以问埋OOP：
class SomeCollection where T : IComparable
{
private List items;
private void Sort()
{
T item1;
T item2;
if(item1.CompareTo(item2) < 0)
{
//
}
}
}
距唔一定要识得算法情况下，问下given a Comparator, how to write a Sort
仲简单既题目就qsort啦，问问语言特性，譬如Lamda Expression
查使你有无打算卑我一个机会试下呢？ |
|
b*****n
发帖数: 618 | 6 我来试试看吧，
batch process layer和real－time process layer共存，原因是real－time layer没
有batch layer那么reliable，做process的限制比较多，no data loss／exact once／
deduplication real－time做是很困难的，但是latency比较低，所以如果需要比较快
的响应时间，real－time可以提供近似的result。
batch layer相对来说较慢，但是因为是一个batch一个batch来做，可以比较好的
checkpoint和处理failure和deduplication，所以process的结果比real－time更准确。
lamda architeture利用两者的优点和互补性，real－time会提供low latency但是精确
度稍差的数据，但是之后会被batch layer的覆盖产生比较准确的结果。 |
|
c*******o
发帖数: 27734 | 7 下面这个是你？
周志华生于1973
在南京大学我发现新大陆——迄今为止最年轻的杰青——31岁的周志华。他年纪比
我小，成就比我高，我慕名打电话乃至到办公室堵截，约会再三，他总说自己没什么值
得采访的，一连说了N个“NO”！
我这么无情地谋杀他的时间，天可怜见，看在我都找到他以前导师的份上，周志华教授
无奈地答应了。
为什么这小子这么婉拒媒体？望着他镜片后单纯得像一个零样的眼睛，这位理科男生的
想法其实非常单纯：低调行事，醉心研究，让科研成果说话，别的叨扰能免则免。
这位1973年出生的年轻人，简直坐着火箭上云端：硕博全部提前毕业，毕业第二年破格
晋升副教授，第三年聘为教授，第四年获博导资格，同年获“杰青”资助。一年一级，
他能没有压力吗？
“压力不是别人给的，是自己找的。”周志华沉静地回答。“级别、职称之类其实倒没
什么压力，因为既然已经聘上了，多干点少干点别人也不会怎么样。真正的压力是觉得
一直没做出什么好成果来，只能希望以后做的东西能比以前做的好些。”
我们的采访约在办公室，巧的是他爱人同在人工智能教研室工作，所以我们的对话多了
些温馨的色彩。
人物引擎
周志华，1973年11月生... 阅读全帖 |
|
S*A
发帖数: 7142 | 8 我现在开始研究如何科学灌水，
发现美国的科研机构还是很敬业的。
人家早就研究好了水在土壤表面的蒸发数量和其他因素的
关系并且建立了数学模型。有很多天气站收集这些数据并且
算出每天每小时参考蒸发量。我需要的就是作个累计就可以
知道土里还剩下多少水了。然后根据我的草的种类和草坪的
阳光覆盖情况做出调整。这个比我想象的科学多了，也容易
多了。太赞了。
数学公式：
# ETo = grass reference evapotranspiration (mm h-1)
# Δ = slope of saturation vapor pressure curve (kPa °C-1) at mean air
temperature (T)
# Rn = net radiation (MJ m-2 h-1)
# G = soil heat flux density (MJ m-2 h-1)
# γ = psychrometric constant ( kPa°C-1)
# Ta = mean hourly air temperature ( °C)
# U2 = wind speed at 2 me... 阅读全帖 |
|
j******n
发帖数: 21641 | 9 是我这人忘了加引号了
机器回这帖子估计会lamda演算一下 |
|
j******n
发帖数: 21641 | 10 是我这人忘了加引号了
机器回这帖子估计会lamda演算一下 |
|
w***s
发帖数: 15642 | 11 【 以下文字转载自 Military 讨论区 】
发信人: matrice (matrice), 信区: Military
标 题: 清华东北门有个小胖保安会算量子场论！(转载)
发信站: BBS 未名空间站 (Sun Sep 25 22:19:53 2011, 美东)
发信人: Voldemort (the Dark Lord), 信区: Physics
标 题: 清华东北门有个小胖保安会算量子场论！(转载)
发信站: 北大未名站 (2011年09月13日11:36:51 星期二), 站内信件
清华东北门有个小胖保安会算量子场论！
我出了两道题，lamda（Phi）5的发散的修正项，
以及真空极化外线光子的二级修正
这小胖保安居然能哼哧哼哧的算了出来，结果是对的！
不过再出规范场的题，保安不会做。他的水平大致是场论1的水平
大厨会托福，保安会场论，清华真是卧虎藏龙之地，让这样的人去做民科，可惜了。 |
|
c******n
发帖数: 16666 | 12 是啊 s3我记得有一堆9
99.9999999999999999的可靠性
结果还是崩了 感觉还是所谓的“有备份 没测试”
还是netflix家的chaos monkey牛逼
话说昨天我一个lamda应用也挂了 不过反正也没人用。。 |
|
E*****m
发帖数: 25615 | 13 是的， 我沒看過他那方面的文章。據說他用道家解決了所有
哲學問題， 呵呵！
他是Alonzo Church (發明 lamda-calculus 那個) 的學生，
他把 Godel 定律推得更廣， 算是主要學術成就，
唸邏輯之前是個魔術師， 之前唸數學，之前是音樂神童。
實在是很有趣的人。 |
|
|
g****n
发帖数: 3370 | 15 发信人: bonguy (修生伤杜景死惊开), 信区: Transportation
标 题: [合集]TO QQL
发信站: 虎踞龙蟠 BBS 站 (2002年04月30日03:41:32 星期二), 站内信件
lamda (大吕黄钟) 于Mon Apr 29 12:08:33 2002)
提到：
你怎么到处跑啊，当真是“十处蒿刨，九处有你”，呵呵 |
|
|
r********n
发帖数: 7441 | 17 【 以下文字转载自 Military 讨论区 】
发信人: matrice (matrice), 信区: Military
标 题: 清华东北门有个小胖保安会算量子场论！(转载)
发信站: BBS 未名空间站 (Sun Sep 25 22:19:53 2011, 美东)
发信人: Voldemort (the Dark Lord), 信区: Physics
标 题: 清华东北门有个小胖保安会算量子场论！(转载)
发信站: 北大未名站 (2011年09月13日11:36:51 星期二), 站内信件
清华东北门有个小胖保安会算量子场论！
我出了两道题，lamda（Phi）5的发散的修正项，
以及真空极化外线光子的二级修正
这小胖保安居然能哼哧哼哧的算了出来，结果是对的！
不过再出规范场的题，保安不会做。他的水平大致是场论1的水平
大厨会托福，保安会场论，清华真是卧虎藏龙之地，让这样的人去做民科，可惜了。 |
|
l*****g
发帖数: 49 | 18 1. CS is not a branch of applied math. CS has its engineering part
such as Systems, Networking, etc.
2. Even we talk about programming: they more or less use data
structures and algorithms.
(though most programming in practice use only very very simple
data structures and algorithms).
i would say, CS is a samll branch of applied math.
ask, how many IT positions are doing with algorithms/lamda calculus? how many
percent in IT job market require that ?
with programming skills, lots of |
|
a***x
发帖数: 26368 | 19 要觉得巴哥for换成lamda就是最高境界了，那俺确实觉得是nothing. |
|
a***x
发帖数: 26368 | 20 要觉得巴哥for换成lamda就是最高境界了，那俺确实觉得是nothing. |
|
|
|
g*****g
发帖数: 34805 | 23 Lamda写callback比较简洁，这年头async的东西越来越多，加了也没错。但没有
anonymous inner class写了那么多年了，没有什么实现不了的。我们才刚刚搬到
JDK 7上，JDK 8就算出来我们用上估计也是3年后的事情。大多数公司恐怕都是如此。
7. |
|
l*******g
发帖数: 82 | 24 Aync的东西虽然看上去很快捷，但是，一旦系统达到了性能瓶颈，那么aync就基本进死
胡同了，能在tune的少之又少了。现在太多aync的迷恋，但是aync不是银弹！
Lamda写callback比较简洁，这年头async的东西越来越多，加了也没错。但没有
anonymous inner class写了那么多年了，没有什么实现不了的。我们才刚刚........ |
|
|
g*****g
发帖数: 34805 | 26 Well, apparently some people are arguing C# is better than Java due to
functional features. But in reality, it's well know functional stle
doesn't blend with OO well for average team. And I show a reference
for a very good Java/Scala expert talking about that.
http://blog.goodstuff.im/yes-virginia-scala-is-hard/
Java 5 has been out for more than 7 years. Java 7 has been released.
And closure is still left behind, let alone other functional features.
JSR is a community voting process, unlike C#'s... 阅读全帖 |
|
g*****g
发帖数: 34805 | 27 如果是因为高度抽象引起的代码简洁，就如从汇编到C，你说得有道理。
我不认为FP的抽象高度高于OOP。FP跟OOP更像正交的两种编程方式。
写一些特定的逻辑，比如编译，FP很合适，在大多数时候，OOP更接近于现实世界的建
模。
FP的简洁通常是因为FP是动态语言而产生的，当然lamda expression也有所帮助。
诸如Groovy不是FP，也很简洁。动态语言简洁归简洁，有自身的缺点，这里我就不多说
了。 |
|
g*****g
发帖数: 34805 | 28 因为你看的太少，C#也不是什么FP语言，光一个lamda不能说明问题。
fp是100个人有100种写法的语言。 |
|
g*****g
发帖数: 34805 | 29 这个不是Haskell写的，是ML写的。ML有这个问题。
我从不否认Functional比OO language有更好的expressiveness，但我一直提的人类习
惯以OO建模，这是相对FP的巨大优势，你可是没解决。其他诸如性能的劣势也是没法解
决的。
你提到FP可以通过type class来解决expression problem，OO语言同样可以通过加入
functional class, lamda expression来解决这个问题。Java没有，但Anonymous
inner class可以解决大部分这种需要。
你觉得你可以把FP程序写成Java的1/5，但这并不意味着你思考的时间是1/5。如果你考
虑到一个大点的项目，别人也要理解你的思路，FP就要远远比Java花费更长的时间了。
这就是业界不用FP的原因。而我提到的Java现存的巨大类库，真正做一个大项目的时候
可以不用自己写非特定商业逻辑以外的东西，这就是非JVM上的大部分FP语言做不到的
。当你为完成一个模块沾沾自喜的时候，一个Java程序员用了1/10的时间，拿了一个充
分测试的第三方类库用上了，这就是现实中... 阅读全帖 |
|
g*****g
发帖数: 34805 | 30 那是因为你的认识就那程度，没啥可说的。你除了一个C#有lamda，就是比java好就是
比java好，你还知道别的吗？
上次我在.net版，不是照样扁NeverLearn没压力。这是技术论坛，人多有用吗？ |
|
a*******8
发帖数: 156 | 31 我看新闻新的java出来了支持lamda 这东西.net 好多年前就支持的很好了 可能确实比
较傻瓜
不过有简单的东西干嘛用难的工具 不太理解这个 |
|
l**********n
发帖数: 8443 | 32 C#这个语言还是不错的。有lamda function，yield |
|
c***d
发帖数: 996 | 33 let cities = ["London", "San Francisco", "Tokyo", "Barcelona", "Sydney"]
let sortedCities = sort(cities) { $0 < $1 }
if let indexOfLondon = find(sortedCities, "London") {
println("London is city number (indexOfLondon + 1) in the list")
}
This couple of sentences reminded me of:
bash -> let syntax
java -> println
perl -> $0, $1, lamda synctax
the var func stuff looks javascript.
This looks pretty nuked and mutated. Hopefully after a couple of apps we
will find it is easier than objectiv... 阅读全帖 |
|
|
r****s
发帖数: 1025 | 35 这说到点子上了。
最牛逼的语言，是最接近英语的语言。这样对实现和维护极其复杂的业务逻辑，有巨大
的好处。
绝对不能牺牲clarity来换取brevity，这就是为什么lisp/clojure/huskell之类的语言
根本没法推广的原因。这啥functional programming的语法距离自然语言差距实在是太
大了。
谁都想这样写：
system.out.println("fuck you");
谁都不想这样写：
"fuck you" &(^(*^**&(&(
你再怎么说得天花乱坠啥lamda之类的瞎扯一气，没用。研究编译的不去研究如何改进
程序语言接近自然语言，反而瞎搞些花里胡哨的堆积符号之类实现一些本来早就实现的
功能，整个方向就错了。
重申一句，编译器的最终研究方向，应该是自然语言编程。这难度比瞎胡闹的FP，那可
高得不知道哪里去了。
好吧再比较一下Java和Lisp(或者Clojure之类):
Java一个词搞定：motherfucker
Lisp (Clojure)还得加上括号反过来搞:(fucker mother)
尼玛老子用FP?你弱智还是我弱智？ |
|
r****s
发帖数: 1025 | 36 这说到点子上了。
最牛逼的语言，是最接近英语的语言。这样对实现和维护极其复杂的业务逻辑，有巨大
的好处。
绝对不能牺牲clarity来换取brevity，这就是为什么lisp/clojure/huskell之类的语言
根本没法推广的原因。这啥functional programming的语法距离自然语言差距实在是太
大了。
谁都想这样写：
system.out.println("fuck you");
谁都不想这样写：
"fuck you" &(^(*^**&(&(
你再怎么说得天花乱坠啥lamda之类的瞎扯一气，没用。研究编译的不去研究如何改进
程序语言接近自然语言，反而瞎搞些花里胡哨的堆积符号之类实现一些本来早就实现的
功能，整个方向就错了。
重申一句，编译器的最终研究方向，应该是自然语言编程。这难度比瞎胡闹的FP，那可
高得不知道哪里去了。
好吧再比较一下Java和Lisp(或者Clojure之类):
Java一个词搞定：motherfucker
Lisp (Clojure)还得加上括号反过来搞:(fucker mother)
尼玛老子用FP?你弱智还是我弱智？ |
|
m*********a
发帖数: 3299 | 37 for_each(v.begin(),--v.end(),a lamda function) |
|
m*********a
发帖数: 3299 | 38 for_each(v.begin(),--v.end(),a lamda function) |
|
t***t
发帖数: 6066 | 39 dart有OO，func，lamda，generic，reflective。啥都有。是个弱化的动态类型的
scala。 |
|
b***i
发帖数: 3043 | 40 我们的嵌入式项目使用基本的串口，大概每秒一共<1KB的数据进来，需要处理和存储。
我们需要TCP/IP，需要流行的基本库，比如gzip, JSON等。我们使用Linux来解决底层
的库，现在说说对C++11的感受。
目前，按照几位高手的启发，现在Visual Studio 2015下实验，TCP/IP的同步异步都试
过了，多线程也很简单。
我们目标是使用Xilinx SDK，还没有安装最新的2015.3，只装了2015.2，是g++4.9.1,
所以支持C++11,不完全支持C++14。Xilinx SDK用过几小时，基于Eclipse。Visual
Studio里面我建立一个Solution,然后建立多个Project，互相依靠。不知道Xilinx SDK
是不是也这样，可否把程序模块化，分成多个项目？按说Eclipse就可以这样，一个
workspace多个项目。网上很少能查到Xilinx SDK的信息，包括g++版本只能安装后看。
我原来虚拟机下的g++才4.4,费了好大劲才升级成4.9.3。公司还不让git,不让
sourceforge下载源代码，连asio都是自己在家下然后发... 阅读全帖 |
|
n****l
发帖数: 6652 | 41 远离lamda, auto能少用就少用，可读性差。
在写template code时容易养成坏毛病。 |
|
e****t
发帖数: 17914 | 42 你这多了个argument吧
一般sorted和lamda 一起用 |
|
W***o
发帖数: 6519 | 43 regularization parameter lamda
loss function values
decay, and
alpha |
|
发帖数: 1 | 44 aren't these model variables
regularization parameter lamda |
|
m**c
发帖数: 1012 | 45 They could be endogenous
[在 MoonChild () 的大作中提到：]
:aren't these model variables
:regularization parameter lamda |
|
d******c
发帖数: 2407 | 46 FP主要宣传的不是高性能把，提到性能也是因为并行带来的。
FP原则能带来的是放心，我说的不是FP语言特性，什么lamda之类，也不一定要用FP语
言实现，而是那几个FP编程原则。
每个单元的影响是可控的，在范围内，单元是可以随意组合的。有全局变量和side
effect的时候，你必须考虑这些因素，但是编程的时候这些并不是很明显
一段程序是否引用了全局变量，一眼看过去并不明显
是否有side effect，也不明显
于是你只能自己记住，或者写在comments里。
全局变量的影响可能是跨越好几个函数，分散在各个地方的，更不好记住
人的注意力只能同时考虑几件事，这样思考起来太累，过段时间以后重新捡起来很困难
，别人读也很困难。
这是程序水平的提高，当然对程序员要求高。
还有强调强类型的，那是公司老板知道招的都是一大堆新手弱人容易出错，所以有越多
检查越多约束越好，减少愚蠢错误。 |
|
g****t
发帖数: 31659 | 47 你说的这些东西，C等语言写起来照样无难度。以前有家公司出过
One time assignment C。为此学fp系统还不如学OO
所以你说的和scala这种不是一回事。FP函数可以改自己的上下文，这个和goto类似有
时候可以非常高效，有不少奇技淫巧。lisp半页纸就可以实现一个eval,你想想能搞出
多少花样吧
: FP主要宣传的不是高性能把，提到性能也是因为并行带来的。
: FP原则能带来的是放心，我说的不是FP语言特性，什么lamda之类，也不
一定要
用FP语
: 言实现，而是那几个FP编程原则。
: 每个单元的影响是可控的，在范围内，单元是可以随意组合的。有全局变
量和
side
: effect的时候，你必须考虑这些因素，但是编程的时候这些并不是很明显
: 一段程序是否引用了全局变量，一眼看过去并不明显
: 是否有side effect，也不明显
: 于是你只能自己记住，或者写在comments里。
: 全局变量的影响可能是跨越好几个函数，分散在各个地方的，更不好记住
: 人的注意力只能同时... 阅读全帖 |
|
x*********a
发帖数: 906 | 48 or any lamda- genotype E. coli strain expresses T7 promoter-driven genes? |
|
|
