非二元相关免疫函数和弹性函数的特征

讨论了从[GF(q)]n到[GF(q)]m的相关免疫函数和弹性函数F的特征.首先提供了复合函数G·F的特征,其中G是从[GF(q)]m到[GF(q)]s的函数,同时得到了一些关于F的分量函数的非零线性组合的性质.给出了相关免疫函数和弹性函数的矩阵特征.利用傅里叶变换刻画了弹性函数的特征.     

多输入多输出单边逻辑函数优化系统的设计研究

逻辑综合的作用是在功能等价的条件下减少电路中的元件数目,使电路体积减少、能耗降低、故障率下降、稳定度提高。对于超大变量多输入多输出逻辑函数优化,存储开销对输入变量呈2幂次方增长。针对多输入多输出单边逻辑函数的特性,通过引入特征矩阵和状态矢量的描述,求解多输入多输出单边逻辑函数补集,以积项扩展为基础,完成多输入多输出单边逻辑函数无冗余覆盖。编程实现了多输入多输出单边函数逻辑优化的算法,对影响单边函数逻辑优化效率的因素(输入变量数、输出变量数、积项数和无关因子)进行了分析,软件系统在奔腾1.8 MHz、512 M的计算机上通过了正确性验证与测试。测试结果表明性能良好,有效的降低了系统的存储空间和时间开销。     

Post-Gamma算子关于导数为局部有界函数的点态逼近估计

利用分析技巧得到了Post-Gamma算子一阶绝对矩量的渐近估计式,并结合区间分割技术和Bojanic-Cheng方法研究了Post-Gamma算子关于导函数为局部有界函数的点态逼近估计,同时得到了Post-Gamma算子的几何性质.     

The preimaginal stages of Minotetrastichus frontalis (Nees) and Chrysocharis laomedon (Walker) (Hymenoptera: Eulophidae), parasitoids associated with Phyllonorycter issikii (Kumata) (Lepidoptera,Gracillariidae)

The biology and morphology of the early larval instars of Minotetrastichus frontalis (Nees) are redescribed and the morphology of the preimaginal stages of Chrysocharis laomedon (Walker) (Hymenoptera: Eulophidae) are described in detail for the first time. Both species are larval-pupal parasitoids of Phyllonorycter issikii (Lepidoptera, Gracillariidae), which is associated with Tilia sp. The female of M. frontalis lays her egg beside the host larva and the newly hatched first instar larva moves and has to find the host larva. The larva of P. issikii tries to continue its feeding but never pupates after paralysis. The female of C. laomedon lays its egg inside the cuticle of the larva of P. issikii, but the newly hatched parasitoid larva vacates the host larva and develops externally on its surface as an ectoparasitoid. Such behaviour might be facilitated by the constant temperature and humidity inside the mine. Some peculiarities of parasitoid–host relationships are described and discussed.     

基于可编程hash函数的短签名

数字签名中的短签名由于其签名长度的优势,特别适用于通信带宽受限的场合．现有的短签名方案大多是随机预言模型下可证明安全的,但是随机预言模型通常被认为过于理想化,现实中没有一种hash函数能够模拟随机预言模型,而少数标准模型下可证安全的短签名方案,一般被认为是低效的或者基于强困难假设,即攻击者被给于一定数量的随机的已解决问题实例,要求去解决一个它自己选择的实例．可编程hash函数fprogrammablehashflmctions,PHF）是一种能模拟随机预言的某些可编程特性的特殊hash函数．可编程hash函数可嵌入到签名的基本构造中,产生标准模型下的短签名．本文利用可编程hash函数设计了一个基于因子分解假设的短签名方案．它具有的优点是：1）签名长度短,只需要一个群上的元素和一个小整数;2）签名和验证计算量小,不需要在签名过程中进行生成素数的运算;3）不需要嵌入变色龙hash函数便可实现标准模型下可证明安全．     

某类解析函数的三阶Hankel行列式

令H表示形如$f(z)=z+a_2 z^2+a_3 z^3+\\cdots$且在$U=\\{z:|z|<1\\}$内解析的函数类,研究了在单位圆盘上的2类解析函数类$\\mathrm{ST}_{\\mathrm{s}}=\\left\\{f ? H: \\operatorname{Re} \\frac{2 z f^{\\prime}(z)}{f(z)-f(-z)}>0, z ? U\\right\\}$和$R\\left(\\frac{1}{2}\\right)=\\left\\{f ? H: \\operatorname{Re} \\frac{f(z)}{z}>\\frac{1}{2}, z ? U\\right\\}$的三阶Hankel行列式$\\left|H_{3, 1}(f)\\right|$的上界估计。

     

The bootstrapped artefact: a collectivist account of technological ontology, functions, and normativity

In 2006, this journal addressed the problem of technological artefacts, and through a series of articles aimed at tackling the ‘dual nature of technical artefacts’, posited an understanding of these as constituted by both a structural (physical) and a functional (intentional) component. This attempt to conceptualise artefacts established a series of important questions, concerning such aspects of material technologies as mechanisms, functions, human intentionality, and normativity. However, I believe that in establishing the ‘dual nature’ thesis, the authors within this issue focused too strongly on technological function. By positing function as the analytic axis of the ‘dual nature’ framework, the theorists did not sufficiently problematise what is ultimately a social phenomenon. Here I posit a complementary analytic approach to this problem; namely, I argue that by using the Strong Programme’s performative theory of social institutions, we can better understand the nature of material technologies. Drawing particularly from Martin Kusch’s work, I here argue that by conceptualising artefacts as artificial kinds, we can better examine technological ontology, functions, and normativity. Ultimately, a Strong Programme approach, constructivist and collectivist in nature, offers a useful elaboration upon the important question raised by the ‘dual nature’ theorists.     

Genetic and morphometric variation in the potamonautid river crab Potamonautes parvispina (Decapoda: Potamonautidae) from two Western Cape rivers,South Africa

Patterns of genetic and morphometric variation amongst five populations of Potamonautes parvispina from two rivers in the Western Cape, were examined. Genetic variation at 14 loci was investigated using protein gel electrophoresis. The results showed that the populations were genetically invariant within and between the two drainage systems. Discriminant functions analyses of seven carapace variables demonstrated regional differentiation between the population groups in the two drainage systems. Other morphometric characters exhibited a significant degree of variation within drainage systems. Morphometric data were highly variable and were discordant with the genetic data, which suggests that environmental factors may be responsible for the large degree of phenotypic plasticity. Results from the present study are discussed in terms of widespread gene flow and recent population divergence.     

广义Lupas-Baskakov算子关于导数为局部有界函数的点态逼近估计

得到了广义Lupas Baskakov算子一阶绝对矩量的渐近估计式,并结合区间分割技术和Bojanic Cheng方法研究了广义Lupas Baskakov算子关于导函数为局部有界函数的点态逼近估计.     

涉及齐次微分多项式的整函数族的正规定则

作者证明了以下命题:设F={f}为整函数族,每个函数f∈F,f的零点重数至少为k.又a1(z),a2(z),…,ak(z)为k个整函数.记h(z)=f(k)(z)+a1(z)f(k-1)(z)+…+ak(z)f(z).则若对于区域D内任意点z,有h(z)≠0,|h(z)|<1,且复合函数族{h(f(z))|f(z)∈F}在区域D内正规,则整函数族F在D内正规,并得到涉及齐次微分多项式的整函数族相应的正规定则,推广了已有结果.