面向服务的中间件管理方法

中间件的繁荣使得中间件的管理面临着管理对象的类型与数量都极大丰富的问题;同时,开放的网络环境使得管理目标呈现出多样化、综合化和柔性化的特点。上述问题要求中间件的管理能力具有可增长的特性,以满足个性、多样的管理需求。提出了一种面向服务的中间件管理方法。方法中,已有的中间件管理功能被封装为服务,通过服务组装的方式实现管理功能的增值。讨论了中间件预置管理功能的封装、管理的组装模式、组装中接口适配和异常处理等问题,并用一个J2EE场景的管理实例示范和论证了提出的方法。     

基于PERT技术的人员调度研究

人员成本占软件项目总成本的大部分,但是现有的Pert技术未能体现人员计划管理这重要的一环,不合理的活动指派时间可能导致人员闲置或者项目延迟.本文提出一种解决方法,基于Pert技术,结合人员闲置、项目延迟和缓冲区计算活动负责人的指派时间,以此指导项目管理,可有效减少总开销.     

基于惯性权重非线性动态变化的微粒群算法

本文提出一种惯性权重非线性动态变化的微粒群算法(NDPSO),根据微粒在群体中距群体最优位置的远近,选择不同的惯性权重非线性下降指数,每个微粒根据个体状况选择不同的惯性权重.在NDPSO算法中,距最优位置较远区域惯性权重选择较小的下降指数,这样利于微粒较快地飞向群体最优位置,提高算法的全局搜索性能;当微粒飞到距最优位置较近区域时,惯性权重采用较大的下降指数,这样微粒在此区域进行细致的搜索,提高算法的收敛速度.为了研究NDPSO算法的性能,对几种典型高维非线性函数进行了测试.测试结果表明,与其它几种典型的微粒群算法相比,NDPSO明显地提高了算法的性能.     

一种基于中断处理机制的动态反汇编算法

传统的反汇编是静态进行的,它难以处理逻辑陷阱、花指令、代码中的数据、动态控制流等问题,这就导致其最终的反汇编结果可能不完整,存在错误.一段特意设计的代码,可以用动态控制流替代静态控制流;一段特意设计的花指令,可以让静态控制流关系任意复杂,这都将使静态反汇编分析难以进行.让代码运行起来,动态地进行反汇编,可以解决上述静态反汇编遇到的问题.结合计算机的中断处理机制,使得代码的实际执行路径是可知的.针对实际执行到的计算机指令进行反汇编,确保了反汇编结果的准确性;反复执行代码,在时间上进行积累,可以确保反汇编结果的完整性不断增加并趋于完整.     

Study on reaction time depending on display parameters of gaming displays

Display technology plays a significant role in gaming and, thus, display parameters are an important consideration when choosing a gaming display. In general, interest in display parameters such as contrast ratio, response time, refresh rate, and input lag in gaming displays is very high. In this article, we studied the reaction time of gaming displays, as a measure of game performance, with respect to different contrast ratios, response times, and refresh rates. Contrast ratio and response time turned out to be the key factors influencing reaction time. The higher the contrast ratio is, the shorter the reaction time tends to be. In addition, the faster the response time is, the shorter the reaction time is. Displays with high contrast ratio and fast response time are advantageous in terms of reaction time, which is also expected to be more advantageous in a fast-paced real gaming environment.     

A Droplet‐Based High‐Throughput SERS Platform on a Droplet‐Guiding‐Track‐Engraved Superhydrophobic Substrate

A novel droplet‐based surface‐enhanced Raman scattering (SERS) sensor for high‐throughput real‐time SERS monitoring is presented. The developed sensors are based on a droplet‐guiding‐track‐engraved superhydrophobic substrate covered with hierarchical SERS‐active Ag dendrites. The droplet‐guiding track with a droplet stopper is designed to manipulate the movement of a droplet on the superhydrophobic substrate. The superhydrophobic Ag dendritic substrates are fabricated through a galvanic displacement reaction and subsequent self‐assembled monolayer coating. The optimal galvanic reaction time to fabricate a SERS‐active Ag dendritic substrate for effective SERS detection is determined, with the optimized substrate exhibiting an enhancement factor of 6.3 × 10⁵. The height of the droplet stopper is optimized to control droplet motion, including moving and stopping. Based on the manipulation of individual droplets, the optimized droplet‐based real‐time SERS sensor shows high resistance to surface contaminants, and droplets containing rhodamine 6G, Nile blue A, and malachite green are successively controlled and detected without spectral interference. This noble droplet‐based SERS sensor reduces sample preparation time to a few seconds and increased detection rate to 0.5 µ L s^?1 through the simple operation mechanism of the sensor. Accordingly, our sensor enables high‐throughput real‐time molecular detection of various target analytes for real‐time chemical and biological monitoring.     

Partial permutation decoding for MacDonald codes

We show how to find s-PD-sets of the minimal size \(s+1\) for the \(\left[ \frac{q^n-q^u}{q-1},n,q^{n-1}-q^{u-1}\right] _q \) MacDonald q-ary codes \(C_{n,u}(q)\) where \(n \ge 3\) and \(1 \le u \le n-1\). The construction of [6] can be used and gives s-PD-sets for s up to the bound \(\lfloor \frac{q^{n-u}-1}{(n-u)(q-1)} \rfloor -1\), of effective use for u small; for \(u \ge \lfloor \frac{n}{2} \rfloor \) an alternative construction is given that applies up to a bound that depends on the maximum size of a set of vectors in \(V_u(\mathbb {F}_q)\) with each pair of vectors distance at least 3 apart.     

一个在Horn子句中求解极大缩减的算法

在信念修正理论中,一个核心问题是求解一个公式集合关于事实集合的所有极大协调子集,即极大缩减.本文尝试从算法的角度来解决这一问题,研究在Horn子句中求解所有极大缩减的算法.首先,本文指出并证明了公式集合和事实集合并集的极小不协调子集与公式集合关于事实集合的极大缩减之间的转化关系.其次,给出并证明了Horn子句集合极小不协调的一个必要条件.然后,基于上述两个结论,本文提出了一个在Horn子句中枚举公式集合和事实集合并集的极小不协调子集的交互式算法和一个通过这些极小不协调子集计算所有极大缩减的算法.最后,综合这两个算法,提出了一个在Horn子句中求解所有极大缩减的交互式算法.     

一类积分不等式的机器判定

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.     

一种基于图像的非均匀单散射参与介质建模方法

针对非均匀单散射参与介质建模问题,提出一种能够保持密度场空间变化细节的建模方法.使用体数据、吸收和散射系数之比分别描述参与介质空间变化的密度分布及光线在其内部的传输特性,通过构建采集图像像素值与它们之间的表达式,将建模问题转化为非线性数值优化问题,求最优解.为了解决高分辨率体数据下大量体素密度值同时求解带来的时间开销大及数值不稳定问题,提出一种符合采集图像像素值明暗分布规律的密度场体数据初始化算法和一种多分辨率体数据逐步求精优化算法;为了快速计算大量体素密度值梯度,提出一种基于GPU的多体素并行梯度计算算法.实验结果表明,提出的方法能够根据采集图像重构烟模型,并保持其细节信息.