排序方式: 共有60条查询结果,搜索用时 15 毫秒
51.
张申 《课堂内外(小学版)》2002,(Z1)
水杉我国珍贵的珍稀树种之一,属于杉科落叶大乔木,被世界生物界誉为活化石。产于重庆万县、湖北利川、湖南龙山及桑植,现仅有极少数树种残存在我国。 相似文献
52.
市场经济就是信用经济、法制经济,和谐平稳的经济发展需要和谐的社会信用环境根基。我国要建设社会主义和谐社会,是否拥有一个完整良好的信用体系和和谐安定的信用环境,无论在国民经济建设,还是吸引国内外投资,发展民营经济中,都有着的决定性的重要意义。文章就如何加快构建我国和谐的信用生态环境进行了探讨并提出了对策。 相似文献
53.
多媒体网络技术与英语教学整合是指把多媒体网络技术融合到英语教学的各个层面中,使其成为英语教学中的一个因素,成为教师教的工具、学生学的工具以及环境构建的工具.建构主义教育理念是实现多媒体网路技术与英语教学整合的基础,师生的信息素养是实现整合的前提,“任务型”英语教学是实现整合的核心. 相似文献
54.
首届中国·邯郸"汉代赵国与邯郸文化国际论坛"于2014年10月19—22日在古都邯郸隆重举办,来自世界各地的70余位专家学者云集邯郸,共同探讨汉代赵国与邯郸文化。会议期间,与会专家从军事、地理区域、历史人物、文化、碑刻、宗教、土地制度、编年等诸多领域对汉代赵国期间的文化进行了探讨。会议中各位专家学者的研究成果得到了交流与讨论,不仅全面地展现了邯郸地域丰富多彩的历史文化,而且推动了邯郸文化的发展。 相似文献
55.
As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π-calculus, thus facilitating the optimization of business processes. 相似文献
56.
57.
58.
研究非自治离散p-Laplacian系统的周期解的存在性.当具有p-次线性增长非线性项时,利用临界点理论得到了系统周期解存在性的充分条件,所得结果推广了已有结果. 相似文献
59.
60.