计算法学的生成谱系、理论内核和未来面向

“智能化革命”催生“智能社会”的到来,“智能社会”呼吁着“智能社会秩序”的建立,作为法律领域新兴学科和交叉学科的计算法学也应运而生。在计算法学的初步定位上,存在“方法论”“工程论”“对象论”“学科论”四种观点或立场。通过对漫长的法学历史长河中论题术和决疑术中的或然性计算、逻辑学中的必然性计算、自然科学中的计算、数字化信息通信技术中的计算的发展脉络的探寻,使得计算法学具有知识论的背书及正当性的认同。在计算法学的理论内核中,计算权利和计算义务是计算法学的核心范畴,计算正义是计算法学的最高价值准则,算法治理是计算法学的第一要务。面向未来,只有进一步提炼计算法理,让计算合乎法理、用法理引导计算,计算法学的发展才能行稳致远,从而转化为中国特色法学自主知识体系的新兴力量。

Design Method for Optimizing the Interactive Interface of Live Broadcasting Platform for the Elderly Users

In the era of network live broadcasting for everyone,the development of live broadcasting platforms is also more intelligent and diversified.However,in the face of a large group of elderly users,the interface interaction design mode used is still mainly based on the interaction mode for young groups,and is not designed for elderly users.Therefore,a design method for optimizing the interaction interface of live broadcasting platform for elderly users was proposed in this study.Firstly,the case study method and Delphi expert survey method were used to determine the design needs of elderly users and the design mode was analysed.Secondly,the orthogonal design principle was used to design a test sample of the interactive interface of live broadcasting platform applicable for the elderly users,and then a user evaluation system was established to calculate the weights of the design elements using hierarchical analysis,and then the predictive relationship between the design mode of the interactive interface of live broadcasting platform and the elderly users was established by Quantitative Theory I.Finally,Genetic Algorithm was applied to generate the optimized design scheme.The results showed that the design method based on the Genetic Algorithm and the combination of Quantitative Theory can scientifically and effectively optimize the design of the interactive interface of the live broadcasting platform for the elderly users,and improve the experience of the elderly users.

Two-Dimensional Entropy Method Based on Genetic Algorithm

Two dimensional(2 D) entropy method has to pay the price of time when applied to image segmentation. So the genetic algorithm is introduced to improve the computational efficiency of the 2 D entropy method. The proposed method uses both the gray value of a pixel and the local average gray value of an image. At the same time, the simple genetic algorithm is improved by using better reproduction and crossover operators. Thus the proposed method makes up the 2 D entropy method’s drawback of being time consuming, and yields satisfactory segmentation results. Experimental results show that the proposed method can save computational time when it provides good quality segmentation.

Modeling of Intelligent Integrated Network Management System Using Object Oriented Approach *

The concept of intelligent integrated network management (IINM) is briefly introduced. In order to analyze, design and implement IINM successfully, object oriented approach is testified to be an effective and efficient way. In this paper, object oriented technique is applied to the structural model of IINM system, The Domain object class and the MU object class are used to represent the manager and the managed resources. Especially, NM IA is introduced which is a special object class with intelligent behaviors to manage the resources efficiently.

Investigation on Non-covalent Complexes of Cyclodextrins with Li＋ in Gas Phase by Mass Spectrometry

To investigate the non-covalent interaction between cyclodextrins （CD） and lithium ion, a stoichiometry of α-CD, β-CD, heptakis（2,6-di-O-methyl）-β-CD （DM-β-CD）, or heptakis（2,3,6-tri-O-methyl）-β-CD （TM-β-CD） was mixed with lithium salt, respectively, and then incubated at room temperature for 10 min to reach the equilibrium. In posi- tive mode, the electrospray ionization mass spectrometry （ESI-MS） results demonstrated that lithium ion can conjugate to α-, β-, DM-β- or TM-β-CD and form 1：1 stoichiometric non-covalent complexes. The binding of the complexes was further confirmed by collision- induced dissociation. The dissociation constants Kdl of four complexes （Li＋α-CD, Li＋β- CD, Li＋DM-β-CD, and Li＋TM-β-CD） were determined by mass spectrometric titration. The results showed Kdl were 18.7, 26.7, 33.6, 30.5 μmol/L for the complexes of Li＋ with α-CD, β-CD, DM-β-CD, and TM-β-CD, respectively. Kdl for the Li＋ complexes of/3-CD is smaller than that of DM-β-CD due to its steric effect of the partial substituted -CH3. The Kdl for the Li＋ complexes of DM-β-CD is nearly in agreement with that of TM-β-CD, indicating Li＋ is more likely to locate in the small rim of DM-β-CD＇s hydrophobic cavity. The DFT results showed through electrostatic interaction, one Li＋ can strongly conjugate to four neighboring oxygen atoms. For the （α-CD＋Li）＋ complex, one Li＋ may also situate the small rim of α-CD＇s hydrophobic cavity to form a non-specific host-guest complex.

Relativistic Calculations for Be-like Iron

Relativistic configuration interaction calculations for the states of 1s^22s^2, 1s^22s3l （l = s,p,d） and 1s^22p31 （l=s,p,d） configurations of iron are carried out using relativistic configuration interaction （RCI） and multi-configuration Dirac-Fock （MCDF） method in the active interaction approach. In the present calculation, a large-scale configuration expansion was used in describing the target states. These results are extensively compared with other available calculative and experimental and observed values, the corresponding present results are in good agreement with experimental and observed values, and some differences are found with other available calculative values. Because more relativistic effects are considered than before, the present results should be more accurate and reliable.

Image Series Segmentation and Improved MC Algorithm

A semiautomatic segmentation method based on active contour is proposed for computed tomography (CT) image series. First, to get initial contour, one image slice was segmented exactly by C-V method based on Mumford-Shah model. Next, the computer will segment the nearby slice automatically using the snake model one by one. During segmenting of image slices, former slice boundary, as next slice initial contour, may cross over next slice real boundary and never return to right position. To avoid contour skipping over, the distance variance between two slices is evaluated by an threshold, which decides whether to initiate again. Moreover, a new improved marching cubes (MC) algorithm based on 2D images series segmentation boundary is given for 3D image reconstruction. Compared with the standard method, the proposed algorithm reduces detecting time and needs less storing memory. The effectiveness and capabilities of the algorithm were illustrated by experimental results.

Optimization of project payment schedules with Nash equilibrium model and genetic algorithm

To minimize the deviations of the net present values of project payment for both the owner and the client and optimize project payment schedules, a Nash equilibrium model based on game theory was set up and a genetic algorithm was developed to work out the Nash equilibrium solution with a two-stage backward inductive approach that requires the client responds to the owner’s payment schedule with an activity schedule so as to maximize the client’s net present value of cash flows. A case study demonstrated that a payment schedule at the Nash equilibrium position enables both the owner and the client to gain their desirable interests, thus is a win-win solution for both parties. Despite the computation time of the proposed algrithm in need of improving, combining Nash equilibrium and genetic algorithm into a complete-information dynamic-game model is a promising method for project management optimization.

DOA ESTIMATION FOR WIDEBAND SOURCES BASED ON UCA

A new Direction Of Arrival （DOA） estimation algorithm for wideband sources based on Uniform Circular Array （UCA） is presented via analyzing widcband performance of the general ESPRIT. The algorithm effectively improves the wideband performance of ESPRIT based on the interpolation principium and UCA-ESPRIT. The simulated results by computer demonstrate its efficiency.

A new decision tree learning algorithm

In order to improve the generalization ability of binary decision trees, a new learning algorithm, the MMDT algorithm, is presented. Based on statistical learning theory the generalization performance of binary decision trees is analyzed, and the assessment rule is proposed. Under the direction of the assessment rule, the MMDT algorithm is implemented. The algorithm maps training examples from an original space to a high dimension feature space, and constructs a decision tree in it. In the feature space, a new decision node splitting criterion, the max-min rule, is used, and the margin of each decision node is maximized using a support vector machine, to improve the generalization performance. Experimental results show that the new learning algorithm is much superior to others such as C4. 5 and OCI.

Semi-Fragile Audio Watermarking Algorithm in DWT Domain

A novel semi-fragile audio watermarking algorithm in DWT domain is proposed in this paper.This method transforms the original audio into 3-layer wavelet domain and divides approximation wavelet coefficients into many groups.Through computing mean quantization of per group,this algorithm embeds the watermark signal into the average value of the wavelet coefficients.Experimental results show that our semi-fragile audio watermarking algorithm is not only inaudible and robust against various common images processing,but also fragile to malicious modification.Especially,it can detect the tampered regions effectively.

A ROBUST OPTICAL FLOW COMPUTATION

This paper presents a new method for robust and accurate optical flow estimation.The sig- nificance of this work is twofold.Firstly,the idea of bi-directional scheme is adopted to reduce the model error of optical flow equation,which allows the second order Taylor's expansion of optical flow equation for accurate solution without much extra computational burden;Secondly,this paper establishs a new optical flow equation based on LSCM (Local Structure Constancy Model) instead of BCM (Brightness Constancy Model),namely the optical flow equation does not act on scalar but on tensor-valued (ma- trix-valued) field,due to the two reason:(1) structure tensor-value contains local spatial structure information,which provides us more useable cues for computation than scalar;(2) local image structure is less sensitive to illumination variation than intensity,which weakens the disturbance of non-uniform illumination in real sequences.Qualitative and quantitative results for synthetic and real-world scenes show that the new method can produce an accurate and robust results.

Hyperfine Constants for Low-Lying States in ^137Ba^＋

Relativistic many-body perturbation calculation is applied to calculate the hyperfine constants for the lowlying states 6S1/2, 6P1/2, 6P3/2, 5D3/2, and 5D5/2 in the alkaline earth ion ^137Ba^＋. The zeroth-order hyperfine constants are calculated with Dirac-Fock wave functions, and the finite basis sets of the Dirac-Fock equation are constructed by B splines. With the finite basis sets, the core polarization and the correlation effect are calculated. The final results for magnetic dipole hyperfine a constants are obtained.

Stacking fault energy and electronic structure of molybdenum under solid solution softening/hardening

Ab initio calculations are used to understand the fundamental mechanism of the solid solution softening/hardening of the Mo-binary system.The results reveal that the Mo-Ti,Mo-Ta,Mo-Nb,and Mo-W interactions are primarily attractive with negative heats of formation,while the interactions of Mo-Re,and Mo-Zr would be mainly repulsive with positive heats of formation.It is also shown that the addition of Re and Zr would cause the solid solution softening of Mo by the decrease of the unstable stacking fault energy and the increase of ductility.On the contrary,the elements of W,Ta,Ti,and Nb could bring about the solid-solution hardening of Mo through the impediment of the slip of the dislocation and the decrease of ductility.Electronic structures indicate that the weaker/stronger chemical bonding due to the alloying elements should fundamentally induce the solid solution softening/hardening of Mo.The results are discussed and compared with available evidence in literatures,which could deepen the fundamental understanding of the solid solution softening/hardening of the binary metallic system.

Normal families and shared values of meromorphic functions

We studied the normality conditions in families of meromorphic functions, improved the results of Fang and Zalcman [Fang ML, Zalcman L, Normal families and shared values of meromorphic functions, Computational Methods and Function Theory, 2001, 1 （1）： 289-299], and generalized two new normality criterions. Let F be a family of meromorphic functions in a domain D, a a non-zero finite complex number, B a positive real number, and k and m two positive integers satisfying m〉2k＋4. If every function denoted by f belonging to F has only zeros with multiplicity at least k and satisfies f^m（z）f^（k）（Z）=α→ ｜^f（k）（z）｜ ≤B or f^m（z）f^（k）（z）=α→｜f（z）｜ ≥, then F is normal in D.

Adaptive polarization i mage fusion based on regional energy dynamic weighted average

According to the principle of polarization imaging and the relation between Stokes parameters and the degree of linear polarization, there are much redundant and complementary information in polarized images. Since man-made objects and natural objects can be easily distinguished in images of degree of linear polarization and images of Stokes parameters contain rich detailed information of the scene, the clutters in the images can be removed efficiently while the detailed information can be maintained by combining these images. An algorithm of adaptive polarization image fusion based on regional energy dynamic weighted average is proposed in this paper to combine these images. Through an experiment and simulations,most clutters are removed by this algorithm. The fusion method is used for different light conditions in simulation, and the influence of lighting conditions on the fusion results is analyzed.

Modeling and Simulation of Equipment Material Inventory Control Based on System Dynamics

The paper discusses how the inventory control of army equipment material runs sytematically under the two-level maintenance system,and establishes the inventory control model based on system dynamics.On the basis of modeling and simulation,the influence of different inventory upper limit on the whole system is studied,and the optimal inventory control mechanism under the model condition is foud.In addition,through the simulation of two replenishment strategies(s,S) and(T,s,S),the advantages and disadvantages and feasibility of each replenishment strategy are analyzed.

Exact Solutions to Short Pulse Equation

In this paper, dependent and independent variable transformations are introduced to solve the short pulse equation. It is shown that different kinds of solutions can be obtained to the short pulse equation.

Computer Processing of the Intersection of Two Cones with Their Axes Intersecting and a Method to Get the Special Points

The analytic expression of the special points on the intersection of two cones with their axes intersecting(ITCTAI) is given. It also presents a method to construct the special points graphically according to the analytic expression of them. Finally, with computer programming language, it gives a program to generate the intersection in several different cases.

Total Routhian Surface Calculations on Hf Isotopes

The two-dimensional total routhian surface calculations have been carried out to stud）, the triaxial superdeformed structure of a neutron-rich nucleus ^173 Hf firstly. In particular the effects of the rotational frequency ω and pairing-energy gap parameter A are discussed in detail in the course of shaping its triaxial superdeformation; additionally the neutron-shell correction energy is analyzed with emphasis in the confirmed triaxial superdeformed nucleus ^173Hf. Finally, more systematical results have been investigated for some confirmed superdeformed nuclei experimentally and a few predicted triaxial superdeformed nuclei theoretically with quadropole deformation ε2 ≈0.4 and triaxial deformation γ≈20° or 30° in the Z = 72 region.