MiniSAT求解器在判定可满足性问题中的应用     

曾维鹏  蔡莉莎  吴恒玉  林尔敏 《辽宁高职学报》2013,(7):73-74,83

目前布尔逻辑已成为计算机科学的重要理论基础之一,是研究人类思维规律的重要工具。可满足性问题是典型的NP问题,SAT求解器的开发使得判定可满足性问题更加自动化。以与门电路为例．描述了如何将电路问题转换成可满足性SAT问题并使用MiniSAT求解器进行求解,包括输入格式、选项以及输出格式要求。  相似文献   

基于“教学做合一”的单片机教学改革研究     

曾维鹏  蔡莉莎  吴恒玉 《苏州市职业大学学报》2013,(2):84-86

针对单片机教学现状,结合Proteus仿真软件和C51单片机项目化的教学改革,阐述以项目为载体的情境化教学设计,引导学生在做中学、学中做,使学生在完成典型工作任务的过程中自主地完成学习,取得了较好的教学效果.  相似文献   

Proteus在“计算机接口技术”课程教学中的应用     

蔡莉莎  吴恒玉  曾维鹏 《苏州市职业大学学报》2011,22(4):101-104

基于Proteus的8086和8255A接口扩展电路,以模拟十字路口交通灯为例,阐述了Proteus在＂计算机接口技术＂课程教学中的应用以及仿真过程.将Proteus引入教学中,以生动的演示,激发学生的学习兴趣,深化学生对教学内容的理解,提高学生的创新能力,取得了良好的教学效果.  相似文献   

基于ARM核心的视频监控系统底层软硬件设计     

曾维鹏  蔡莉莎 《苏州市职业大学学报》2012,23(2):48-50

介绍以S3C2440为核心的视频监控系统的底层硬件设计、片上系统的移植及CMOS摄像头驱动程序的编写方法,系统地阐述了基于ARM核心的远程视频监控系统监控端的底层软硬件设计.  相似文献   

基于手机短信的智能交互式环境监测仪的设计与实现     

曾维鹏  蔡莉莎 《苏州市职业大学学报》2015,(2):19-21

以GSM通信模块为网络载体,设计一款能够远程监测环境的智能型产品.该设计以STC15F2K61S2单片机作为产品的控制核心,以西门子TC35作为GSM网络通信模块.采用DHT11模块对温湿度进行采集,GP2Y1010AU0F对粉尘颗粒进行监测,使用LCD显示控制端数据.开发时采用预设好的指令协议,用户可根据通信协议上的指令远程获取环境信息或发送打开电器的指令.  相似文献   

我的文学梦     

曾维鹏 《中学语文园地(初中版)》2005,(11)

早自习时,班主任攥着一张报纸,迈着急匆匆的步子满面春风走向讲台:“告诉大家一个好消息,我班一位同学在报纸上发表了文章呢!”轻轻的唏嘘声、啧啧的赞叹声汇成了一首美妙的乐曲,我心里更是乐开了花,身子不由自主地前倾,热切等待老师宣布名字——前些天,我暗自写了一篇作文,交给了老师认真修改后,便让它带着我的心,托着我的梦,悄悄地飞向了《少年文艺报》编辑部……“这位同学便是薛征宇!”班主任的话如炸雷般在我耳旁轰响。我不敢相信自己的耳朵,重重地跌在板凳上,心中的希望和梦想肥皂泡般破灭了。读了许多书之后,不知不觉萌发了写作的欲…  相似文献