一致域与拟共形映照

本文讨论一致域与拟共形映照之间的关系，主要结果为：1）定义在单连通区域DR2上的拟共形映照将D的真子一致域映为一致域。2）定义在区域D包含于Rn上的同胚f，若将D内的一致域映为一致域，且后者的系数仅与前者的系数及n,f有关，则f必为拟共形映照。

语域一致与语域偏离分析

语域一致对语篇衔接与语篇连贯起着重要作用,但在一些语篇中语言使用者经常会背离常规,使用文体学中的偏离手法来达到某种艺术效果或交际目的。文章通过系统功能语言学的语域三要素来分析语域一致在语篇连贯中的作用以及语域偏离对语篇的作用,从而更好地实现对语篇的理解。

一致域和最大-最小不等式性质

引入区域的最大最小不等式性质，研究最大最小不等式性质和一致域的关系，得到了下述结果：（1）区域的最大最小不等式性质具有拟共形不变性；（2）如果区域D是一致域，则D具有最大最小不等式性质；（3）若D和它的外部D^＊=^-R^2／^-D具有最大-最小不等式性质，则D是^-R^2中的一致域．

一致完全域,Bers空间与自由插值

设Ω是C中的双曲型区域,λ_Ω(z)|dz|为其上的双曲(Poincar(?))度量。令δ_Ω(z)=dist(z,Ω)及[δ_Ω(z)]^(-1)·|dz|为Ω上的拟双曲度量。又置A_λ~∞(Ω)和A_δ~∞(Ω)分别是具有范数‖f‖_λ=|f(z)|·[λ_Ω(z)]^(-1)<∞和‖f‖_δ|f(z)|δ_Ω(z)<∞的Ω上解析函数f之全体。在本文,一致完全域Ω,即满足C(Ω)=infλ_Ω(z)δ_Ω(z)>0的域Ω被研究,进而A_λ~∞(Ω)与A_δ~∞(Ω)中的函数被刻划;最后就单连通区域Ω上的A_λ~∞(Ω)=A_δ~∞(Ω)中的自由插值问题也被考虑。

关于一致域一个特征的初等证明

利用初等的方法和John圆技术证明了R2中的任一有限连通域D是一致域当且仅当D的每一边界分支均为拟圆周或一点.由此得出结论:平面一致域是拟圆的推广.

语域一致+拓展衔接<=>连贯?——兼评张德禄先生的“衔接观”

张德禄近年来在衔接理论方面提出诸多新观点,本文评论了张的"衔接观",指出[语域一致+拓展衔接]仍然不能等价连贯;尝试通过"突显"、"衔接力"等概念部分地弥补张"衔接观"的缺陷;兼谈了关联理论对系统功能语言学衔接理论的有益补充。张力图将衔接与连贯统一起来的努力取得了一定成就,同时要兼顾其他学科如认知心理学、语用学等对衔接理论的补充和对心理连贯的揭示。将二者融合起来解释连贯,无疑是最佳的选择。

PPDDL一致性规划任务的有限域转换方法

给出了PPDDL一致性规划任务和有限域一致性规划任务的定义,扩展了非确定动作等相关语义,并在此基础上提出了一种将PPDDL表示的一致性规划任务转换为有限域表示的一致性规划任务的CFDR方法,实现了经典规划的FDR转换算法在一致性规划中的扩展。相比MCPT算法,主要改进了其中的合成不变量方法和任务生成方法,此外还增加了对于非确定动作效果的表示和处理。通过在标准的一致性规划域上的实验,证明了CFDR的适用性和有效性。

语域一致加拓展衔接等价于连贯吗——评张德禄先生的“衔接观”

张德禄在衔接理论方面提出诸多新观点,本文评论了张德禄的"衔接观",指出语域一致+拓展衔接仍然不能等价连贯;并通过"突显"、"衔接力"等概念部分地弥补张德禄"衔接观"的缺陷。

拟双曲一致域与弱拟对称映射

根据拟双曲一致域和拟对称映射的基本性质,利用拟双曲度量作为研究的重要工具,主要讨论了度量空间中拟双曲一致域的几何性质,同时刻画了拟双曲一致域在弱拟对称映射下仍然是保持不变的.

域一致性新型锁同步机制的实现

域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用 SMP 结构所具有的特点, 以多级方式实现锁同步机制, 在结点内部使用了共享空间来实现锁的进程间信息的传递, 让锁的获得、释放所需消息总量及消息传送次数大大减少, 提高了锁的实现效率, 进而程序的执行速度获得了提高。

域一致性新型锁同步机制的实现

域一致性新型锁同步机制的实现将软件分布式共享存储系统所使用的基于域一致性协议锁机制以新的方式加以实现。它充分利用SMP结构所具有的特点,以多级方式实现锁同步机制,在结点内部使用了共享空间来实现锁的进程间信息的传递,让锁的获得、释放所需消息总量及消息传送次数大大减少,提高了锁的实现效率,进而程序的执行速度获得了提高。

一致拟凸域和Lip_h－扩张域

本文研究了一类区域－Ｌｉｐｈ－扩张域，得到了它和一致拟凸域之间的关系和证明了一致拟凸域的一个充要条件。

MPD:结点具有多个并行缓存一致性域的CC-NUMA系统

大规模高速缓存一致性非均匀存储访问(cache coherence non-uniform memory access,CC-NUMA)系统通常采用两级一致性域方法来降低缓存一致性协议维护开销,提升系统性能.两级一致性域系统中,多个处理器互连,形成结点内一致性域;多个结点互连,形成结点间一致性域.然而,受限于处理器直连能力与处理器可识别ID数,系统的单结点规模有限,系统规模的扩展不得不依靠增加结点数来实现,使得大规模CC-NUMA系统的结点间互连复杂度上升,跨结点访问带宽和延迟急剧增长,影响了系统性能的有效扩展.MPD系统通过在结点内构建多个并行缓存一致性域,突破了处理器直连能力与可识别ID数对单结点规模的限制,能够大幅减少结点数量,并将部分结点间访问转化为结点内访问,实现系统性能的有效扩展.理论分析和实验结果表明:采用同规格处理器的32路系统中,结点内4个并行缓存一致性域的MPD系统可实现结点数目减少75%、一致性目录存储开销节省40%以上、平均访问延迟降低约27.9%、系统整体性能提升约14.4%.

Banach空间中的凸区域和一致域

利用Minkowski泛函,讨论实Banach空间中对称凸区域的一致性。证明在维数大于或等于2的实Banach空间中的有界对称凸区域及其补集都是一致域。另外,有界对称凸区域去掉一点也是一致域。

拟共形映射与John域

本文证明了有界一致域必定是John域和John域的拟共不变性．

基于多级一致性协议的多核处理器WCET分析方法

由于多核处理器优越的计算性能,多核处理器现已广泛应用在嵌入式实时系统中.相对于单核处理器,多核处理器存在资源共享竞争、并行任务干扰等因素,尤其是缓存(Cache)一致性问题,导致任务最坏情况执行时间(worst-case execution time,WCET)的预测更加困难.基于以上因素,提出基于多级一致性协议的多核处理器WCET分析方法.该方法针对多级一致性协议体系架构,提出多级一致性域的概念,将多核处理器的数据访问分为域内访问和跨域访问2个层次,根据Cache读写策略和MESI(modify exclusive shared invalid)一致性协议,得出一致性域内部和跨一致性域的Cache状态更新函数,从而实现多级一致性协议嵌套情况下的WCET分析.实验结果表明,在改变Cache配置参数的情况下,该方法分析结果与GEM5仿真结果的变化趋势一致,经过相关性分析,GEM5仿真结果与该方法分析结果相关性系数不低于0.98;在分析精度方面,该方法的平均过估计率为1.30,相比现有方法降低了0.78.

拟共形映射和John域

本文研究了∫ΩBn中的John域与一致域和线性局部连通域的关系.利用平面中John域和拟圆的关系,获得了∫ΩBn中的John域成为一致域和线性局部连通域的几个充分条件,它们是2的推广.

语域研究中的语境因素

语境是决定语域理论定位的关键所在,它使语域既表现为语法特征,又表现为语义特征。同时,语境还决定语域在语篇连贯中的作用,它使语域与衔接有机地结合在一起,成为语篇连贯中不可缺少的因素。语域在语篇连贯中所表现出来的一致性是指语篇参与者在语篇意义,即概念意义、人际意义和篇章意义的表达过程中受情景语境诸要素影响所表现出来的社会性和认知性,具体可以分为话语范围一致性、话语基调一致性和话语方式一致性。这三个方面的语域一致性体现了意义与语境因素的统一。由语域一致性所产生的结构性语篇特征在意义上可表现为显性信息,也可以表现为隐性信息,信息的编码和解读过程中都离不开语境因素的影响。

凸域中的拟测地线

设D Rn是一凸域并且是一致域,证明了:若γ是D中一条c-拟测地线,则对任意z1,z2∈γ,有l(γ(z1,z2))≤a1|z1-z2|,其中a1=a1(a,c)是仅与a和c有关的常数.

拟共形映射与John域

本文证明了有界一致域必定是 Hohn域和