基于Monad的非确定性里程网描述方法

非确定性进程网是纯函数数式操作系统中的一个重要问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Ｍｏｎａｄ用此Ｍｏｎａｄ在纯函数式语言中描述了非稳定性进程网。     

基于因果关系复合的结构化并行程序设计

基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ理论，提出了一种结构化并行程序设计方法，以支持不同并行平台的“通用”并行程序设计方法．因果关系复合的范式定理的证明在理论上保证了采用“ＳＥＱＯＦＰＡＲ”形式进行结构化并行秩序设计的可行性；良好的代数性质也使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证．与其他并行程序设计模型和方法相比，提供了一种非常自然地综合描述数据并行和控制并行的途径；特别是基于代数变换的程序变换技术，提供了一种既独立于具体的体系结构又可高效实现的可能性．     

混合型冗余方程组与n—线性方程的求解

本文讨论了一类常量函数不一定相同的混合型冗余方程组的求解，依据程序依正交系展开的理论与方法，将ｎ－线性方程的求解进行了推广，使其应用范围更广泛，并给出了实例。     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

浅谈英语中表达因果关系的动词的用法

通过实例介绍,分析了英语表达因果关系的动词的不同用法。很好地使用这类动词,有助于阅读理解或翻译实践。     

自动程序设计系统

本文描述一个自动程序设计系统的梗概。给出了一系列常用的形式化程序设计策略,它们连同[1]中所给出的形式推导程序规则,构成一个目标导向的自动程序设计系统的基础,并通过几个程序的构造过程,指出它们的适用性。阐述了把程序进行抽象的方法,讨论了程序的推广。证明了关于一类等价程序模式的定理,从而提供了该类程序模式推广时所用的算法。     

面向Agent的多范例语言I*的设计与实现

讨论在Ｉ＋上进一步引入刻划ａｇｅｎｔ间通信所必需的原语及基于ＨＴＴＰ的中间件而形成的面向ａｇｅｎｔ的多范例语言Ｉ＾＊,在Ｉ％＊中引入了一些处理ａｇｅｎｔ的原语,它们来自Ｓｈｏａｍ的ＡＯＰ和Ｆｉｎｉｎ的ＫＱＭＬ。Ｉ＾＊的实现策略是将Ｉ＾＊转换为Ｉ＋加上ＫＡＰＩ提供的支持ａｇｅｎｔ间通信的库函数调用。ＫＡＰＩ提供ａｇｅｎｔ间的传送和通信界面,支持的协议有ＴＣＰ／ＩＰ、ＨＴＴＰ、ＥＭＡＩＬ等。     

健美操在高职教育中实践价值的浅析

本文简要阐述了高职健美操在体育普修课教学阶段的价值和意义,以及在教学中的地位和作用。健美操是一项符合大学生生理、心理及社会发展需要的一项体育运动,而且具有很高的实用健身价值。     

沂南金矿缓倾斜薄矿体采矿方法及运搬设备的技术改进

沂南金矿深部矿层产状平缓,规模较小,采用传统采矿方法及运搬设备存在采掘比大、设备安装劳动强度大等难题。为提高经济效益,研究改进了采矿方法及运搬设备,解决了矿山生产难题。     

补充银杏多糖对糖尿病大鼠腓肠肌细胞结构的影响

观察银杏多糖对大鼠腓肠肌结构的影响，为银杏多糖治疗糖尿病提供实验依据；方法：建立糖尿病模型，观察糖尿病大鼠腓肠肌细胞结构的影响。结果：银杏多糖对糖尿病大鼠腓肠肌细胞具有修复作用。