共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
启明 《第二课堂(小学)》2011,(5):114-118
我对月亮,有着近乎痴迷的喜爱。很多个夜晚,华默默地坐在我身边,陪我看着那轮日趋清冷的月。后来他问我,为什么会喜欢月亮。我说不知道,也许是命中注定吧。"你呢,华?"华笑了。他说他这一生注定无法拥有月亮。从他出生在那个没有月亮的夜晚时就已经预示了这一切。 相似文献
3.
4.
5.
安翦宁 《聪明泉(少儿版)》2011,(1)
一秋风习习吹过,卷起马路上的落叶。又是一辆公交车到站,人群蜂拥而上,离站。安小葵拉住裙角,发丝在风中轻轻飞扬着,明眸凝视着对面的站台,带着一丝迷茫和困惑。对面站台的长凳上坐着一个男生,蓝衬衫,干净斯文的模样。安静地坐在那个角落里,手里捧着一本书看得似乎很入迷。小葵,对不起,我来晚了,我们走吧。一个妇女气喘吁吁地跑近,手上提着大包小包的超市购物 相似文献
6.
7.
北极麦子 《聪明泉(少儿版)》2009,(6)
你答应过我,你说你要活到一百岁,可是,你却悄悄地走了。一句道别的话都没有说。不知道是什么原因,在我刚出生不久,我就被父母抛弃在雪地里,是你发现了我。由于冻的时间太长,我的嘴脸乌青,已经 相似文献
8.
正没有谁来得及看足谁的成长,没有谁真能陪谁翻山越险,抵达人生的极乐。他们不过都是我人生长长短短的段落,有一天,我也会成为你的段落,我的孩子。——张悦然经常在文章里写到爸爸,很少写到妈妈,我却是跟着妈妈长大的。落笔的一瞬有无数词句蜂拥而至,如果要写妈妈的好,好话可有几箩筐,但它们全部,全部堆砌起来也不够高度去与那个我最亲爱的人相比。 相似文献
9.
10.
11.
满海霞 《毕节师范高等专科学校学报》2013,(9):53-57
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出.欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词.为了刻画这种现象,他向一阶量词逻辑引入一个独立指针“/”,表示指针上面的量词与指针下面的量词不存在依赖关系.IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑.之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑.IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题. 相似文献
12.
IF逻辑全名为独立友好的一阶逻辑,于上世纪80年代末90年代初由欣迪卡提出。欣迪卡发现在数学和自然语言中,不但存在传统一阶逻辑所刻画的量词之间相互依存的情况,有的时候还有不存在依存关系、相互独立的量词。为了刻画这种现象,他向一阶量词逻辑引入一个独立指针"/",表示指针上面的量词与指针下面的量词不存在依赖关系。IF逻辑在句法上是对一阶逻辑的直接扩张,表达力相当于二阶逻辑。之后,Bradfield尝试将IF逻辑的思想用于表示计算机系统执行路径的相互独立,用模态之间的独立来表示事件之间的独立,发展出IF模态逻辑。IF模态逻辑是模态逻辑的一个新兴分支,还存在很多有待深入思考和探究的问题。 相似文献
13.
14.
15.
Pablo Neruda 《海外英语》2009,(12):52-52
I want you to know
one thing.
You know how this is:
if I look
at the crystal moon, at the red branch
of the slow autumn at my window, 相似文献
one thing.
You know how this is:
if I look
at the crystal moon, at the red branch
of the slow autumn at my window, 相似文献
16.
17.
尹建武 《黄冈师范学院学报》1990,(3)
本文提出一种可能的黑洞内部时空度规,在特殊条件下分别过渡到 Schwarzchild 黑洞内部度规和 Gonzalez-Diaz 黑洞内部度规,并证明了这一黑涧内部度规是无奇性的. 相似文献
18.
研究了GPS软件接收机中GPS数字中频信号模拟的基本原理。首先,介绍了GPS信号的调制过程;其次,分析了C/A码的产生原理,并分析了信号的数字化原理;再次,讨论了GPS信号中夹杂的噪声及GPS数字中频信号的模拟过程;最后,针对不同环境分别对GPS数字中频信号频谱进行了仿真实验。结果表明,其频谱比较准确。既能从图中看出调制过程,也能够求出其载波频率,为以后的研究奠定了重要的基础。 相似文献
19.
陈招万 《中山大学学报论丛》2009,2(2)
本文基于经典一阶逻辑句法的逻辑优先性分析,把Hintikka的独立联结词和独立量词扩展到多值逻辑中.我们给出IF多值逻辑的句法,并使用不完全信息的语义赋值博弈解释了IF多值逻辑. 相似文献
20.
利用单片机技术对中频感应加热炉输出功率进行控制,实现精确控制工件的加热温度,解决了中频炉温度控制稳定性问题.给出了控制系统原理及构成,并进行了电路实现,系统延迟时间短,输出功率稳定,控制精度高. 相似文献