仿真家庭服务机器人行动序列规划研究

随着社会的进步和科技的发展,服务机器人日益受到人们的关注.服务机器人在复杂的家庭环境中如何做到自主决策以便更好的辅助人类生活,将是一个研究热点.回答集程序是一种具有非单调推理能力的知识表示和推理的方式,同时也是一种问题求解的工具.文中探讨了基于服务机器人模型的回答集程序规则的编制,并通过实验证明,回答集程序能方便、高效地求解出最优的行动序列,并且在划分搜索空间后,回答集程序求解的效率得到进一步的提高.     

2012的轨迹

最近不少读者都问我类似的问题:对自己心仪的产品是立马就买,还是等过了年降价?我的回答是:反正已经是2012了,你自己看着办!接下来,大多数人都直奔电脑城而去,或者在网上直接下单。     

敏感性问题的一种调查方法

基于调查数量特征的敏感性问题的随机变量乘法模型提出了一种改进模型,该模型比随机变量乘法模型有着更高的精度．由此,将此改进模型推广到最优分配下的分层抽样情形,在总体适合分层时,能提高总体估计量的估计精度;另外,由于在不同层中可以使用不同的随机化装置,这在实际的调查操作中有着更强的可行性．     

科技论文的规范表达

<正>英文摘要的写作根据《EI》的要求,一篇较好的英文摘要应较好地回答以下4个方面的问题:1)What you want to do(目的);2)Howyou did it(方法);3)What results did you get and what conclusions can you draw(结果和结论);4)What is original in your paper(创新独到之处)。     

基于中文自然语言理解的农业信息自动回答系统

随着信息社会、知识经济的到来,传统的被动式知识传授已逐步让位于主动式知识探究。本系统主要从农业的信息角度出发,采用中文自然语言处理技术,建立知识库和自动分词,进行语言理解,这样一方面完成对用户提问的理解;另一方面完成正确答案的生成,使农民能够及时得到自己想要的信息,更快捷的处理疑问,使其真正实现农业信息化。     

装机时Ghost的好用还是安装版的好用?

很多人问Ghost的好用还是安装版的好用,这个问题很难回答又很好回答。因为有些人用Ghost感觉装机速度快,安装后也没有什么问题,那就叫很兼容你自己的电脑,叫做买对合身的衣服了。以前我一直都喜欢Ghost,后来自己会封装系统了。慢慢地感     

你的电脑怎么啦

我离开电脑时,我的电脑就"生病"了,别人问"你的电脑怎么啦?"我就回答说"凑合着用呗!"这样他们也就断了想霸占我的电脑的坏心了。待我回来时,电脑又神奇地"康复"了。请看我的两招。     

基于ASP的CSP并发系统验证研究

传统并发通信顺序进程(CSP>性质的验证通常使用3个不同的模型层面,从而增加了系统的复杂性和验证 工具开发的难度;同时,主流的并发系统模型验证工具不支持在系统的一次运行中验证多个性质,这也降低了性质验 证的效率。首先将CSP程序转换为ASP程序,然后将CSP进程并发规则和以LTL/CTL公式表示的待验证性质转 换为ASP规则,从而建立了基于ASP验证CSP并发系统性质的统一框架。实验结果表明,基于ASP的CSP并发系 统验证技术易于实现,在保持较高验证效率的同时,能够支持在验证软件的一次执行中验证多条LTL/CTL公式。     

真正的奢侈品

"回头看看青山,假期已经过完.秋风你先吹着,我得回城挣钱." 长假节后第一天,看到老树用这样的文字配画.画中一片萧索秋色,唯有寂寥行者一袭白衣草帽独立山峦. 画得好,说得也好.按我的理解,就是莫负时光——该玩就玩,该干活就干活!可活要干得漂亮,非坚持一以贯之不可. 不由想到,最近黄永松老师在回答"坚持这么多年汉声,您内心支撑的力量是什么?"时说:"为了把设计做好,为了把汉声的内容设计好,为了让读者了解那些民间的手工艺艺术,43年一直没有改变.乐此不疲,把事情做出来,所有的困难变成经验,就会很开心."     

乡下人与城里人系列(2)

脑筋急转弯有个城里人去大山里度假,结果小车在山上抛锚了,刚好有几个农民路过,城里人就说:"几位,能否帮我把车发动,我给你们100元。"几个农民相视一下,都同意,几个农