一个极小不可满足公式子类改名的复杂性研究

改名规则在创建有效的满足性算法和简化某些消解难例的证明中起到了重要作用,对于一些具有对称结构的难例公式,可以通过改名来降低其证明的复杂性.研究了一个极小不可满足公式子类,给出了该子类的改名算法,并证明了对该子类中改名问题可以在多项式时间内判定.     

中国近代实业教育和职业教育

中国近代实业教育和职业教育到底是一种什么关系?《中国大百科全书》教育卷第520页写道:“……1917年5月,教育界和实业界黄炎培等48人在上海发起创办中华职业教育社,将实业教育正式改名职业教育。”此中提出两个问题:一、职业教育由实业教育改名而成;二、改名的时间在1917年中华职教社成立后。笔者认为这种说法值得商榷。中国近代实业教     

我们是如何试办高等职业教育的

邢台职业技术学院始建于1979年,是在原华北农机学院(现中国农业大学)的校址上建立起来的,当时的校名为邢台农机学校,后来改名为邢台机械工业学校,1983年总后生产管理部接收学校后改名为军需工业学校。1991年,国家教委和总后勤部     

冷看高校改名热

近年来,随着高校扩招、高等教育规模迅速扩大,我国兴起了一股高校改名风,而且越刮越热。高校改名风有四个特点:一是范围广,比例大。笔者找到一份10年前的某省高校名单,与目前的名单对照,已经改名的占70%以上。如果从1978年改革开放算起,90%以上的高校已经改了校名;换句话说,除了原来就叫大学的外,绝大多数高校都改过校名。二是频繁改名,不断变脸。有的高校不是改一次校名,而是一改再改。例如,建于1957年的广东民族学院,1998年10月改名为“广东职业技术师范学院”,2002年10月又更名为“广东技术师范学院”。又如,河北一所高校在不到20年内3次…     

美国大学入学数学科目考试Level 1及Level 2介绍

在美国，SAT是最主要的全国性大学入学考试．在以前，SAT是Scholastic AptitudeTest（学术倾向考试）的缩写．在1993年，SAT被改名为SAT1：Reasoning Test，同时以前的Achievement Tests被改名为SAT Ⅱ：Subject Tests．到了2004年，数字“Ⅰ”和“Ⅱ”被舍弃，这个考试被重新改名为SAT Reasoning Test（SAT推理考试，经常被简称为SAT）和SAT Subject Tests（SAT科目考试）．     

北京大学和北京大学校

人教版历史教材八年级上册最后一课说：“辛亥革命后,京师大学堂改名为北京大学。”北师大版八年级上册说：“1912年,京师大学堂改名为北京大学。”其实1912年是改名为北京大学校。“北京大学”这一称谓几年后才出现。     

对教育技术学专业改名的思考

对新颁布的《普通高等学校本科专业目录》中所修改名称专业的横向比较显示,"教育技术学"专业的改名不符合整体的专业"宽口径"取向,也不符合专业的成熟地位;专业改名的历史分析表明,当前的"教育技术学"专业改名既不合理又不合情,改名代价巨大;对专业名称进行语言学意义的思考进一步证明专业改名缺乏必要性。     

教学楼改名不能“家长制”

大学教学楼被悄然改名为真维斯楼,非但公众突兀、惊讶,就连与该校朝夕相伴的师生们也错愕不已、莫名其妙,因为挂牌当天他们才知道第四教学楼已经改名,之前没有公示。听说以前食堂改名都是征集学生意见的,这次没有事先听说。不声不响地就将真维斯牌子挂上去     

教你更改文件扩展名

目前在各种计算机考试中，涉及的件改名题目大多只要求更改主件名．如将“pc．doc”改名为“电脑，doc”，这并不难，只需在右键菜单中利用“重命名”即可。如果要将“pc．doc”改名为“pc．txt”．就不那么容易了。下面就以上述件的改名为例．教上你几招：     

名人改名以自励

邹韬奋原名恩润,“韬奋”是他后来起的笔名。按他自己的解释,“韬”是“韬光养晦”,“奋”是“奋斗不息”,并以此自勉。著名教育家陶行知曾两次改名。他原名陶文俊,青年时期因崇拜南宋理学家王阳明的“知是行之始”,改名为“陶知行”。后来,实践使他明白应该是“行而后知”,于是,他又改名为     

美国大学入学数学科目考试Level 1及Level 2介绍

在美国,SAT 是最主要的全国性大学入学考试.在以前,SAT 是 Scholastic Aptitude Test(学术倾向考试)的缩写.在1993年,SAT 被改名为 SAT Ⅰ:Reasoning Test,同时以前的 Achievement Tests 被改名为 SAT Ⅱ:Subject Tests.到了2004年,数字“Ⅰ”和“Ⅱ”被舍弃,这个考试被重新改名为 SAT Reason-ing Test(SAT 推理考试,经常被简称为 SAT)和SAT Su bject Tests(SAT 科目考试).SAT 推理考试一共包括三个部分:阅读(criticalreading)、数学、写作.其中数学部分共54道题,用时70分钟.     

星座真的很灵验?

编辑叔叔:我想改名,因为我是"巨蟹座"。改名才能"前途 无量"。可是,改名,毕业算总分就会有麻烦,听说还得上派出所 登记。对吗?我该怎么办? 宝鸡市 郝海龙 《时事》编辑室:我是一名家长。今年暑假,女儿(初二)拒 绝和全家去旅游,说是星座书上讲,夏季她不宜外出。真奇怪!原 来,她和不少同学都迷上了《星座物语》。请问,这算不算是现代 迷信? 贵阳市 刘工     

改名为哪般?

郭沫若——原名郭开贞。在日本留学时,因眷恋故乡而改名"沫若",取自冢乡两条河沫水(大渡河)和若水(岷江)的名字,表达对家国的思念。徐悲鸿——原名徐寿康。由于家境贫寒,常遭人冷落,深感前途渺茫、世态炎凉,不禁悲从中来,有如鸿雁哀鸣,遂改名"悲鸿"。沈尹默——原名沈君默。当时国民党政府不许百姓谈论国事,于是在朋友的启发下,将"君"字下面的口去掉,改名为"沈尹默",极具讽刺意味。谢冰心——原名谢婉莹。因关心国家民族的命运,遂改名"冰心",取自王星龄《芙蓉楼送辛     

行，而后知--在东郡读陶行知

陶行知,生于1891年,卒于1946年。本名陶文,因欣赏王阳明“知行合一”学说改名知行,后认为“行是知之始;知是行之成”,遂改名行知。现代中国著名教育家。     

城市改名热的冷思考

城市改名,古今中外不乏其例。近20年来,中国各地出现了城市改名热潮。通过改名塑造城市品牌,提高知名度,无可厚非。但改名之后,优劣良莠,却大不相同。湖南大庸,地处武陵山区,曾被笑称"抽一根烟就可走遍的县城",闭塞落后,鲜为人知。1994年更名为张家界市后,建机场,通火车,知名度飙升,2009年旅     

武汉财校:小巷深处楚天阔──湖北省重点职业高中武汉市财贸学校采访手记

［名校档案］学校前身是武汉市红军中学,始建于１９６５年,１９８１年创办职高班,１９８４年改名为武汉市第三职业中学,１９８５年改名为武汉市财贸职业中等专业学校,１９９５年改名为武汉市财贸学校,同年１２月被认定为湖北省重点职业高级中学。学校全面贯彻党和国家的教育方针,坚持“面向市场,服务经济,求真务实,提高质量,办出特色,以质取胜”的办学思想,为武汉地区经济建设和社会发展输送了３０００多名财会人才。学校坚持“德育为首、教学为主、技能培养为本”的办学原则,在全面提高学生思想素质和业务能力方面取得了显著…     

北朝政区“柏人”改“柏以石刻资料为线索”考——以石刻资料为线索

汉晋以来一直存在的柏人县,在《魏书·地形志》中仍作“柏人”,而在《隋书·地理志》中被记作“柏仁”,《元和郡县图志》及《太平寰宇记》记载改名的具体时间为后魏,又有不少学者依据《魏书·地形志》认为改名当在更晚的周齐之世。结合出土石刻文献材料,改名时间应当在后魏之世。     

在创新中求发展 在发展中铸特色——开拓创新的合肥市第四十五中学

合肥市第四十五中学是隶属于合肥市庐阳区的一所初级中学，建于1937年大别山区的立煌县，取名张家畈小学，校长卫立贤。1946年元月迁到合肥，取名安徽省实验小学。1949年元月，合肥解放，学校改名为合肥市立第一小学。1956年，学校改名为合肥市淮河路第一小学。1974年正式改名为合肥市第四十五中学。     

从陶行知先生的名字说开去

陶行知先生原名陶文濬。读大学时,因信奉明代哲学家王阳明的“知行合一”学说,认为“知是行之始,行是知之成”,故改名为“陶知行”。43岁时,由于经过多年的实践,认识到“行是知之始,知是行之成”,因而又改名为“陶行知”。陶先生的改名,体现了他教育思想的转变。他曾说:“行动是思想的母亲。”又曾说:“行动是老子,知识是儿子,创造是孙子。”这些精辟的话,形象地说明了     

冷看高校改名热

近年来，随着高校扩招、高等教育规模迅速扩大，我国兴起了一股高校改名风，而且越刮越热。高校改名风有四个特点：一是范围广，比例大。笔者找到一份10年前的某省高校名单，与目前的名单对照，已经改名的占70％以上。如果从1978年改革开放算起，90％以上的高校已经改了校名；换句话说，除了原来就叫大学的外，绝大多数高校都改过校名。二是频繁改名，不断变脸。有的高校不是改一次校名，而是一改再改。例如，