w*****s
发帖数: 122 | 1 [April 18, 2000] W3C Working Draft for the XForms Data Model - 'Next Generation Web
Forms'. The W3C has released an initial working draft specification for the XForms 1.0: Data Model,
complementing the XForms Requirements document published on March 29, 2000. Reference: W3C
Working Draft 06-April-2000, edited by Micah Dubinko (Cardiff Software), Stacy Silvester (Cardiff
Software), Sebastian Schnitzenbaumer (Stack Overflow), and Dave Raggett (W3C/HP). Part of the HTML
Activity |
|
e****e
发帖数: 1775 | 2 XForms 1.0
W3C Recommendation was published on 14th of Oct. 2003.
Is anyone interested in it? |
|
y****e
发帖数: 23939 | 3 I paste the full code to if anybody can help me out.
the function refalifn and refalifnfast are good to compile on vc++.
But the function refalidf and refalifdf will have this LNK2019 error on vc++
. Same code compiles OK on g++. It must be some kind of restraint with
visual c++.
static double refalifn(const gsl_vector * v, void *params)
{
Dict *dict = (Dict *) params;
double x = gsl_vector_get(v, 0);
double y = gsl_vector_get(v, 1);
double a = gsl_vector_get(v, 2);
EMData *t... 阅读全帖 |
|
t*******r
发帖数: 22634 | 4 如果这个平行四边形是菱形，那么这个证明就是 trivial 证明。
那如果存在一个 transform，能把平行四边形 xform 成菱形，
或者就能用代数加 xform 证明了？ |
|
t*******r
发帖数: 22634 | 5 当然实际上我还是找了个这题的具体证明思路，虽然没有实际去计算。。。
我没有用啥四点公园的巧法，我就是用勾股定理硬算相似直角三角形斜率
（指映射成尺规作图辅助线解法），觉得应该能硬算出来的。。。当然我
懒惰了，没去算。。。
我不知道你的四点公园解法。。。但是听起来我觉得可能可以映射成基于
这题隐含对称性的 xform geometry 解法。。。不过我目前没找到合适的
xform geometry 解法。。。 |
|
t*******r
发帖数: 22634 | 6 如果这个平行四边形是菱形，那么这个证明就是 trivial 证明。
那如果存在一个 transform，能把平行四边形 xform 成菱形，
或者就能用代数加 xform 证明了？ |
|
t*******r
发帖数: 22634 | 7 当然实际上我还是找了个这题的具体证明思路，虽然没有实际去计算。。。
我没有用啥四点公园的巧法，我就是用勾股定理硬算相似直角三角形斜率
（指映射成尺规作图辅助线解法），觉得应该能硬算出来的。。。当然我
懒惰了，没去算。。。
我不知道你的四点公园解法。。。但是听起来我觉得可能可以映射成基于
这题隐含对称性的 xform geometry 解法。。。不过我目前没找到合适的
xform geometry 解法。。。 |
|
t******l
发帖数: 10908 | 8 不是高斯娃的一年级普通娃只有 concrete operation。而没有复杂的 formal
operation 能
力，很难理解 3*3 这种 xform geometry based spatial perception。
当然试试无妨，没必要强迫。简单的直接拿三角形玩具拼就是了。但用处不大，因为纯
concrete operation 学校老师会教。 |
|
t*******r
发帖数: 22634 | 9 发现这个 xform 很难找，还不如直接老老实实上 trigonometry
算啦。。。我盾了。。。 |
|
t*******r
发帖数: 22634 | 10 其实这类的几何题，直接上解析几何和三角，计算也给证明出来了。
能用“灵巧”的辅助线，快速求解的题目，只是里面的某一小部分，
而且大多是带参数的形状（滑动点问题），或者说 constrained
parameter problem，题目大多是证明某种相等关系于参数无关。
俺很想找出一个办法，也许向量代数？也许 xform geometry？
一劳永逸的猜出大部分这类的平几题是如何设计出来的。
我觉得这玩意儿是存在的，否则 AIME 早就放常规平几辅助线
难题了。。。 |
|
t*******r
发帖数: 22634 | 11 我突然发现，基于我昨天的 “解析几何+三角(trigonometry)”，
我可以再进一步，避免使用三角(trigonometry)，仅仅使用
解析几何以及 Alegra I。。。从而最终让这个代数解法能够
直接投射成欧氏几何的添加辅助线解法。
具体对于这道题目而言，三角的出现是在最后一步把两个斜率
换成角度。。。但是这种欧氏几何题目，由于欧氏几何的不完备
性，通常只能证明两个角度相等（或者差值为常量）。。。
这样的话，不需要引入三角，只需要引入 “构成某个角的两条
直线的相对斜率”的概念（就是特殊的 xform 旋转笛卡尔坐标系，
使其中一条直线重合或平行于x 轴，求另一条直线的斜率。。。
因为已知两条直线的斜率，这个不用三角就可以知道 xfrom
旋转矩阵）。。。如果那两个角的上述“相对斜率”相等，那么那
两个角相等。。。古人云：充分且必要条件。
而计算 “构成某个角的两条直线的相对斜率” 的代数办法，
很容易投射成欧氏几何辅助线办法（直线上任选一点，作垂线，
构成一个三角形）。
好啦，所有此类 “滑动点求证个两破角度相等” 的坑爹平几
证明题，直接用俺刚才的 ”constrain... 阅读全帖 |
|
t*******r
发帖数: 22634 | 12 发现这个 xform 很难找，还不如直接老老实实上 trigonometry
算啦。。。我盾了。。。 |
|
t*******r
发帖数: 22634 | 13 其实这类的几何题，直接上解析几何和三角，计算也给证明出来了。
能用“灵巧”的辅助线，快速求解的题目，只是里面的某一小部分，
而且大多是带参数的形状（滑动点问题），或者说 constrained
parameter problem，题目大多是证明某种相等关系于参数无关。
俺很想找出一个办法，也许向量代数？也许 xform geometry？
一劳永逸的猜出大部分这类的平几题是如何设计出来的。
我觉得这玩意儿是存在的，否则 AIME 早就放常规平几辅助线
难题了。。。 |
|
t*******r
发帖数: 22634 | 14 我突然发现，基于我昨天的 “解析几何+三角(trigonometry)”，
我可以再进一步，避免使用三角(trigonometry)，仅仅使用
解析几何以及 Alegra I。。。从而最终让这个代数解法能够
直接投射成欧氏几何的添加辅助线解法。
具体对于这道题目而言，三角的出现是在最后一步把两个斜率
换成角度。。。但是这种欧氏几何题目，由于欧氏几何的不完备
性，通常只能证明两个角度相等（或者差值为常量）。。。
这样的话，不需要引入三角，只需要引入 “构成某个角的两条
直线的相对斜率”的概念（就是特殊的 xform 旋转笛卡尔坐标系，
使其中一条直线重合或平行于x 轴，求另一条直线的斜率。。。
因为已知两条直线的斜率，这个不用三角就可以知道 xfrom
旋转矩阵）。。。如果那两个角的上述“相对斜率”相等，那么那
两个角相等。。。古人云：充分且必要条件。
而计算 “构成某个角的两条直线的相对斜率” 的代数办法，
很容易投射成欧氏几何辅助线办法（直线上任选一点，作垂线，
构成一个三角形）。
好啦，所有此类 “滑动点求证个两破角度相等” 的坑爹平几
证明题，直接用俺刚才的 ”constrain... 阅读全帖 |
|
t*******r
发帖数: 22634 | 15 pre-symbolic 阶段，主要是
（1）娃版瓢虫阵法。（本质上用时间和空间娃版建模）。主要是概念本身。
不要求涉及解题或定式。
（2）娃版算术规则 property 概念。事无巨细也琐碎，但其中最重要的两个是
娃版 distributive property 和 娃版 Unique Prime Factorization。
主要还是概念。
（3）娃版几何基础概念，主要侧重 xform 的概念，所有东西可以从空间
本身导出，主要也还是概念。
（4）spiral 娃版 decision tree 的概念。只是 spiral。
这阶段是跟学校数学最脱节的阶段，我其实不知道有没有用，是不是浪费时间。
不过反正办了也就办了。
但有时候 completeness is more important than efficiency，再说
娃反正闲着也是闲着。
书还是那个 MOEMS 题目。 |
|
t******l
发帖数: 10908 | 16 足球是刚体。刚体上只要一个环被固定，或者被限制，该固定/限制 apply to 整个足
球。这是刚体在 xform geometry / topology 的基本属性。
至于单个/多个环的问题。这是因为四块红色之间 undistinguishable，也就是四块红
色可以相互替换 (当然足球有红五角和红六角的问题，我先简化一下容易理解)，这样
的话：
(1) 如果四块红色都在某一个矢状面环上，单环处理。
(2) 如果不是，比较复杂的情况：
是发生底面红色被替代的情况。其基本是产生其它通过底面红色的可转动环。该环要么
包括所有四块红色可转动，要么少于四块，但其它红色块处于该转动 operation 的对
称点。
这样的情况其实不多。而这题的解法是 constructive 的解法，所以放第三块第四红色
的时候，如果不在同一矢状面的环上时，注意增加的环/转动轴/特殊位置就是了。
我可能写得不太好理解。不过不来支票的 ELA 也只能这样了。 |
|
t******l
发帖数: 10908 | 17 是。
不过一般没有这个角度的深钻。马工的矩阵，多数情况下更像 xform geometry，每步
都不复杂，但层层叠加。
一个例子是迭代方程求解。
空间 |
|
t******l
发帖数: 10908 | 18 （接上贴）
（4）对于任何 (x,y) 不在原点，且满足题目给的限制条件的正方形
(x , y , alpha , l)，总存在一个更大的正方形(0, 0, alpha, l2)
也满足题目给的限制条件。（证明略，可以用 xform geometry 的
平移和放大来证明）。
（5）由上述得出，最大的正方形必然在子集 (0, 0, alpha, l) 内。
（数学思想是 pruning set preparing for solution）。
（下帖继续）。 |
|
t******l
发帖数: 10908 | 19 如果是对准中心轴捆水桶型飞机场，展成平面后是直线。
如果是 single helicoid 捆波涛汹涌的，首先无二义地定义 “展开到一个平面”
（可以用 xform geometry 的概念定义）。否则罗素又哭晕在厕所。 |
|
t******l
发帖数: 10908 | 20 空间平移不变性，牛顿运动学的基础概念之一。同时也是解析几何和矢量代数还有欧几
里德几何的基础概念之一。
我个人觉得，大方向而言，应该在解析几何和猴版 xform geometry 基础概念差不多的
情况下，及早引入牛顿运动学浅说，同时引入猴版矢量代数和猴版微积分概念。
所以我个人觉得普通小学生没有必要在运动学 kinematics 题目上钻牛角尖。因为再钻
也是 naive intuition 的层次，知其然而不知其所以然。
这还不如等 ready 以后直接上 kinematics 以及跟随的矢量代数和微积分浅说。然后
这种题就不是个事儿。
我上面这个观点其实跟 prealgebra 钻牛角尖不如 ready 后直接上 algebra，一个道
理。当然是对普通娃而言。 |
|
t******l
发帖数: 10908 | 21 其实从初中 AMC10 level 的角度看，完备地连接 angle 和 slope 的桥梁，是
trigonometry functions，而不是孤零零的 pi 的一个值。
只要有了 trigonometry functions，pi 的值可以直接由 trigonometry functions 和
calculus 导出。
这个就好比小学欧几里德老师无限崇拜平行公理。但在初中 AMC 10 level 时，有笛卡
尔坐标系、实数集和实数完备性公理、外加有三角函数的解析几何/猴版 xform
geometry 里，平行就不是啥事。 |
|
|
t******l
发帖数: 10908 | 23 你这个 “附近” 还停留在 K 班数数的层次。计算学上说的 “附近”，是可以在高维
拓扑空间、基于集合、还可以 smooth / massage function，所说的 “附近”。
其实任何一盘围棋，从开始到结束的全部过程，也就是某个高维空间里的一个点。
人类下过的所有的围棋，以及仨小时里想得出来的围棋，在那个高维空间是就是
一小撮的一小撮。而且你 naive 的看这个高维空间里相距很远的两个点，在
某些 topological xform 以后说不定就是邻居。 |
|
t*******r
发帖数: 22634 | 24 BASIC 的 野goto 和 C/C++ 的野指针一样，都是属于钻牛角尖就成为回字九种写法的
东东。。。
退一步说，basic 的野 goto，对于结果是有意义的代码，即使看不出如何转化成 loop
，或无法转换成 loop，总还是可以上 state-machine / state-transition 理论做
formal-analysis / formal-xform。。。大多数情况不需要去人肉运行，比赛肌肉。。。 |
|
a*****a
发帖数: 1429 | 25
Java 1.4's xform
defaultcloseoperation="EXIT_ON_CLOSE">
horizontalalignment="CENTER" foreground="#ff0000" />
gribaglayout
gridwidth="REMAINDER">
gridwidth="REMAINDER"> |
|
s********n
发帖数: 319 | 26 面试已经fail
题目如下：
驱动电路设计，65kV直流电，分成了32kV正负，现在，HV_load要做switching，现有设计是
20Hz，50/50 duty cycle，不是很满足要求，需要快速的，怎搞？
现有设计基于串联relay的，给我一个图纸让我读图，没做过高压产品所以fail了，后
来回家找找，似乎是feed forward+升压电路的，因为说要reset transformer，看到很
多relay，而且在close loop时候，opamp的负极（高压反馈信号输入）还人为加了偏压
来自mcu，彻底晕了。
回家找到的方案都是dc－》inverter－》升压，如果是feed fwd+升压，似乎还真的只
有这家这么做。但我没有找到快速切换高压的方案，有些relay和igbt串联应用，或者
xform驱动mosfet，但是没有找到具体文档。
最讨厌这种读图的了，把一个开发了好几个月的产品电路图一摆，做过还好，没做过
，有些东西真是瞎猜，他随便画个框框标上part number，然后问你这个做什么用。 |
|
