可达集

In rough sets based on accessible relation, we merge rough set theory and accessible relation into one model. Compared with classical rough set models(including Pawlak rough set model and various precise rough set model), the new model is more general.

基于可达关系的粗糙集模型是将可达关系应用于粗糙集理论中，这种模型比传统的粗糙集模型(Pawlak模型和可变精度粗糙集模型)更一般，将粗糙集理论推广到一般的方法论。

First, one. analyzes the eigenstates-from reachable sets and seeks the one which the target state belongs to. Then using the Grover iteration to amplify the probability amplitude of the desired eigenstate (the modul square of which is the probability of the corresponding eigenstate that the system will collapse to when it is measured). By measuring, the system will then collapse to the desired eigenstate with a probability of almost unity. Finally, one can use the admissible control to drive the system from the eigenstate to the target state.

该策略的核心思想是对本征态能控的系统，通过分析控制目标态与本征态的关系，寻找给定目标态所属的本征态可达集，然后利用量子非结构化搜索的Grover算法，将任意给定的系统初始态经过一定次数的Grover迭代，放大该本征态所对应的概率幅(概率幅的模方对应测量时波函数塌缩到对应本征态的概率)，然后对迭代后的态进行一次测量操作，使系统以接近1的概率塌缩到所需的本征态(前面分析得到的本征态可达集所对应的本征态)，最后用容许的控制将系统从该本征态控制到期望的目标态。

Experimental results show that the correlation between the result of the proposed approach and MOS is up to 0.91 in close-set test and 0.88 in open-set test.

实验结果表明，所提算法获得的评测结果与主观MOS评价之间的相关度，在闭集测试时可达0.91，在开集测试时可达0.88。

SPNAnalyzer software system has a very friendly man-machine interaction interface, so the visualized modeling of stochastic Petri net is very intuitional and convenient. The response and handling of the Windows messages is extended to the graph tool module, so it is very easy to maintain. The class design of the element object module and the graph tool module guarantees the expansibility of the system. The crucial technologies including the reachability set algorithm of the stochastic Petri net model, the constitution of the homogeneous Markov chain, and the computation of the steady state probability are implemented. The design of the data structure adopts the linked list, so the execution of the algorithms is very efficient.

SPNAnalyzer软件系统具有非常友好的人机交互界面，使可视化的随机Petri网建模变得非常直观方便；将各种Windows消息的响应和处理延伸至图形工具模块，使系统的维护变得容易；元素对象模块和图形工具模块的类的设计使系统的可扩展性很好；实现了随机Petri网模型的可达集生成算法和同构马尔可夫链的构造及其稳定状态概率的求解等关键技术；数据结构的设计采用链表的形式，使各种算法都具有较高的执行效率。

In order to Shanghai Hongqiao solid waste incineration process, the bag filter dust removal efficiency of 99.5%; to "dry except acid than acid + wet" treatment process, hydrogen chloride removal on the rate of 99% of the sulfur oxidation material could be removed in 95% of hydrogen fluoride could be removed in 90%; for the treatment of heavy metals in the main to take "effective capture" and "low control" measures, and adsorption using activated carbon, activated carbon for mercury, cadmium, removal of heavy metals such as lead up to 90%.

在以上海江桥生活垃圾焚烧过程中，布袋除尘器除尘效率可达99.5%以上；采取"干式除酸＋湿法除酸"处理工艺，对氯化氢的去除效率可达99%、对硫氧化物的去除效率可达95%、对氟化氢的去除效率可达90%；对于重金属的处理主要采取"高效捕集"和"低温控制"措施，并用活性炭进行吸附，活性炭对汞、镉、铅等重金属的去除率可达90%以上。

WT9.BZ: Theory of generalized tautology in logic system , W and W k is generalized and applied to Lukasiewicz logic system. The main results are as follows: congruence about on set of logic formulas F has been obtained in the system; it is proved that in this system, for any irrational number α, there does not exist accessible α-tautology; and for any real number α, there does not exist accessible α+-tautology; and the relation theorems have been given between categori...

将逻辑系统 W ，W ，Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中，主要结果是：得到了逻辑公式集F在该系统中关于﹁同余的分划；证明了在该逻辑系统中对每个无理数α而言，不存在可达α重言式，且对每个实数α而言，不存在可达α+重言式；给出了广义重言式、广义矛盾式各类之间的关系定理。

In the paper, the kinds of reachability notions are defined and charactered firstly in their matrices and graphs. By the discussion of the matrix standard form and its transitive closure, the relation among the maximum partial reachability sets, the standard form of the matrix and its transitive closure are posted and the network partial reachability is based. The standard form provides methods for the improvement of the network reachability.

本文首先定义了诸可达概念及其等价刻画，通过布尔阵标准型及其传递闭包的讨论，揭示了网络极大局部可达集与矩阵标准型、传递闭包的关系，建立了网络局部可达的框架结构，并通过标准型为改善网络可达性提供方法。

In addition, baculovirus are noninfectious to vertebrates, and their promoters have been shown to be inactive in mammalian cells. Futhermore, the expression level of some recombinant proteins is up to 1000 mg/L. Finally, recombinant proteins are soluble and antigenically, immunogenically and functionally similar to their authentic counterparts. In this article, we used the transfer vector pBlueBac of AcNPV (Autographa californica Nuclear Polyhedrosis Virus) to construct the recombinant baculovirus AcNPV-GM-CSF by in vivo recombinantion.

本文中，我们首先利用苜蓿夜蛾核型多角体病毒带β-Galactosidase 基因标记的非融合蛋白基因转移载体pBlueBac，通过细胞内同源重组的方式将hGM-CSF基因成功地插入病毒AcNPV的基因组中。hGM-CSF基因编码信号肽和完整的氨基酸序列。hGM-CSF基因在感染重组病毒的草地夜蛾培养细胞Sf9中得到表达，感染后的Sf9细胞培养液能刺激人骨髓细胞在体外形成典型的集落，表达水平可达2.7〓CFU／ml。

The result that different relaxed systems can reach aggregate equivalence is expanded and analogized with the method of set function in functional space. The existence and necessary conditions for optimal control are obtained.

运用泛函分析空间理论中集值函数，扩展或类推得到了不同松弛系统可达集相同的结论，并且较好地解决了最优控制的存在性及必要条件。

The company operates projects: screen printing, net,°business; factory technical force is rich, set computer design, aluminum alloy frame Screen, Zhang net°as a whole, plate-making is a current Pearl River Delta the largest and most excellent°Zhang networks and equipment, can be Screenup to the maximum extent 2.5M 2M.

本公司经营的项目：丝印、拉网、晒版等业务；本厂技术力量雄厚，集电脑设计制作，铝合金框架网版，张网，晒版为一体，制版是拥有目前珠三角最大最优良的张网和晒版设备，可晒制的网版最大范围可达2.5M×2M。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。