论文部分内容阅读
研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.
抽象算子逻辑及其自然演绎系统
【摘 要】
：
研究了抽象算子逻辑,并用算子标识约束讨论了抽象算子逻辑的语法、语义、公理系统、自然演绎系统和正规自然演绎系统.为层次结构系统分析设计中的约束处理提供了理论基础.
【机 构】
：
东北师范大学软件学院,吉林大学符号计算与知识工程实验室,悉尼科技大学信息技术学院,悉尼科技大学信息技术学院吉林长春130024吉林大学符号计算与知识工程实验室吉林长春130023悉尼科技大学信息技术学
【出 处】
：
东北师大学报：自然科学版
【发表日期】
：
2004年4期
【基金项目】
：
国家自然科学基金资助项目(40202030,60275002,69903005),香港王宽诚教育基金资助项目,澳大利亚访问学者基金资助项目,欧盟、英国工程课题,博士点基金资助项目,地质行业科学技术发展基金资助项目.
其他文献
自90年代起,随着我国经济建设和新闻事业的迅速发展,全国各地的新闻大楼如雨后春笋般地崛起,全国省市级报社已有一半以上盖起了高层办公楼.众多的新闻大楼无不以其独特的造型
所谓记者的职业道德,是指记者在职业活动的整个过程中,必须遵循的与所从事的职业活动相适应的行为规范与准则.它是社会道德的一个组成部分.恩格斯曾说过:“实际上,每一个阶级
新课程的启动，呼唤着教师角色的重新定位。课堂教学过程是课程的创生和开发的过程．教学是师生交往、积极互动、共同发展的过程。教学的最终目的是促进学生各方面的发展，从而培养
[目的]观察手法治疗腕管综合征的疗效。[方法]48例患者均采用手法治疗,术后患部用神灯（TDP）照射20min。1次/d,10次为1疗程,观察疗效。[结果]本组48例经2～4个疗程治疗后,显效12例
新闻报道十分讲究时效性。如果时效性太差,也就不是新闻而是历史了。杂谈文章呢?它也是注重时效的。当然,它的时效性不应该像对新闻那样去作要求。如果说三五天前的事实已算
高手,令许多初学写作者望而生畏,可我却常常与高手打得火热,只敬而不畏,且敢与他们同垂钓.去年盛夏,听说胜利街派出所破了系列案件,我便赶去采访.正巧那天电视台的记者去拍专
《课堂面对面》系列专栏，主要由中国教育报刊社《中国教师报》编辑粱恕俭老师和湖南省岳阳县第八中学卢望军老师共同执笔，旨在通过理论展示＋课例分析的方式，从多个角度对课堂教育
依据岩石多角度偏振光谱反射特征数据,运用神经网络方法,对反射特征相近的岩石加以识别.在识别中以不同方位角、反射角及入射角的反射比等参数作为训练样本及测试样本,训练样本经过网络学习、训练得到神经网络模型,测试样本对神经网络模型进行检验,实验证明将神经网络应用于岩石多角度偏振遥感技术是岩石识别的一种切实可行的方法.
为了满足中医药远程教学。多功能检索以及方便中草药资源信息的收集。采用了C=，为中草药资源信息化提供了一个信息收集和查询网站平台．简要介绍了静态网页中信息的数据导入系统