排序方式: 共有54条查询结果,搜索用时 15 毫秒
31.
随着新课程改革的深化,学习方式的转变在取得可喜成绩的同时还存在预设与生成、形似与神似、泛化与异化等困境。为此,要实现学生学习方式的转变,还需要进一步加强对学习方式转变的理论阐释,转变教师教育教学观念,提高师生自身质素与能力。 相似文献
32.
开放式创新是当前国际技术创新管理领域的重要研究前沿.结合我国华南地区317家企业的问卷调查数据,对企业外向型开放式创新与突破性创新绩效之间关系以及包括决策中心性、规范化、联通性的组织协作机制的作用进行研究.实证结果显示:(1)外向型开放式创新对突破性创新绩效有着显著的正向影响;(2)决策中心性对突破性创新绩效有着显著的负向作用,但在外向型开放式创新与突破性创新绩效之间起着显著的正向调节作用;(3)规范化、联通性对突破性创新绩效均有着显著的正向影响,但在外向型开放式创新与突破性创新绩效之间关系的调节作用不显著. 相似文献
33.
针对大量网络协议存在种种安全漏洞,采用Fuzzy测试可以有效地进行漏洞挖掘.为了提高Fuzzy测试的效率和漏洞挖掘的成功率,设计了启发式的Fuzzy测试方法.通过对待测协议的形式化描述,抽取出协议工作过程.通过对状态转移图的分析以及Fuzzy测试的响应,智能地触发新的测试数据,提高了Fuzzy测试效率.通过对自行设计的样本协议以及两个公开协议漏洞进行测试,漏洞挖掘时间比穷举式的平均缩短了57.3%. 相似文献
34.
创造性思维的四种形态 总被引:1,自引:0,他引:1
本文研究表明,思维过程受控于方法,因而与方法相对应形成了四种不同的创造性思维,即想象、直观、控制实验和形式化。 相似文献
35.
数学的“形式化”与“本质”的争论由来已久,至今不绝.综合多个视角考察可知,数学的本质是经验性与演绎性在实践基础上的辨证统一.如果把数学的本质看成一枚硬币,演绎性,即“形式化”是其一面;经验性.即“经验化——非形式化”是其另一面.由是观之,普通高中数学课程标准“基本理念7”的表述存在让人误解与含糊之处. 相似文献
36.
邱念慈 《扬州教育学院学报》2007,25(3):57-61
通过对数学发展史的简约回顾和分析,指出数学的发展是内部矛盾和外部需求相互作用的结果,是不断"扬弃",大胆创新的产物。其发展方式是量变导致质变,前进性与曲折性相结合,其特色是高度抽象造就的形式化与结构化的统一。 相似文献
37.
针对软件模型的时间约束能力不强以及形式化验证复杂的问题,本文提出一种基于Petri网的形式化模型调度方法,从时间层次上对模型的合理性进行验证与分析.该方法通过构建系统领域模型到Petri网模型的转换规则,利用Petri网的分析验证技术,实现对软件模型的正确性验证,解决了系统建模时存在的问题.应用实例和实验结果验证了该方... 相似文献
38.
吴子慧 《浙江教育学院学报》2007,(5):65-70
汉语语音发展总的趋势是促声舒化,但在吴语一些方言中却存在着一种舒声促化现象,舒声促化过程大都是伴随着意义的虚化、成分的语法化而进行的,可以看到语义变化对语音的影响。在北方方言中语义虚化常常导致音节弱化,由于吴方言没有类似北京音中的轻声,因此方言中一些成分意义虚化常常表现为音节促化,促化实际上是弱化在吴方言中的一种表现。 相似文献
39.
数学美反映的是主体对数学对象深层结构及其相互间本质联系的认识.对称美、奇异美或现实美、语言美、方法美等均不是数学美的本质属性.而逻辑真实性、形式化与抽象性、和谐统一性、简洁性才是其本质属性. 相似文献
40.
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个DY模型的构建框架,刻画了攻击者的构成要素、行为规则以及行为模式,从而保证了攻击者具有合理的行为与能力,并能在攻击过程中获取新的知识,不断增强攻击能力。最后,将该工作运用到Otway Rees协议的验证中,找出了该协议中所存在的漏洞,从而证明了该构建框架的有效性。 相似文献