共查询到18条相似文献,搜索用时 93 毫秒
1.
非确定性进程网是纯函数数式操作系统中的一个重要问题,但是纯函数式语言缺乏处理非确定性的功能,本文给出了一个非确定性Monad用此Monad在纯函数式语言中描述了非稳定性进程网。 相似文献
2.
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点。本文探讨了在函数式I/O系统中数组操作的问题和数组更新的指称语义。 相似文献
3.
函数式语言中赋值语句(之二) 总被引:1,自引:1,他引:0
为了能够较好地处理函数式程序设计语言中的I/O问题,通过采用Monad方法将I/O加入到函数式程序设计语言中,来保持函数式程序设计语言的优点,本文探讨了在函数式I/O系统中加入赋值操作与其引用透明性的问题。 相似文献
4.
詹小平 《湖南师范大学自然科学学报》1994,17(2):6-14
值分布论中一个著名猜想是的下界.若将f限制为整函数,自然会提出的下界估计问题.这个问题对于级λ>1的情况至今没有解决,但对于级λ<1(或下级μ<1)文献[1],[2],[4]已建立了不等式式推广到与n个判别复数有关的代数体函数,建立了不等式若用原有的方法,不可能将(*)中的ak换为增长较慢的亚纯函数。本文用Boutroux-Cantan引理在(O,r)中除去一个测度趋于零的r集合外得出logM(r,f)的上界,并在非除去集合中找出Polya峰。从而将(*)中的n个判别复数ak换为增长较慢的亚纯函数ψk. 相似文献
5.
我们得到非常数亚纯函数与其k阶导数分担一个值时的必要条件,并进一步在某种情况下降低对幂指数的取值要求,减弱对极点密指量的限定,得到了一个关于亚纯函数的唯一性的定理. 相似文献
6.
提出一种基于最优潮流、计及SVC影响,同时考虑经济效益和环境效益的电力系统多目标交易计划模型.首先对各单目标确定性模型求解,得到目标函数值,其次对目标值进行一定程度的伸缩,并定义目标隶属度函数,将确定性问题模糊化.接着采用最大满意度法将多目标问题转化为单目标问题,然后采用非线性规划方法求解,得到新的潮流结果.仿真结果验证了算法的有效性. 相似文献
7.
定义了函数式语言SFL,给出了由SFL到PROLOG的一般性转换方法,设计并实现了自动转换系统。 相似文献
8.
通过对电环合反应的分析,提到一个具有一定化学意义的函数式:然后通过对环加成,σ键迁移反应,进一步拓宽该函数式的应用范围,得到一个很有价值,具有普遍意义的函数式.于是利用此式,通过计算,也可用微机处理,就可分析反应的条件方式,预测反应产物.经反复实践印证,该函数式有着广阔的应用前景. 相似文献
9.
时间序列搜索是现实中一个典型的在线交易决策问题,已有各种不同的模型用确定性或随机性算法得到求解.基于引入利润函数的模型基础,提出了随机性算法,分析了其竞争比,并通过实例表明,该算法与确定性算法相比较在一定情况下可以有效地降低算法竞争比. 相似文献
10.
11.
介绍了笔者将馆藏数据CNMARC化的方法及体会。从技术方案的选定、转换语言的选择、对现有.DBF馆藏数据的分析等入手,分析将.DBF格式数据转换成MARC格式的过程,最后提出使用VB语言和ACCESS数据库将.DBF转换成MARC文本的算法。 相似文献
12.
氢氧化钠介质中三聚磷酸钠对铝的缓蚀作用及吸附热 总被引:1,自引:0,他引:1
采用失重法研究了氢氧化钠溶液中三聚磷酸钠在不同温度和浓度下对铝的缓蚀作用,发现三聚磷酸钠在铝表面上的吸附是产生缓蚀作用的重要原因,且吸附规律服从Langmuir吸附等温式.用Sekine方法处理实验数据,获得了吸附过程相关的重要热力学参数.吸附过程是吸热过程,且熵值增大.随温度升高,吉布斯自由能减少,缓蚀率增大. 相似文献
13.
14.
人们在认识世界的进程中,一般总是根据自己熟悉的、具体的和有形的事物概念去认识和对待陌生的、抽象的和无形的事物概念.不同概念之间相互关联,经过长期的文化积淀,就形成了"联想链",因而可以说"联想链"是隐喻认知的产物.拥有不同文化的人们在选择联想喻体时存在差别,因而不同文化中的"联想链"也会有所不同.在翻译领域使用"联想链"这一术语,有益于将繁杂的文化现象系统化.探讨、分析、合理应用英汉"联想链",有助于做好英汉相关文化词的互译. 相似文献
15.
翻译是一个非常复杂的工程。译不仅要忠实地把原语作的意思表达清楚。还要把原语的各种积极修辞效果传达到译中。由于英汉“血缘”关系太少,许多修辞手段存在着本质的区别。特别体现在音韵以及典故习语表达方面。修辞效果在翻译过程中易于遗失。所以。要想方设法最大限度地保持原语的修辞效果。修辞效果的遗失与保特是一对矛盾,需辩证地看待。 相似文献
16.
用密度泛函理论的DFF/ROB3LYP方法计算了几种一碳掺杂(碳取代一个硼原子或氮原子)的硼氮纳米管的电子结构,研究了其导电性,得到了这种碳掺杂硼氮纳米管的能带结构和态密度曲线,并与纯硼氮纳米管作了比较,讨论了碳掺杂对硼氮纳米管导电性的影响. 相似文献
17.
18.
介绍了计量网络图的辅助设计与管理系统的设计和实现,给出了多种语言混合编程的一个成功的应用。 相似文献