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