文档视界 最新最全的文档下载
当前位置:文档视界 › Chapter 7Choice under Uncertainty(高级微观经济学-上海财经大学,沈凌)

Chapter 7Choice under Uncertainty(高级微观经济学-上海财经大学,沈凌)

Chapter 7Choice under Uncertainty(高级微观经济学-上海财经大学,沈凌)
Chapter 7Choice under Uncertainty(高级微观经济学-上海财经大学,沈凌)

Chapter 7 Choice under Uncertainty

7.1 Expected utility function

z Simple gambles

Let {}n a a A ,...,1= be the set of outcomes. Then G , the set of simple gambles (on A), is given by ()???

???=≥∑i i i n n p p a p a p 1,0|,..,11o o

Compound gambles

z Axioms of choice under uncertainty

1. Completeness

2. Transitivity

1a ? 2a ? … ? n a

3. Continuity. For any gamble g in G, there is some probability, ]1,0[∈α, such

that )

)1(,(~1n a a g o o αα?. In words, continuity means that small changes in probabilities do not change the nature of the ordering between two gambles.

4. Monotonicity. For all probabilities ]1,0[,∈βα,))1(,(1n a a o o αα??

))1(,(1n a a o o ββ? iff βα≥. Monotonicity implies n a a f 1.

5. Substitution. If ),...,(11k k g p g p g o o =, and ),...,(11k k h p h p h o o = are in G ,

and if i g h i

i ?~, then

g h ~. 6. Reduction to simple gambles. The decision maker cares about only the

effective probability. Hence, it can not model the behavior of vacationers in Las Vegas!

7. Independence axiom. For any three gambles 321,,g g g and )1,0(∈α, we

have 1g ? 2g iff 31)1(g g αα?+ ? 32)1(g g αα?+.

Question: does the preference under certainty satisfy this axiom? Why?

z V on Neumann-Morgenstern Utility

Utility functions possessing the expected utility property is VNM utility functions.

Expected utility property:

The utility function :u G ? R has the expected utility property if, for every g ∈G , ∑==n

i i i a u p g u 1)()(, where ),...,(11n n a p a p o o is the simple gamble induced by g.

Theorem 7.1 Existence of a VNM function on G

A preference over gambles in G satisfying axioms above can be represented by at least one utility function which has the expected utility property.

Proof: 1. construct a utility function: )(g u is the number satisfying )))(1(,)((~1n a g u a g u g o o ?. By axiom 3, there exists such a number, by axiom 4, this number is unique. Hence, we can define a real-valued function in this way.

2. u represents ?. Because of axiom 2, we have g ? g’ iff )))(1(,)((1n a g u a g u o o ??)))'(1(,)'((1n a g u a g u o o ?. And axiom 4 tells us that )))(1(,)((1n a g u a g u o o ??)))'(1(,)'((1n a g u a g u o o ? iff )'()(g u g u ≥.

3. we must show ∑==n

i i i a u p g u 1)()(, where g is a simple gamble. By axiom

6, we can easily extend our result to any gambles.

By definition, i n i i i q a a u a a u a ≡?)))(1(,)((~1o o . Hence, we can know by

axiom 5, that g a p a p q p q p g n n n n =≡),...,(~),...,('1111o o o o . By axiom 6, the reduced gamble 's g and g’ is indifferent:

'~)(1,)('111

g a a u p a a u p g n n

i i i n i i

i s ???????????

??????????=∑∑==o o Hence, g g s ~'. However, )))(1(,)((~1n a g u a g u g o o ?. Therefore, we conclude: ∑==n

i i i a u p g u 1)()(.

Theorem 7.2 VNM utility functions are unique up to positive affine transformations

Suppose )(?u is VNM utility function, then the VNM utility function )(?v represents the same preferences iff 0)()(>+=ββαg u g v . Proof:

1. Sufficiency. Obvious!

2. Necessity.

Because )(?u represents the preference over G , we have

)()...(...)(1n i a u a u a u ≥≥≥

Hence, there exists a unique ]1,0[∈i α such that

)()1()()(1n i i i a u a u a u αα?+=

Now, because )(?u has the expected utility property:

))1(,(~1n i i i a a a o o αα?

Because )(?v represents the same preference and has the expected utility property:

]1,0[)()1()()(1∈?+=i n i i i a v a v a v ααα Together, we have:

)

()()

()(1)()()()(11n i i i i n i i a v a v a v a v a u a u a u a u ??=?=??αα

)

()()

()(,)()()()()()(),()(11111n n n n n i i a u a u a v a v a u a u a u a v a v a u where a u a v ??≡??≡+=?βαβα

This theorem tells us that VNM utility functions are not completely unique, nor are they entirely ordinal.

)()()

()(1)()()()(11n i i i i n i i a v a v a v a v a u a u a u a u ??=?=??αα reflects the fact that the ratios of the differences

between the preceding utility numbers are uniquely determined by i α, which again is determined by the preference of the decision maker. Hence, the ratio of utility differences has inherent meaning regarding the preference. That is why we say that VNM utility functions provide more than ordinal information. However, we still can not use VNM utility functions for interpersonal comparisons of well-being.

7.2 Discussion of the theory of expected utility

Example 1 : (Allais 1953)

There are three possible monetary prizes. (so the number of outcomes is 3)

First prize: 60,000 dollars Second prize: 50,000 dollars Third prize: 0 dollars

)0,1,0(1=g )01.0,89.0,1.0(2=g Which one do you like?

)9.0,0,1.0(3=g )89.0,11.0,0(4=g Which one?

Intuitive explanation: the value of certainty and uncertainty.

Example 2: Ellsberg Paradox

There are 90 balls. 30 are red, and others are either black or white.

You are asked to pick a ball, whether you will win depends on whether you have chosen the right color.

Which color(s) do you prefer to be the right color? 1. red or white?

2. “red or black” or “black or white”?

Intuitive explanation:

Subjective versus objective probability What is “unknown”?

Example 3: Machina’s Paradox

“a trip to Venice” ? “ watching an excellent movie about Venice” ? “staying home”

)0,01.0,99.0(1=g )01.0,0,99.0(2=g

If you anticipate that in the event of not getting the trip to Venice, your tastes over the other two outcomes will change: you will be so disappointed and feel miserable watching a movie about Venice, hence, it also is rational to choose 2g although you like this movie in general.

Example 4: “Framing problem”

)00,41(1o o =g )067.0,1633.0(1o o =g

Which one do you like? For which will you pay more?

7.3 Risk aversion

Example:

{}2,4,10A ?= ()()109.0,403.0,207.0,108.0,42.021o o o o o ?==g g

??

?

???====2046.010

1)(x if x if x if x u

Then, the decision maker prefers 1g because

expected utility )()(21g u g u > However, the expected value )()(21g E g E <.

Risk aversion:

Let )(?u be an individual’s VNM utility function for gambles over nonnegative levels of wealth. Then for the simple gamble ),...,(11n n w p w p g o o =, the individual is said to be

1. risk averse at g if )())((g u g E u >

2. risk neutral at g if )())((g u g E u =

3. risk loving at g if )())((g u g E u <

Certainty Equivalent and Risk Premium

The certainty equivalent of any simple gamble g over wealth levels is an amount of wealth, CE, offered with certainty, such that )CE ()(u g u =. The risk premium is an amount of wealth, P, such that )P -E(g)()(u g u =. Clearly, CE )(?=g E P .

The Arrow-Pratt Measure of absolute risk aversion )

(')

(")(w u w u w R a ?≡ 1. A Risk averter has a positive Arrow-Pratt Measure.

2. Any positive affine transformation of utility will leave the measure unchanged.

3. It is a local measure. Decreasing absolute risk aversion (DARA) is generally a

sensible restriction to impose. It says that the individual is less averse to taking small risks at higher levels of wealth.

4. It is an effective measure, i.e., a consumer with larger Arrow-Pratt measures have

a lower CE.

To see this, suppose two consumers with two utility functions )(w u and )(w v , respectively. We have

0)

(')

(")(')("≥??>?w w v w v w u w u , and we want to show

21CE CE <, where ∑∑==)()()()(21i i i i w v p CE v w u p CE u .

Define 0))(()(1≥?=?x x v u x h we can show it is a concave function. Noting

1

1111))(())(())(())(()(?????????????===dx x v d x v d dx

x v d x v dv dw w dv , thus, 0))

(('))

((')('11>=

??x v v x v u x h and 0"

()())

())(()()

())(()()(2211CE u CE v h w v p h x p h x h p x v u p w u p CE u i i i i i i i i i i ===<===∑∑∑∑∑?

Where the inequality, called Jensen’s inequality , follows because )(x h is a concave function.

Finally, we have 21CE CE < because utility functions are increasing functions.

Example 1 : Investment

An risk-averse investor has wealth w , and the risky investment is ()i i r p o . How much (β) will he invest in this risky project?

The final wealth is: βββi i r w r w +=++?)1( So, the investor maximizes his utility:

w

t s r w u p i i ≤≤+∑βββ

0..)

(max

The case of corner solution: 00)('0≤?≤+=∑∑?

?i i i i i

r p r r w u p iff β

β

The interior solution requires that the expected return rate is nonnegative. FOC is: 0)('=+∑?

i i i r r w u p β

SOC is:

0)("2

<+∑?

i i i

r r w u p β

To show that risky assets are “good” rather than “bad”…

2)(")("i

i i i

i i r r w u p r r w u p dw d ∑∑??

?++?=βββ i i i a i i i i

r r w u r w R p r r w u p ∑∑???

++?=+)(')()("βββ

Under DARA, 0

)()(0)()(><+<>+??i a i a i a i a r if

w R r w R r if w R r w R ββi a i i a r w R r r w R )()(<+??β

Hence,

0)(')()(')()("=+<++=+?∑∑∑????i i a i i i i a i i i i r r w u w R p r r w u r w R p r r w u p ββββ

0>?

dw d β I.e., for DARA, more wealth will be invested into risky projects as wealth increases.

Example 2: Insurance

An investor has initial wealth w , the VNM utility function is )(w u . The probability of an accident is ()1,0∈α and the loss is L when it occurs. If the insurance is totally fair, i.e., the price of insurance is α, how much insurance will she buy?

Let us say, she will buy insurance x . Thus, the expected utility is:

)()1()(x w u x L x w u αααα??++??

Suppose she is an expected utility maximizer, then FOC:

0)(')1()(')1(0

0)(')1()(')1(==???+???x if

x w u x L x w u x if x w u x L x w u αααααααααααα For a risk averter, 0"??w u L w u , hence, 0>x and L x =. For a risk neutral investor, 0"=u , ?=x For a risk loving investor?

7.4 Comparison of payoff distributions in term of return and risk

z Pay off distribution )(?F

z First-order stochastic dominance: the distribution )(?F first-order stochastically

dominates the distribution )(?G if, for every nondecreasing function R R u →:,

we have ∫∫≥)()()()(x dG x u x dF x u .

z Theorem 7.3 The distribution )(?F first-order stochastically dominates the

distribution )(?G if and only if x x G x F ?≤)()(.

Proof: “only if” part. Denote )()()(x G x F x H ?=. Suppose that 0)(>x H for some x . Then we can define a nondecreasing function ??

?>=otherwise x

x if x u 01)(. This function has the property that ∫

∫∫<)()()()(x dG x u x dF x u , which is contradiction because )(?F first-order

stochastically dominates the distribution )(?G .

“if” part. Only for differentiable utility functions )(x u . Integrating by parts, we have: dx x H x u dx x H x u x H x u x dH x u )()(')()(')]()([)()(0∫∫∫?=?=∞ Hence, if 0)(≤x H and )(x u is increasing, then 0)()(≥∫x dH x u .

z Second-order stochastic dominance: for any two distributions with the same mean,

)(?F second-order stochastically dominates )(?G if, for every nondecreasing concave function R R u →+:, we have ∫∫≥)()()()(x dG x u x dF x u .

z Mean-Preserving Spreads: consider the following compound lottery. In the first

stage, we have a lottery over x distributed according to )(?F . In the second stage, we randomize each possible outcome x further so that the final payoff is x+z, where z has a distribution function H with a mean of 0 [i.e.,

0)(=∫z dH z ]. Thus,

the mean of x+z is x. Let the resulting reduced lottery be denoted by G , we say that G is a mean-preserving spread of F.

z Theorem 7.4 consider two distributions with the same mean, we say that G is

a mean-preserving spread of F is equivalent to say that F second-order stochastically dominates G.

Proof: suppose u is a concave function.

()()∫∫∫∫∫∫=+≤+=)

()()()()()()()()()(x dF x u x dF z dH z x u x dF z dH z x u x dG x u

2位十进制高精度数字频率计设计

广州大学学生实验报告 实验室:电子信息楼 317EDA 2017 年 10 月 2 日 学院机电学院年级、专 业、班 电信 151 姓名苏伟强学号1507400051 实验课 程名称 可编程逻辑器件及硬件描述语言实验成绩 实验项 目名称 实验4 2位十进制高精度数字频率计设计指导老师 秦剑 一实验目的 1 熟悉原理图输入法中74系列等宏功能元件的使用方法,掌握更复杂的原理图层次化设计技术和数字系统设计方法。 2 完成2位十进制频率计的设计,学会利用实验系统上的FPGA/CPLD验证较复杂设计项目的方法。 二实验原理 1 若某一信号在T秒时间里重复变化了N 次,则根据频率的定义可知该信号的频率fs 为:fs=N/T 通常测量时间T取1秒或它的十进制时间。 三实验设备 1 FPGA 实验箱,quarteus软件 四实验内容和结果 1 2位十进制计数器设计 1.1 设计原理图:新建quarteus工程,新建block diagram/schematic File文件,绘制原理图,命名为conter8,如图1,保存,编译,注意:ql[3..0]输出的低4位(十进制的个位), qh[3..0]输出的高4位(十进制的十位) 图片11.2 系统仿真:如图2建立波形图进行波形仿真,如图可以看到完全符合设计要求,当clk输入时钟信号时,clr有清零功能,当enb高电平时允许计数,低电平禁止计数,当低4位计数到9时向高4位进1 图2 1.3 生成元件符号:File->create/updata->create symbol file for current file,保存,命名为conter8,如图3为元件符号(block symbol file 文件): 图3 2 频率计主结构电路设计 2.1 绘制原理图:关闭原理的工程,新建工程,命名为ft_top,新建原理图文件,在project navigator的file 选项卡,右键file->add file to the project->libraries->project library name添加之前conters8工程的目录在该目录下,这样做的目的是因为我们会用到里面的conters8进行原理图绘制,绘制原理图,如图4,为了显示更多的过程信息,我们将74374的输出也作为output,重新绘制了原理图,图5 图4

数理逻辑复习题

一、选择题 1、永真式的否定是(2) (1) 永真式 (2) 永假式 (3) 可满足式 (4) (1)--(3)均有可能 2、设P :2×2=5,Q :雪是黑的,R :2×4=8,S :太阳从东方升起,则下列真命题为(1) (1)R Q P ∧→ (2)S P R ∧→ (3)R Q S ∧→ (4) )()(S Q R P ∧∨∧。 3、设P :我听课,Q :我看小说,则命题R “我不能一边听课,一边看小说”的符号化为⑵ ⑴ P Q → ⑵Q P ?→(3) Q P →? ⑷ P Q ?→?()P Q ?∧ 提示:()R P Q P Q ??∧?→? 4、下列表达式错误的有⑷ ⑴()P P Q P ∨∧? ⑵()P P Q P ∧∨? ⑶()P P Q P Q ∨?∧?∨ ⑷()P P Q P Q ∧?∨?∨ 5、下列表达式正确的有⑷ ⑴ P P Q ?∧ ⑵ P Q P ?∨ ⑶ ()Q P Q ???→⑷Q Q P ??→?)( 6、下列联接词运算不可交换的是(3) ⑴∧ ⑵∨ (3)→ ⑷ ? 6、设D :全总个体域,F (x ):x 是花,M(x) :x 是人,H(x,y):x 喜欢y ,则命题“有的人喜欢所有的花”的逻辑符号化为⑷ ⑴(()(()(,))x M x y F y H x y ?∧?→ ⑵(()(()(,))x M x y F y H x y ?∧?→ (3) (()(()(,))x M x y F y H x y ?∧?→ ⑷(()(()(,))x M x y F y H x y ?∧?→ 7、设L(x):x 是演员,J(x):x 是老师,A(x , y):x 钦佩y ,命题“所有演员都钦佩某些 老 师”的逻辑符号化为⑵ ⑴)),()((y x A x L x →? ⑵))),()(()((y x A y J y x L x ∧?→? (3) )),()()((y x A y J x L y x ∧∧?? ⑷)),()()((y x A y J x L y x →∧?? 8、谓词公式)())()((x Q y yR x P x →?∨?中的 x 是⑶ ⑴自由变元 ⑵约束变元 ⑶既是自由变元又是约束变元 ⑷既不是自由变元又不是约束变元 9、下列表达式错误的有⑴ ⑴(()())()()x A x B x xA x xB x ?∨??∨? ⑵(()())()()x A x B x xA x xB x ?∧??∧? (3) (()())()()x A x B x xA x xB x ?∧??∧? ⑷(()())()()x A x B x xA x xB x ?∨??∨?

冲突+行动+结局=故事

转自龙空。感谢墨文诚的分享—— 这篇帖子的主要目的是让更多刚刚写作的新手了解小说的基本结构,并且知道如何去用写作技巧完善自己的小说,同时也是对我自己学习写作技巧的一种总结和深化。(感谢小说写作教程:虚构文学速成全攻略这本书) 当然,在写作这条举步维艰的路上,我同样只是刚刚起步,所以如果你有什么想法或者建议请加,让我们共同进步!本群欢迎您的加入! 在探讨写作技巧之前,我有一个问题想问你们,你们知道什么是小说的基本结构? 我猜你现在一定很不屑一顾的告诉我,这个问题太简单了!开始!中间!结尾! 的确,这个问题实在是太简单,太基础了,甚至看上去我问的问题真的很愚蠢!但是为什么同样是这三个基本元素构成的小说,有的会大卖而有的不会呢? 这就是我们接下来讨论的问题。 为了更好的理解,我把这三个元素扩展延伸开来:开始=吸引力、中间=期待感、结尾=满足感。现在他们不再是定义而变得鲜活起来,也明确了每个部分应当实现的目标。 什么是小说的吸引力?就是能吸引读者的注意力!当你创造出的主要角色遇到非解决不可的问题时,这就是吸引力!你要让你的读者产生这样的想法:我真想知道主角是如何解决这个难题的!

什么是小说的期待感?你要让读者感到将有更多有趣的事情将要发生!因为读者希望主角成功,也因为希望主角成功,所以主角必须行动起来,要去克服重重困难,一个接一个的障碍! 什么是小说的满足感?当你的主角通过他竭尽其能的手段终于克服了一个又一个的障碍后,也就迎来了故事的结局。不管最后的结局是喜是悲,读者都对故事的完整性而感到满足。 现在我又有了一个新的问题,我们应该如何在小说的每个阶段达到应有的目标呢? 让我们再来把三个要素深化一下:开始=吸引力=冲突、中间=期待感=行动、结局=满足感=解决问题。 在讲解之前,你先看看下面这个故事: 王瑞喜欢班上的一个女生,他和他的朋友说:“如果我能跟她在一起,真的太美妙了!你看她很漂亮也很温柔!” 于是他的朋友鼓励他:“你要是真的喜欢她,就一定要去表白!” 终于有一天王瑞鼓起勇气表白了,那个女生听完他的表白很羞涩的点了点头说道:“其实我也喜欢你!” 于是他们手拉着手走在了一起。 你看这个结局多么的美满幸福,可是这个故事有趣吗?可信度高吗?你有幸福感吗? 没有!什么也没有!

高精度单片机频率计的设计

《综合课程设计》 一.数字频率计的设计 姓名:万咬春学号2005142135 一、课程设计的目的 通过本课程设计使学生进一步巩固光纤通信、单片机原理与技术的基本概念、基本理论、分析问题的基本方法;增强学生的软件编程实现能力和解决实际问题的能力,使学生能有效地将理论和实际紧密结合,拓展学生在工程实践方面的专业知识和相关技能。 二、课程设计的内容和要求 1.课程设计内容 (硬件类)频率测量仪的设计 2.课程设计要求 频率测量仪的设计 要求学生能够熟练地用单片机中定时/计数、中断等技术,针对周期性信号的特点,采用不同的算法,编程实现对信号频率的测量,将测量的结果显示在LCD 1602 上,并运用Proteus软件绘制电路原理图,进行仿真验证。 三.实验原理 可用两种方法测待测信号的频率 方法一:(定时1s测信号脉冲次数) 用一个定时计数器做定时中断,定时1s,另一定时计数器仅做计数器使用,初始化完毕后同时开启两个定时计数器,直到产生1s中断,产生1s中断后立即关闭T0和T1(起保护程序和数据的作用)取出计数器寄存器内的值就是1s内待测信号的下跳沿次数即待测信号的频率。用相关函数显示完毕后再开启T0和T1这样即可进入下一轮测量。 原理示意图如下:

实验原理分析: 1.根据该实验原理待测信号的频率不应该大于计数器的最大值65535,也就是说待测信号应小于65535Hz。 2.实验的误差应当是均与的与待测信号的频率无关。 方法二(测信号正半周期) 对于1:1占空比的方波,仅用一个定时计数器做计数器,外部中断引脚作待测信号输入口,置计数器为外部中断引脚控制(外部中断引脚为“1”切TRx=1计数器开始计数)。单片机初始化完毕后程序等待半个正半周期(以便准确打开TRx)打开TRx,这时只要INTx (外部中断引脚)为高电平计数器即不断计数,低电平则不计数,待信号从高电平后计数器终止计数,关闭TRx保护计数器寄存器的值,该值即为待测信号一个正半周期的单片机机器周期数,即可求出待测信号的周期:待测信号周期T=2*cnt/(12/fsoc) cnt为测得待测信号的一个正半周期机器周期数;fsoc为单片机的晶振。所以待测信号的频率f=1/T。 原理示意图如下: 实验原理分析: 1.根据该实验原理该方法只适用于1:1占空比的方波信号,要测非1:1占空比的方波信号 2.由于有执行f=1/(2*cnt/(12/fsoc))的浮点运算,而数据类型转换时未用LCD 浮点显示,故测得的频率将会被取整,如1234.893Hz理论显示为1234Hz,测 得结果会有一定程度的偏小。也就是说测量结果与信号频率的奇偶有一定关 系。 3.由于计数器的寄存器取值在1~65535之间,用该原理时,待测信号的频率小于单片机周期的1/12时,单片机方可较标准的测得待测信号的正半周期。故用 该原理测得信号的最高频率理论应为fsoc/12 如12MHZ的单片机为1MHz。 而最小频率为f=1/(2*65535/(12/fsoc))如12MHZ的单片机为8Hz。 四.实验内容及步骤 1. 仿真模型的构建 数字方波频率计的设计总体可分为两个模块。一是信号频率测量,二是将测得的频率数据显示在1602液晶显示模块上。因此可搭建单片机最小系统构建构建频率计的仿真模型。原理图,仿真模型的总原理图如下:

北邮高级数理逻辑课件

形式系统由{∑, TERM, FORMULA, AXIOM, RULE}等5个部分构成,其中 称为符号表,TERM 为项集;FORUMULA 为公式集;AIXIOM 为公理集;RULE 为推理规则集。: 1、 符号表∑为非空集合,其元素称为符号。 2、 设∑* 为∑上全体字的组合构成的集合。项集TERM 为∑* 的子集,其元素称为项; 项集TERM 有子集V ARIABLE 称为变量集合,其元素称为变量。F(X) a, X, 3、 设∑* 为∑上全体字的组合构成的集合。公式结FORMULA 为∑* 的子集,其元素称为公式;公式集有子集ATOM ,其元素称为原子公式。 A(f(a,x1,y)), A →B 4、 公理集AXIOM 是公式集FROMULA 的子集,其元素称为公理。 5、 推理规则集RULE 是公式集FORMULA 上的n 元关系集合,即 RULE=)}2(|{n FORMULA r n n n r ?∧≥∧?是正整数, 其元素称为形式系统的推理规则。 其中公式集和项集之间没有交叉,即TERM ∩FORMULA =φ,公式和项统称为表达式。 由定义可知,符号表∑、项集TERM 、公式集FORMULA 是形式系统的语言部分。而公理集AXIOM 、推理规则集RULE 为推理部分 形式系统特性 1、 符号表∑为非空、可数集合(有穷、无穷都可以)。 2、 项集TERM 、公式集FORMULA 、公理集AXIOM 和推理规则集RULE 是递归集合, 即必须存在一个算法能够判定给定符号串是否属于集合(可判定的)。 3、 形式系统中的项是用来描述研究的对象,或者称为客观世界的。而公式是用来描述 这些研究对象的性质的。这个语言被称为对象语言。定义公式和项产生方法的规则称为词法。 公理: I ))((A B A →→ II ))()(())(((C A B A C B A →→→→→→ III ))())()(((A B B A →→?→? 证明:A →A (1) A →(A →A) ((A →(B →C))→((A →B)→(A →C)) ((A →(B →A))→((A →B)→(A →A)) ((A →((A →A)→A))→((A →(A →A))→(A →A)) A →((A →A)→A)) (A →(A →A))→(A →A) (A →(A →A)) A →A

小学语文《西顿动物故事的结局》群文阅读教案设计

《西顿动物故事的结局》群文阅读活动目标: 1、采用“群文阅读”形式,促进个性化阅读与合作性阅读的融合。 2、通过比较阅读感受西顿作品的悲剧结局,体会悲情情,引起心灵共鸣。 3、创编结局,感受结局对整个故事的意义。 活动准备:色 1、课前阅读西顿动物小说《遛蹄的野马》、《泉原狐》、《信鸽阿诺》。 2、多媒体课件制作。 3、小组阅读单和小圆片。 活动过程: 第一板块:聚焦结局,探究发现 1、今天的阅读课,我们来读西顿的动物故事。(出示题目《泉源 狐》《信鸽阿诺》《遛蹄的野马》)这三篇文章都是西顿动物小说的节选。因为篇幅很长,所以提前让大家读了,简单地介绍一下故事情节。 2、介绍得不错,现在我们可以切入正题了,来聊一聊动物故事的 结局。 (板书:动物故事的结局)3、用快速浏览的方式继续阅读这三个故事,重点关注结尾部分,分别用一个词语概括出故事的结局,写在结尾处。 4、小组讨论故事的结局,完成小组阅读单。 任务单 题目故事结局 《泉源狐》毒子离乡 《信鸽阿诺》葬身隼爪

《遛蹄的野马》跳崖身亡 5、组际分享:(选两组贴于黑板,预设《泉原狐》比较) 6、故事的结局都已呈现在我们眼前,把这三个结局联系起来看看,再联系一下故事,你发现有什么相同点,又有什么不同点? 预设:相同点——主人公都可怜地死去,非常悲惨;都受到了人类的迫害; 不同点——死去的方式各不相同;造成这样结局的原因也不同。 第二板块:结局背后,各述喜恶 1、尽管死的原因不同、方式不同,结局却都充满了悲情色彩。对于 西顿这样的写法,作为一个读者,你喜欢吗?喜欢的用这个手势,不喜欢的用拳头。 2、跟与你观点相同的同学就近组合成三到五人的小组,去交流探讨 喜欢抑或不喜欢的理由,看哪组理由最充分。 合作提示: ◆说说理由。 ◆整合理由。 ◆写关键词。 3、组际交流,贴关键词,分享理由。 4、喜欢不喜欢,理由都很充分,都是你们真实的阅读感受。有人 是这样诠释西顿动物故事的悲剧结局的。(链接资料:西顿动物小说充分尊重动物的个性,没有任何人为虚构。在生存的本能前提下,它们不虚不假,真性真情。对于一些精神层面的执著,动物们比人要真实、勇敢,它们甚至不在乎死亡,因为比死亡让它们更在意的东西有很多,比如自由、尊严、忠诚、信任……)小结:的确,西顿动物故事的悲剧结局是来源于现实世界里动物们真实的情感和生存状态,真实的总会被存在,感动的总会被喜欢,所以西顿动物小说风靡世界一百多年,全球销量上亿册。

给故事一个结局

【题记:这是朋友给我讲的真实故事的其中一则,其中的两位主人公皆是朋友的同学。这么些天来我就一直在酝酿某种情感,我在想,应该用自己的笔触,采用怎样的写作手法将其原汁原味的呈现于读者的视野心间?思索再三,终是谈不上什么写作技巧,还是想为这则故事添些枝加些叶,但力求接近生活的真实!】 (一) 他的画就如他的眸子,深邃却又不失其清澈,意蕴悠远,总是易使人浮想联翩,恍若梦境! 若熙已经在他的画展前足足站了三个多小时,直到来参观画展的同学、老师零零散散的散去,她才踩着一路的轻歌,不紧不慢的踱回教室! 这个被全校公认的“未来的画家”一直是她的骄傲! 冯慕轩,他就像他画里的风景,让她沉醉。若用一个很贴切的词来形容他们之间有小到大走过的历程,那就是“青梅竹马”! 慕轩一直很内向,不擅交流,表达,只是把思想寄于画间。庆幸的是,他们住对门,有更多可以相处的机会,但每晚和若熙一同写作业,除了探讨些学校的情况,班级的琐事,从不涉及其它。若熙更是腼腆的如一剪弯月,映照着他的眸子,盈盈然听其略带磁性的嗓音如流淌的优美乐曲。 带着一点点的遗憾,也带着如许的知足,高三的生活即将结束,毕业的脚步款款而来,面临着最后的冲刺,他们是否还能够像小学、初中、高中这样同步一个学堂?慕轩想过,凭若熙的能力,名牌大学触手可及;若熙也想过,普通大学相对于慕轩的功底也没有什么问题,可是......可是什么呢?担心?还是恐惧分离? 若熙心底那份隐秘的情感在这个关键的时刻是那样的急于表达和宣泄!可是她无从知晓慕轩的心思,一直以来,他的心思就在他的画里,而他却一直在她的梦里!终于,她找到了一个恰当的时机告诉给了她的闺蜜!对他的欣赏,对他的渴慕,对他的依恋,对他的沉迷...... 闺蜜默然,在未来还未决定的最后阶段,情感太苍白无力。 (二) 若熙如愿以偿的拿到了另一个城市一所名牌大学寄来的录取通知书!慕轩意料之中的留在了本地! 临别,慕轩送她到了车站,他嗫嚅着,颠三倒四的重复着一句话:注意身体,路上注意安全! 若熙凝视着这个伴他走了十二个春、夏、秋、冬的大男孩,竟无语凝咽!别过脸,她无奈的一转身迅疾的踏进了车,门合上的瞬间,他挥动的双手永远留在了她含泪的视线里! 车行驶的越来越远,慕轩的身影却越来越清晰,就像若熙的心,一直与他相依。 “我每天会发信息给你,一定要回!把你的情况如实的告诉我啊?”随着短信息的发送,若熙知道,她的日子里又多了一项日程,那就是牵挂和殷殷的期盼! 慕轩还真的挺听话,每天一条短信,最多的内容是他的画展,有一次,他竟然给她打了一个小时的电话,只是想要告诉她,他的画在市组织的画展中获奖,并拿了500元的奖金!若熙在电话里捕捉着他的快乐!她默默聆听着,是的,从始至终她就知道,慕轩一定能行,他的天赋和灵性融进了画里,他的灵魂融进了画里.....

数理逻辑考试题及答案

“离散数学”数理逻辑部分考核试题答案 ━━━━━━━━━━━━━━━━━━★━━━━━━━━━━━━━━━━━━ 一、命题逻辑基本知识(5分) 1、将下列命题符号化(总共4题,完成的题号为学号尾数取4的余,完成1题。共2分) (0)小刘既不怕吃苦,又爱钻研。 解:p∧q,其中,P:小刘怕吃苦;q:小刘爱钻研。 (1)只有不怕敌人,才能战胜敌人。 解:q→p,其中,P:怕敌人;q:战胜敌人。 (2)只要别人有困难,老张就帮助别人,除非困难已经解决了。 解:r→(p→p),其中,P:别人有困难;q:老张帮助别人;r:困难解决了。 (3)小王与小张是亲戚。 解:p,其中,P:小王与小张是亲戚。 2、判断下列公式的类型(总共5题,完成的题号为学号尾数取5的余,完成1题。共1分) (0)A:((p q)((p q) (p q))) r (1)B:(p(q p)) (r q) (2)C:(p r) (q r) (3)E:p(p q r) (4)F:(q r) r 解:用真值表判断,A为重言式,B为矛盾式,C为可满足式,E为重言式,F为矛盾式。 3、判断推理是否正确(总共2题,完成的题号为学号尾数取2的余,完成1题。共2分) (0)设y=2|x|,x为实数。推理如下:如y在x=0处可导,则y在x=0处连续。发现y在x=0处连续,所以,y在x=0处可导。 解:设y=2|x|,x为实数。令P:y在x=0处可导,q:y在x=0处连续。由此,p为假,q为真。本题推理符号化为:(p q) q p。由p、q的真值,计算推理公式真值为假,由此,本题推理不正确。 (1)若2和3都是素数,则6是奇数。2是素数,3也是素数。所以,5或6是奇数。 解:令p:2是素数,q:3是素数,r:5是奇数,s:6是奇数。由此,p=1,q=1,r=1,s=0。本题推理符号化为: ((p q) →s) p q) →(r s)。计算推理公式真值为真,由此,本题推理正确。 二、命题逻辑等值演算(5分) 1、用等值演算法求下列公式的主析取范式或主合取范式(总共3题,完成的题号为学号尾数取3的余,完成1题。共2分) (0)求公式p→((q∧r) ∧(p∨(q∧r)))的主析取范式。 解:p→((q∧r) ∧(p∨(q∧r)))p∨(q∧r∧p) ∨(q∧r∧q∧r) p∨(q∧r∧p) ∨0 (p∧q∧r) ∨ (p∧1∧1) ∨(q∧r∧p) (p∧(q∨q)∧(r∨r)) ∨(q∧r∧p) (p∧(q∨q)∧(r∨r)) ∨m7 (p∧q∧r)∨(p∧q∧r)∨(p∧q∧r)∨(p∧q∧r)∨m7 m0∨m1∨m2∨m3∨m7. (1)求公式((p→q)) ∨(q→p)的主合取范式。 解:((p→q)) (q→p) (p→q) (p→q) (p→q) p q M2.

频率计测试中的精度计算

频率计测试中的频率计测试中的精度精度精度计算计算 1. 背景 在测试测量中测试精度一直是最为关心的问题。频率计作为高精度的频率和时间测试仪表,测试精度高于普通的频谱仪和示波器,所以测试精度的计算就更加为人关注。影响测试精度,或者说产生误差的因素很多,而其中最主要的因素是仪表内部时基稳定度、分辨率、触发精度及内部噪声等。频率计可以用来测试如频率、周期、相位、脉冲等,而其中频率和周期的测试占有绝大部分比例,本文主要讨论频率和周期的测试精度计算问题。 2. 频率和周期的测试精度 频率和周期互为倒数,所以在频率计的测试中,频率和周期的误差计算方法是一样的。从测试误差的产生来说主要有两类,一类是随机误差,一类是系统误差。随机误差主要由于如噪声或者一些随机因素产生的误差,很难消除。系统误差主要是由于测试方法、仪表设置或者仪表性能引起的误差。不同的设备制造商都有自己的关于误差的计算方法,大同小异,本文论述泰克FCA3000系列频率计测试误差的计算方法。 总误差: (U tot) ( 1 ) rand uncert : 随机误差 syst uncert: 系统误差 在测试频率或者周期时,我们可以通过以下公式计算随机误差和系统误差: 随机误差的计算随机误差的计算:: 当测试时间 Measuring Time < 200ms 时: ( 2 ) 当测试时间 Measuring Time > 200ms 时: ( 3 ) N = 800/Measuring Time (测试时间),同时 6 <= N <= 1000 并且 N < (Freq/2)*Measuring Time - 2 其中: Eq = 100 ps ( RMS) , Ess = Start Trigger Error

基于FPGA高精度数字频率计的方案设计书

的提高,数字电子技术的应用已经渗透到人类生活的各个方面。从计算机到手机,从数字到数字电视,从家用电器到军用设备,从工业自动化到航天技术,都尽可能采用了数字电子技术。 现代电子设计技术的核心是EDA技术。EDA技术就是以计算机为工具,在EDA软件平台上,对硬件语言HDL为系统逻辑描述手段完成的设计文件,自动的完成逻辑编译、逻辑化简、逻辑综合及优化、逻辑仿真,直至对特定目标芯片的适配编译、逻辑映射和编程下载等工作(文本选用的开发工具为Altera公司的MAX+PLUSII)。EDA的仿真测试技术只需要通过计算机就能对所设计的电子系统从各种不同层次的系统性能特点完成一系列准确的测试与仿真操作,大大提高了大规模系统电子设计的自动化程度。设计者的工作仅限于利用软件方式,即利用硬件描述语言(如VHDL)来完成对系统硬件功能的描述。EDA技术使实现,极提高了设计效率,缩短了设计周期,节省了设计成本。今天EDA技术已经成为电子设计的重要工具,无论是设计芯片还是设计系统,如果没有EDA工具的支持,都将是难以完成的。EDA工具已经成为现代电路设计工程师的重要武器,正在发挥越来越重要的作用。为了提高自身的实践能力与专业知识应用能力,为了更快地与社会实际和社会需要接轨,这次毕业设计我选择了以EDA技术为方向,设计数字频率计,在所参考的文献中,都包含了这一技术。相信通过此次毕业设计将为我更全面更系统更深入地掌握EDA技术打下良好的基础。 EDA发展历程 EDA技术伴随着计算机、集成电路、电子系统设计的发展,经历了三个发展阶段,即:20世纪70年代发展起来的CAD技术;0世纪80年代开始应用的CAE技术;20世纪90年代后期,出现的以硬件描述语言、系统级仿真和综合技术为特征的EDA技术,这时的EDA工具不仅具有电子系统设计的能力,而且能提供独立于工艺和厂家的系统级设计能力,具有高级抽象的设计构思手段。 EDA技术涉及面广,容丰富,从教案和实用的角度看,主要有以下四个方面容:(1)大规模可编程逻辑器件;(2)硬件描述语言;(3)软件开发工具;(4)实验开发系统。其中,大规模可编程逻辑器件是利用EDA技术进行电子系统设计的载体;硬件描述语言是利用EDA技术进行电子系统设计的主要表达手段;软件开发工具是利用EDA技术进行电子系统设计的智能化、自动化设计工具;实验开发系统是利用EDA技术进行电子系统设计的下载工具及硬件验证工具。 随着现代半导体的精密加工技术发展到深亚微M(0.18~0.35um)阶段,基于大规模或超大规模集成电路技术的定制或半定制ASIC(Application Specific IC即专用集成电路)器件大量涌现并获得广泛的应用,使整个电子技术与产品的面貌发生了深刻的变化,极推动了社会信息化的发展进程。而支撑这一发展进程的主要基础之一,就是EDA技术。 可编程逻辑器件 可编程逻辑器件是近几年才发展起来的一种新型集成电路,是当前数字系统设计的主要硬件基础,是硬件编程语言HDL物理实现工具。可编程逻辑器件对数字系统设计自动化起着推波助澜的作用,可以说,没有可编程逻辑器件就没有当前的数字电路自动化。目前,由于这种以可编程逻辑器件为原材料.从“制造自主芯片”开始的EDA设计模式己成为当前数字系统设计的主流,若要追赶世界最先进的数字系统设计方法,就要认识并使用可编程逻辑器件。 数字集成电路本身在不断地进行更新换代。它由早期的电子管、晶体管、小中规模集成电路、发展到超大规模集成电路(VLSIC,几万门以上)以及许多具有特定功能的专用集成电路。但是,随着微电子技术的发展,设计与制造集成电路的任务已不完全由半导体厂商来独立承担。系统设计师们更愿意

故事里的巧妙结局

群文阅读《故事里巧妙的结局一组》 (2013-12-27 13:30:38) 转载▼ 分类:教学设计 故事里巧妙的结局一组 何玲 姓名何玲年级六年级议题 群文阅读 ——故事里巧妙的结局一组 选文篇目及来 源选自《学语文之友》上的《摩尔根掉井里去了》、《老鼠夹》、 《遗嘱与狗》 教学目标1、把握故事的主要内容。 2、知道故事真相到最后点出,这么安排的好处。 3、巧妙的故事结局带给我们的启示。 4、掌握并正确运用各种阅读方法。 教学重点 把握三个故事的主要内容。 掌握并正确运用各种阅读方法。 教学步骤一、谈话引入,激发兴趣 1、孩子们,都喜欢听故事吗?(想)今天,老师给你们带来一个很有趣的故事,名字叫《摩尔根掉井里去了》。听—— 2、PPT出示故事题目,听讲故事。 3、老师过渡:咦,故事听到这里却没有了结尾,聪明的你们有兴趣来猜一猜吗? 二、学生猜想结尾。 1、学生猜想 预设:(1)消防队员救出了摩尔根。

附:阅读材料

摩尔根掉井里去了 (美)史梯曼徐建华/译 男孩比尔住在爷爷家。这天,爷爷外出干活,比尔便像往常一样,和他的好朋友摩尔根在家门前的枯井边玩耍。 可是没过多久,摩尔根却不小心掉进了枯井里!比尔连忙走过去,俯身向黑漆漆的井里探望:井很深,什么也看不见。 就在这时,一个老人经过这里,看见比尔向井里俯着身子。 “你在看什么?”老人问。 “摩尔根掉井里去了。”比尔说。 “摩尔根是谁呀?”老人问。 “摩尔根,我的好朋友。”比尔回答。 “我希望你的朋友没有伤着。”老人走到了井边,关切地说,“井下的孩子没事儿吧?” 这时,黑漆漆的井里传来了摩尔根“哇哇哇”的声音,这在老人听起来像是在说“我没法爬上去”。因为老人已经很老了,所以他的耳朵并不是太好使。 这时,爷爷的邻居,一位大叔打井边经过。 “这儿发生了什么事?”邻居问。 “摩尔根掉井里去了。”老人答道。 当邻居从老人的口中得知摩尔根是男孩的好朋友时,马上说:“小孩子千万别到井边玩耍。”然后转身对比尔说,“摩尔根准是比你笨多了。” 接着,邻居的太太也走了过来。

基于FPGA的高精度频率计设计实验报告

基于FPGA的高精度频率计设计实验 一.实验目的 1.熟悉数字存储示波器基本工作原理。 2.掌握硬件测频和测周的基本原理。 3.掌握在现有综合实践平台上开发DSO硬件频率计模块的方案及流程。 二.实验内容 1.结合数据采集、存储和触发模块的FPGA代码,理解DSO的基本工作原理。 2.编写FPGA代码完善DSO的频率计模块,实现高精度测频和测周功能。 三.预备知识 1.了解综合实践平台硬件结构。 2.熟悉Xilinx ISE Design Suite 1 3.2开发环境使用方法。 3.熟悉Verilog HDL硬件描述语言的语法及运用。 四.实验设备与工具 硬件:测试技术与嵌入式系统综合实践平台, PC机Pentium100 以上,XILINX USB调试下载器。 软件:PC机Win XP操作系统, Xilinx ISE Design Suite 13.2开发环境 五.实验步骤 1. 打开工程文件SYPT_FPGA.xise 2. 打开freq_measure.v和period_measure.v文件,先根据定义好的模块端口输入输出信号,结合测频和测周的原理,在提示添加代码处补充代码: a. 测频模块(freq_measure.v) 测频模块的基本功能是测量闸门时间内被测信号的脉冲个数。实现过程如下: (1)由标准时钟计数产生一个预设闸门信号,然后用被测信号同步预设闸门信号产生实际闸门信号; 要求:预设闸门时间可根据用户选择信号(select_parameter)在50ms、100ms、1s、10s 中切换。具体代码如下图。

(2)标准时钟和被测信号在实际闸门内计数。标准时钟的计数结果N s放到mea_cnt_fs 中,被测信号的计数结果为N x放到mea_cnt_fx中,输出以上计数结果,并同时输出测频完成标志mea_flag,具体代码如下图。 b. 测周模块(period_measure.v) 测周模块的基本功能是把被测信号作为闸门信号,在它的一个周期的时间内,对标准时钟信号计数。实现过程如下: (1)被测信号相当于一个预设闸门信号,为了提高测量精度,采取扩大闸门时间25倍(即取被测信号25个周期为预设闸门信号);

高级数理逻辑第2讲全解

3命题逻辑形式系统(FSPC) 3.1 命题逻辑与命题演算 Leibniz提出逻辑推理变成符号演算不久,英国数学家BOOL提出了布尔代数。布尔代数把逻辑命题与逻辑推理归结为代数计算。把命题看作是计算对象;把联结词看作算子;讨论计算的性质。 1、命题(Propositions):可以判断真假的陈述句。不涉及任何联结词的命题称为原 子命题。 2、联结词:?, →, ?, ∨, ∧为联结词,用于联结一个或者多个命题。 ~A=1-A →如果A成立则B成立,<->如果A成立则B成立,并且如果B成立则A成立; A→B A∨B,或者A成立或者B成立;A∧B,A成立并且B成立。 3、真值表:命题的真假称为命题的真值,用0表示假;用1表示真。 A←→B T(~A)=1-T(A) A=1, ~A=0, 1-A True(?A)=1- True(A),如果True(A)=0,True(?A)=1:True(A)=1, True(?A) =0 T(A→B)=1 或者A不成立,或者B成立; A=1, B=1, A→B =1 A=0, B=1, A→B=1 A=0, B=0, A→B=1 A=1,B=0 A→B=0 或者A=0, 或者B=1 ~AvB=A→B A<=B;;;; A<=B A=0,B=1 A=0时,B=?,1;A=1,B=1,1;A=1,B=0,0; A=0,B=0,T(A→B)=1;A=0,B=1,T(A→B)=1;A=1,B=0,T(A→B)=1;A=1,B=1,T(A→B) =1; A=0;T(A→B)=1 B=1;T(A→B)=1 A→B是或者A=0,或者B=1;=~AvB A<=B A∨B=MAX(A,B) A=1, B=0, 1;A=1,B=1, 1, A=0,B=1;1, A=0,B=0, 0 A∧B=MIN(A,B) =~(~A v ~B) DEMORGAN ~A ∨B True(A->B):True(A)《=True(B)

我还在等待这个故事的结局

我还在等待这个故事的结局 其实我也不知道想说的,是什么样的故事,而这个故事会是什么样的结局。我也不知道想要的,又会是什么样的明天。我不知道。也许故事的一切,都只不过是一场长长的电影,或者是一部长长的小说,也许这个故事,就是未完待续的。 塞北的夏天,不会太热。但对我这样苦*的上班族来说,骑车在柏油路里穿梭,即使在这样凉快的夏天,也还是有炎热的风吹在脸上,挡不住的汗一点一点浸湿速干衣。 骑车上班不是因为没有钱坐车,公司的班车总是很准时地从西城出发。骑车是因为自己觉得身体需要锻炼,需要在骑车的过程中将一天中所有不好的情绪踩走。于是,总是飞快地蹬着踏板,无所谓路两旁的杨柳和穿梭的人流和车流。初夏那时候,风吹过的街道上会飞扬起朵朵的杨花,每当这时候,我总是会忍不住伸出手,试图去抓住一些飞舞着的纯净。路过垂下的柳树,也会不管不顾地将双手放开车把,好触摸心动的绿绦。 我喜欢纯净的白,喜欢醉人的绿,也欢空明的蓝。我认为这几种色彩,真的就是我内心天真的写照。喜欢看的,都是没有任何杂质的白,是一山连一山的绿,还有就是一整片一整片的蓝天和大海。而骑

车的时候,正好有蓝天,有白云,有绿柳。都是喜欢的色彩。 每天晚上,我都会在下班后,6点到9点,到一个不怎么有名的Times咖啡馆里驻唱。每次到这,我就会换上一件蓝色的短袖运动上衣,宽松的可以遮住半条大腿,不像上班时候的衬衫那么紧凑,压抑。头发也永远是那么错乱,像是一个流浪歌手一样。但即使这样,我却感觉很开心,在这唱着自己愿意唱的歌,轻柔的小调响起的时候,好像每一个音符都能够走入我的心一样。所以每个人看到我唱的时候,我的脸上总是会带着一抹阳光,微笑地望着墙面上暗暗的灯光。 她在一家国企上班,我总是看到她独自来到这个不怎么出名的咖啡馆,安静地坐在离我不远的地方。她总是穿着一身蓝色的裙子,一头烫过的大波浪长发,黑发染带些深金色,弯月般细腻的眉毛,黑珍珠样的灿烂的眼睛,小小的嘴唇紧抿着,暗暗的灯光照在她脸上,映着她的蓝,略显得有些忧伤。 有一天,她说,她喜欢我唱的轻柔的小曲,喜欢我穿着的简单的蓝。而我,喜欢她的安静,喜欢她跟我聊天的自然。偶尔有些天,她不来这,我就会觉得心有些不安,不知道她那里出了什么样的状况。有时候她来得晚了,或是走得晚了,我都会等着,看着,悄悄地目送她回到她的家。

数理逻辑2.1

1.4 将自然语言转化为命题公式 *要把自然语言转化为命题公式, 按以下步骤进行. 1.首先判定这个句子是否命题逻辑中所研究的命题, 排除 一些不是陈述句的句子,以及一些不具有真假值的句子. 2.其次,找出这个句子中所包含的原子命题.通常只有一个主 语和一个谓语的句子就是一个原子命题. 3.再次,将句子中的原子命题用命题变量表示,在整个句子中, 若相同的原子命题出现多次,则用相同的命题变量表示同一原子命题. 4.然后,分析句子中连词的逻辑含义,确定句子的整体结构, 以及各支命题之间的逻辑关系. 5.最后,使用合适的命题联结词将各支命题符号化,最后写出 整个句子的命题公式. 例1.12: 1.我们在学好逻辑学的同时,还应学好其它学科. 2.我虽人到中年, 但求知欲并未减弱. 3.液体沸腾的原因是温度增高,或是压力下降. 4.李晓霞是湖南人或江西人. 5.逆水行舟,不进则退. 解: 1.设p: 我们要学好逻辑, q: 我们要学好其它学科. 公式: p∧q .

2.设p: 我人到中年, q: 我求知欲减弱. 公式: p∧┐q . 3.设p: 液体沸腾的原因是温度增高. q: 液体沸腾的原因是压力下降. 公式: p∨q . 4.设p: 李晓霞是江西人. q: 李晓霞是湖南人. 公式: (p∧┐q)∨(┐p∧q) . 5.设p: 逆水行舟会进, q: 逆水行舟会退. 公式: (p∧┐q)∨(┐p∧q) . 例1.13: 1.如果看不到事物的否定方面, 就不能科学地预见事物的 发展方向. 2.只有懂了事物的对立统一规律, 才能懂得事物的发展. 3.只要你努力, 就会取得成果. 4.会休息的人, 才会工作. 5.不会休息的人, 就不会工作. 6.哪里有他, 哪里就有歌声. 7.若要人不知, 除非己莫为. 8.除非他真心悔改, 才能得到群众的谅解. 9.除非整数x是奇数, 否则x会被2整除. 10.整数x能被2整除, 除非x是奇数.

没有结局的故事

没有结局的故事 我不知道这个世界上有没有真正的故事。 走过了太多的生活,我们开始倦了,有意无意的我们都变得不是那么的认真,对待自己也好,对他人也罢,少了一份真诚的热烈,多了一份,我们称之为沧桑的淡漠。 时间过得真的很快,眨眼间,我们从读故事的少男少女,长成了故事的主角,在流淌的生活中,演绎着属于我们自己的故事,并认真的刻录下我们走过的岁月。站在这看不见原点的地方,我们努力地回头,看着之前,我们走到这里所经过的的每一步每一条路,那些停留在记忆深处永远也难以忘记的人,那些让人欢喜让人伤心落泪的事,曾经的这一切,是故事麽?可却是那么真实。 故事总会有一个开始,可记忆中的那段时光却是那么的模糊。我们常说那是一个意外,因为回忆的那个开端是那么的难以寻找,难以划分,就好像突然之间我们已经深深地入戏,我们知道那段故事里有他有她,可他们是怎么来到我们的故事里,却只有丝丝缕缕淡到无迹可寻。 于是我们就只能放弃,刻骨铭心的永远是故事中的那份轰轰烈烈,或许悲伤或许幸福,可我们得知道,那些都不会是结局,因为我们的故事永远不会有结局。 不管是主动还是被动,那些故事都已经开始,并将一直进行下去,而我们,也只有继续把它写完的权利,并没有选择的自由,

所以我们并不能就真的像是对待故事那样草率而不负责任,仅仅投入感情是远远不够的,认真的对待,我们不只是故事的主角,还是编者,虽然我们没有选择的权利,可是我们拥有改变的能力,或许我们所做的那些并不能让它彻头彻尾的改变,可是至少它不会再沿着原来的轨迹前进,也许就诊时这个小小的改变,我们就会远离悲剧,所以永远不要放弃。 没有结局的故事,我们期待着可以有一个美好的过程,不要小看自己,想要幸福便去大胆的努力,已经发生的便不再是故事,想象之中,那便永远不会体会到那份心动,幸福也好,心痛也罢,你要真的将你自己的生活仅仅当做是故事,那么你永远不会得到那份真切的感情,睁开眼,这个世界需要你一步步前行,而不是在梦中的天空快活的翱翔,即使再自由,那也是梦。 我们有梦想,但却不会活在幻想;我们有故事,但却很真实;我们有回忆,但更加期待明天。把握今天的每时每分,没有结局的故事,我也要给它画上一个完美的句号,然后写上自己的名字,告诉所有人,这是我的故事,与众不同。

基于FPGA的高精度频率计设计

基于FPGA的高精度频率计设计 摘要 频率计是一种应用非常广泛的电子仪器,也是电子测量领域中的一项重要内容,而高精度的频率计的应用尤为广泛。目前宽范围、高精度数字式频率计的设计方法大都采用单片机加高速、专用计数器芯片来实现。传统的频率测量利用分立器件比较麻烦,精度又比较低,输入信号要求过高,很不利于高性能场合应用。 本论文完成了高精度数字频率计硬件设计和软件设计。该数字频率计主要包括FPGA和单片机两大部分。其中FPGA部分又可分为数据测量模块、FPGA和单片机接口模块、FPGA和数码管动态扫描部分。FPGA部分采用verilog语言编写了电路的各模块电路,选用了当前比较流行的EDA开发软件Quartus II作为开发平台,所有模块程序均通过了编译和功能仿真验证。对测频系统的设计流程、模型的建立和仿真做出了具体详细的研究,验证了该系统的正确性。单片机部分采用C51编写了控制软件。 本设计中以FPGA器件作为系统控制的核心,其灵活的现场可更改性,可再配置能力,对系统的各种改进非常方便,在不更改硬件电路的基础上还可以进一步提高系统的性能。 关键词:频率计,单片机,FPGA,电子设计自动化

Design of High-accuracy Digital Frequency Meter Based on FPGA ABSTRACT Frequency meter is a kind of electronic instrument applied widely. A kind of high-accuracy digital frequency meter is designed based on FPGA in this paper.At present extends the scope,the high accuracy digital frequency meter's design method to use the monolithic integrated circuit to add, the special-purpose counter chip mostly to realize high speed. The design of system hardware and system software is accomplished in the paper. System consists of FGPA and MCU. The circuit based on FPGA includes following some parts: data acquisition module, interface between FPGA and MCU, module scanning number tube. Every circuit module is realized by verilog.The platform of development is Quartus II and all modules procedure is demonstrated by compiling and simulation. Detailed research of design flow, model establishment and system simulation is done. The correctness of the system is demonstrated. The software based on MCU is programmed by C51. In this design takes the systems control by the FPGA component the core, its nimble scene alterability, may dispose ability again, is convenient to system's each kind of improvement, in does not change in hardware circuit's foundation also to be possible to further enhance system's performance.The system has the advantage of high-accuracy and convenience. It’s practicability of frequency meter is well. KEY WORDS: Frequency meter, MCU, FPGA, electronic design automation

相关文档