共查询到20条相似文献,搜索用时 46 毫秒
1.
2.
谓词/变迁系统对一阶谓词公式的建模 总被引:1,自引:0,他引:1
研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中"由粗到细,逐层分解"的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的"事实变迁"表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。 相似文献
3.
在对农村教育投资机制制约与促进发展因素进行系统分析的基础上,利用系统动力学流率基本入树建模法,建立了反映农村教育投资、人力资本形成与劳动力转移的系统反馈结构模型。并利用笔者提出的系统反馈基模生成系计算方法,计算出系统反馈基模,通过对系统主导反馈基模的分析,提出相应的管理方针,实现了用系统科学的方法有效分析"三农"问题的目的。 相似文献
4.
5.
6.
7.
8.
本文从系统的角度分析了西方现代民主的存在基础-人民主权;民主的价值追求-公民自由;民主的基本制度:议会制度、选举制度、政党制度、社会自治制度;民主的运行机制:参与竞争机制、权力制衡机制、法治机制.明确指出应从系统的角度来认识现代民主的共性和规律性,及其缺陷和不足,为中国社会主义民主政治建设提供参考与借鉴. 相似文献
9.
10.
对C4 IRS效能的评估 ,仿真是一个最重要的手段。但C4 IRS系统中的元素多 ,相关性多 ,较难描述。本文提出了用自治对象描述C4 IRS系统 ,提出了一个自治对象的分析建模方法。在这个方法中 ,我们将仿真分为两层 ,下层是对仿真的要素进行建模 ,产生自治对象。自治对象的静态结构和行为模式下因环境的改变而改变 ,以支持最大限度的可重用 ,并可以通过组装这些预制对象来建立仿真想定。上层则通过组合预制对象并定义交互 ,以搭积木的方式建立仿真系统和想定。最后 ,用分布式软件来实现各个自治对象 ,实现用软件构件进行仿真。 相似文献
11.
分布式防空C~3I系统是一类复杂的系统,建模与仿真是对其进行研究的重要途径。但是需要对所建立的模型进行验证。研究了分布式防空C~3I系统及于模型的验模方法,阐明了分布式防空C~3I模型的校核和认可的概念。这对分布式防空C~3I系统建模与仿真的发展具有重要意义。 相似文献
12.
13.
提出DC-DC开关变换器的两种建模方法,并对之进行了比较,以便更有效地对变换器中的各种线性、非线性现象进行数值仿真及分析计算。一种建模方法是考虑时间,将时间变量看成为一个状态变量,从而建立非自治系统模型;另一种是不考虑时间,而仅考虑电路状态变量,来建立变换器的自治系统模型。两种模型的数值仿真结果完全一致,但以这两种模型为基础,计算所得到的最大Lyapunov指数的表现是不同的,相比较而言,以自治系统模型为基础,计算所得的最大Lyapunov指数包含更多的信息,它不仅能指示混沌的产生,而且可以指示各次分叉的情况。 相似文献
14.
Coloured Petri网(简称CP-nets或CPN)是一种用于设计、详细说明、仿真和检验的面向
图形的语言。它特别适合于那些通讯、同步、资源共享非常重要的系统。例如应用程序间的通讯协
议、分布式系统、嵌入式系统、自动化生产系统、工作流分析和超大规模集成电路芯片。 相似文献
15.
提出了一种基于Petri网的序列密码加密方案。这种方案的基本要领是用唯一可达向量无界Petri网来产生密钥序列。产生密钥序列的计算量是明文长度的线性函数。这样产生的密钥序列是没有周期性的,也不会出现大的游程。只要每次加密时选用不同的初始标识,这种密码系统是一次一密的。由于初始标识可以以赋值的形式同密文一起传送,密钥传送十分方便。 相似文献
16.
本文对英美科学哲学中的以南茜.卡特赖特为代表的史坦福学派新经验主义(斯坦福学派是一个强调从哲学上来研究实际的科学实践,否定科学统一或科学整合可能性的新经验主义的松散联盟,成员包括John Dupré,Ian Hacking(哈金),Margaret Morrison(莫里森),Peter Galison(艾莉森)和Nancy Cartwright等人,其中以南茜的观点最为激进。Nancy Cartwright(1944-)伦敦经济学院哲学系教授,前任美国科学哲学学会主席。英国科学院院士。曾经任教于许多大学包括美国斯坦福大学。)提出批评、剖析和讨论,认为南茜否定基本物理定律的普遍性的观点以及她的"斑杂破碎的世界"是对一般科学方法论和系统科学方法论的一种颠覆性的论证。清华大学吴彤教授根据新经验主义提出的《破碎的系统观》是我国系统哲学的一种新见解,也是很有启发性和颠覆性的,无论你赞成还是反对面对,都值得我们认真研究和讨论。本文认为系统科学的发展实际上已经正面解决了"南茜的质疑"。系统科学哲学研究的关键问题在于采取跨学科研究方法,具体地研究不同类型的系统。当今的主攻方向是要研究复杂系统的普遍规律及其突现行为,并用于解决我国开放改革遇到的各种全局性和局域性问题。世界是有系统的和有规律性的而不是斑杂破碎和无规的。 相似文献
17.
对C\+4IRS效能的评估,仿真是一个最重要的手段。但C\+4IRS系统中的元素多,相关性多,较难描述。本文提出了用自治对象描述C\+4IRS系统,提出了一个自治对象的分析建模方法。在这个方法中,我们将仿真分为两层,下层是对仿真的要素进行建模,产生自治对象。自治对象的静态结构和行为模式下因环境的改变而改变,以支持最大限度的可重用,并可以通过组装这些预制对象来建立仿真想定。上层则通过组合预制对象并定义交互,以搭积木的方式建立仿真系统和想定。最后,用分布式软件来实现各个自治对象,实现用软件构件进行仿真。 相似文献
18.
"联合起来的社会个人的所有制"这一马克思对未来社会主义所有制的科学构想,是由共同所有与个人所有两个子系统构成的完整体系。在这一基础上所建构的以公有制经济为主,多种所有制经济共同发展的所有制结构,以至趋向混合所有制发展,其中无不渗透着系统科学方法论。 相似文献
19.
20.
一种用于混沌通信的跳频频率合成器设计 总被引:1,自引:0,他引:1
现代宽带、多用户通信系统使用了跳频技术提高系统处理增益及抗干扰能力。提出了一种用于混沌保密无线通信系统中的跳频频率合成器设计方法 ,以直接数字式频率合成为核心 ,结合锁相环构成微波快跳频频率合成器。分析了设计方案及理论基础 ,直接数字式频率民器在实际应用中的特性及设计考虑。结果表明 ,以DDS为核心结合PLL的跳频频率合成器 ,可以解决PLL的高鉴相频率与高频率分辨率的矛盾 ,同时扩展了DDS的输出带宽及提高了输出频率 ,对DDS产生的杂散信号有一定的抑制作用 相似文献