中介逻辑的命题演算系统(Ⅱ)

本文为[3]的续篇,在此继续生成MP的形式定理,其中包括MP的重要的替换定理(见定理16)。     

MP3播出的是消遣，不是音乐

也许你不知道，你从MP3音乐播放器中听到的往往不是音乐的全部。你还可能并不知道你在听MP3时会失去对音乐本质的认知。     

长期听MP3耳聋提早30年

时下年轻人酷爱长时间大音量听MP3、iPod等随身听,但英国一项研究报告指出,青少年长期以高声量听MP3,可能在40岁时听力开始衰退,较上一代人提早30年耳聋。中国香港的专家也指出,如果MP3音量高达108dB（分贝）,聆听7．5min（约2首歌曲的播放时间）,就足以影响听觉,有失听危险。     

MP3随身听对人的健康危机

如名片般大小、携带方便的iPod、MP3随身听,已是许多上班族的最佳良伴,也是学生族群的新宠儿。在美国,MP3随身听也荣登最想收到的礼物之首。难怪,这种小型音乐播放器在全球不断狂销热卖。根据统计,去年全球MP3随身听卖出7500万只,而且相关商品仍不断求新求变。不过,在享受音乐愈来愈便利的同时,你可能逐渐陷入无声的危机。今年2月,美国有一些民众向美国法院提出控诉,指控苹果计算机推出的iPod伤害他们的听力。接着在3月份,美国语言听力协会(ASHA)公布的一项调查指出,听力受损与iPod、MP3随身听的流行有关。我国的情况也不容乐观。广西…     

电脑操作小技巧两则

一、把Flash动画里的音乐转成MP3 很多人喜欢从网络上下载含有音乐的Flash动画,有音乐配上画面,观赏起来就像MV一样精彩.如果想把Hash动画里的音乐单独撷取出来,只要使用像"123Flash Sound"这类专门撷取国Flash音乐的工具即可.不过一般flash动画内的MP3位率都不高,转出来的MP3音质也不会太好,转档前可要好好考虑一下.     

科学家发明能贴在皮肤上的“创可贴”MP3

美国科学家Chih-WeiWang和Shou-HisFu最近设计了一款＂创可贴＂样式的MP3。这款MP3不需要夹在领子上或者放在口袋里,只要贴在皮肤上即可,甚至可以反复粘数百次。它不需要电池供电,人体散发出的热量就会让它正常工作。     

是MP3还是钻石

钻石一直是高贵奢华的代名词,而将钻石理念引入数码产品会是什么样子呢？钻石般闪耀的蓝色光泽与动听的音乐孕育成了此款由琥珀公司出品的“蓝钻”MP3播放器。你可以把它当作一款音乐MP3,更可以把它当作一条项链来佩戴,彰显出独特的个人魅力。     

3G手机畅游互联星空

如果你有一个带3G功能的手机,那么不但下载MP3的速度大大提高了,而且可以直接上网下载。     

MP3播放器史话

曾几何时,MP3的五彩光环令这种结构小巧玲珑、技术普及的播放器,成为当今最高端的超小型数码音频设备。年轻的上班族,特别是女孩子,一出门总爱把它像戴项链一样悬在胸前,然后塞上耳塞,屁股一欠,骑车扬长而去……不过,当我们正眯起眼睛、摇头晃脑地在欣赏那美妙歌声的时候,你可曾想过,MP3播放器是如何走过它的风雨泥泞的历程呢? 还是先从MP3技术开始说吧。20世纪80年代末,以苹果公司麦金塔电脑为代表的个人电脑已开始具有包括能播放音乐在内的多媒体功能。所有这些电脑都是采用Wav音频格式保存音乐文件,但这种格式文件的最大缺陷就是体…     

“无线”未来

如今,街头时尚一族早已把微型数控无凸起录放机、MD(Mini disk)播放器弃之一旁,换而将一个MP3播放器用粘链捆在左臂上作为一种时尚。在今天的现代生活中,GPRS、CDMA手机,有红外接口的PDA、笔记本、MP3播放器,数码相机,数码摄录机等现代化数字设备,除了带给我们更多的享受之外,确实也为工作和生活     

电脑操作小技巧两则

一、把Fl ash动画里的音乐转成MP3很多人喜欢从网络上下载含有音乐的Flash动画,有音乐配上画面,观赏起来就像MV一样精彩。如果想把Hash动画里的音乐单独撷取出来,只要使用像“123Flash Sound”这类专门撷取国Flash音乐的工具即可。不过一般flash动画内的MP3位率都不高,转出来的MP3音质也不会太好,转档前可要好好考虑一下。1.首先到http://www.flash-utility.corn/download/flashsoundextractor.exe下载安装文件,安装完成后启动程序,按下工具栏上的“Options”钮。2.进入Options对话框后,点选“CustomDirectory”,然后指定要储存撷取…     

Word XP自定义功能的应用

我们在使用WordXP过程中,发现有—些自定义方面的应用,虽然没有什么秘密可言,但是如果您能正确地使用它们,可以大大提高文字编辑处理的效率,而且有的自定义应用还能变出花样,不信您可以试试下面的这些应用。一、自定义播放MP3音乐试用过WordXP来播放MP3音乐吗?什么?WordXP还能播放音乐!其实,利用WordXP插入对象功能和自动更正功能,就能巧妙地实现在WordXP程序中快速播放MP3音乐,不过在播放之前,大家还要进行如下自定义设置:1.在WordXP程序界面中,大家可以在菜单栏中依次执行“插入”、“对象”、“由文件创建”、“浏览”命令等,…     

中介命题逻辑MP和中介谓词逻辑MF的可靠性

本文证明了中介命题逻辑MP和中介谓词逻辑MF的可靠性定理,得到MP和MF的推理与演绎推理是相一致的结果。定义1(形式证明) 对于MP和MF,证明是一个有穷的形式推理关系序列,其中任一形     

多媒体操作技巧4则

如果你想在电脑开机时,同时启动运行多媒体Winamp来播放MP3,那很简单.可以直接将MP3的播放列表移(拖)动(或剪切、复制)到"开始"(程序)菜单的"启动"指令中.Win98、Win2000和WinMe用户,可直接把文件拖动或剪切到"启动"子菜单上(先拖到"开始"按钮,再剪切或复制到"启动");而Win95以下用户,需要将文件移动到"C:Windows\start Menu\Program\启动"文件目录.     

MP4的冲击

MP4对影片的影响与MP5对音乐的影响相同吗?     

NO分子基态性质的研究

采用量子力学从头算方法,运用二次组态相互作用方法QCISD(T)结合6-311++G(3df,2pd)基组对NO分子基态进行了几何结构优化、计算出了它们的光谱数据(ωe、ωexe、Be、αe、De),结果与实验光谱数据吻合较好,表明上述分子基态的势能函数可用Murrell2Sorbie函数来表示。利用原子分子反应静力学的有关原理,推导出了NO分子的合理离解极限;使用HF、MP2、MP3和B3LYP等理论方法,在6-311G(3df,3pd)基组下,对NO分子基态的平衡结构和谐振频率进行了优化计算,且将计算结果与实验结果进行了比较,得出了B3LYP方法为最优方法的结论。     

中介逻辑的命题演算系统(Ⅲ)

本文为[4]的续篇,现把合取词∧、析取词∨和等值词国←→分别作为MP的定义符号引入,并继续展开MP。     

中介命题逻辑MP的完备性

根据文[4]构造的模型,本文证明了中介命题逻辑演算系统MP的完备性定理,从而得到MP的形式推理完备地反映了演绎推理的结果。     

多媒体操作技巧三则

一、开机自动播音乐 如果你想在电脑开机时,同时启动运行多媒体Winamp来播放MP3,那很简单.可以直接将MP3的播放表移(拖)动(或剪切、复制)到"开始"(程序)菜单的"启动"指令中.Win98、Win2000和WinMe用户,可直接把文件拖动或剪切到"启动"子菜单上(先拖到"开始"按钮,再剪切或复制到"启动");而Win95以下用户,需要将文件移动到"C:\Windows\StartMenu\Program\启动"文件目录.     

NO分子基态性质的研究

采用量子力学从头算方法,运用二次组态相互作用方法QCISD(T)结合6-311++G(3df,2pd)基组对NO分子基态进行了几何结构优化、计算出了它们的光谱数据(ωe、ωexe、Be、αe、De),结果与实验光谱数据吻合较好,表明上述分子基态的势能函数可用Murrell2Sorbie函数来表示.利用原子分子反应静力学的有关原理,推导出了NO分子的合理离解极限;使用HF、MP2、MP3和B3LYP等理论方法,在6-311G(3df,3pd)基组下,对NO分子基态的平衡结构和谐振频率进行了优化计算,且将计算结果与实验结果进行了比较,得出了B3LYP方法为最优方法的结论.