首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   4篇
  免费   0篇
  国内免费   2篇
综合类   2篇
建筑科学   1篇
石油天然气   1篇
自动化技术   2篇
  2021年   1篇
  2013年   1篇
  2012年   1篇
  2008年   1篇
  2007年   1篇
  2005年   1篇
排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
申宇铭  王驹  唐素勤  蒋运承 《软件学报》2012,23(9):2323-2335
对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.  相似文献   
2.
公司机会理论研究   总被引:1,自引:0,他引:1  
笔者评述了美国判例法上流行的公司机会的认定标准。针对董事利用公司机会和董事篡夺公司机会后如何对于公司进行救济做了论述,并根据我国的实际提出若干立法建议。  相似文献   
3.
检波器的性能参数对于确保地震数据接收质量具有重要作用.受限于现阶段相关技术与装备因素,实际在用的大量检波器的性能参数无法及时检测或仅能测试部分指标.为此,从信号与(地震检波)系统的角度出发,认为陆上地震勘探激发的高速地震波在地表极小面积(如1m×1m)范围内的振动特性具有高度一致性,布设在该范围内的多个检波器可视为拥有...  相似文献   
4.
张謇先生所题撰的"忠实不欺,力求精进"校训,既反映了南通纺织专门学校办学的价值取向和文化传统,又反映了他们面对时代变迁所特有的解读理念和应对方式。因此,要全面理解和弘扬张謇先生所题撰的"忠实不欺,力求精进"校训,必须深刻把握其时代内涵,深入领会其所闪耀的时代精神。  相似文献   
5.
段俊梅 《山西建筑》2005,31(5):153-154
介绍了现阶段会计职业道德的状况及内容,阐述了诚实守信是会计职业道德的精髓,其目的是只有提高会计人员素质,诚信为本,不做假账,廉洁自律,才能促进整个社会的经济秩序良性运转。  相似文献   
6.
逻辑之间的语义忠实语义满翻译   总被引:1,自引:0,他引:1  
申宇铭  马越  曹存根  眭跃飞  王驹 《软件学报》2013,24(7):1626-1637
翻译在计算机科学中的一个重要应用是实现一个逻辑与另一个逻辑在表达能力上的比较,以及利用目标逻辑的推理机实现源逻辑的推理.现有逻辑之间的翻译理论和性质没有深入研究逻辑的语义翻译,以及翻译是否保持不可满足性等问题.该文研究了一类同时保持公式的可满足性和不可满足性的翻译——语义忠实语义满翻译,给出了语义忠实语义满翻译的定义,比较了语义忠实语义满翻译与已有文献中翻译定义的区别和联系,讨论了逻辑的可靠性、完备性、可判定性、紧致性、公式的逻辑等价性,以及模型的初等等价性在语义忠实语义满翻译下被保持的问题.运用语义忠实语义满翻译的定义给出了逻辑之间的同义性定义,并证明了同义关系是逻辑之间的一个等价关系.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号